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/4110.cudf.caixa.log.runsolver ./uns-trendy-0.0004 /home/misc2010/data/misc4/caixa//4110.cudf /home/misc2010/tmp/201103031013/uns-trendy-0.0004/4110.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.52 1.60 1.62 4/34 12009
/proc/meminfo: memFree=308348/1048576 swapFree=0/0
[pid=12008] ppid=12007 vsize=1672 CPUtime=0
/proc/12008/stat : 12008 (uns-trendy-0.00) S 12007 12008 29493 34817 29493 4202496 216 0 0 0 0 0 0 0 18 0 1 0 76227996 1712128 130 1283457024 134512640 134593992 4287357696 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/12008/statm: 418 130 113 20 0 45 0
[pid=12009] ppid=12008 vsize=7432 CPUtime=0.01
/proc/12009/stat : 12009 (cudfsolver-stat) R 12008 12008 29493 34817 29493 4202496 227 0 0 0 1 0 0 0 25 0 1 0 76227997 7610368 183 1283457024 134512640 141746657 4294562176 18446744073709551615 140925765 0 0 0 0 0 0 0 17 0 0 0 0
/proc/12009/statm: 1858 183 147 1767 0 68 0

[startup+0.142385 s]
/proc/loadavg: 1.52 1.60 1.62 4/34 12009
/proc/meminfo: memFree=308348/1048576 swapFree=0/0
[pid=12008] ppid=12007 vsize=1672 CPUtime=0
/proc/12008/stat : 12008 (uns-trendy-0.00) S 12007 12008 29493 34817 29493 4202496 216 0 0 0 0 0 0 0 18 0 1 0 76227996 1712128 130 1283457024 134512640 134593992 4287357696 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/12008/statm: 418 130 113 20 0 45 0
[pid=12009] ppid=12008 vsize=17096 CPUtime=0.14
/proc/12009/stat : 12009 (cudfsolver-stat) R 12008 12008 29493 34817 29493 4202496 2683 0 0 0 13 1 0 0 25 0 1 0 76227997 17506304 2582 1283457024 134512640 141746657 4294562176 18446744073709551615 140691966 0 0 0 0 0 0 0 17 0 0 0 0
/proc/12009/statm: 4274 2582 148 1767 0 2484 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 18768

[startup+0.212401 s]
/proc/loadavg: 1.52 1.60 1.62 4/34 12009
/proc/meminfo: memFree=308348/1048576 swapFree=0/0
[pid=12008] ppid=12007 vsize=1672 CPUtime=0
/proc/12008/stat : 12008 (uns-trendy-0.00) S 12007 12008 29493 34817 29493 4202496 216 0 0 0 0 0 0 0 18 0 1 0 76227996 1712128 130 1283457024 134512640 134593992 4287357696 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/12008/statm: 418 130 113 20 0 45 0
[pid=12009] ppid=12008 vsize=21072 CPUtime=0.21
/proc/12009/stat : 12009 (cudfsolver-stat) R 12008 12008 29493 34817 29493 4202496 3705 0 0 0 20 1 0 0 25 0 1 0 76227997 21577728 3569 1283457024 134512640 141746657 4294562176 18446744073709551615 140925768 0 0 0 0 0 0 0 17 0 0 0 0
/proc/12009/statm: 5268 3569 148 1767 0 3478 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 22744

[startup+0.302413 s]
/proc/loadavg: 1.52 1.60 1.62 4/34 12009
/proc/meminfo: memFree=308348/1048576 swapFree=0/0
[pid=12008] ppid=12007 vsize=1672 CPUtime=0
/proc/12008/stat : 12008 (uns-trendy-0.00) S 12007 12008 29493 34817 29493 4202496 216 0 0 0 0 0 0 0 18 0 1 0 76227996 1712128 130 1283457024 134512640 134593992 4287357696 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/12008/statm: 418 130 113 20 0 45 0
[pid=12009] ppid=12008 vsize=26460 CPUtime=0.3
/proc/12009/stat : 12009 (cudfsolver-stat) R 12008 12008 29493 34817 29493 4202496 5115 0 0 0 29 1 0 0 25 0 1 0 76227997 27095040 4904 1283457024 134512640 141746657 4294562176 18446744073709551615 134632296 0 0 0 0 0 0 0 17 0 0 0 0
/proc/12009/statm: 6615 4904 148 1767 0 4825 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 28132

