runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3730026-1338715369/watcher-3730026-1338715369 -o /tmp/evaluation-result-3730026-1338715369/solver-3730026-1338715369 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3730026-1338715369.opb -seed 1671738686 -budget 1800 

running on 4 cores: 1,3,5,7

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.05 2.01 1.95 3/226 4597
/proc/meminfo: memFree=27964364/32873648 swapFree=7628/7628
[pid=4597] ppid=4595 vsize=15608 CPUtime=0 cores=1,3,5,7
/proc/4597/stat : 4597 (python) R 4595 4597 3958 0 -1 4202496 820 0 0 0 0 0 0 0 20 0 1 0 337662943 15982592 693 33554432000 4194304 5683644 140736973009088 140736972953816 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/4597/statm: 3902 694 334 364 0 344 0

[startup+0.080568 s]
/proc/loadavg: 2.05 2.01 1.95 3/226 4597
/proc/meminfo: memFree=27964364/32873648 swapFree=7628/7628
[pid=4597] ppid=4595 vsize=83944 CPUtime=0.05 cores=1,3,5,7
/proc/4597/stat : 4597 (python) R 4595 4597 3958 0 -1 4202496 2915 0 0 0 4 1 0 0 20 0 1 0 337662943 85958656 2441 33554432000 4194304 5683644 140736973009088 140736972966856 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/4597/statm: 20986 2441 744 364 0 1614 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 83944

[startup+0.100191 s]
/proc/loadavg: 2.05 2.01 1.95 3/226 4597
/proc/meminfo: memFree=27964364/32873648 swapFree=7628/7628
[pid=4597] ppid=4595 vsize=94452 CPUtime=0.06 cores=1,3,5,7
/proc/4597/stat : 4597 (python) R 4595 4597 3958 0 -1 4202496 3446 1008 1 0 5 1 0 0 20 0 1 0 337662943 96718848 2546 33554432000 4194304 5683644 140736973009088 140736972961560 5177539 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4597/statm: 23613 2546 820 364 0 1619 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94452

[startup+0.300475 s]
/proc/loadavg: 2.05 2.01 1.95 3/226 4597
/proc/meminfo: memFree=27964364/32873648 swapFree=7628/7628
[pid=4597] ppid=4595 vsize=183224 CPUtime=0.23 cores=1,3,5,7
/proc/4597/stat : 4597 (python) R 4595 4597 3958 0 -1 4202496 6974 1008 1 0 18 5 0 0 20 0 1 0 337662943 187621376 4704 33554432000 4194304 5683644 140736973009088 140736972867944 217410519952 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4597/statm: 45806 4704 1278 364 0 3648 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 183224

[startup+0.70012 s]
/proc/loadavg: 2.05 2.01 1.95 3/226 4597
/proc/meminfo: memFree=27964364/32873648 swapFree=7628/7628
[pid=4597] ppid=4595 vsize=297792 CPUtime=0.59 cores=1,3,5,7
/proc/4597/stat : 4597 (python) R 4595 4597 3958 0 -1 4202496 12097 1008 1 0 50 9 0 0 20 0 1 0 337662943 304939008 11176 33554432000 4194304 5683644 140736973009088 140736973002728 4445115 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4597/statm: 74448 11176 1811 364 0 9677 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 297792

[startup+1.50011 s]
/proc/loadavg: 2.05 2.01 1.95 3/227 4602
/proc/meminfo: memFree=27916692/32873648 swapFree=7628/7628
[pid=4597] ppid=4595 vsize=324720 CPUtime=1.39 cores=1,3,5,7
/proc/4597/stat : 4597 (python) R 4595 4597 3958 0 -1 4202496 18528 1008 1 0 129 10 0 0 20 0 1 0 337662943 332513280 17607 33554432000 4194304 5683644 140736973009088 140736973001704 217410146196 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4597/statm: 81180 17607 1811 364 0 16409 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 324720

[startup+3.1001 s]
/proc/loadavg: 2.05 2.01 1.95 3/227 4602
/proc/meminfo: memFree=27879864/32873648 swapFree=7628/7628
[pid=4597] ppid=4595 vsize=355448 CPUtime=2.98 cores=1,3,5,7
/proc/4597/stat : 4597 (python) R 4595 4597 3958 0 -1 4202496 30519 1008 1 0 286 12 0 0 20 0 1 0 337662943 363978752 25614 33554432000 4194304 5683644 140736973009088 140736972999512 4523423 0 0 16781312 33554434 0 0 0 17 1 0 0 0 0 0
/proc/4597/statm: 88862 25614 1846 364 0 24091 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 355448

