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-3729987-1338715060/watcher-3729987-1338715060 -o /tmp/evaluation-result-3729987-1338715060/solver-3729987-1338715060 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3729987-1338715060.opb -seed 940572223 -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.02 2.02 1.92 4/183 4077
/proc/meminfo: memFree=25246368/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/4077/stat : 4077 (python) D 4075 4077 3621 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 337631115 15749120 630 33554432000 4194304 5683644 140733274365520 140733274310248 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/4077/statm: 3845 630 334 364 0 287 0

[startup+0.0130051 s]
/proc/loadavg: 2.02 2.02 1.92 4/183 4077
/proc/meminfo: memFree=25246368/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=15968 CPUtime=0 cores=0,2,4,6
/proc/4077/stat : 4077 (python) D 4075 4077 3621 0 -1 4202496 975 0 0 0 0 0 0 0 20 0 1 0 337631115 16351232 819 33554432000 4194304 5683644 140733274365520 140733274331464 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/4077/statm: 3992 819 367 364 0 434 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15968

[startup+0.100264 s]
/proc/loadavg: 2.02 2.02 1.92 4/183 4077
/proc/meminfo: memFree=25246368/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=92388 CPUtime=0.07 cores=0,2,4,6
/proc/4077/stat : 4077 (python) R 4075 4077 3621 0 -1 4202496 3220 504 1 0 5 2 0 0 20 0 1 0 337631115 94605312 2540 33554432000 4194304 5683644 140733274365520 140733274317992 5158141 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 23097 2540 816 364 0 1619 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 92388

[startup+0.300254 s]
/proc/loadavg: 2.02 2.02 1.92 4/183 4077
/proc/meminfo: memFree=25246368/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=162440 CPUtime=0.22 cores=0,2,4,6
/proc/4077/stat : 4077 (python) R 4075 4077 3621 0 -1 4202496 6472 1008 1 0 16 6 0 0 20 0 1 0 337631115 166338560 4277 33554432000 4194304 5683644 140733274365520 140733274238040 213410475303 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/4077/statm: 40610 4277 1192 364 0 3255 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 162440

[startup+0.700216 s]
/proc/loadavg: 2.02 2.02 1.92 4/183 4077
/proc/meminfo: memFree=25246368/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=373808 CPUtime=0.57 cores=0,2,4,6
/proc/4077/stat : 4077 (python) R 4075 4077 3621 0 -1 4202496 11649 1008 1 0 44 13 0 0 20 0 1 0 337631115 382779392 30144 33554432000 4194304 5683644 140733274365520 140733274359048 4445115 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 93452 30144 1811 364 0 28681 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 373808

[startup+1.50022 s]
/proc/loadavg: 2.02 2.02 1.92 3/184 4082
/proc/meminfo: memFree=25122672/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=399156 CPUtime=1.37 cores=0,2,4,6
/proc/4077/stat : 4077 (python) R 4075 4077 3621 0 -1 4202496 17898 1008 1 0 123 14 0 0 20 0 1 0 337631115 408735744 36393 33554432000 4194304 5683644 140733274365520 140733274359048 213419265940 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 99789 36393 1811 364 0 35018 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 399156

[startup+3.10019 s]
/proc/loadavg: 2.02 2.02 1.92 3/184 4082
/proc/meminfo: memFree=25083728/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=454624 CPUtime=2.97 cores=0,2,4,6
/proc/4077/stat : 4077 (python) R 4075 4077 3621 0 -1 4202496 31248 1008 1 0 281 16 0 0 20 0 1 0 337631115 465534976 49743 33554432000 4194304 5683644 140733274365520 140733274358136 213419265940 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 113656 49744 1811 364 0 48885 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 454624

[startup+6.30021 s]
/proc/loadavg: 2.10 2.03 1.93 3/188 4086
/proc/meminfo: memFree=24811936/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=566528 CPUtime=6.17 cores=0,2,4,6
/proc/4077/stat : 4077 (python) R 4075 4077 3621 0 -1 4202496 57108 1008 1 0 596 21 0 0 20 0 1 0 337631115 580124672 76625 33554432000 4194304 5683644 140733274365520 140733274358584 213419265940 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 141632 76625 1811 364 0 76861 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 566528

