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-3730221-1338715784/watcher-3730221-1338715784 -o /tmp/evaluation-result-3730221-1338715784/solver-3730221-1338715784 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3730221-1338715784.opb -seed 993073693 -budget 1800
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.17 2.04 1.91 3/176 29156
/proc/meminfo: memFree=26169948/32873648 swapFree=7120/7120
[pid=29156] ppid=29154 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/29156/stat : 29156 (python) R 29154 29156 27000 0 -1 4202496 764 0 0 0 0 0 0 0 20 0 1 0 337705858 15749120 636 33554432000 4194304 5683644 140736993025920 140736992966408 219513963408 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/29156/statm: 3845 636 334 364 0 287 0
[startup+0.090103 s]
/proc/loadavg: 2.17 2.04 1.91 3/176 29156
/proc/meminfo: memFree=26169948/32873648 swapFree=7120/7120
[pid=29156] ppid=29154 vsize=92396 CPUtime=0.06 cores=0,2,4,6
/proc/29156/stat : 29156 (python) S 29154 29156 27000 0 -1 4202496 3086 0 1 0 4 2 0 0 20 0 1 0 337705858 94613504 2542 33554432000 4194304 5683644 140736993025920 140736992978392 219513963904 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29156/statm: 23099 2542 816 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 92396
[startup+0.100152 s]
/proc/loadavg: 2.17 2.04 1.91 3/176 29156
/proc/meminfo: memFree=26169948/32873648 swapFree=7120/7120
[pid=29156] ppid=29154 vsize=94456 CPUtime=0.07 cores=0,2,4,6
/proc/29156/stat : 29156 (python) R 29154 29156 27000 0 -1 4202496 3447 1009 1 0 5 2 0 0 20 0 1 0 337705858 96722944 2547 33554432000 4194304 5683644 140736993025920 140736992978392 5170289 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/29156/statm: 23614 2547 820 364 0 1620 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 94456
[startup+0.300195 s]
/proc/loadavg: 2.17 2.04 1.91 3/176 29156
/proc/meminfo: memFree=26169948/32873648 swapFree=7120/7120
[pid=29156] ppid=29154 vsize=169976 CPUtime=0.24 cores=0,2,4,6
/proc/29156/stat : 29156 (python) R 29154 29156 27000 0 -1 4202496 6815 1009 1 0 18 6 0 0 20 0 1 0 337705858 174055424 4584 33554432000 4194304 5683644 140736993025920 140736992916408 219514004407 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/29156/statm: 42494 4584 1253 364 0 3529 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 169976
[startup+0.700252 s]
/proc/loadavg: 2.17 2.04 1.91 3/176 29156
/proc/meminfo: memFree=26169948/32873648 swapFree=7120/7120
[pid=29156] ppid=29154 vsize=357256 CPUtime=0.43 cores=0,2,4,6
/proc/29156/stat : 29156 (python) S 29154 29156 27000 0 -1 4202496 10525 1009 1 0 34 9 0 0 20 0 2 0 337705858 365830144 7207 33554432000 4194304 5683644 140736993025920 140736993020752 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29156/statm: 89314 7207 1900 364 0 24537 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 357256
Solver just ended. Dumping a history of the last processes samples
[startup+1.10718 s]
/proc/loadavg: 2.17 2.04 1.91 3/198 29182
/proc/meminfo: memFree=26089012/32873648 swapFree=7120/7120
[pid=29156] ppid=29154 vsize=357256 CPUtime=0.43 cores=0,2,4,6
/proc/29156/stat : 29156 (python) S 29154 29156 27000 0 -1 4202496 10525 1009 1 0 34 9 0 0 20 0 2 0 337705858 365830144 7207 33554432000 4194304 5683644 140736993025920 140736993020752 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29156/statm: 89314 7207 1900 364 0 24537 0
[pid=29162] ppid=29156 vsize=281476 CPUtime=0 cores=0,2,4,6
/proc/29162/stat : 29162 (python) S 29156 29156 27000 0 -1 4202560 761 0 0 0 0 0 0 0 20 0 1 0 337705911 288231424 5642 33554432000 4194304 5683644 140736993025920 140736993017008 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/29162/statm: 70369 5642 341 364 0 5592 0
[pid=29164] ppid=29162 vsize=9624972 CPUtime=0.87 cores=0,2,4,6
/proc/29164/stat : 29164 (java) S 29162 29164 29164 0 -1 4202496 6701 0 1 0 85 2 0 0 20 0 19 0 337705911 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140733217714448 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29164/statm: 2406243 9381 2263 9 0 2396937 0
[pid=29164/tid=29165] ppid=29162 vsize=9624972 CPUtime=0.54 cores=0,2,4,6
/proc/29164/task/29165/stat : 29165 (java) R 29162 29164 29164 0 -1 4202560 2439 0 1 0 54 0 0 0 20 0 19 0 337705912 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186691416456 140186541785576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29164/tid=29166] ppid=29162 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29164/task/29166/stat : 29166 (java) S 29162 29164 29164 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337705913 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186663868968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29164/tid=29167] ppid=29162 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29164/task/29167/stat : 29167 (java) S 29162 29164 29164 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337705913 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186662816168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29164/tid=29168] ppid=29162 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29164/task/29168/stat : 29168 (java) S 29162 29164 29164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337705913 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186661763368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29164/tid=29169] ppid=29162 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29164/task/29169/stat : 29169 (java) S 29162 29164 29164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337705913 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186660710568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29164/tid=29170] ppid=29162 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29164/task/29170/stat : 29170 (java) S 29162 29164 29164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337705913 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186530393128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29164/tid=29171] ppid=29162 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29164/task/29171/stat : 29171 (java) S 29162 29164 29164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337705913 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186529340328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29164/tid=29172] ppid=29162 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29164/task/29172/stat : 29172 (java) S 29162 29164 29164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337705913 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186528287528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29164/tid=29173] ppid=29162 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29164/task/29173/stat : 29173 (java) S 29162 29164 29164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337705913 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186527234728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29164/tid=29174] ppid=29162 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29164/task/29174/stat : 29174 (java) S 29162 29164 29164 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 337705914 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186044721640 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29164/tid=29175] ppid=29162 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29164/task/29175/stat : 29175 (java) S 29162 29164 29164 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 337705914 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186043667704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29164/tid=29176] ppid=29162 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29164/task/29176/stat : 29176 (java) S 29162 29164 29164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337705914 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186042614792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29164/tid=29177] ppid=29162 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29164/task/29177/stat : 29177 (java) S 29162 29164 29164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337705916 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186041563280 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29164/tid=29178] ppid=29162 vsize=9624972 CPUtime=0.14 cores=0,2,4,6
/proc/29164/task/29178/stat : 29178 (java) S 29162 29164 29164 0 -1 4202560 880 0 0 0 14 0 0 0 20 0 19 0 337705916 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186040511416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29164/tid=29179] ppid=29162 vsize=9624972 CPUtime=0.14 cores=0,2,4,6
/proc/29164/task/29179/stat : 29179 (java) S 29162 29164 29164 0 -1 4202560 1923 0 0 0 14 0 0 0 20 0 19 0 337705916 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186039458616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29164/tid=29180] ppid=29162 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29164/task/29180/stat : 29180 (java) S 29162 29164 29164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337705916 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186038406008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29164/tid=29181] ppid=29162 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29164/task/29181/stat : 29181 (java) S 29162 29164 29164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337705916 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186037353416 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29164/tid=29182] ppid=29162 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29164/task/29182/stat : 29182 (java) S 29162 29164 29164 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337705927 9855971328 9381 33554432000 1073741824 1073778376 140733217723312 140186036298920 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29156/tid=29163] ppid=29154 vsize=357256 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29163/stat : 29163 (python) S 29154 29156 27000 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 337705911 365830144 7207 33554432000 4194304 5683644 140736993025920 140013226725936 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 10263704
Child status: 0
Real time (s): 1.19109
CPU time (s): 1.41378
CPU user time (s): 1.26881
CPU system time (s): 0.144977
CPU usage (%): 118.697
Max. virtual memory (cumulated for all children) (KiB): 10263704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.26881
system time used= 0.144977
maximum resident set size= 37584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23804
page faults= 2
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1270
involuntary context switches= 37
runsolver used 0.001999 second user time and 0.007998 second system time
The end