[startup+6.30017 s]
/proc/loadavg: 2.05 2.01 1.95 3/227 4602
/proc/meminfo: memFree=27862516/32873648 swapFree=7628/7628
[pid=4597] ppid=4595 vsize=438960 CPUtime=5.9 cores=1,3,5,7
/proc/4597/stat : 4597 (python) S 4595 4597 3958 0 -1 4202496 32734 1008 1 0 577 13 0 0 20 0 2 0 337662943 449495040 27603 33554432000 4194304 5683644 140736973009088 140736973003920 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4597/statm: 109740 27603 1902 364 0 44963 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 438960

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

[startup+8.00032 s]
/proc/loadavg: 2.12 2.03 1.95 3/230 4605
/proc/meminfo: memFree=27838816/32873648 swapFree=7628/7628
[pid=4597] ppid=4595 vsize=438960 CPUtime=5.9 cores=1,3,5,7
/proc/4597/stat : 4597 (python) S 4595 4597 3958 0 -1 4202496 32734 1008 1 0 577 13 0 0 20 0 2 0 337662943 449495040 27603 33554432000 4194304 5683644 140736973009088 140736973003920 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4597/statm: 109740 27603 1902 364 0 44963 0
[pid=4603] ppid=4597 vsize=363180 CPUtime=0 cores=1,3,5,7
/proc/4603/stat : 4603 (python) S 4597 4597 3958 0 -1 4202560 734 0 0 0 0 0 0 0 20 0 1 0 337663544 371896320 26035 33554432000 4194304 5683644 140736973009088 140736973000176 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4603/statm: 90795 26035 340 364 0 26018 0
[pid=4605] ppid=4603 vsize=24584 CPUtime=1.97 cores=1,3,5,7
/proc/4605/stat : 4605 (clasp-1.3.7-x86) R 4603 4605 4605 0 -1 4202496 7348 0 0 0 197 0 0 0 20 0 1 0 337663545 25174016 5614 33554432000 134512640 136139019 4287249296 4287248400 134815795 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4605/statm: 6146 5614 171 398 0 5746 0
[pid=4597/tid=4604] ppid=4595 vsize=438960 CPUtime=0 cores=1,3,5,7
/proc/4597/task/4604/stat : 4604 (python) S 4595 4597 3958 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337663544 449495040 27603 33554432000 4194304 5683644 140736973009088 139931850269232 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.87
Current children cumulated vsize (KiB) 826724

[startup+8.80028 s]
/proc/loadavg: 2.12 2.03 1.95 3/230 4605
/proc/meminfo: memFree=27838692/32873648 swapFree=7628/7628
[pid=4597] ppid=4595 vsize=438960 CPUtime=5.9 cores=1,3,5,7
/proc/4597/stat : 4597 (python) S 4595 4597 3958 0 -1 4202496 32734 1008 1 0 577 13 0 0 20 0 2 0 337662943 449495040 27603 33554432000 4194304 5683644 140736973009088 140736973003920 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4597/statm: 109740 27603 1902 364 0 44963 0
[pid=4603] ppid=4597 vsize=363180 CPUtime=0 cores=1,3,5,7
/proc/4603/stat : 4603 (python) S 4597 4597 3958 0 -1 4202560 735 0 0 0 0 0 0 0 20 0 1 0 337663544 371896320 26035 33554432000 4194304 5683644 140736973009088 140736973000176 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4603/statm: 90795 26035 340 364 0 26018 0
[pid=4605] ppid=4603 vsize=24584 CPUtime=2.77 cores=1,3,5,7
/proc/4605/stat : 4605 (clasp-1.3.7-x86) R 4603 4605 4605 0 -1 4202496 7348 0 0 0 277 0 0 0 20 0 1 0 337663545 25174016 5614 33554432000 134512640 136139019 4287249296 4287248400 134815762 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4605/statm: 6146 5614 171 398 0 5746 0
[pid=4597/tid=4604] ppid=4595 vsize=438960 CPUtime=0 cores=1,3,5,7
/proc/4597/task/4604/stat : 4604 (python) S 4595 4597 3958 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337663544 449495040 27603 33554432000 4194304 5683644 140736973009088 139931850269232 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.67
Current children cumulated vsize (KiB) 826724