[startup+12.7002 s]
/proc/loadavg: 2.09 2.03 1.93 3/188 4086
/proc/meminfo: memFree=23796732/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=788852 CPUtime=12.58 cores=0,2,4,6
/proc/4077/stat : 4077 (python) R 4075 4077 3621 0 -1 4202496 102664 1008 1 0 1228 30 0 0 20 0 1 0 337631115 807784448 131379 33554432000 4194304 5683644 140733274365520 140733274358136 213419265940 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 197213 131379 1811 364 0 132442 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 788852

[startup+25.5002 s]
/proc/loadavg: 2.07 2.03 1.93 3/188 4086
/proc/meminfo: memFree=23500068/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=867724 CPUtime=25.38 cores=0,2,4,6
/proc/4077/stat : 4077 (python) R 4075 4077 3621 0 -1 4202496 113634 1008 1 0 2497 41 0 0 20 0 1 0 337631115 888549376 153683 33554432000 4194304 5683644 140733274365520 140733274352344 213427185445 0 0 16781312 33554434 0 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 216931 153683 1846 364 0 152160 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 867724

[startup+51.1002 s]
/proc/loadavg: 2.05 2.03 1.93 3/188 4086
/proc/meminfo: memFree=23498544/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=790212 CPUtime=50.96 cores=0,2,4,6
/proc/4077/stat : 4077 (python) R 4075 4077 3621 0 -1 4202496 115312 1008 1 0 5052 44 0 0 20 0 1 0 337631115 809177088 134349 33554432000 4194304 5683644 140733274365520 140733274359848 139967784969864 0 0 16781312 33554434 0 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 197553 134349 1893 364 0 132779 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 790212

[startup+102.3 s]
/proc/loadavg: 1.94 2.00 1.92 3/189 4087
/proc/meminfo: memFree=23432752/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=790212 CPUtime=102.15 cores=0,2,4,6
/proc/4077/stat : 4077 (python) R 4075 4077 3621 0 -1 4202496 115312 1008 1 0 10154 61 0 0 20 0 1 0 337631115 809177088 134349 33554432000 4194304 5683644 140733274365520 140733274359848 4870054 0 0 16781312 33554434 0 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 197553 134349 1893 364 0 132779 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 790212

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 1.93 3/193 4093
/proc/meminfo: memFree=23224636/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=790212 CPUtime=162.14 cores=0,2,4,6
/proc/4077/stat : 4077 (python) R 4075 4077 3621 0 -1 4202496 115312 1008 1 0 16132 82 0 0 20 0 1 0 337631115 809177088 134349 33554432000 4194304 5683644 140733274365520 140733274359848 4570909 0 0 16781312 33554434 0 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 197553 134349 1893 364 0 132779 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 790212

[startup+222.3 s]
/proc/loadavg: 2.26 2.07 1.95 3/198 4100
/proc/meminfo: memFree=14089568/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=866000 CPUtime=174.03 cores=0,2,4,6
/proc/4077/stat : 4077 (python) S 4075 4077 3621 0 -1 4202496 115527 1008 1 0 17316 87 0 0 20 0 2 0 337631115 886784000 134363 33554432000 4194304 5683644 140733274365520 140733274360352 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 216500 134363 1902 364 0 151723 0
[pid=4094] ppid=4077 vsize=790220 CPUtime=0.07 cores=0,2,4,6
/proc/4094/stat : 4094 (python) S 4077 4077 3621 0 -1 4202560 994 0 0 0 4 3 0 0 20 0 1 0 337648534 809185280 132817 33554432000 4194304 5683644 140733274365520 140733274356608 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4094/statm: 197555 132817 362 364 0 132778 0
[pid=4096] ppid=4094 vsize=4104896 CPUtime=38.57 cores=0,2,4,6
/proc/4096/stat : 4096 (minion) S 4094 4096 4096 0 -1 4204032 330261 0 0 0 3600 257 0 0 20 0 1 0 337648534 4203413504 1016297 33554432000 134512640 165565024 4289308128 4289305360 159737071 0 0 16781312 8396802 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/4096/statm: 1026224 1016297 359 7582 0 1018639 0
[pid=4077/tid=4095] ppid=4075 vsize=866000 CPUtime=0 cores=0,2,4,6
/proc/4077/task/4095/stat : 4095 (python) S 4075 4077 3621 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337648534 886784000 134363 33554432000 4194304 5683644 140733274365520 139967611916848 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 212.67
Current children cumulated vsize (KiB) 5761116