[startup+0.702492 s]
/proc/loadavg: 1.52 1.60 1.62 4/34 12009
/proc/meminfo: memFree=308348/1048576 swapFree=0/0
[pid=12008] ppid=12007 vsize=1672 CPUtime=0
/proc/12008/stat : 12008 (uns-trendy-0.00) S 12007 12008 29493 34817 29493 4202496 216 0 0 0 0 0 0 0 18 0 1 0 76227996 1712128 130 1283457024 134512640 134593992 4287357696 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/12008/statm: 418 130 113 20 0 45 0
[pid=12009] ppid=12008 vsize=48768 CPUtime=0.7
/proc/12009/stat : 12009 (cudfsolver-stat) R 12008 12008 29493 34817 29493 4202496 10929 0 0 0 67 3 0 0 25 0 1 0 76227997 49938432 10416 1283457024 134512640 141746657 4294562176 18446744073709551615 140925774 0 0 0 0 0 0 0 17 0 0 0 0
/proc/12009/statm: 12192 10416 148 1767 0 10402 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 50440

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

[startup+0.812509 s]
/proc/loadavg: 1.52 1.60 1.62 4/34 12009
/proc/meminfo: memFree=308348/1048576 swapFree=0/0
[pid=12008] ppid=12007 vsize=1672 CPUtime=0
/proc/12008/stat : 12008 (uns-trendy-0.00) S 12007 12008 29493 34817 29493 4202496 216 0 0 0 0 0 0 0 18 0 1 0 76227996 1712128 130 1283457024 134512640 134593992 4287357696 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/12008/statm: 418 130 113 20 0 45 0
[pid=12009] ppid=12008 vsize=54844 CPUtime=0.81
/proc/12009/stat : 12009 (cudfsolver-stat) R 12008 12008 29493 34817 29493 4202496 12486 0 0 0 78 3 0 0 25 0 1 0 76227997 56160256 11946 1283457024 134512640 141746657 4294562176 18446744073709551615 140586314 0 0 0 0 0 0 0 17 0 0 0 0
/proc/12009/statm: 13711 11946 148 1767 0 11921 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 56516

[startup+0.902527 s]
/proc/loadavg: 1.52 1.60 1.62 4/34 12009
/proc/meminfo: memFree=308348/1048576 swapFree=0/0
[pid=12008] ppid=12007 vsize=1672 CPUtime=0
/proc/12008/stat : 12008 (uns-trendy-0.00) S 12007 12008 29493 34817 29493 4202496 216 0 0 0 0 0 0 0 18 0 1 0 76227996 1712128 130 1283457024 134512640 134593992 4287357696 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/12008/statm: 418 130 113 20 0 45 0
[pid=12009] ppid=12008 vsize=78076 CPUtime=0.9
/proc/12009/stat : 12009 (cudfsolver-stat) R 12008 12008 29493 34817 29493 4202496 14083 0 0 0 87 3 0 0 25 0 1 0 76227997 79949824 13497 1283457024 134512640 141746657 4294562176 18446744073709551615 135533423 0 0 0 0 0 0 0 17 0 0 0 0
/proc/12009/statm: 19519 13497 349 1767 0 17366 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 79748

Child status: 0
Real time (s): 0.945293
CPU time (s): 0.948058
CPU user time (s): 0.904056
CPU system time (s): 0.044002
CPU usage (%): 100.292
Max. virtual memory (cumulated for all children) (KiB): 79748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.904056
system time used= 0.044002
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14326
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= 18

runsolver used 0 second user time and 0 second system time

The end