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-3729528-1338713856/watcher-3729528-1338713856 -o /tmp/evaluation-result-3729528-1338713856/solver-3729528-1338713856 -C 1800 -W 1900 -M 15500 solver HOME/instance-3729528-1338713856.opb 577132900
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: 1.91 1.41 1.49 3/177 24656
/proc/meminfo: memFree=28890204/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/24656/stat : 24656 (python) D 24654 24656 22930 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 337510581 15642624 526 33554432000 4194304 5683644 140733225878576 140733225860248 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/24656/statm: 3819 526 311 364 0 261 0
[startup+0.041047 s]
/proc/loadavg: 1.91 1.41 1.49 3/177 24656
/proc/meminfo: memFree=28890204/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=16108 CPUtime=0 cores=0,2,4,6
/proc/24656/stat : 24656 (python) D 24654 24656 22930 0 -1 4202496 1113 0 0 0 0 0 0 0 20 0 1 0 337510581 16494592 828 33554432000 4194304 5683644 140733225878576 140733225830792 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/24656/statm: 4027 828 367 364 0 469 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16108
[startup+0.100335 s]
/proc/loadavg: 1.91 1.41 1.49 3/177 24656
/proc/meminfo: memFree=28890204/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=17632 CPUtime=0.02 cores=0,2,4,6
/proc/24656/stat : 24656 (python) R 24654 24656 22930 0 -1 4202496 2234 0 0 0 2 0 0 0 20 0 1 0 337510581 18055168 738 33554432000 4194304 4196484 140736843025728 140736842955896 140305668857152 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/24656/statm: 4408 738 367 1 0 343 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17632
[startup+0.300244 s]
/proc/loadavg: 1.91 1.41 1.49 3/177 24656
/proc/meminfo: memFree=28890204/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=56784 CPUtime=0.08 cores=0,2,4,6
/proc/24656/stat : 24656 (python) R 24654 24656 22930 0 -1 4202496 4053 0 0 0 5 3 0 0 20 0 1 0 337510581 58146816 2211 33554432000 4194304 4196484 140736843025728 140736842843672 140305668798400 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/24656/statm: 14196 2211 603 1 0 1534 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 56784
[startup+0.700207 s]
/proc/loadavg: 1.91 1.41 1.49 3/177 24656
/proc/meminfo: memFree=28890204/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=101564 CPUtime=0.26 cores=0,2,4,6
/proc/24656/stat : 24656 (python) R 24654 24656 22930 0 -1 4202496 6641 507 0 0 16 10 0 0 20 0 1 0 337510581 104001536 4251 33554432000 4194304 4196484 140736843025728 140736842991688 140305669426526 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/24656/statm: 25391 4251 1049 1 0 3193 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 101564
[startup+1.50029 s]
/proc/loadavg: 1.91 1.41 1.49 2/178 24661
/proc/meminfo: memFree=28870580/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=118120 CPUtime=0.5 cores=0,2,4,6
/proc/24656/stat : 24656 (python) D 24654 24656 22930 0 -1 4202496 9599 1014 0 0 29 21 0 0 20 0 1 0 337510581 120954880 5832 33554432000 4194304 4196484 140736843025728 140736842959336 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/24656/statm: 29530 5832 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 118120
[startup+3.10022 s]
/proc/loadavg: 1.91 1.41 1.49 3/179 24662
/proc/meminfo: memFree=28867968/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=134456 CPUtime=0.66 cores=0,2,4,6
/proc/24656/stat : 24656 (python) S 24654 24656 22930 0 -1 4202496 11254 1014 0 0 42 24 0 0 20 0 1 0 337510581 137682944 6349 33554432000 4194304 4196484 140736843025728 140736843017488 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/24656/statm: 33614 6349 1170 1 0 5186 0
[pid=24662] ppid=24656 vsize=2464 CPUtime=1.4 cores=0,2,4,6
/proc/24662/stat : 24662 (clasp-1.3.3-x86) R 24656 24662 24662 0 -1 4202496 679 0 0 0 140 0 0 0 20 0 1 0 337510750 2523136 364 33554432000 134512640 136080129 4291094080 4291093152 134849690 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/24662/statm: 616 364 176 383 0 231 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 136920
heavy processes:
[startup+6.30028 s]
/proc/loadavg: 1.91 1.42 1.49 4/179 24662
/proc/meminfo: memFree=28866604/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=134456 CPUtime=0.81 cores=0,2,4,6
/proc/24656/stat : 24656 (python) S 24654 24656 22930 0 -1 4202496 11263 1014 0 0 55 26 0 0 20 0 1 0 337510581 137682944 6349 33554432000 4194304 4196484 140736843025728 140736843017488 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24656/statm: 33614 6349 1170 1 0 5186 0
[pid=24662] ppid=24656 vsize=2860 CPUtime=4.59 cores=0,2,4,6
/proc/24662/stat : 24662 (clasp-1.3.3-x86) R 24656 24662 24662 0 -1 4202496 780 0 0 0 459 0 0 0 20 0 1 0 337510750 2928640 465 33554432000 134512640 136080129 4291094080 4291093212 134579328 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/24662/statm: 715 465 176 383 0 330 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 137316
[startup+12.7003 s]
/proc/loadavg: 1.92 1.43 1.49 3/179 24662
/proc/meminfo: memFree=28866132/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=136516 CPUtime=11.66 cores=0,2,4,6
/proc/24656/stat : 24656 (python) S 24654 24656 22930 0 -1 4202496 12508 2872 0 0 85 29 1051 1 20 0 1 0 337510581 139792384 6369 33554432000 4194304 4196484 140736843025728 140736843017488 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24656/statm: 34129 6369 1180 1 0 5186 0
Current children cumulated CPU time (s) 11.66
Current children cumulated vsize (KiB) 136516
[startup+25.5003 s]
/proc/loadavg: 1.94 1.46 1.50 3/179 24665
/proc/meminfo: memFree=28866380/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=136516 CPUtime=12.27 cores=0,2,4,6
/proc/24656/stat : 24656 (python) S 24654 24656 22930 0 -1 4202496 12536 2872 0 0 138 37 1051 1 20 0 1 0 337510581 139792384 6369 33554432000 4194304 4196484 140736843025728 140736843017488 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24656/statm: 34129 6369 1180 1 0 5186 0
[pid=24665] ppid=24656 vsize=3524 CPUtime=13.25 cores=0,2,4,6
/proc/24665/stat : 24665 (clasp-1.3.3-x86) R 24656 24665 24665 0 -1 4202496 942 0 0 0 1325 0 0 0 20 0 1 0 337511805 3608576 630 33554432000 134512640 136080129 4293707888 4293706980 134607888 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24665/statm: 881 630 176 383 0 496 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 140040
Solver just ended. Dumping a history of the last processes samples
[startup+38.3003 s]
/proc/loadavg: 1.95 1.47 1.51 3/179 24665
/proc/meminfo: memFree=28865388/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=136516 CPUtime=12.85 cores=0,2,4,6
/proc/24656/stat : 24656 (python) S 24654 24656 22930 0 -1 4202496 12554 2872 0 0 188 45 1051 1 20 0 1 0 337510581 139792384 6369 33554432000 4194304 4196484 140736843025728 140736843017488 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24656/statm: 34129 6369 1180 1 0 5186 0
[pid=24665] ppid=24656 vsize=4184 CPUtime=26.05 cores=0,2,4,6
/proc/24665/stat : 24665 (clasp-1.3.3-x86) R 24656 24665 24665 0 -1 4202496 1095 0 0 0 2605 0 0 0 20 0 1 0 337511805 4284416 783 33554432000 134512640 136080129 4293707888 4293706784 134842445 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24665/statm: 1046 783 176 383 0 661 0
Current children cumulated CPU time (s) 38.9
Current children cumulated vsize (KiB) 140700
[startup+44.7003 s]
/proc/loadavg: 1.95 1.48 1.51 3/179 24665
/proc/meminfo: memFree=28865264/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=136516 CPUtime=13.14 cores=0,2,4,6
/proc/24656/stat : 24656 (python) S 24654 24656 22930 0 -1 4202496 12556 2872 0 0 213 49 1051 1 20 0 1 0 337510581 139792384 6369 33554432000 4194304 4196484 140736843025728 140736843017488 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24656/statm: 34129 6369 1180 1 0 5186 0
[pid=24665] ppid=24656 vsize=4288 CPUtime=32.45 cores=0,2,4,6
/proc/24665/stat : 24665 (clasp-1.3.3-x86) R 24656 24665 24665 0 -1 4202496 1129 0 0 0 3245 0 0 0 20 0 1 0 337511805 4390912 817 33554432000 134512640 136080129 4293707888 4293706896 134842473 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24665/statm: 1072 817 176 383 0 687 0
Current children cumulated CPU time (s) 45.59
Current children cumulated vsize (KiB) 140804
[startup+46.3003 s]
/proc/loadavg: 1.95 1.49 1.51 3/179 24665
/proc/meminfo: memFree=28865264/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=136516 CPUtime=13.21 cores=0,2,4,6
/proc/24656/stat : 24656 (python) S 24654 24656 22930 0 -1 4202496 12557 2872 0 0 219 50 1051 1 20 0 1 0 337510581 139792384 6369 33554432000 4194304 4196484 140736843025728 140736843017488 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24656/statm: 34129 6369 1180 1 0 5186 0
[pid=24665] ppid=24656 vsize=4288 CPUtime=34.05 cores=0,2,4,6
/proc/24665/stat : 24665 (clasp-1.3.3-x86) R 24656 24665 24665 0 -1 4202496 1132 0 0 0 3405 0 0 0 20 0 1 0 337511805 4390912 820 33554432000 134512640 136080129 4293707888 4293706964 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24665/statm: 1072 820 176 383 0 687 0
Current children cumulated CPU time (s) 47.26
Current children cumulated vsize (KiB) 140804
[startup+47.1003 s]
/proc/loadavg: 1.95 1.49 1.51 3/179 24665
/proc/meminfo: memFree=28865264/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=136516 CPUtime=13.26 cores=0,2,4,6
/proc/24656/stat : 24656 (python) S 24654 24656 22930 0 -1 4202496 12557 2872 0 0 223 51 1051 1 20 0 1 0 337510581 139792384 6369 33554432000 4194304 4196484 140736843025728 140736843017488 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24656/statm: 34129 6369 1180 1 0 5186 0
[pid=24665] ppid=24656 vsize=4288 CPUtime=34.85 cores=0,2,4,6
/proc/24665/stat : 24665 (clasp-1.3.3-x86) R 24656 24665 24665 0 -1 4202496 1134 0 0 0 3485 0 0 0 20 0 1 0 337511805 4390912 822 33554432000 134512640 136080129 4293707888 4293707088 134621233 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24665/statm: 1072 822 176 383 0 687 0
Current children cumulated CPU time (s) 48.11
Current children cumulated vsize (KiB) 140804
[startup+47.9003 s]
/proc/loadavg: 1.95 1.49 1.51 3/179 24665
/proc/meminfo: memFree=28865264/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=136516 CPUtime=13.29 cores=0,2,4,6
/proc/24656/stat : 24656 (python) S 24654 24656 22930 0 -1 4202496 12558 2872 0 0 225 52 1051 1 20 0 1 0 337510581 139792384 6369 33554432000 4194304 4196484 140736843025728 140736843017488 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24656/statm: 34129 6369 1180 1 0 5186 0
[pid=24665] ppid=24656 vsize=4288 CPUtime=35.65 cores=0,2,4,6
/proc/24665/stat : 24665 (clasp-1.3.3-x86) R 24656 24665 24665 0 -1 4202496 1139 0 0 0 3565 0 0 0 20 0 1 0 337511805 4390912 827 33554432000 134512640 136080129 4293707888 4293706832 134804847 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24665/statm: 1072 827 176 383 0 687 0
Current children cumulated CPU time (s) 48.94
Current children cumulated vsize (KiB) 140804
[startup+48.1002 s]
/proc/loadavg: 1.95 1.49 1.51 3/179 24665
/proc/meminfo: memFree=28865264/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=136520 CPUtime=13.31 cores=0,2,4,6
/proc/24656/stat : 24656 (python) R 24654 24656 22930 0 -1 4202496 12558 2872 0 0 227 52 1051 1 20 0 1 0 337510581 139796480 6369 33554432000 4194304 4196484 140736843025728 140736843017488 233220949376 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/24656/statm: 34129 6369 1180 1 0 5186 0
[pid=24665] ppid=24656 vsize=0 CPUtime=35.84 cores=0,2,4,6
/proc/24665/stat : 24665 (clasp-1.3.3-x86) Z 24656 24665 24665 0 -1 4202508 1156 0 0 0 3584 0 0 0 20 0 1 0 337511805 0 0 33554432000 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24665/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 49.15
Current children cumulated vsize (KiB) 136520
[startup+48.2002 s]
/proc/loadavg: 1.95 1.49 1.51 3/179 24665
/proc/meminfo: memFree=28865264/32873844 swapFree=7120/7120
[pid=24656] ppid=24654 vsize=136512 CPUtime=49.27 cores=0,2,4,6
/proc/24656/stat : 24656 (python) R 24654 24656 22930 0 -1 4202496 16365 4954 0 0 236 53 4636 2 20 0 1 0 337510581 139788288 6374 33554432000 4194304 4196484 140736843025728 140736843018264 140305669363714 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0
/proc/24656/statm: 34128 6374 1181 1 0 5185 0
Current children cumulated CPU time (s) 49.27
Current children cumulated vsize (KiB) 136512
Child status: 20
Real time (s): 48.2129
CPU time (s): 49.3005
CPU user time (s): 48.7386
CPU system time (s): 0.561914
CPU usage (%): 102.256
Max. virtual memory (cumulated for all children) (KiB): 140832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.7386
system time used= 0.561914
maximum resident set size= 25520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22407
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= 2781
involuntary context switches= 98
runsolver used 0.107983 second user time and 0.312952 second system time
The end