[startup+282.3 s]
/proc/loadavg: 4.04 2.62 2.14 2/197 4100
/proc/meminfo: memFree=10609412/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=866000 CPUtime=174.03 cores=0,2,4,6
/proc/4077/stat : 4077 (python) S 4075 4077 3621 0 -1 4202496 115527 1008 1 0 17316 87 0 0 20 0 2 0 337631115 886784000 134363 33554432000 4194304 5683644 140733274365520 140733274360352 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 216500 134363 1902 364 0 151723 0
[pid=4094] ppid=4077 vsize=790220 CPUtime=0.18 cores=0,2,4,6
/proc/4094/stat : 4094 (python) S 4077 4077 3621 0 -1 4202560 1023 0 0 0 11 7 0 0 20 0 1 0 337648534 809185280 132817 33554432000 4194304 5683644 140733274365520 140733274356608 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4094/statm: 197555 132817 362 364 0 132778 0
[pid=4096] ppid=4094 vsize=4104896 CPUtime=39.76 cores=0,2,4,6
/proc/4096/stat : 4096 (minion) S 4094 4096 4096 0 -1 4204032 330261 0 0 0 3600 376 0 0 20 0 1 0 337648534 4203413504 1016297 33554432000 134512640 165565024 4289308128 4289305360 159737071 0 0 16781312 8396802 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4096/statm: 1026224 1016297 359 7582 0 1018639 0
[pid=4077/tid=4095] ppid=4075 vsize=866000 CPUtime=0 cores=0,2,4,6
/proc/4077/task/4095/stat : 4095 (python) S 4075 4077 3621 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337648534 886784000 134363 33554432000 4194304 5683644 140733274365520 139967611916848 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 213.97
Current children cumulated vsize (KiB) 5761116
heavy processes:
  %CPU=20 pid=4099 uid=0 cmd=

[startup+342.3 s]
/proc/loadavg: 4.25 2.97 2.29 4/198 4105
/proc/meminfo: memFree=18696480/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=941792 CPUtime=214.16 cores=0,2,4,6
/proc/4077/stat : 4077 (python) S 4075 4077 3621 0 -1 4202496 116219 332503 1 0 17317 88 3616 395 20 0 3 0 337631115 964395008 134372 33554432000 4194304 5683644 140733274365520 140733274360352 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 235448 134372 1905 364 0 170668 0
[pid=4103] ppid=4077 vsize=866012 CPUtime=0.02 cores=0,2,4,6
/proc/4103/stat : 4103 (python) S 4077 4077 3621 0 -1 4202560 888 0 0 0 1 1 0 0 20 0 1 0 337664032 886796288 132819 33554432000 4194304 5683644 140733274365520 140733274356608 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4103/statm: 216503 132819 358 364 0 151723 0
[pid=4105] ppid=4103 vsize=167276 CPUtime=13.11 cores=0,2,4,6
/proc/4105/stat : 4105 (clasp-1.3.7-x86) R 4103 4105 4105 0 -1 4202496 41450 0 0 0 1300 11 0 0 20 0 1 0 337664033 171290624 40440 33554432000 134512640 136139019 4287825056 4287824160 134815804 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4105/statm: 41819 40440 171 398 0 41419 0
[pid=4077/tid=4095] ppid=4075 vsize=941792 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4095/stat : 4095 (python) S 4075 4077 3621 0 -1 4202560 26 332503 0 0 0 0 3616 395 20 0 3 0 337648534 964395008 134372 33554432000 4194304 5683644 140733274365520 139967611916848 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4077/tid=4104] ppid=4075 vsize=941792 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4104/stat : 4104 (python) S 4075 4077 3621 0 -1 4202560 23 332503 0 0 0 0 3616 395 20 0 3 0 337664033 964395008 134372 33554432000 4194304 5683644 140733274365520 139967601426992 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 227.29
Current children cumulated vsize (KiB) 1975080
heavy processes:

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

[startup+359.3 s]
/proc/loadavg: 3.75 2.92 2.28 4/198 4105
/proc/meminfo: memFree=18697668/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=941792 CPUtime=214.16 cores=0,2,4,6
/proc/4077/stat : 4077 (python) S 4075 4077 3621 0 -1 4202496 116219 332503 1 0 17317 88 3616 395 20 0 3 0 337631115 964395008 134372 33554432000 4194304 5683644 140733274365520 140733274360352 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 235448 134372 1905 364 0 170668 0

