runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3482385-1307576775/watcher-3482385-1307576775 -o /tmp/evaluation-result-3482385-1307576775/solver-3482385-1307576775 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482385-1307576775.opb -seed 1637073118 -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: 3.31 2.70 1.33 3/446 4253
/proc/meminfo: memFree=18643356/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/4253/stat : 4253 (python) S 4251 4253 3617 0 -1 4202496 728 0 0 0 0 0 0 0 25 0 1 0 869277260 15548416 617 33554432000 4194304 5683644 140735788336768 18446744073709551615 274664806400 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/4253/statm: 3796 617 322 364 0 283 0

[startup+0.0584991 s]
/proc/loadavg: 3.31 2.70 1.33 3/446 4253
/proc/meminfo: memFree=18643356/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=34248 CPUtime=0.04 cores=0,2,4,6
/proc/4253/stat : 4253 (python) R 4251 4253 3617 0 -1 4202496 1523 0 0 0 3 1 0 0 25 0 1 0 869277260 35069952 1359 33554432000 4194304 5683644 140735788336768 18446744073709551615 4874307 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4253/statm: 8562 1359 448 364 0 900 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34248

[startup+0.100493 s]
/proc/loadavg: 3.31 2.70 1.33 3/446 4253
/proc/meminfo: memFree=18643356/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=69500 CPUtime=0.05 cores=0,2,4,6
/proc/4253/stat : 4253 (python) R 4251 4253 3617 0 -1 4202496 2136 0 0 0 4 1 0 0 25 0 1 0 869277260 71168000 1889 33554432000 4194304 5683644 140735788336768 18446744073709551615 274659884679 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4253/statm: 17889 1891 526 364 0 1314 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 69500

[startup+12.7283 s]
/proc/loadavg: 3.31 2.70 1.33 3/446 4253
/proc/meminfo: memFree=18643356/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=315484 CPUtime=2.59 cores=0,2,4,6
/proc/4253/stat : 4253 (python) S 4251 4253 3617 0 -1 4202496 22353 1586 1 0 191 14 53 1 22 0 2 0 869277260 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 318
/proc/4253/statm: 78871 12712 1873 364 0 13758 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 315484
heavy processes:

[startup+12.8163 s]
/proc/loadavg: 3.87 2.84 1.39 3/450 4262
/proc/meminfo: memFree=18549036/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=315484 CPUtime=2.59 cores=0,2,4,6
/proc/4253/stat : 4253 (python) S 4251 4253 3617 0 -1 4202496 22353 1586 1 0 191 14 53 1 22 0 2 0 869277260 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 318
/proc/4253/statm: 78871 12712 1873 364 0 13758 0
[pid=4260] ppid=4253 vsize=305240 CPUtime=0.01 cores=0,2,4,6
/proc/4260/stat : 4260 (python) S 4253 4253 3617 0 -1 4202560 873 0 0 0 1 0 0 0 15 0 1 0 869277847 312565760 11177 33554432000 4194304 5683644 140735788336768 18446744073709551615 274664828431 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/4260/statm: 76310 11177 342 364 0 11197 0
[pid=4262] ppid=4260 vsize=45096 CPUtime=6.93 cores=0,2,4,6
/proc/4262/stat : 4262 (wbo1.4b-fixed) R 4260 4262 4262 0 -1 4202496 11811 0 0 0 690 3 0 0 25 0 1 0 869277847 46178304 10613 33554432000 134512640 135752315 4287987408 18446744073709551615 134611407 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/4262/statm: 11274 10613 146 303 0 10969 0
[pid=4253/tid=4261] ppid=4251 vsize=315484 CPUtime=0.54 cores=0,2,4,6
/proc/4253/task/4261/stat : 4261 (python) S 4251 4253 3617 0 -1 4202560 27 1586 0 0 0 0 53 1 22 0 2 0 869277847 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676631985 0 0 16781312 33554434 18446604448474787904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (KiB) 665820
heavy processes:

[startup+12.9173 s]
/proc/loadavg: 3.87 2.84 1.39 3/450 4262
/proc/meminfo: memFree=18547796/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=315484 CPUtime=2.59 cores=0,2,4,6
/proc/4253/stat : 4253 (python) S 4251 4253 3617 0 -1 4202496 22353 1586 1 0 191 14 53 1 22 0 2 0 869277260 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 318
/proc/4253/statm: 78871 12712 1873 364 0 13758 0
[pid=4260] ppid=4253 vsize=305240 CPUtime=0.01 cores=0,2,4,6
/proc/4260/stat : 4260 (python) S 4253 4253 3617 0 -1 4202560 873 0 0 0 1 0 0 0 15 0 1 0 869277847 312565760 11177 33554432000 4194304 5683644 140735788336768 18446744073709551615 274664828431 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/4260/statm: 76310 11177 342 364 0 11197 0
[pid=4262] ppid=4260 vsize=45492 CPUtime=7.03 cores=0,2,4,6
/proc/4262/stat : 4262 (wbo1.4b-fixed) R 4260 4262 4262 0 -1 4202496 11901 0 0 0 700 3 0 0 25 0 1 0 869277847 46583808 10703 33554432000 134512640 135752315 4287987408 18446744073709551615 134611369 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/4262/statm: 11373 10703 146 303 0 11068 0
[pid=4253/tid=4261] ppid=4251 vsize=315484 CPUtime=0.54 cores=0,2,4,6
/proc/4253/task/4261/stat : 4261 (python) S 4251 4253 3617 0 -1 4202560 27 1586 0 0 0 0 53 1 22 0 2 0 869277847 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676631985 0 0 16781312 33554434 18446604448474787904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.63
Current children cumulated vsize (KiB) 666216
heavy processes:

[startup+13.0163 s]
/proc/loadavg: 3.87 2.84 1.39 3/450 4262
/proc/meminfo: memFree=18547424/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=315484 CPUtime=2.59 cores=0,2,4,6
/proc/4253/stat : 4253 (python) S 4251 4253 3617 0 -1 4202496 22353 1586 1 0 191 14 53 1 22 0 2 0 869277260 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 318
/proc/4253/statm: 78871 12712 1873 364 0 13758 0
[pid=4260] ppid=4253 vsize=305240 CPUtime=0.01 cores=0,2,4,6
/proc/4260/stat : 4260 (python) S 4253 4253 3617 0 -1 4202560 873 0 0 0 1 0 0 0 15 0 1 0 869277847 312565760 11177 33554432000 4194304 5683644 140735788336768 18446744073709551615 274664828431 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/4260/statm: 76310 11177 342 364 0 11197 0
[pid=4262] ppid=4260 vsize=45756 CPUtime=7.13 cores=0,2,4,6
/proc/4262/stat : 4262 (wbo1.4b-fixed) R 4260 4262 4262 0 -1 4202496 11968 0 0 0 710 3 0 0 25 0 1 0 869277847 46854144 10770 33554432000 134512640 135752315 4287987408 18446744073709551615 134611701 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/4262/statm: 11439 10770 146 303 0 11134 0
[pid=4253/tid=4261] ppid=4251 vsize=315484 CPUtime=0.54 cores=0,2,4,6
/proc/4253/task/4261/stat : 4261 (python) S 4251 4253 3617 0 -1 4202560 27 1586 0 0 0 0 53 1 22 0 2 0 869277847 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676631985 0 0 16781312 33554434 18446604448474787904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.73
Current children cumulated vsize (KiB) 666480
heavy processes:

[startup+13.1173 s]
/proc/loadavg: 3.87 2.84 1.39 3/450 4262
/proc/meminfo: memFree=18546184/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=315484 CPUtime=2.59 cores=0,2,4,6
/proc/4253/stat : 4253 (python) S 4251 4253 3617 0 -1 4202496 22353 1586 1 0 191 14 53 1 22 0 2 0 869277260 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 318
/proc/4253/statm: 78871 12712 1873 364 0 13758 0
[pid=4260] ppid=4253 vsize=305240 CPUtime=0.01 cores=0,2,4,6
/proc/4260/stat : 4260 (python) S 4253 4253 3617 0 -1 4202560 873 0 0 0 1 0 0 0 15 0 1 0 869277847 312565760 11177 33554432000 4194304 5683644 140735788336768 18446744073709551615 274664828431 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/4260/statm: 76310 11177 342 364 0 11197 0
[pid=4262] ppid=4260 vsize=46020 CPUtime=7.23 cores=0,2,4,6
/proc/4262/stat : 4262 (wbo1.4b-fixed) R 4260 4262 4262 0 -1 4202496 12037 0 0 0 720 3 0 0 25 0 1 0 869277847 47124480 10839 33554432000 134512640 135752315 4287987408 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/4262/statm: 11505 10839 146 303 0 11200 0
[pid=4253/tid=4261] ppid=4251 vsize=315484 CPUtime=0.54 cores=0,2,4,6
/proc/4253/task/4261/stat : 4261 (python) S 4251 4253 3617 0 -1 4202560 27 1586 0 0 0 0 53 1 22 0 2 0 869277847 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676631985 0 0 16781312 33554434 18446604448474787904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.83
Current children cumulated vsize (KiB) 666744
heavy processes:

[startup+13.2172 s]
/proc/loadavg: 3.87 2.84 1.39 3/450 4262
/proc/meminfo: memFree=18545936/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=315484 CPUtime=2.59 cores=0,2,4,6
/proc/4253/stat : 4253 (python) S 4251 4253 3617 0 -1 4202496 22353 1586 1 0 191 14 53 1 22 0 2 0 869277260 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 318
/proc/4253/statm: 78871 12712 1873 364 0 13758 0
[pid=4260] ppid=4253 vsize=305240 CPUtime=0.01 cores=0,2,4,6
/proc/4260/stat : 4260 (python) S 4253 4253 3617 0 -1 4202560 873 0 0 0 1 0 0 0 15 0 1 0 869277847 312565760 11177 33554432000 4194304 5683644 140735788336768 18446744073709551615 274664828431 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/4260/statm: 76310 11177 342 364 0 11197 0
[pid=4262] ppid=4260 vsize=46416 CPUtime=7.33 cores=0,2,4,6
/proc/4262/stat : 4262 (wbo1.4b-fixed) R 4260 4262 4262 0 -1 4202496 12141 0 0 0 730 3 0 0 25 0 1 0 869277847 47529984 10943 33554432000 134512640 135752315 4287987408 18446744073709551615 134611378 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/4262/statm: 11604 10943 146 303 0 11299 0
[pid=4253/tid=4261] ppid=4251 vsize=315484 CPUtime=0.54 cores=0,2,4,6
/proc/4253/task/4261/stat : 4261 (python) S 4251 4253 3617 0 -1 4202560 27 1586 0 0 0 0 53 1 22 0 2 0 869277847 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676631985 0 0 16781312 33554434 18446604448474787904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (KiB) 667140
heavy processes:

[startup+25.5011 s]
/proc/loadavg: 3.96 2.89 1.42 3/453 4265
/proc/meminfo: memFree=18494888/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=315484 CPUtime=2.59 cores=0,2,4,6
/proc/4253/stat : 4253 (python) S 4251 4253 3617 0 -1 4202496 22353 1586 1 0 191 14 53 1 22 0 2 0 869277260 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 318
/proc/4253/statm: 78871 12712 1873 364 0 13758 0
[pid=4260] ppid=4253 vsize=305240 CPUtime=0.07 cores=0,2,4,6
/proc/4260/stat : 4260 (python) S 4253 4253 3617 0 -1 4202560 988 0 0 0 4 3 0 0 15 0 1 0 869277847 312565760 11182 33554432000 4194304 5683644 140735788336768 18446744073709551615 274664828431 0 0 16781312 33554946 72556772316949369 0 0 17 6 0 0 0
/proc/4260/statm: 76310 11182 347 364 0 11197 0
[pid=4262] ppid=4260 vsize=73860 CPUtime=19.62 cores=0,2,4,6
/proc/4262/stat : 4262 (wbo1.4b-fixed) R 4260 4262 4262 0 -1 4202496 19001 0 0 0 1957 5 0 0 25 0 1 0 869277847 75632640 17803 33554432000 134512640 135752315 4287987408 18446744073709551615 134611378 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/4262/statm: 18465 17803 146 303 0 18160 0
[pid=4253/tid=4261] ppid=4251 vsize=315484 CPUtime=0.54 cores=0,2,4,6
/proc/4253/task/4261/stat : 4261 (python) S 4251 4253 3617 0 -1 4202560 27 1586 0 0 0 0 53 1 22 0 2 0 869277847 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676631985 0 0 16781312 33554434 18446604448474787904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (KiB) 694584

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

