runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201103031013/uns-trendy-0.0004/19.cudf.caixa.log.runsolver ./uns-trendy-0.0004 /home/misc2010/data/misc4/caixa//19.cudf /home/misc2010/tmp/201103031013/uns-trendy-0.0004/19.cudf.caixa.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.58 1.64 1.50 4/35 31577
/proc/meminfo: memFree=297328/1048576 swapFree=0/0
[pid=31576] ppid=31575 vsize=1672 CPUtime=0
/proc/31576/stat : 31576 (uns-trendy-0.00) S 31575 31576 29493 34817 29493 4202496 217 0 0 0 0 0 0 0 18 0 1 0 75894877 1712128 130 1283457024 134512640 134593992 4289492224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/31576/statm: 418 130 113 20 0 45 0
[pid=31577] ppid=31576 vsize=7572 CPUtime=0.01
/proc/31577/stat : 31577 (cudfsolver-stat) R 31576 31576 29493 34817 29493 4202496 253 0 0 0 1 0 0 0 25 0 1 0 75894878 7753728 210 1283457024 134512640 141746657 4289807616 18446744073709551615 140924917 0 0 0 0 0 0 0 17 0 0 0 0
/proc/31577/statm: 1893 210 149 1767 0 103 0

[startup+0.183584 s]
/proc/loadavg: 1.58 1.64 1.50 4/35 31577
/proc/meminfo: memFree=297328/1048576 swapFree=0/0
[pid=31576] ppid=31575 vsize=1672 CPUtime=0
/proc/31576/stat : 31576 (uns-trendy-0.00) S 31575 31576 29493 34817 29493 4202496 217 0 0 0 0 0 0 0 18 0 1 0 75894877 1712128 130 1283457024 134512640 134593992 4289492224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/31576/statm: 418 130 113 20 0 45 0
[pid=31577] ppid=31576 vsize=19104 CPUtime=0.19
/proc/31577/stat : 31577 (cudfsolver-stat) R 31576 31576 29493 34817 29493 4202496 3181 0 0 0 19 0 0 0 25 0 1 0 75894878 19562496 3091 1283457024 134512640 141746657 4289807616 18446744073709551615 134636108 0 0 0 0 0 0 0 17 0 0 0 0
/proc/31577/statm: 4776 3091 150 1767 0 2986 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20776

[startup+0.213596 s]
/proc/loadavg: 1.58 1.64 1.50 4/35 31577
/proc/meminfo: memFree=297328/1048576 swapFree=0/0
[pid=31576] ppid=31575 vsize=1672 CPUtime=0
/proc/31576/stat : 31576 (uns-trendy-0.00) S 31575 31576 29493 34817 29493 4202496 217 0 0 0 0 0 0 0 18 0 1 0 75894877 1712128 130 1283457024 134512640 134593992 4289492224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/31576/statm: 418 130 113 20 0 45 0
[pid=31577] ppid=31576 vsize=20440 CPUtime=0.22
/proc/31577/stat : 31577 (cudfsolver-stat) R 31576 31576 29493 34817 29493 4202496 3532 0 0 0 22 0 0 0 25 0 1 0 75894878 20930560 3407 1283457024 134512640 141746657 4289807616 18446744073709551615 140889610 0 0 0 0 0 0 0 17 0 0 0 0
/proc/31577/statm: 5110 3407 150 1767 0 3320 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 22112

[startup+0.303615 s]
/proc/loadavg: 1.58 1.64 1.50 4/35 31577
/proc/meminfo: memFree=297328/1048576 swapFree=0/0
[pid=31576] ppid=31575 vsize=1672 CPUtime=0
/proc/31576/stat : 31576 (uns-trendy-0.00) S 31575 31576 29493 34817 29493 4202496 217 0 0 0 0 0 0 0 18 0 1 0 75894877 1712128 130 1283457024 134512640 134593992 4289492224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/31576/statm: 418 130 113 20 0 45 0
[pid=31577] ppid=31576 vsize=24284 CPUtime=0.31
/proc/31577/stat : 31577 (cudfsolver-stat) R 31576 31576 29493 34817 29493 4202496 4569 0 0 0 31 0 0 0 25 0 1 0 75894878 24866816 4347 1283457024 134512640 141746657 4289807616 18446744073709551615 134627054 0 0 0 0 0 0 0 17 0 0 0 0
/proc/31577/statm: 6071 4347 150 1767 0 4281 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 25956