################
# More data... #
################

/proc/4077/stat : 4077 (python) S 4075 4077 3621 0 -1 4202496 116219 332503 1 0 17317 88 3616 395 20 0 3 0 337631115 964395008 134372 33554432000 4194304 5683644 140733274365520 140733274360352 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 235448 134372 1905 364 0 170668 0
[pid=4103] ppid=4077 vsize=866012 CPUtime=0.07 cores=0,2,4,6
/proc/4103/stat : 4103 (python) S 4077 4077 3621 0 -1 4202560 900 0 0 0 4 3 0 0 20 0 1 0 337664032 886796288 132819 33554432000 4194304 5683644 140733274365520 140733274356608 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4103/statm: 216503 132819 358 364 0 151723 0
[pid=4105] ppid=4103 vsize=167276 CPUtime=42.91 cores=0,2,4,6
/proc/4105/stat : 4105 (clasp-1.3.7-x86) R 4103 4105 4105 0 -1 4202496 41450 0 0 0 4280 11 0 0 20 0 1 0 337664033 171290624 40440 33554432000 134512640 136139019 4287825056 4287824160 134815804 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4105/statm: 41819 40440 171 398 0 41419 0
[pid=4077/tid=4095] ppid=4075 vsize=941792 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4095/stat : 4095 (python) S 4075 4077 3621 0 -1 4202560 26 332503 0 0 0 0 3616 395 20 0 3 0 337648534 964395008 134372 33554432000 4194304 5683644 140733274365520 139967611916848 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4077/tid=4104] ppid=4075 vsize=941792 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4104/stat : 4104 (python) S 4075 4077 3621 0 -1 4202560 23 332503 0 0 0 0 3616 395 20 0 3 0 337664033 964395008 134372 33554432000 4194304 5683644 140733274365520 139967601426992 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 257.14
Current children cumulated vsize (KiB) 1975080

[startup+378.5 s]
/proc/loadavg: 3.25 2.86 2.28 4/202 4109
/proc/meminfo: memFree=18645956/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=1017584 CPUtime=214.18 cores=0,2,4,6
/proc/4077/stat : 4077 (python) S 4075 4077 3621 0 -1 4202496 116854 332503 1 0 17319 88 3616 395 20 0 4 0 337631115 1042006016 134380 33554432000 4194304 5683644 140733274365520 140733274360352 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 254396 134380 1907 364 0 189613 0
[pid=4103] ppid=4077 vsize=866012 CPUtime=0.09 cores=0,2,4,6
/proc/4103/stat : 4103 (python) S 4077 4077 3621 0 -1 4202560 1053 0 0 0 4 5 0 0 20 0 2 0 337664032 886796288 132845 33554432000 4194304 5683644 140733274365520 140733274357168 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4103/statm: 216503 132845 383 364 0 151723 0
[pid=4105] ppid=4103 vsize=167276 CPUtime=47.13 cores=0,2,4,6
/proc/4105/stat : 4105 (clasp-1.3.7-x86) T 4103 4105 4105 0 -1 4202496 41450 0 0 0 4702 11 0 0 20 0 1 0 337664033 171290624 40440 33554432000 134512640 136139019 4287825056 4287824160 134815784 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/4105/statm: 41819 40440 171 398 0 41419 0
[pid=4103/tid=4106] ppid=4077 vsize=866012 CPUtime=0 cores=0,2,4,6
/proc/4103/task/4106/stat : 4106 (python) S 4077 4077 3621 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337668748 886796288 132845 33554432000 4194304 5683644 140733274365520 139967611916848 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4107] ppid=4077 vsize=941804 CPUtime=0 cores=0,2,4,6
/proc/4107/stat : 4107 (python) S 4077 4077 3621 0 -1 4202560 760 0 0 0 0 0 0 0 20 0 1 0 337668750 964407296 132802 33554432000 4194304 5683644 140733274365520 140733274356608 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4107/statm: 235451 132802 335 364 0 170668 0
[pid=4109] ppid=4107 vsize=144728 CPUtime=2.14 cores=0,2,4,6
/proc/4109/stat : 4109 (wbo1.4a) R 4107 4109 4109 0 -1 4202496 21818 0 0 0 211 3 0 0 20 0 1 0 337668750 148201472 21571 33554432000 134512640 135751879 4292837264 4291786776 135206651 0 0 16781312 3 0 0 0 17 2 0 0 0 0 0
/proc/4109/statm: 36182 21571 8196 303 0 13708 0
[pid=4077/tid=4095] ppid=4075 vsize=1017584 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4095/stat : 4095 (python) S 4075 4077 3621 0 -1 4202560 26 332503 0 0 0 0 3616 395 20 0 4 0 337648534 1042006016 134380 33554432000 4194304 5683644 140733274365520 139967611916848 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4077/tid=4104] ppid=4075 vsize=1017584 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4104/stat : 4104 (python) S 4075 4077 3621 0 -1 4202560 23 332503 0 0 0 0 3616 395 20 0 4 0 337664033 1042006016 134380 33554432000 4194304 5683644 140733274365520 139967601426992 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4077/tid=4108] ppid=4075 vsize=1017584 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4108/stat : 4108 (python) S 4075 4077 3621 0 -1 4202560 21 332503 0 0 0 0 3616 395 20 0 4 0 337668750 1042006016 134380 33554432000 4194304 5683644 140733274365520 139967590937136 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 263.54
Current children cumulated vsize (KiB) 3137404