[startup+28.4006 s]
/proc/loadavg: 3.96 2.91 1.43 3/453 4265
/proc/meminfo: memFree=18492780/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=315484 CPUtime=2.59 cores=0,2,4,6
/proc/4253/stat : 4253 (python) S 4251 4253 3617 0 -1 4202496 22353 1586 1 0 191 14 53 1 22 0 2 0 869277260 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 318
/proc/4253/statm: 78871 12712 1873 364 0 13758 0
[pid=4260] ppid=4253 vsize=305240 CPUtime=0.09 cores=0,2,4,6
/proc/4260/stat : 4260 (python) S 4253 4253 3617 0 -1 4202560 991 0 0 0 5 4 0 0 15 0 1 0 869277847 312565760 11182 33554432000 4194304 5683644 140735788336768 18446744073709551615 274664828431 0 0 16781312 33554946 72556772316949369 0 0 17 6 0 0 0
/proc/4260/statm: 76310 11182 347 364 0 11197 0
[pid=4262] ppid=4260 vsize=75972 CPUtime=22.51 cores=0,2,4,6
/proc/4262/stat : 4262 (wbo1.4b-fixed) R 4260 4262 4262 0 -1 4202496 19516 0 0 0 2246 5 0 0 25 0 1 0 869277847 77795328 18318 33554432000 134512640 135752315 4287987408 18446744073709551615 134611380 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/4262/statm: 18993 18318 146 303 0 18688 0
[pid=4253/tid=4261] ppid=4251 vsize=315484 CPUtime=0.54 cores=0,2,4,6
/proc/4253/task/4261/stat : 4261 (python) S 4251 4253 3617 0 -1 4202560 27 1586 0 0 0 0 53 1 22 0 2 0 869277847 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676631985 0 0 16781312 33554434 18446604448474787904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 696696

[startup+31.6011 s]
/proc/loadavg: 4.05 2.95 1.45 3/453 4265
/proc/meminfo: memFree=18484848/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=315484 CPUtime=2.59 cores=0,2,4,6
/proc/4253/stat : 4253 (python) S 4251 4253 3617 0 -1 4202496 22353 1586 1 0 191 14 53 1 22 0 2 0 869277260 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 318
/proc/4253/statm: 78871 12712 1873 364 0 13758 0
[pid=4260] ppid=4253 vsize=305240 CPUtime=0.09 cores=0,2,4,6
/proc/4260/stat : 4260 (python) S 4253 4253 3617 0 -1 4202560 991 0 0 0 5 4 0 0 15 0 1 0 869277847 312565760 11182 33554432000 4194304 5683644 140735788336768 18446744073709551615 274664828431 0 0 16781312 33554946 72556772316949369 0 0 17 6 0 0 0
/proc/4260/statm: 76310 11182 347 364 0 11197 0
[pid=4262] ppid=4260 vsize=86708 CPUtime=25.71 cores=0,2,4,6
/proc/4262/stat : 4262 (wbo1.4b-fixed) R 4260 4262 4262 0 -1 4202496 22213 0 0 0 2565 6 0 0 25 0 1 0 869277847 88788992 21015 33554432000 134512640 135752315 4287987408 18446744073709551615 134611356 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/4262/statm: 21677 21015 146 303 0 21372 0
[pid=4253/tid=4261] ppid=4251 vsize=315484 CPUtime=0.54 cores=0,2,4,6
/proc/4253/task/4261/stat : 4261 (python) S 4251 4253 3617 0 -1 4202560 27 1586 0 0 0 0 53 1 22 0 2 0 869277847 323055616 12712 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676631985 0 0 16781312 33554434 18446604448474787904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.39
Current children cumulated vsize (KiB) 707432

[startup+33.2008 s]
/proc/loadavg: 4.05 2.95 1.45 4/453 4265
/proc/meminfo: memFree=18478772/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=315484 CPUtime=2.63 cores=0,2,4,6
/proc/4253/stat : 4253 (python) D 4251 4253 3617 0 -1 4202496 25394 1586 1 0 195 14 53 1 18 0 2 0 869277260 323055616 12713 33554432000 4194304 5683644 140735788336768 18446744073709551615 274664814135 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 355
/proc/4253/statm: 78871 12713 1874 364 0 13758 0
[pid=4260] ppid=4253 vsize=0 CPUtime=27 cores=0,2,4,6
/proc/4260/stat : 4260 (python) Z 4253 4253 3617 0 -1 4202588 5920 23553 0 0 9 6 2677 8 16 0 1 0 869277847 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4260/statm: 0 0 0 0 0 0 0
[pid=4253/tid=4261] ppid=4251 vsize=315484 CPUtime=0.54 cores=0,2,4,6
/proc/4253/task/4261/stat : 4261 (python) S 4251 4253 3617 0 -1 4202560 27 1586 0 0 0 0 53 1 22 0 2 0 869277847 323055616 12713 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676631985 0 0 16781312 33554434 18446604448474787904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 29.63
Current children cumulated vsize (KiB) 315484