[startup+9.20031 s]
/proc/loadavg: 2.12 2.03 1.95 3/230 4605
/proc/meminfo: memFree=27838692/32873648 swapFree=7628/7628
[pid=4597] ppid=4595 vsize=438960 CPUtime=5.9 cores=1,3,5,7
/proc/4597/stat : 4597 (python) S 4595 4597 3958 0 -1 4202496 32734 1008 1 0 577 13 0 0 20 0 2 0 337662943 449495040 27603 33554432000 4194304 5683644 140736973009088 140736973003920 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4597/statm: 109740 27603 1902 364 0 44963 0
[pid=4603] ppid=4597 vsize=363180 CPUtime=0 cores=1,3,5,7
/proc/4603/stat : 4603 (python) S 4597 4597 3958 0 -1 4202560 887 0 0 0 0 0 0 0 20 0 1 0 337663544 371896320 26058 33554432000 4194304 5683644 140736973009088 140736973000176 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4603/statm: 90795 26058 363 364 0 26018 0
[pid=4605] ppid=4603 vsize=24584 CPUtime=3.17 cores=1,3,5,7
/proc/4605/stat : 4605 (clasp-1.3.7-x86) R 4603 4605 4605 0 -1 4202496 7348 0 0 0 317 0 0 0 20 0 1 0 337663545 25174016 5614 33554432000 134512640 136139019 4287249296 4287248400 134815771 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4605/statm: 6146 5614 171 398 0 5746 0
[pid=4597/tid=4604] ppid=4595 vsize=438960 CPUtime=0 cores=1,3,5,7
/proc/4597/task/4604/stat : 4604 (python) S 4595 4597 3958 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337663544 449495040 27603 33554432000 4194304 5683644 140736973009088 139931850269232 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.07
Current children cumulated vsize (KiB) 826724

[startup+9.60029 s]
/proc/loadavg: 2.12 2.03 1.95 3/230 4605
/proc/meminfo: memFree=27838692/32873648 swapFree=7628/7628
[pid=4597] ppid=4595 vsize=438960 CPUtime=5.9 cores=1,3,5,7
/proc/4597/stat : 4597 (python) S 4595 4597 3958 0 -1 4202496 32734 1008 1 0 577 13 0 0 20 0 2 0 337662943 449495040 27603 33554432000 4194304 5683644 140736973009088 140736973003920 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4597/statm: 109740 27603 1902 364 0 44963 0
[pid=4603] ppid=4597 vsize=363180 CPUtime=0 cores=1,3,5,7
/proc/4603/stat : 4603 (python) S 4597 4597 3958 0 -1 4202560 887 0 0 0 0 0 0 0 20 0 1 0 337663544 371896320 26058 33554432000 4194304 5683644 140736973009088 140736973000176 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4603/statm: 90795 26058 363 364 0 26018 0
[pid=4605] ppid=4603 vsize=19324 CPUtime=3.57 cores=1,3,5,7
/proc/4605/stat : 4605 (clasp-1.3.7-x86) R 4603 4605 4605 0 -1 4202496 7361 0 0 0 356 1 0 0 20 0 1 0 337663545 19787776 4592 33554432000 134512640 136139019 4287249296 4287248208 134640737 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4605/statm: 4831 4592 183 398 0 4431 0
[pid=4597/tid=4604] ppid=4595 vsize=438960 CPUtime=0 cores=1,3,5,7
/proc/4597/task/4604/stat : 4604 (python) S 4595 4597 3958 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337663544 449495040 27603 33554432000 4194304 5683644 140736973009088 139931850269232 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.47
Current children cumulated vsize (KiB) 821464

Child status: 0
Real time (s): 9.64358
CPU time (s): 9.54955
CPU user time (s): 9.38057
CPU system time (s): 0.168974
CPU usage (%): 99.0249
Max. virtual memory (cumulated for all children) (KiB): 826724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.38057
system time used= 0.168974
maximum resident set size= 120520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54344
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1023
involuntary context switches= 43

runsolver used 0.006998 second user time and 0.056991 second system time

The end