[startup+380.1 s]
/proc/loadavg: 3.15 2.84 2.27 4/202 4109
/proc/meminfo: memFree=18620024/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=1017584 CPUtime=214.18 cores=0,2,4,6
/proc/4077/stat : 4077 (python) S 4075 4077 3621 0 -1 4202496 116854 332503 1 0 17319 88 3616 395 20 0 4 0 337631115 1042006016 134380 33554432000 4194304 5683644 140733274365520 140733274360352 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 254396 134380 1907 364 0 189613 0
[pid=4103] ppid=4077 vsize=866012 CPUtime=0.09 cores=0,2,4,6
/proc/4103/stat : 4103 (python) S 4077 4077 3621 0 -1 4202560 1053 0 0 0 4 5 0 0 20 0 2 0 337664032 886796288 132845 33554432000 4194304 5683644 140733274365520 140733274357168 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4103/statm: 216503 132845 383 364 0 151723 0
[pid=4105] ppid=4103 vsize=167276 CPUtime=47.13 cores=0,2,4,6
/proc/4105/stat : 4105 (clasp-1.3.7-x86) T 4103 4105 4105 0 -1 4202496 41450 0 0 0 4702 11 0 0 20 0 1 0 337664033 171290624 40440 33554432000 134512640 136139019 4287825056 4287824160 134815784 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/4105/statm: 41819 40440 171 398 0 41419 0
[pid=4103/tid=4106] ppid=4077 vsize=866012 CPUtime=0 cores=0,2,4,6
/proc/4103/task/4106/stat : 4106 (python) S 4077 4077 3621 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337668748 886796288 132845 33554432000 4194304 5683644 140733274365520 139967611916848 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4107] ppid=4077 vsize=941804 CPUtime=0 cores=0,2,4,6
/proc/4107/stat : 4107 (python) S 4077 4077 3621 0 -1 4202560 891 0 0 0 0 0 0 0 20 0 1 0 337668750 964407296 132825 33554432000 4194304 5683644 140733274365520 140733274356608 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4107/statm: 235451 132825 358 364 0 170668 0
[pid=4109] ppid=4107 vsize=184412 CPUtime=3.74 cores=0,2,4,6
/proc/4109/stat : 4109 (wbo1.4a) R 4107 4109 4109 0 -1 4202496 37162 0 0 0 369 5 0 0 20 0 1 0 337668750 188837888 36915 33554432000 134512640 135751879 4292837264 4291786656 134564614 0 0 16781312 3 0 0 0 17 2 0 0 0 0 0
/proc/4109/statm: 46103 36915 14235 303 0 23629 0
[pid=4077/tid=4095] ppid=4075 vsize=1017584 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4095/stat : 4095 (python) S 4075 4077 3621 0 -1 4202560 26 332503 0 0 0 0 3616 395 20 0 4 0 337648534 1042006016 134380 33554432000 4194304 5683644 140733274365520 139967611916848 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4077/tid=4104] ppid=4075 vsize=1017584 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4104/stat : 4104 (python) S 4075 4077 3621 0 -1 4202560 23 332503 0 0 0 0 3616 395 20 0 4 0 337664033 1042006016 134380 33554432000 4194304 5683644 140733274365520 139967601426992 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4077/tid=4108] ppid=4075 vsize=1017584 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4108/stat : 4108 (python) S 4075 4077 3621 0 -1 4202560 21 332503 0 0 0 0 3616 395 20 0 4 0 337668750 1042006016 134380 33554432000 4194304 5683644 140733274365520 139967590937136 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 265.14
Current children cumulated vsize (KiB) 3177088