[startup+0.703702 s]
/proc/loadavg: 1.58 1.64 1.50 4/35 31577
/proc/meminfo: memFree=297328/1048576 swapFree=0/0
[pid=31576] ppid=31575 vsize=1672 CPUtime=0
/proc/31576/stat : 31576 (uns-trendy-0.00) S 31575 31576 29493 34817 29493 4202496 217 0 0 0 0 0 0 0 18 0 1 0 75894877 1712128 130 1283457024 134512640 134593992 4289492224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/31576/statm: 418 130 113 20 0 45 0
[pid=31577] ppid=31576 vsize=49240 CPUtime=0.71
/proc/31577/stat : 31577 (cudfsolver-stat) R 31576 31576 29493 34817 29493 4202496 11053 0 0 0 71 0 0 0 25 0 1 0 75894878 50421760 10527 1283457024 134512640 141746657 4289807616 18446744073709551615 134632219 0 0 0 0 0 0 0 17 0 0 0 0
/proc/31577/statm: 12310 10527 150 1767 0 10520 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 50912

Solver just ended. Dumping a history of the last processes samples

[startup+0.81373 s]
/proc/loadavg: 1.58 1.64 1.50 4/35 31577
/proc/meminfo: memFree=297328/1048576 swapFree=0/0
[pid=31576] ppid=31575 vsize=1672 CPUtime=0
/proc/31576/stat : 31576 (uns-trendy-0.00) S 31575 31576 29493 34817 29493 4202496 217 0 0 0 0 0 0 0 18 0 1 0 75894877 1712128 130 1283457024 134512640 134593992 4289492224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/31576/statm: 418 130 113 20 0 45 0
[pid=31577] ppid=31576 vsize=71968 CPUtime=0.82
/proc/31577/stat : 31577 (cudfsolver-stat) R 31576 31576 29493 34817 29493 4202496 12724 0 0 0 82 0 0 0 25 0 1 0 75894878 73695232 12161 1283457024 134512640 141746657 4289807616 18446744073709551615 135531966 0 0 0 0 0 0 0 17 0 0 0 0
/proc/31577/statm: 17992 12161 358 1767 0 15839 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 73640

[startup+1.21382 s]
/proc/loadavg: 1.58 1.64 1.50 2/36 31578
/proc/meminfo: memFree=242384/1048576 swapFree=0/0
[pid=31576] ppid=31575 vsize=1672 CPUtime=0
/proc/31576/stat : 31576 (uns-trendy-0.00) S 31575 31576 29493 34817 29493 4202496 217 0 0 0 0 0 0 0 18 0 1 0 75894877 1712128 130 1283457024 134512640 134593992 4289492224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/31576/statm: 418 130 113 20 0 45 0
[pid=31577] ppid=31576 vsize=93864 CPUtime=1.22
/proc/31577/stat : 31577 (cudfsolver-stat) R 31576 31576 29493 34817 29493 4202496 18724 0 0 0 122 0 0 0 25 0 1 0 75894878 96116736 18117 1283457024 134512640 141746657 4289807616 18446744073709551615 138249060 0 0 0 0 0 0 0 17 0 0 0 0
/proc/31577/statm: 23466 18117 759 1767 0 21313 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 95536

[startup+1.30383 s]
/proc/loadavg: 1.58 1.64 1.50 2/36 31578
/proc/meminfo: memFree=242384/1048576 swapFree=0/0
[pid=31576] ppid=31575 vsize=1672 CPUtime=0
/proc/31576/stat : 31576 (uns-trendy-0.00) S 31575 31576 29493 34817 29493 4202496 217 0 0 0 0 0 0 0 18 0 1 0 75894877 1712128 130 1283457024 134512640 134593992 4289492224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/31576/statm: 418 130 113 20 0 45 0
[pid=31577] ppid=31576 vsize=87576 CPUtime=1.3
/proc/31577/stat : 31577 (cudfsolver-stat) R 31576 31576 29493 34817 29493 4202496 19171 0 0 0 130 0 0 0 25 0 1 0 75894878 89677824 17261 1283457024 134512640 141746657 4289807616 18446744073709551615 134636843 0 0 0 0 0 0 0 17 0 0 0 0
/proc/31577/statm: 21894 17261 765 1767 0 19741 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 89248

Child status: 0
Real time (s): 1.33837
CPU time (s): 1.34008
CPU user time (s): 1.32808
CPU system time (s): 0.012
CPU usage (%): 100.128
Max. virtual memory (cumulated for all children) (KiB): 95536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.32808
system time used= 0.012
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19393
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 24

runsolver used 0 second user time and 0 second system time

The end