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-3729697-1338714182/watcher-3729697-1338714182 -o /tmp/evaluation-result-3729697-1338714182/solver-3729697-1338714182 -C 1800 -W 1900 -M 15500 solver HOME/instance-3729697-1338714182.opb 841497988
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.61 1.98 1.70 3/195 25310
/proc/meminfo: memFree=28309336/32873844 swapFree=7120/7120
[pid=25310] ppid=25308 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/25310/stat : 25310 (python) R 25308 25310 22930 0 -1 4202496 861 0 0 0 0 0 0 0 20 0 1 0 337543065 15749120 614 33554432000 4194304 5683644 140736276123520 140736276095704 233220575124 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/25310/statm: 3845 617 331 364 0 287 0
[startup+0.077677 s]
/proc/loadavg: 2.61 1.98 1.70 3/195 25310
/proc/meminfo: memFree=28309336/32873844 swapFree=7120/7120
[pid=25310] ppid=25308 vsize=36260 CPUtime=0.04 cores=0,2,4,6
/proc/25310/stat : 25310 (python) R 25308 25310 22930 0 -1 4202496 2958 0 0 0 3 1 0 0 20 0 1 0 337543065 37130240 1337 33554432000 4194304 4196484 140733344542736 140733344422280 140114403718642 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/25310/statm: 9065 1337 475 1 0 858 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36260
[startup+0.100339 s]
/proc/loadavg: 2.61 1.98 1.70 3/195 25310
/proc/meminfo: memFree=28309336/32873844 swapFree=7120/7120
[pid=25310] ppid=25308 vsize=49588 CPUtime=0.06 cores=0,2,4,6
/proc/25310/stat : 25310 (python) D 25308 25310 22930 0 -1 4202496 3672 0 0 0 4 2 0 0 20 0 1 0 337543065 50778112 1924 33554432000 4194304 4196484 140733344542736 140733344357992 233211784487 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/25310/statm: 12397 1924 556 1 0 1335 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 49588
[startup+0.300294 s]
/proc/loadavg: 2.61 1.98 1.70 3/195 25310
/proc/meminfo: memFree=28309336/32873844 swapFree=7120/7120
[pid=25310] ppid=25308 vsize=99040 CPUtime=0.2 cores=0,2,4,6
/proc/25310/stat : 25310 (python) R 25308 25310 22930 0 -1 4202496 5755 0 0 0 13 7 0 0 20 0 1 0 337543065 101416960 3602 33554432000 4194304 4196484 140733344542736 140733344484920 233220949280 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/25310/statm: 24760 3602 1047 1 0 2562 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 99040
[startup+0.700135 s]
/proc/loadavg: 2.61 1.98 1.70 3/195 25310
/proc/meminfo: memFree=28309336/32873844 swapFree=7120/7120
[pid=25310] ppid=25308 vsize=134480 CPUtime=0.5 cores=0,2,4,6
/proc/25310/stat : 25310 (python) R 25308 25310 22930 0 -1 4202496 11213 1012 0 0 36 14 0 0 20 0 1 0 337543065 137707520 6346 33554432000 4194304 4196484 140733344542736 140733344534496 233220989879 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/25310/statm: 33621 6346 1170 1 0 5193 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 134480
[startup+1.50021 s]
/proc/loadavg: 2.61 1.98 1.70 3/197 25316
/proc/meminfo: memFree=28288340/32873844 swapFree=7120/7120
[pid=25310] ppid=25308 vsize=134480 CPUtime=0.54 cores=0,2,4,6
/proc/25310/stat : 25310 (python) S 25308 25310 22930 0 -1 4202496 11228 1012 0 0 40 14 0 0 20 0 1 0 337543065 137707520 6346 33554432000 4194304 4196484 140733344542736 140733344534496 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/25310/statm: 33620 6346 1170 1 0 5192 0
[pid=25316] ppid=25310 vsize=2336 CPUtime=0.81 cores=0,2,4,6
/proc/25316/stat : 25316 (clasp-1.3.3-x86) R 25310 25316 25316 0 -1 4202496 649 0 0 0 81 0 0 0 20 0 1 0 337543132 2392064 341 33554432000 134512640 136080129 4292712928 4292711920 134588720 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/25316/statm: 584 341 176 383 0 199 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 136816
[startup+3.10022 s]
/proc/loadavg: 2.61 1.98 1.70 3/197 25316
/proc/meminfo: memFree=28287224/32873844 swapFree=7120/7120
[pid=25310] ppid=25308 vsize=134480 CPUtime=0.61 cores=0,2,4,6
/proc/25310/stat : 25310 (python) S 25308 25310 22930 0 -1 4202496 11232 1012 0 0 46 15 0 0 20 0 1 0 337543065 137707520 6346 33554432000 4194304 4196484 140733344542736 140733344534496 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/25310/statm: 33620 6346 1170 1 0 5192 0
[pid=25316] ppid=25310 vsize=2600 CPUtime=2.41 cores=0,2,4,6
/proc/25316/stat : 25316 (clasp-1.3.3-x86) R 25310 25316 25316 0 -1 4202496 712 0 0 0 241 0 0 0 20 0 1 0 337543132 2662400 404 33554432000 134512640 136080129 4292712928 4292712016 134579351 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/25316/statm: 650 404 176 383 0 265 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 137080
[startup+6.30021 s]
/proc/loadavg: 2.57 1.98 1.70 3/197 25316
/proc/meminfo: memFree=28286480/32873844 swapFree=7120/7120
[pid=25310] ppid=25308 vsize=134480 CPUtime=0.75 cores=0,2,4,6
/proc/25310/stat : 25310 (python) S 25308 25310 22930 0 -1 4202496 11241 1012 0 0 59 16 0 0 20 0 1 0 337543065 137707520 6346 33554432000 4194304 4196484 140733344542736 140733344534496 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/25310/statm: 33620 6346 1170 1 0 5192 0
[pid=25316] ppid=25310 vsize=2996 CPUtime=5.61 cores=0,2,4,6
/proc/25316/stat : 25316 (clasp-1.3.3-x86) R 25310 25316 25316 0 -1 4202496 802 0 0 0 561 0 0 0 20 0 1 0 337543132 3067904 494 33554432000 134512640 136080129 4292712928 4292711856 134716422 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/25316/statm: 749 494 176 383 0 364 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 137476
[startup+12.7003 s]
/proc/loadavg: 2.84 2.04 1.72 3/197 25319
/proc/meminfo: memFree=28260632/32873844 swapFree=7120/7120
[pid=25310] ppid=25308 vsize=136540 CPUtime=11.58 cores=0,2,4,6
/proc/25310/stat : 25310 (python) S 25308 25310 22930 0 -1 4202496 12493 2846 0 0 88 21 1049 0 20 0 1 0 337543065 139816960 6368 33554432000 4194304 4196484 140733344542736 140733344534496 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/25310/statm: 34135 6368 1180 1 0 5192 0
[pid=25319] ppid=25310 vsize=2460 CPUtime=1.48 cores=0,2,4,6
/proc/25319/stat : 25319 (clasp-1.3.3-x86) R 25310 25319 25319 0 -1 4202496 677 0 0 0 148 0 0 0 20 0 1 0 337544186 2519040 368 33554432000 134512640 136080129 4289358816 4289357888 134845179 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/25319/statm: 615 368 176 383 0 230 0
Current children cumulated CPU time (s) 13.06
Current children cumulated vsize (KiB) 139000
[startup+25.5003 s]
/proc/loadavg: 2.79 2.07 1.73 3/179 25322
/proc/meminfo: memFree=28803032/32873844 swapFree=7120/7120
[pid=25310] ppid=25308 vsize=136540 CPUtime=12.18 cores=0,2,4,6
/proc/25310/stat : 25310 (python) S 25308 25310 22930 0 -1 4202496 12522 2846 0 0 142 27 1049 0 20 0 1 0 337543065 139816960 6368 33554432000 4194304 4196484 140733344542736 140733344534496 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/25310/statm: 34135 6368 1180 1 0 5192 0
[pid=25319] ppid=25310 vsize=3660 CPUtime=14.27 cores=0,2,4,6
/proc/25319/stat : 25319 (clasp-1.3.3-x86) R 25310 25319 25319 0 -1 4202496 968 0 0 0 1427 0 0 0 20 0 1 0 337544186 3747840 659 33554432000 134512640 136080129 4289358816 4289357948 134597792 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/25319/statm: 915 659 176 383 0 530 0
Current children cumulated CPU time (s) 26.45
Current children cumulated vsize (KiB) 140200
Solver just ended. Dumping a history of the last processes samples
[startup+28.7003 s]
/proc/loadavg: 2.79 2.07 1.73 3/179 25322
/proc/meminfo: memFree=28785424/32873844 swapFree=7120/7120
[pid=25310] ppid=25308 vsize=136540 CPUtime=12.33 cores=0,2,4,6
/proc/25310/stat : 25310 (python) S 25308 25310 22930 0 -1 4202496 12526 2846 0 0 155 29 1049 0 20 0 1 0 337543065 139816960 6368 33554432000 4194304 4196484 140733344542736 140733344534496 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/25310/statm: 34135 6368 1180 1 0 5192 0
[pid=25319] ppid=25310 vsize=3792 CPUtime=17.47 cores=0,2,4,6
/proc/25319/stat : 25319 (clasp-1.3.3-x86) R 25310 25319 25319 0 -1 4202496 1027 0 0 0 1747 0 0 0 20 0 1 0 337544186 3883008 718 33554432000 134512640 136080129 4289358816 4289357888 134849991 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/25319/statm: 948 718 176 383 0 563 0
Current children cumulated CPU time (s) 29.8
Current children cumulated vsize (KiB) 140332
[startup+31.906 s]
/proc/loadavg: 2.73 2.07 1.74 3/179 25322
/proc/meminfo: memFree=28771908/32873844 swapFree=7120/7120
[pid=25310] ppid=25308 vsize=136540 CPUtime=12.48 cores=0,2,4,6
/proc/25310/stat : 25310 (python) S 25308 25310 22930 0 -1 4202496 12532 2846 0 0 168 31 1049 0 20 0 1 0 337543065 139816960 6368 33554432000 4194304 4196484 140733344542736 140733344534496 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/25310/statm: 34135 6368 1180 1 0 5192 0
[pid=25319] ppid=25310 vsize=4056 CPUtime=20.68 cores=0,2,4,6
/proc/25319/stat : 25319 (clasp-1.3.3-x86) R 25310 25319 25319 0 -1 4202496 1077 0 0 0 2068 0 0 0 20 0 1 0 337544186 4153344 768 33554432000 134512640 136080129 4289358816 4289357808 134588617 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/25319/statm: 1014 768 176 383 0 629 0
Current children cumulated CPU time (s) 33.16
Current children cumulated vsize (KiB) 140596
[startup+33.5003 s]
/proc/loadavg: 2.73 2.07 1.74 3/179 25322
/proc/meminfo: memFree=28768188/32873844 swapFree=7120/7120
[pid=25310] ppid=25308 vsize=136540 CPUtime=12.54 cores=0,2,4,6
/proc/25310/stat : 25310 (python) S 25308 25310 22930 0 -1 4202496 12537 2846 0 0 174 31 1049 0 20 0 1 0 337543065 139816960 6368 33554432000 4194304 4196484 140733344542736 140733344534496 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/25310/statm: 34135 6368 1180 1 0 5192 0
[pid=25319] ppid=25310 vsize=4056 CPUtime=22.27 cores=0,2,4,6
/proc/25319/stat : 25319 (clasp-1.3.3-x86) R 25310 25319 25319 0 -1 4202496 1080 0 0 0 2227 0 0 0 20 0 1 0 337544186 4153344 771 33554432000 134512640 136080129 4289358816 4289357952 134610270 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/25319/statm: 1014 771 176 383 0 629 0
Current children cumulated CPU time (s) 34.81
Current children cumulated vsize (KiB) 140596
[startup+33.9003 s]
/proc/loadavg: 2.73 2.07 1.74 3/179 25322
/proc/meminfo: memFree=28768188/32873844 swapFree=7120/7120
[pid=25310] ppid=25308 vsize=136540 CPUtime=12.56 cores=0,2,4,6
/proc/25310/stat : 25310 (python) S 25308 25310 22930 0 -1 4202496 12537 2846 0 0 176 31 1049 0 20 0 1 0 337543065 139816960 6368 33554432000 4194304 4196484 140733344542736 140733344534496 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/25310/statm: 34135 6368 1180 1 0 5192 0
[pid=25319] ppid=25310 vsize=4056 CPUtime=22.67 cores=0,2,4,6
/proc/25319/stat : 25319 (clasp-1.3.3-x86) R 25310 25319 25319 0 -1 4202496 1080 0 0 0 2267 0 0 0 20 0 1 0 337544186 4153344 771 33554432000 134512640 136080129 4289358816 4289357888 134845141 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/25319/statm: 1014 771 176 383 0 629 0
Current children cumulated CPU time (s) 35.23
Current children cumulated vsize (KiB) 140596
[startup+34.3002 s]
/proc/loadavg: 2.73 2.07 1.74 3/179 25322
/proc/meminfo: memFree=28763228/32873844 swapFree=7120/7120
[pid=25310] ppid=25308 vsize=136540 CPUtime=12.6 cores=0,2,4,6
/proc/25310/stat : 25310 (python) R 25308 25310 22930 0 -1 4202496 12539 2846 0 0 179 32 1049 0 20 0 1 0 337543065 139816960 6368 33554432000 4194304 4196484 140733344542736 140733344534496 140114403067392 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/25310/statm: 34136 6368 1180 1 0 5193 0
[pid=25319] ppid=25310 vsize=0 CPUtime=23.04 cores=0,2,4,6
/proc/25319/stat : 25319 (clasp-1.3.3-x86) Z 25310 25319 25319 0 -1 4202508 1095 0 0 0 2304 0 0 0 20 0 1 0 337544186 0 0 33554432000 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25319/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 35.64
Current children cumulated vsize (KiB) 136540
Child status: 20
Real time (s): 34.3825
CPU time (s): 35.7606
CPU user time (s): 35.4066
CPU system time (s): 0.353946
CPU usage (%): 104.008
Max. virtual memory (cumulated for all children) (KiB): 140600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.4066
system time used= 0.353946
maximum resident set size= 25516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22284
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1464
involuntary context switches= 92
runsolver used 0.06499 second user time and 0.12798 second system time
The end