[startup+381.701 s]
/proc/loadavg: 3.15 2.84 2.27 4/202 4109
/proc/meminfo: memFree=18567200/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=1017584 CPUtime=214.18 cores=0,2,4,6
/proc/4077/stat : 4077 (python) S 4075 4077 3621 0 -1 4202496 116854 332503 1 0 17319 88 3616 395 20 0 4 0 337631115 1042006016 134380 33554432000 4194304 5683644 140733274365520 140733274360352 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 254396 134380 1907 364 0 189613 0
[pid=4103] ppid=4077 vsize=866012 CPUtime=0.09 cores=0,2,4,6
/proc/4103/stat : 4103 (python) S 4077 4077 3621 0 -1 4202560 1053 0 0 0 4 5 0 0 20 0 2 0 337664032 886796288 132845 33554432000 4194304 5683644 140733274365520 140733274357168 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4103/statm: 216503 132845 383 364 0 151723 0
[pid=4105] ppid=4103 vsize=167276 CPUtime=47.13 cores=0,2,4,6
/proc/4105/stat : 4105 (clasp-1.3.7-x86) T 4103 4105 4105 0 -1 4202496 41450 0 0 0 4702 11 0 0 20 0 1 0 337664033 171290624 40440 33554432000 134512640 136139019 4287825056 4287824160 134815784 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/4105/statm: 41819 40440 171 398 0 41419 0
[pid=4103/tid=4106] ppid=4077 vsize=866012 CPUtime=0 cores=0,2,4,6
/proc/4103/task/4106/stat : 4106 (python) S 4077 4077 3621 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337668748 886796288 132845 33554432000 4194304 5683644 140733274365520 139967611916848 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4107] ppid=4077 vsize=941804 CPUtime=0 cores=0,2,4,6
/proc/4107/stat : 4107 (python) S 4077 4077 3621 0 -1 4202560 891 0 0 0 0 0 0 0 20 0 1 0 337668750 964407296 132825 33554432000 4194304 5683644 140733274365520 140733274356608 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4107/statm: 235451 132825 358 364 0 170668 0
[pid=4109] ppid=4107 vsize=223368 CPUtime=5.33 cores=0,2,4,6
/proc/4109/stat : 4109 (wbo1.4a) R 4107 4109 4109 0 -1 4202496 52205 0 0 0 527 6 0 0 20 0 1 0 337668750 228728832 51958 33554432000 134512640 135751879 4292837264 4291786656 134564614 0 0 16781312 3 0 0 0 17 2 0 0 0 0 0
/proc/4109/statm: 55842 51959 20002 303 0 33368 0
[pid=4077/tid=4095] ppid=4075 vsize=1017584 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4095/stat : 4095 (python) S 4075 4077 3621 0 -1 4202560 26 332503 0 0 0 0 3616 395 20 0 4 0 337648534 1042006016 134380 33554432000 4194304 5683644 140733274365520 139967611916848 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4077/tid=4104] ppid=4075 vsize=1017584 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4104/stat : 4104 (python) S 4075 4077 3621 0 -1 4202560 23 332503 0 0 0 0 3616 395 20 0 4 0 337664033 1042006016 134380 33554432000 4194304 5683644 140733274365520 139967601426992 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4077/tid=4108] ppid=4075 vsize=1017584 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4108/stat : 4108 (python) S 4075 4077 3621 0 -1 4202560 21 332503 0 0 0 0 3616 395 20 0 4 0 337668750 1042006016 134380 33554432000 4194304 5683644 140733274365520 139967590937136 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 266.73
Current children cumulated vsize (KiB) 3216044