[startup+33.6007 s]
/proc/loadavg: 4.05 2.95 1.45 2/452 4266
/proc/meminfo: memFree=18569316/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=315484 CPUtime=2.63 cores=0,2,4,6
/proc/4253/stat : 4253 (python) D 4251 4253 3617 0 -1 4202496 25394 1586 1 0 195 14 53 1 18 0 2 0 869277260 323055616 12713 33554432000 4194304 5683644 140735788336768 18446744073709551615 274664814135 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 387
/proc/4253/statm: 78871 12713 1874 364 0 13758 0
[pid=4260] ppid=4253 vsize=0 CPUtime=27 cores=0,2,4,6
/proc/4260/stat : 4260 (python) Z 4253 4253 3617 0 -1 4202588 5920 23553 0 0 9 6 2677 8 16 0 1 0 869277847 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4260/statm: 0 0 0 0 0 0 0
[pid=4253/tid=4261] ppid=4251 vsize=315484 CPUtime=0.54 cores=0,2,4,6
/proc/4253/task/4261/stat : 4261 (python) S 4251 4253 3617 0 -1 4202560 27 1586 0 0 0 0 53 1 22 0 2 0 869277847 323055616 12713 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676631985 0 0 16781312 33554434 18446604448474787904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 29.63
Current children cumulated vsize (KiB) 315484

[startup+33.8007 s]
/proc/loadavg: 4.05 2.95 1.45 2/452 4266
/proc/meminfo: memFree=18569316/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=315484 CPUtime=2.63 cores=0,2,4,6
/proc/4253/stat : 4253 (python) D 4251 4253 3617 0 -1 4202496 25394 1586 1 0 195 14 53 1 18 0 2 0 869277260 323055616 12713 33554432000 4194304 5683644 140735788336768 18446744073709551615 274664814135 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 402
/proc/4253/statm: 78871 12713 1874 364 0 13758 0
[pid=4260] ppid=4253 vsize=0 CPUtime=27 cores=0,2,4,6
/proc/4260/stat : 4260 (python) Z 4253 4253 3617 0 -1 4202588 5920 23553 0 0 9 6 2677 8 16 0 1 0 869277847 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4260/statm: 0 0 0 0 0 0 0
[pid=4253/tid=4261] ppid=4251 vsize=315484 CPUtime=0.54 cores=0,2,4,6
/proc/4253/task/4261/stat : 4261 (python) S 4251 4253 3617 0 -1 4202560 27 1586 0 0 0 0 53 1 22 0 2 0 869277847 323055616 12713 33554432000 4194304 5683644 140735788336768 18446744073709551615 274676631985 0 0 16781312 33554434 18446604448474787904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 29.63
Current children cumulated vsize (KiB) 315484

[startup+33.9007 s]
/proc/loadavg: 4.05 2.95 1.45 2/452 4266
/proc/meminfo: memFree=18569316/32951132 swapFree=65929880/67111528
[pid=4253] ppid=4251 vsize=313096 CPUtime=29.66 cores=0,2,4,6
/proc/4253/stat : 4253 (python) R 4251 4253 3617 0 -1 4202496 27406 31059 1 0 196 14 2740 16 18 0 1 0 869277260 320610304 12119 33554432000 4194304 5683644 140735788336768 18446744073709551615 5114130 0 0 16781312 0 0 0 0 17 4 0 0 422
/proc/4253/statm: 78274 12119 1871 364 0 13167 0
Current children cumulated CPU time (s) 29.66
Current children cumulated vsize (KiB) 313096

Child status: 0
Real time (s): 33.9186
CPU time (s): 29.6945
CPU user time (s): 29.3775
CPU system time (s): 0.316951
CPU usage (%): 87.5462
Max. virtual memory (cumulated for all children) (KiB): 712780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.3775
system time used= 0.316951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61584
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31732
involuntary context switches= 49

runsolver used 0.13098 second user time and 0.283956 second system time

The end