runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462598-1307181411/watcher-3462598-1307181411 -o /tmp/evaluation-result-3462598-1307181411/solver-3462598-1307181411 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462598-1307181411.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.08 2.02 2/488 19867
/proc/meminfo: memFree=21355916/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=11056 CPUtime=0 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 562332404 11321344 316 33554432000 134512640 137138936 4289427376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 2764 316 192 642 0 2120 0
[startup+0.041061 s]
/proc/loadavg: 2.10 2.08 2.02 2/488 19867
/proc/meminfo: memFree=21355916/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=11312 CPUtime=0.03 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 446 0 0 0 3 0 0 0 25 0 1 0 562332404 11583488 397 33554432000 134512640 137138936 4289427376 18446744073709551615 134577134 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 2828 397 192 642 0 2184 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11312
[startup+0.101071 s]
/proc/loadavg: 2.10 2.08 2.02 2/488 19867
/proc/meminfo: memFree=21355916/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=11824 CPUtime=0.09 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 564 0 0 0 9 0 0 0 25 0 1 0 562332404 12107776 515 33554432000 134512640 137138936 4289427376 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 2956 515 192 642 0 2312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11824
[startup+0.301041 s]
/proc/loadavg: 2.10 2.08 2.02 2/488 19867
/proc/meminfo: memFree=21355916/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=13356 CPUtime=0.29 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 956 0 0 0 29 0 0 0 25 0 1 0 562332404 13676544 907 33554432000 134512640 137138936 4289427376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 3339 907 192 642 0 2695 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13356
[startup+0.700978 s]
/proc/loadavg: 2.10 2.08 2.02 2/488 19867
/proc/meminfo: memFree=21355916/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=15264 CPUtime=0.69 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 1437 0 0 0 69 0 0 0 25 0 1 0 562332404 15630336 1388 33554432000 134512640 137138936 4289427376 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 3816 1388 192 642 0 3172 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15264
[startup+1.50084 s]
/proc/loadavg: 2.10 2.08 2.02 3/489 19868
/proc/meminfo: memFree=21348840/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=18852 CPUtime=1.49 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 2323 0 0 0 149 0 0 0 25 0 1 0 562332404 19304448 2274 33554432000 134512640 137138936 4289427376 18446744073709551615 134575873 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 4713 2274 192 642 0 4069 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18852
[startup+3.10052 s]
/proc/loadavg: 2.10 2.08 2.02 3/489 19868
/proc/meminfo: memFree=21345116/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=21408 CPUtime=3.09 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 2976 0 0 0 308 1 0 0 25 0 1 0 562332404 21921792 2927 33554432000 134512640 137138936 4289427376 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 5352 2927 192 642 0 4708 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21408
[startup+6.301 s]
/proc/loadavg: 2.09 2.07 2.02 3/489 19868
/proc/meminfo: memFree=21342712/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=21900 CPUtime=6.29 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 3099 0 0 0 627 2 0 0 25 0 1 0 562332404 22425600 3050 33554432000 134512640 137138936 4289427376 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 5475 3050 192 642 0 4831 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21900
[startup+12.7009 s]
/proc/loadavg: 2.08 2.07 2.02 3/489 19868
/proc/meminfo: memFree=21340352/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=23572 CPUtime=12.69 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 3504 0 0 0 1265 4 0 0 25 0 1 0 562332404 24137728 3455 33554432000 134512640 137138936 4289427376 18446744073709551615 134606673 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 5893 3455 192 642 0 5249 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23572
[startup+25.5006 s]
/proc/loadavg: 2.06 2.07 2.01 3/489 19869
/proc/meminfo: memFree=21339484/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=24804 CPUtime=25.49 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 3817 0 0 0 2543 6 0 0 25 0 1 0 562332404 25399296 3768 33554432000 134512640 137138936 4289427376 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 6201 3768 192 642 0 5557 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24804
[startup+51.1011 s]
/proc/loadavg: 2.04 2.06 2.01 3/489 19869
/proc/meminfo: memFree=21337548/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=26552 CPUtime=51.09 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 4262 0 0 0 5099 10 0 0 25 0 1 0 562332404 27189248 4213 33554432000 134512640 137138936 4289427376 18446744073709551615 136511096 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 6638 4213 192 642 0 5994 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26552
[startup+102.318 s]
/proc/loadavg: 2.02 2.05 2.01 3/489 19871
/proc/meminfo: memFree=21336664/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=26568 CPUtime=102.32 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 4264 0 0 0 10214 18 0 0 25 0 1 0 562332404 27205632 4215 33554432000 134512640 137138936 4289427376 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 6642 4215 192 642 0 5998 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 26568
[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/489 19872
/proc/meminfo: memFree=21336532/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=26568 CPUtime=162.3 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 4264 0 0 0 16204 26 0 0 25 0 1 0 562332404 27205632 4215 33554432000 134512640 137138936 4289427376 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 6642 4215 192 642 0 5998 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 26568
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/489 19874
/proc/meminfo: memFree=21335408/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=27656 CPUtime=222.3 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 4530 0 0 0 22196 34 0 0 25 0 1 0 562332404 28319744 4481 33554432000 134512640 137138936 4289427376 18446744073709551615 134599695 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 6914 4481 192 642 0 6270 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 27656
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 19885
/proc/meminfo: memFree=21335524/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=27656 CPUtime=282.29 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 4530 0 0 0 28188 41 0 0 25 0 1 0 562332404 28319744 4481 33554432000 134512640 137138936 4289427376 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 6914 4481 192 642 0 6270 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 27656
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 19886
/proc/meminfo: memFree=21335636/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=27664 CPUtime=342.3 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 4532 0 0 0 34182 48 0 0 25 0 1 0 562332404 28327936 4483 33554432000 134512640 137138936 4289427376 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 6916 4483 192 642 0 6272 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 27664
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 19888
/proc/meminfo: memFree=21335376/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=27664 CPUtime=402.3 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 4532 0 0 0 40177 53 0 0 25 0 1 0 562332404 28327936 4483 33554432000 134512640 137138936 4289427376 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 6916 4483 192 642 0 6272 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 27664
[startup+462.301 s]
/proc/loadavg: 2.14 2.05 2.01 3/489 19889
/proc/meminfo: memFree=21334360/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=28616 CPUtime=462.3 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 4775 0 0 0 46170 60 0 0 25 0 1 0 562332404 29302784 4726 33554432000 134512640 137138936 4289427376 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 7154 4726 192 642 0 6510 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 28616
Solver just ended. Dumping a history of the last processes samples
[startup+473.501 s]
/proc/loadavg: 2.12 2.05 2.01 3/489 19890
/proc/meminfo: memFree=21334352/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=28616 CPUtime=473.51 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 4775 0 0 0 47290 61 0 0 25 0 1 0 562332404 29302784 4726 33554432000 134512640 137138936 4289427376 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 7154 4726 192 642 0 6510 0
Current children cumulated CPU time (s) 473.51
Current children cumulated vsize (KiB) 28616
[startup+479.901 s]
/proc/loadavg: 2.11 2.05 2.01 3/489 19890
/proc/meminfo: memFree=21333360/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=28616 CPUtime=479.9 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 4775 0 0 0 47929 61 0 0 25 0 1 0 562332404 29302784 4726 33554432000 134512640 137138936 4289427376 18446744073709551615 136297747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 7154 4726 192 642 0 6510 0
Current children cumulated CPU time (s) 479.9
Current children cumulated vsize (KiB) 28616
[startup+483.101 s]
/proc/loadavg: 2.10 2.04 2.01 3/489 19890
/proc/meminfo: memFree=21334476/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=28616 CPUtime=483.1 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 4775 0 0 0 48249 61 0 0 25 0 1 0 562332404 29302784 4726 33554432000 134512640 137138936 4289427376 18446744073709551615 136511173 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 7154 4726 192 642 0 6510 0
Current children cumulated CPU time (s) 483.1
Current children cumulated vsize (KiB) 28616
[startup+486.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/489 19890
/proc/meminfo: memFree=21334220/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=28616 CPUtime=486.3 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 4775 0 0 0 48569 61 0 0 25 0 1 0 562332404 29302784 4726 33554432000 134512640 137138936 4289427376 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 7154 4726 192 642 0 6510 0
Current children cumulated CPU time (s) 486.3
Current children cumulated vsize (KiB) 28616
[startup+487.901 s]
/proc/loadavg: 2.09 2.04 2.01 3/489 19890
/proc/meminfo: memFree=21334096/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=28616 CPUtime=487.9 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 4775 0 0 0 48729 61 0 0 25 0 1 0 562332404 29302784 4726 33554432000 134512640 137138936 4289427376 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 7154 4726 192 642 0 6510 0
Current children cumulated CPU time (s) 487.9
Current children cumulated vsize (KiB) 28616
[startup+488.701 s]
/proc/loadavg: 2.09 2.04 2.01 3/489 19890
/proc/meminfo: memFree=21334468/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=28616 CPUtime=488.71 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 4775 0 0 0 48809 62 0 0 25 0 1 0 562332404 29302784 4726 33554432000 134512640 137138936 4289427376 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 7154 4726 192 642 0 6510 0
Current children cumulated CPU time (s) 488.71
Current children cumulated vsize (KiB) 28616
[startup+488.901 s]
/proc/loadavg: 2.09 2.04 2.01 3/489 19890
/proc/meminfo: memFree=21334468/32951124 swapFree=46575304/67111528
[pid=19867] ppid=19865 vsize=28616 CPUtime=488.91 cores=0,2,4,6
/proc/19867/stat : 19867 (bsolo) R 19865 19867 17058 0 -1 4202496 4775 0 0 0 48829 62 0 0 25 0 1 0 562332404 29302784 4726 33554432000 134512640 137138936 4289427376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19867/statm: 7154 4726 192 642 0 6510 0
Current children cumulated CPU time (s) 488.91
Current children cumulated vsize (KiB) 28616
Child status: 0
Real time (s): 488.932
CPU time (s): 488.944
CPU user time (s): 488.321
CPU system time (s): 0.622905
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 28624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 488.321
system time used= 0.622905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4776
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= 5
involuntary context switches= 715
runsolver used 2.46563 second user time and 5.15322 second system time
The end