[startup+382.1 s]
/proc/loadavg: 3.15 2.84 2.27 4/202 4109
/proc/meminfo: memFree=18567200/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=1017584 CPUtime=214.18 cores=0,2,4,6
/proc/4077/stat : 4077 (python) S 4075 4077 3621 0 -1 4202496 116854 332503 1 0 17319 88 3616 395 20 0 4 0 337631115 1042006016 134380 33554432000 4194304 5683644 140733274365520 140733274360352 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 254396 134380 1907 364 0 189613 0
[pid=4103] ppid=4077 vsize=866012 CPUtime=0.09 cores=0,2,4,6
/proc/4103/stat : 4103 (python) S 4077 4077 3621 0 -1 4202560 1053 0 0 0 4 5 0 0 20 0 2 0 337664032 886796288 132845 33554432000 4194304 5683644 140733274365520 140733274357168 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4103/statm: 216503 132845 383 364 0 151723 0
[pid=4105] ppid=4103 vsize=167276 CPUtime=47.13 cores=0,2,4,6
/proc/4105/stat : 4105 (clasp-1.3.7-x86) T 4103 4105 4105 0 -1 4202496 41450 0 0 0 4702 11 0 0 20 0 1 0 337664033 171290624 40440 33554432000 134512640 136139019 4287825056 4287824160 134815784 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/4105/statm: 41819 40440 171 398 0 41419 0
[pid=4103/tid=4106] ppid=4077 vsize=866012 CPUtime=0 cores=0,2,4,6
/proc/4103/task/4106/stat : 4106 (python) S 4077 4077 3621 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337668748 886796288 132845 33554432000 4194304 5683644 140733274365520 139967611916848 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4107] ppid=4077 vsize=941804 CPUtime=0 cores=0,2,4,6
/proc/4107/stat : 4107 (python) S 4077 4077 3621 0 -1 4202560 891 0 0 0 0 0 0 0 20 0 1 0 337668750 964407296 132825 33554432000 4194304 5683644 140733274365520 140733274356608 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4107/statm: 235451 132825 358 364 0 170668 0
[pid=4109] ppid=4107 vsize=230648 CPUtime=5.74 cores=0,2,4,6
/proc/4109/stat : 4109 (wbo1.4a) R 4107 4109 4109 0 -1 4202496 55572 0 0 0 567 7 0 0 20 0 1 0 337668750 236183552 55325 33554432000 134512640 135751879 4292837264 4291786656 134564675 0 0 16781312 3 0 0 0 17 2 0 0 0 0 0
/proc/4109/statm: 57662 55325 21400 303 0 35188 0
[pid=4077/tid=4095] ppid=4075 vsize=1017584 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4095/stat : 4095 (python) S 4075 4077 3621 0 -1 4202560 26 332503 0 0 0 0 3616 395 20 0 4 0 337648534 1042006016 134380 33554432000 4194304 5683644 140733274365520 139967611916848 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4077/tid=4104] ppid=4075 vsize=1017584 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4104/stat : 4104 (python) S 4075 4077 3621 0 -1 4202560 23 332503 0 0 0 0 3616 395 20 0 4 0 337664033 1042006016 134380 33554432000 4194304 5683644 140733274365520 139967601426992 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4077/tid=4108] ppid=4075 vsize=1017584 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4108/stat : 4108 (python) S 4075 4077 3621 0 -1 4202560 21 332503 0 0 0 0 3616 395 20 0 4 0 337668750 1042006016 134380 33554432000 4194304 5683644 140733274365520 139967590937136 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 267.14
Current children cumulated vsize (KiB) 3223324

