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-3739719-1338719708/watcher-3739719-1338719708 -o /tmp/evaluation-result-3739719-1338719708/solver-3739719-1338719708 -C 1800 -W 1900 -M 15500 solver HOME/instance-3739719-1338719708.opb 795842473
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.12 2.15 2.11 4/177 28419
/proc/meminfo: memFree=28781232/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/28419/stat : 28419 (python) R 28417 28419 22930 0 -1 4202496 864 0 0 0 0 0 0 0 20 0 1 0 338095718 15749120 617 33554432000 4194304 5683644 140735937465456 140735937437640 233220616894 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/28419/statm: 3845 617 331 364 0 287 0
[startup+0.012055 s]
/proc/loadavg: 2.12 2.15 2.11 4/177 28419
/proc/meminfo: memFree=28781232/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=15992 CPUtime=0 cores=1,3,5,7
/proc/28419/stat : 28419 (python) R 28417 28419 22930 0 -1 4202496 1014 0 0 0 0 0 0 0 20 0 1 0 338095718 16375808 744 33554432000 4194304 5683644 140735937465456 140735937382728 233220949376 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/28419/statm: 3998 747 347 364 0 440 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15992
[startup+0.100312 s]
/proc/loadavg: 2.12 2.15 2.11 4/177 28419
/proc/meminfo: memFree=28781232/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=51904 CPUtime=0.06 cores=1,3,5,7
/proc/28419/stat : 28419 (python) R 28417 28419 22930 0 -1 4202496 3780 0 0 0 4 2 0 0 20 0 1 0 338095718 53149696 2013 33554432000 4194304 4196484 140733970432336 140733970260040 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/28419/statm: 12976 2014 567 1 0 1383 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 51904
[startup+0.300275 s]
/proc/loadavg: 2.12 2.15 2.11 4/177 28419
/proc/meminfo: memFree=28781232/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=99180 CPUtime=0.2 cores=1,3,5,7
/proc/28419/stat : 28419 (python) R 28417 28419 22930 0 -1 4202496 5803 0 0 0 12 8 0 0 20 0 1 0 338095718 101560320 3637 33554432000 4194304 4196484 140733970432336 140733970375608 233220575124 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/28419/statm: 24795 3638 1047 1 0 2597 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 99180
[startup+0.70027 s]
/proc/loadavg: 2.12 2.15 2.11 4/177 28419
/proc/meminfo: memFree=28781232/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=134464 CPUtime=0.49 cores=1,3,5,7
/proc/28419/stat : 28419 (python) R 28417 28419 22930 0 -1 4202496 11239 1011 0 0 36 13 0 0 20 0 1 0 338095718 137691136 6349 33554432000 4194304 4196484 140733970432336 140733970424096 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/28419/statm: 33615 6349 1170 1 0 5187 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 134464
[startup+1.50028 s]
/proc/loadavg: 2.12 2.15 2.11 3/179 28425
/proc/meminfo: memFree=28751828/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=134460 CPUtime=0.55 cores=1,3,5,7
/proc/28419/stat : 28419 (python) S 28417 28419 22930 0 -1 4202496 11257 1011 0 0 41 14 0 0 20 0 1 0 338095718 137687040 6349 33554432000 4194304 4196484 140733970432336 140733970424096 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28419/statm: 33615 6349 1170 1 0 5187 0
[pid=28425] ppid=28419 vsize=9312 CPUtime=0.81 cores=1,3,5,7
/proc/28425/stat : 28425 (clasp-1.3.3-x86) R 28419 28425 28425 0 -1 4202496 2608 0 0 0 81 0 0 0 20 0 1 0 338095786 9535488 2047 33554432000 134512640 136080129 4286886048 4286885120 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/28425/statm: 2328 2047 176 383 0 1943 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 143772
[startup+3.10027 s]
/proc/loadavg: 2.12 2.15 2.11 4/179 28425
/proc/meminfo: memFree=28748972/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=134460 CPUtime=0.62 cores=1,3,5,7
/proc/28419/stat : 28419 (python) S 28417 28419 22930 0 -1 4202496 11262 1011 0 0 47 15 0 0 20 0 1 0 338095718 137687040 6349 33554432000 4194304 4196484 140733970432336 140733970424096 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28419/statm: 33615 6349 1170 1 0 5187 0
[pid=28425] ppid=28419 vsize=11052 CPUtime=2.41 cores=1,3,5,7
/proc/28425/stat : 28425 (clasp-1.3.3-x86) R 28419 28425 28425 0 -1 4202496 3041 0 0 0 241 0 0 0 20 0 1 0 338095786 11317248 2480 33554432000 134512640 136080129 4286886048 4286884916 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/28425/statm: 2763 2480 176 383 0 2378 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 145512
[startup+6.30023 s]
/proc/loadavg: 2.19 2.16 2.11 3/179 28425
/proc/meminfo: memFree=28744136/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=134460 CPUtime=0.76 cores=1,3,5,7
/proc/28419/stat : 28419 (python) S 28417 28419 22930 0 -1 4202496 11270 1011 0 0 60 16 0 0 20 0 1 0 338095718 137687040 6349 33554432000 4194304 4196484 140733970432336 140733970424096 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28419/statm: 33615 6349 1170 1 0 5187 0
[pid=28425] ppid=28419 vsize=12636 CPUtime=5.61 cores=1,3,5,7
/proc/28425/stat : 28425 (clasp-1.3.3-x86) R 28419 28425 28425 0 -1 4202496 3429 0 0 0 561 0 0 0 20 0 1 0 338095786 12939264 2868 33554432000 134512640 136080129 4286886048 4286885040 134588617 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/28425/statm: 3159 2868 176 383 0 2774 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 147096
[startup+12.7003 s]
/proc/loadavg: 2.18 2.16 2.11 3/179 28428
/proc/meminfo: memFree=28737928/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=136520 CPUtime=11.19 cores=1,3,5,7
/proc/28419/stat : 28419 (python) S 28417 28419 22930 0 -1 4202496 12509 5842 0 0 89 22 1006 2 20 0 1 0 338095718 139796480 6369 33554432000 4194304 4196484 140733970432336 140733970424096 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28419/statm: 34130 6369 1180 1 0 5187 0
[pid=28428] ppid=28419 vsize=10392 CPUtime=1.92 cores=1,3,5,7
/proc/28428/stat : 28428 (clasp-1.3.3-x86) R 28419 28428 28428 0 -1 4202496 2880 0 0 0 192 0 0 0 20 0 1 0 338096796 10641408 2323 33554432000 134512640 136080129 4289604224 4289603092 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/28428/statm: 2598 2323 176 383 0 2213 0
Current children cumulated CPU time (s) 13.11
Current children cumulated vsize (KiB) 146912
[startup+25.5003 s]
/proc/loadavg: 2.14 2.15 2.11 4/179 28428
/proc/meminfo: memFree=28720304/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=136520 CPUtime=11.77 cores=1,3,5,7
/proc/28419/stat : 28419 (python) S 28417 28419 22930 0 -1 4202496 12536 5842 0 0 140 29 1006 2 20 0 1 0 338095718 139796480 6369 33554432000 4194304 4196484 140733970432336 140733970424096 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28419/statm: 34130 6369 1180 1 0 5187 0
[pid=28428] ppid=28419 vsize=15160 CPUtime=14.71 cores=1,3,5,7
/proc/28428/stat : 28428 (clasp-1.3.3-x86) R 28419 28428 28428 0 -1 4202496 4079 0 0 0 1471 0 0 0 20 0 1 0 338096796 15523840 3522 33554432000 134512640 136080129 4289604224 4289603056 134716403 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/28428/statm: 3790 3522 176 383 0 3405 0
Current children cumulated CPU time (s) 26.48
Current children cumulated vsize (KiB) 151680
Solver just ended. Dumping a history of the last processes samples
[startup+31.9068 s]
/proc/loadavg: 2.21 2.17 2.11 3/179 28428
/proc/meminfo: memFree=28717328/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=136520 CPUtime=12.09 cores=1,3,5,7
/proc/28419/stat : 28419 (python) S 28417 28419 22930 0 -1 4202496 12547 5842 0 0 167 34 1006 2 20 0 1 0 338095718 139796480 6369 33554432000 4194304 4196484 140733970432336 140733970424096 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28419/statm: 34130 6369 1180 1 0 5187 0
[pid=28428] ppid=28419 vsize=15348 CPUtime=21.12 cores=1,3,5,7
/proc/28428/stat : 28428 (clasp-1.3.3-x86) R 28419 28428 28428 0 -1 4202496 4099 0 0 0 2112 0 0 0 20 0 1 0 338096796 15716352 3542 33554432000 134512640 136080129 4289604224 4289603384 134856211 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/28428/statm: 3837 3542 176 383 0 3452 0
Current children cumulated CPU time (s) 33.21
Current children cumulated vsize (KiB) 151868
[startup+35.1003 s]
/proc/loadavg: 2.19 2.16 2.11 3/179 28428
/proc/meminfo: memFree=28714088/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=136520 CPUtime=12.24 cores=1,3,5,7
/proc/28419/stat : 28419 (python) S 28417 28419 22930 0 -1 4202496 12553 5842 0 0 180 36 1006 2 20 0 1 0 338095718 139796480 6369 33554432000 4194304 4196484 140733970432336 140733970424096 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28419/statm: 34130 6369 1180 1 0 5187 0
[pid=28428] ppid=28419 vsize=15348 CPUtime=24.32 cores=1,3,5,7
/proc/28428/stat : 28428 (clasp-1.3.3-x86) R 28419 28428 28428 0 -1 4202496 4099 0 0 0 2432 0 0 0 20 0 1 0 338096796 15716352 3542 33554432000 134512640 136080129 4289604224 4289603216 134588658 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/28428/statm: 3837 3542 176 383 0 3452 0
Current children cumulated CPU time (s) 36.56
Current children cumulated vsize (KiB) 151868
[startup+38.3003 s]
/proc/loadavg: 2.19 2.16 2.11 4/179 28428
/proc/meminfo: memFree=28713964/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=136520 CPUtime=12.38 cores=1,3,5,7
/proc/28419/stat : 28419 (python) S 28417 28419 22930 0 -1 4202496 12554 5842 0 0 193 37 1006 2 20 0 1 0 338095718 139796480 6369 33554432000 4194304 4196484 140733970432336 140733970424096 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28419/statm: 34130 6369 1180 1 0 5187 0
[pid=28428] ppid=28419 vsize=15348 CPUtime=27.51 cores=1,3,5,7
/proc/28428/stat : 28428 (clasp-1.3.3-x86) R 28419 28428 28428 0 -1 4202496 4099 0 0 0 2751 0 0 0 20 0 1 0 338096796 15716352 3542 33554432000 134512640 136080129 4289604224 4289603216 134844367 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/28428/statm: 3837 3542 176 383 0 3452 0
Current children cumulated CPU time (s) 39.89
Current children cumulated vsize (KiB) 151868
[startup+39.1002 s]
/proc/loadavg: 2.19 2.16 2.11 3/188 28440
/proc/meminfo: memFree=28788536/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=136520 CPUtime=12.41 cores=1,3,5,7
/proc/28419/stat : 28419 (python) S 28417 28419 22930 0 -1 4202496 12554 5842 0 0 195 38 1006 2 20 0 1 0 338095718 139796480 6369 33554432000 4194304 4196484 140733970432336 140733970424096 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28419/statm: 34130 6369 1180 1 0 5187 0
[pid=28428] ppid=28419 vsize=15348 CPUtime=28.31 cores=1,3,5,7
/proc/28428/stat : 28428 (clasp-1.3.3-x86) R 28419 28428 28428 0 -1 4202496 4099 0 0 0 2831 0 0 0 20 0 1 0 338096796 15716352 3542 33554432000 134512640 136080129 4289604224 4289603352 134803117 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/28428/statm: 3837 3542 176 383 0 3452 0
Current children cumulated CPU time (s) 40.72
Current children cumulated vsize (KiB) 151868
[startup+39.5003 s]
/proc/loadavg: 2.17 2.16 2.11 5/197 28449
/proc/meminfo: memFree=28550432/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=136520 CPUtime=12.43 cores=1,3,5,7
/proc/28419/stat : 28419 (python) S 28417 28419 22930 0 -1 4202496 12554 5842 0 0 197 38 1006 2 20 0 1 0 338095718 139796480 6369 33554432000 4194304 4196484 140733970432336 140733970424096 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28419/statm: 34130 6369 1180 1 0 5187 0
[pid=28428] ppid=28419 vsize=15348 CPUtime=28.72 cores=1,3,5,7
/proc/28428/stat : 28428 (clasp-1.3.3-x86) R 28419 28428 28428 0 -1 4202496 4099 0 0 0 2872 0 0 0 20 0 1 0 338096796 15716352 3542 33554432000 134512640 136080129 4289604224 4289603296 134849487 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/28428/statm: 3837 3542 176 383 0 3452 0
Current children cumulated CPU time (s) 41.15
Current children cumulated vsize (KiB) 151868
[startup+39.7003 s]
/proc/loadavg: 2.17 2.16 2.11 5/197 28449
/proc/meminfo: memFree=28550432/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=136520 CPUtime=12.43 cores=1,3,5,7
/proc/28419/stat : 28419 (python) R 28417 28419 22930 0 -1 4202496 12554 5842 0 0 197 38 1006 2 20 0 1 0 338095718 139796480 6369 33554432000 4194304 4196484 140733970432336 140733970424096 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/28419/statm: 34130 6369 1180 1 0 5187 0
[pid=28428] ppid=28419 vsize=15348 CPUtime=28.91 cores=1,3,5,7
/proc/28428/stat : 28428 (clasp-1.3.3-x86) R 28419 28428 28428 0 -1 4202496 4111 0 0 0 2891 0 0 0 20 0 1 0 338096796 15716352 3554 33554432000 134512640 136080129 4289604224 4289603896 135499140 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/28428/statm: 3837 3554 188 383 0 3452 0
Current children cumulated CPU time (s) 41.34
Current children cumulated vsize (KiB) 151868
[startup+39.8003 s]
/proc/loadavg: 2.17 2.16 2.11 5/197 28449
/proc/meminfo: memFree=28550432/32873844 swapFree=7120/7120
[pid=28419] ppid=28417 vsize=136516 CPUtime=41.45 cores=1,3,5,7
/proc/28419/stat : 28419 (python) R 28417 28419 22930 0 -1 4202496 16357 10876 0 0 205 39 3898 3 20 0 1 0 338095718 139792384 6374 33554432000 4194304 4196484 140733970432336 140733970424872 139701328123919 0 0 16781312 0 0 0 0 17 1 0 0 0 0 0
/proc/28419/statm: 34129 6374 1181 1 0 5186 0
Current children cumulated CPU time (s) 41.45
Current children cumulated vsize (KiB) 136516
Child status: 20
Real time (s): 39.8148
CPU time (s): 41.4837
CPU user time (s): 41.0478
CPU system time (s): 0.435933
CPU usage (%): 104.192
Max. virtual memory (cumulated for all children) (KiB): 151868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.0478
system time used= 0.435933
maximum resident set size= 25520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28324
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= 1498
involuntary context switches= 76
runsolver used 0.076988 second user time and 0.184971 second system time
The end