[startup+382.501 s]
/proc/loadavg: 3.15 2.84 2.27 4/202 4109
/proc/meminfo: memFree=18567200/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=1017584 CPUtime=214.18 cores=0,2,4,6
/proc/4077/stat : 4077 (python) S 4075 4077 3621 0 -1 4202496 116854 332503 1 0 17319 88 3616 395 20 0 4 0 337631115 1042006016 134380 33554432000 4194304 5683644 140733274365520 140733274360352 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 254396 134380 1907 364 0 189613 0
[pid=4103] ppid=4077 vsize=866012 CPUtime=0.09 cores=0,2,4,6
/proc/4103/stat : 4103 (python) S 4077 4077 3621 0 -1 4202560 1053 0 0 0 4 5 0 0 20 0 2 0 337664032 886796288 132845 33554432000 4194304 5683644 140733274365520 140733274357168 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4103/statm: 216503 132845 383 364 0 151723 0
[pid=4105] ppid=4103 vsize=167276 CPUtime=47.13 cores=0,2,4,6
/proc/4105/stat : 4105 (clasp-1.3.7-x86) T 4103 4105 4105 0 -1 4202496 41450 0 0 0 4702 11 0 0 20 0 1 0 337664033 171290624 40440 33554432000 134512640 136139019 4287825056 4287824160 134815784 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/4105/statm: 41819 40440 171 398 0 41419 0
[pid=4103/tid=4106] ppid=4077 vsize=866012 CPUtime=0 cores=0,2,4,6
/proc/4103/task/4106/stat : 4106 (python) S 4077 4077 3621 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337668748 886796288 132845 33554432000 4194304 5683644 140733274365520 139967611916848 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4107] ppid=4077 vsize=941804 CPUtime=0 cores=0,2,4,6
/proc/4107/stat : 4107 (python) S 4077 4077 3621 0 -1 4202560 891 0 0 0 0 0 0 0 20 0 1 0 337668750 964407296 132825 33554432000 4194304 5683644 140733274365520 140733274356608 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4107/statm: 235451 132825 358 364 0 170668 0
[pid=4109] ppid=4107 vsize=168368 CPUtime=6.14 cores=0,2,4,6
/proc/4109/stat : 4109 (wbo1.4a) R 4107 4109 4109 0 -1 4202496 61507 0 0 0 606 8 0 0 20 0 1 0 337668750 172408832 39108 33554432000 134512640 135751879 4292837264 4292835872 134598762 0 0 16781312 3 0 0 0 17 2 0 0 0 0 0
/proc/4109/statm: 42092 39108 142 303 0 41787 0
[pid=4077/tid=4095] ppid=4075 vsize=1017584 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4095/stat : 4095 (python) S 4075 4077 3621 0 -1 4202560 26 332503 0 0 0 0 3616 395 20 0 4 0 337648534 1042006016 134380 33554432000 4194304 5683644 140733274365520 139967611916848 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4077/tid=4104] ppid=4075 vsize=1017584 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4104/stat : 4104 (python) S 4075 4077 3621 0 -1 4202560 23 332503 0 0 0 0 3616 395 20 0 4 0 337664033 1042006016 134380 33554432000 4194304 5683644 140733274365520 139967601426992 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4077/tid=4108] ppid=4075 vsize=1017584 CPUtime=40.11 cores=0,2,4,6
/proc/4077/task/4108/stat : 4108 (python) S 4075 4077 3621 0 -1 4202560 21 332503 0 0 0 0 3616 395 20 0 4 0 337668750 1042006016 134380 33554432000 4194304 5683644 140733274365520 139967590937136 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 267.54
Current children cumulated vsize (KiB) 3161044

[startup+382.601 s]
/proc/loadavg: 3.15 2.84 2.27 4/195 4110
/proc/meminfo: memFree=19190524/32873844 swapFree=6608/6608
[pid=4077] ppid=4075 vsize=833048 CPUtime=267.7 cores=0,2,4,6
/proc/4077/stat : 4077 (python) R 4075 4077 3621 0 -1 4202496 133063 438156 1 0 17322 92 8932 424 20 0 2 0 337631115 853041152 88283 33554432000 4194304 5683644 140733274365520 140733274364424 213419260730 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4077/statm: 208262 88283 1901 364 0 143490 0
[pid=4077/tid=4108] ppid=4075 vsize=833048 CPUtime=93.56 cores=0,2,4,6
/proc/4077/task/4108/stat : 4108 (python) S 4075 4077 3621 0 -1 4202560 21 438156 0 0 0 0 8932 424 20 0 2 0 337668750 853041152 88283 33554432000 4194304 5683644 140733274365520 139967590937584 213423019808 0 0 16781312 0 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 267.7
Current children cumulated vsize (KiB) 833048

Child status: 0
Real time (s): 382.692
CPU time (s): 267.788
CPU user time (s): 262.582
CPU system time (s): 5.20621
CPU usage (%): 69.9749
Max. virtual memory (cumulated for all children) (KiB): 5761116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 262.582
system time used= 5.20621
maximum resident set size= 4065188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 620622
page faults= 1
swaps= 0
block input operations= 0
block output operations= 284208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1002571
involuntary context switches= 327

runsolver used 0.629904 second user time and 1.74973 second system time

The end