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-3730117-1338715545/watcher-3730117-1338715545 -o /tmp/evaluation-result-3730117-1338715545/solver-3730117-1338715545 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3730117-1338715545.opb -seed 1671738686 -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.68 2.24 2.04 3/176 4867
/proc/meminfo: memFree=29143704/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/4867/stat : 4867 (python) D 4865 4867 3958 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 337680834 15642624 527 33554432000 4194304 5683644 140737398570672 140737398556584 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/4867/statm: 3819 527 312 364 0 261 0

[startup+0.0901489 s]
/proc/loadavg: 2.68 2.24 2.04 3/176 4867
/proc/meminfo: memFree=29143704/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=19084 CPUtime=0.01 cores=0,2,4,6
/proc/4867/stat : 4867 (python) R 4865 4867 3958 0 -1 4202496 1386 0 0 0 1 0 0 0 20 0 1 0 337680834 19542016 1141 33554432000 4194304 5683644 140737398570672 140737398501176 217410146196 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 4771 1141 430 364 0 695 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19084

[startup+0.100232 s]
/proc/loadavg: 2.68 2.24 2.04 3/176 4867
/proc/meminfo: memFree=29143704/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=19084 CPUtime=0.02 cores=0,2,4,6
/proc/4867/stat : 4867 (python) D 4865 4867 3958 0 -1 4202496 1398 0 0 0 2 0 0 0 20 0 1 0 337680834 19542016 1153 33554432000 4194304 5683644 140737398570672 140737398510664 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 4771 1153 430 364 0 695 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19084

[startup+0.30029 s]
/proc/loadavg: 2.68 2.24 2.04 3/176 4867
/proc/meminfo: memFree=29143704/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=102052 CPUtime=0.09 cores=0,2,4,6
/proc/4867/stat : 4867 (python) D 4865 4867 3958 0 -1 4202496 4128 1014 1 0 8 1 0 0 20 0 1 0 337680834 104501248 2727 33554432000 4194304 5683644 140737398570672 140737398425368 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 25513 2727 876 364 0 1723 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 102052

[startup+0.700175 s]
/proc/loadavg: 2.68 2.24 2.04 3/176 4867
/proc/meminfo: memFree=29143704/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=166948 CPUtime=0.18 cores=0,2,4,6
/proc/4867/stat : 4867 (python) R 4865 4867 3958 0 -1 4202496 6561 1014 1 0 15 3 0 0 20 0 1 0 337680834 170954752 4352 33554432000 4194304 5683644 140737398570672 140737398474904 140532130313936 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 41737 4352 1227 364 0 3290 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 166948

[startup+1.50018 s]
/proc/loadavg: 2.68 2.24 2.04 2/177 4872
/proc/meminfo: memFree=29124716/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=377292 CPUtime=0.65 cores=0,2,4,6
/proc/4867/stat : 4867 (python) R 4865 4867 3958 0 -1 4202496 12481 1014 1 0 57 8 0 0 20 0 1 0 337680834 386347008 30977 33554432000 4194304 5683644 140737398570672 140737398563912 4445115 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/4867/statm: 94323 30977 1811 364 0 29552 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 377292

[startup+3.10011 s]
/proc/loadavg: 2.71 2.25 2.04 3/177 4872
/proc/meminfo: memFree=29000872/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=431060 CPUtime=2.25 cores=0,2,4,6
/proc/4867/stat : 4867 (python) R 4865 4867 3958 0 -1 4202496 25562 1014 1 0 215 10 0 0 20 0 1 0 337680834 441405440 44058 33554432000 4194304 5683644 140737398570672 140737398563288 217410146196 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 107765 44059 1811 364 0 42994 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 431060
heavy processes:

[startup+6.30018 s]
/proc/loadavg: 2.71 2.25 2.04 3/177 4872
/proc/meminfo: memFree=28886240/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=543756 CPUtime=5.46 cores=0,2,4,6
/proc/4867/stat : 4867 (python) R 4865 4867 3958 0 -1 4202496 52006 1014 1 0 532 14 0 0 20 0 1 0 337680834 556806144 71013 33554432000 4194304 5683644 140737398570672 140737398563288 217410146196 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 135939 71013 1811 364 0 71168 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 543756

[startup+12.7002 s]
/proc/loadavg: 2.75 2.27 2.05 3/177 4872
/proc/meminfo: memFree=28650792/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=771464 CPUtime=11.86 cores=0,2,4,6
/proc/4867/stat : 4867 (python) R 4865 4867 3958 0 -1 4202496 97893 1014 1 0 1164 22 0 0 20 0 1 0 337680834 789979136 125587 33554432000 4194304 5683644 140737398570672 140737398563288 217410146196 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 192866 125587 1811 364 0 128095 0
Current children cumulated CPU time (s) 11.86
Current children cumulated vsize (KiB) 771464

[startup+25.5063 s]
/proc/loadavg: 2.79 2.30 2.06 3/178 4873
/proc/meminfo: memFree=28511292/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=867784 CPUtime=24.66 cores=0,2,4,6
/proc/4867/stat : 4867 (python) R 4865 4867 3958 0 -1 4202496 113647 1014 1 0 2433 33 0 0 20 0 1 0 337680834 888610816 153698 33554432000 4194304 5683644 140737398570672 140737398557496 217410185522 0 0 16781312 33554434 0 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 216946 153698 1846 364 0 152175 0
Current children cumulated CPU time (s) 24.66
Current children cumulated vsize (KiB) 867784

[startup+51.1002 s]
/proc/loadavg: 2.52 2.27 2.06 3/181 4876
/proc/meminfo: memFree=28004508/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=790276 CPUtime=50.25 cores=0,2,4,6
/proc/4867/stat : 4867 (python) R 4865 4867 3958 0 -1 4202496 115837 1014 1 0 4988 37 0 0 20 0 1 0 337680834 809242624 134365 33554432000 4194304 5683644 140737398570672 140737398565000 4562959 0 0 16781312 33554434 0 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 197569 134365 1893 364 0 132795 0
Current children cumulated CPU time (s) 50.25
Current children cumulated vsize (KiB) 790276

[startup+102.3 s]
/proc/loadavg: 3.46 2.53 2.15 2/182 4877
/proc/meminfo: memFree=15840608/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=790276 CPUtime=101.44 cores=0,2,4,6
/proc/4867/stat : 4867 (python) R 4865 4867 3958 0 -1 4202496 115837 1014 1 0 10091 53 0 0 20 0 1 0 337680834 809242624 134365 33554432000 4194304 5683644 140737398570672 140737398565000 4419472 0 0 16781312 33554434 0 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 197569 134365 1893 364 0 132795 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 790276

[startup+162.3 s]
/proc/loadavg: 4.43 2.98 2.33 2/181 4877
/proc/meminfo: memFree=15830464/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=790276 CPUtime=161.43 cores=0,2,4,6
/proc/4867/stat : 4867 (python) R 4865 4867 3958 0 -1 4202496 115837 1014 1 0 16065 78 0 0 20 0 1 0 337680834 809242624 134365 33554432000 4194304 5683644 140737398570672 140737398565000 217410190465 0 0 16781312 33554434 0 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 197569 134365 1893 364 0 132795 0
Current children cumulated CPU time (s) 161.43
Current children cumulated vsize (KiB) 790276

[startup+222.3 s]
/proc/loadavg: 3.99 3.16 2.44 3/186 4886
/proc/meminfo: memFree=15111056/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=866064 CPUtime=175.8 cores=0,2,4,6
/proc/4867/stat : 4867 (python) S 4865 4867 3958 0 -1 4202496 116052 1014 1 0 17498 82 0 0 20 0 2 0 337680834 886849536 134379 33554432000 4194304 5683644 140737398570672 140737398565504 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 216516 134379 1902 364 0 151739 0
[pid=4878] ppid=4867 vsize=790284 CPUtime=0.07 cores=0,2,4,6
/proc/4878/stat : 4878 (python) S 4867 4867 3958 0 -1 4202560 1005 0 0 0 4 3 0 0 20 0 1 0 337698501 809250816 132833 33554432000 4194304 5683644 140737398570672 140737398561760 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4878/statm: 197571 132833 362 364 0 132794 0
[pid=4880] ppid=4878 vsize=4105272 CPUtime=38.28 cores=0,2,4,6
/proc/4880/stat : 4880 (minion) S 4878 4880 4880 0 -1 4204032 330937 0 0 0 3603 225 0 0 20 0 1 0 337698502 4203798528 1016575 33554432000 134512640 165565024 4287263680 4287260912 159737071 0 0 16781312 8396802 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4880/statm: 1026318 1016575 359 7582 0 1018733 0
[pid=4867/tid=4879] ppid=4865 vsize=866064 CPUtime=0 cores=0,2,4,6
/proc/4867/task/4879/stat : 4879 (python) S 4865 4867 3958 0 -1 4202560 26 1014 0 0 0 0 0 0 20 0 2 0 337698501 886849536 134379 33554432000 4194304 5683644 140737398570672 140531964265008 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 214.15
Current children cumulated vsize (KiB) 5761620

[startup+282.3 s]
/proc/loadavg: 4.50 3.44 2.57 1/178 4983
/proc/meminfo: memFree=16540828/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=866064 CPUtime=175.8 cores=0,2,4,6
/proc/4867/stat : 4867 (python) S 4865 4867 3958 0 -1 4202496 116052 1014 1 0 17498 82 0 0 20 0 2 0 337680834 886849536 134379 33554432000 4194304 5683644 140737398570672 140737398565504 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 216516 134379 1902 364 0 151739 0
[pid=4878] ppid=4867 vsize=790284 CPUtime=0.16 cores=0,2,4,6
/proc/4878/stat : 4878 (python) S 4867 4867 3958 0 -1 4202560 1039 0 0 0 10 6 0 0 20 0 1 0 337698501 809250816 132833 33554432000 4194304 5683644 140737398570672 140737398561760 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4878/statm: 197571 132833 362 364 0 132794 0
[pid=4880] ppid=4878 vsize=4105272 CPUtime=39.16 cores=0,2,4,6
/proc/4880/stat : 4880 (minion) S 4878 4880 4880 0 -1 4204032 330937 0 0 0 3603 313 0 0 20 0 1 0 337698502 4203798528 1016575 33554432000 134512640 165565024 4287263680 4287260912 159737071 0 0 16781312 8396802 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4880/statm: 1026318 1016575 359 7582 0 1018733 0
[pid=4867/tid=4879] ppid=4865 vsize=866064 CPUtime=0 cores=0,2,4,6
/proc/4867/task/4879/stat : 4879 (python) S 4865 4867 3958 0 -1 4202560 26 1014 0 0 0 0 0 0 20 0 2 0 337698501 886849536 134379 33554432000 4194304 5683644 140737398570672 140531964265008 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 215.12
Current children cumulated vsize (KiB) 5761620
heavy processes:
  %CPU=20 pid=4886 uid=0 cmd=

[startup+342.3 s]
/proc/loadavg: 5.04 3.79 2.75 1/176 5298
/proc/meminfo: memFree=16569648/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=866064 CPUtime=175.8 cores=0,2,4,6
/proc/4867/stat : 4867 (python) S 4865 4867 3958 0 -1 4202496 116052 1014 1 0 17498 82 0 0 20 0 2 0 337680834 886849536 134379 33554432000 4194304 5683644 140737398570672 140737398565504 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 216516 134379 1902 364 0 151739 0
[pid=4878] ppid=4867 vsize=790284 CPUtime=0.25 cores=0,2,4,6
/proc/4878/stat : 4878 (python) S 4867 4867 3958 0 -1 4202560 1064 0 0 0 15 10 0 0 20 0 1 0 337698501 809250816 132842 33554432000 4194304 5683644 140737398570672 140737398561760 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4878/statm: 197571 132842 371 364 0 132794 0
[pid=4880] ppid=4878 vsize=4105272 CPUtime=39.16 cores=0,2,4,6
/proc/4880/stat : 4880 (minion) S 4878 4880 4880 0 -1 4204032 330937 0 0 0 3603 313 0 0 20 0 1 0 337698502 4203798528 1016575 33554432000 134512640 165565024 4287263680 4287260912 159737071 0 0 16781312 8396802 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4880/statm: 1026318 1016575 359 7582 0 1018733 0
[pid=4867/tid=4879] ppid=4865 vsize=866064 CPUtime=0 cores=0,2,4,6
/proc/4867/task/4879/stat : 4879 (python) S 4865 4867 3958 0 -1 4202560 26 1014 0 0 0 0 0 0 20 0 2 0 337698501 886849536 134379 33554432000 4194304 5683644 140737398570672 140531964265008 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 215.21
Current children cumulated vsize (KiB) 5761620
heavy processes:
  %CPU=11 pid=4886 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 4880 11 506 18446744073709551615 

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

[startup+359.9 s]
/proc/loadavg: 4.72 3.81 2.77 3/185 5433
/proc/meminfo: memFree=24583024/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=941856 CPUtime=215.34 cores=0,2,4,6
/proc/4867/stat : 4867 (python) S 4865 4867 3958 0 -1 4202496 116832 333219 1 0 17500 82 3619 333 20 0 3 0 337680834 964460544 134388 33554432000 4194304 5683644 140737398570672 140737398565504 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 235464 134388 1905 364 0 170684 0

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

/proc/4867/stat : 4867 (python) S 4865 4867 3958 0 -1 4202496 116832 333219 1 0 17500 82 3619 333 20 0 3 0 337680834 964460544 134388 33554432000 4194304 5683644 140737398570672 140737398565504 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 235464 134388 1905 364 0 170684 0
[pid=5317] ppid=4867 vsize=866076 CPUtime=0.06 cores=0,2,4,6
/proc/5317/stat : 5317 (python) S 4867 4867 3958 0 -1 4202560 916 0 0 0 3 3 0 0 20 0 1 0 337715436 886861824 132835 33554432000 4194304 5683644 140737398570672 140737398561760 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5317/statm: 216519 132835 358 364 0 151739 0
[pid=5319] ppid=5317 vsize=166756 CPUtime=45.86 cores=0,2,4,6
/proc/5319/stat : 5319 (clasp-1.3.7-x86) R 5317 5319 5319 0 -1 4202496 42309 0 0 0 4571 15 0 0 20 0 1 0 337715437 170758144 40276 33554432000 134512640 136139019 4288555776 4288554880 134815847 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/5319/statm: 41689 40276 171 398 0 41289 0
[pid=4867/tid=4879] ppid=4865 vsize=941856 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/4879/stat : 4879 (python) S 4865 4867 3958 0 -1 4202560 26 333219 0 0 0 0 3619 333 20 0 3 0 337698501 964460544 134388 33554432000 4194304 5683644 140737398570672 140531964265008 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4867/tid=5318] ppid=4865 vsize=941856 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/5318/stat : 5318 (python) S 4865 4867 3958 0 -1 4202560 22 333219 0 0 0 0 3619 333 20 0 3 0 337715436 964460544 134388 33554432000 4194304 5683644 140737398570672 140531953775152 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 261.26
Current children cumulated vsize (KiB) 1974688

[startup+395.1 s]
/proc/loadavg: 3.59 3.62 2.75 3/189 5437
/proc/meminfo: memFree=24538136/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=1017648 CPUtime=215.37 cores=0,2,4,6
/proc/4867/stat : 4867 (python) S 4865 4867 3958 0 -1 4202496 117556 333219 1 0 17502 83 3619 333 20 0 4 0 337680834 1042071552 134904 33554432000 4194304 5683644 140737398570672 140737398565504 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 254412 134904 1907 364 0 189629 0
[pid=5317] ppid=4867 vsize=866076 CPUtime=0.06 cores=0,2,4,6
/proc/5317/stat : 5317 (python) S 4867 4867 3958 0 -1 4202560 1072 0 0 0 3 3 0 0 20 0 2 0 337715436 886861824 132861 33554432000 4194304 5683644 140737398570672 140737398562320 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5317/statm: 216519 132861 383 364 0 151739 0
[pid=5319] ppid=5317 vsize=166756 CPUtime=47.11 cores=0,2,4,6
/proc/5319/stat : 5319 (clasp-1.3.7-x86) T 5317 5319 5319 0 -1 4202496 42309 0 0 0 4696 15 0 0 20 0 1 0 337715437 170758144 40276 33554432000 134512640 136139019 4288555776 4288554880 134815804 0 0 16781312 16386 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5319/statm: 41689 40276 171 398 0 41289 0
[pid=5317/tid=5434] ppid=4867 vsize=866076 CPUtime=0 cores=0,2,4,6
/proc/5317/task/5434/stat : 5434 (python) S 4867 4867 3958 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337720149 886861824 132861 33554432000 4194304 5683644 140737398570672 140531964265008 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5435] ppid=4867 vsize=941868 CPUtime=0 cores=0,2,4,6
/proc/5435/stat : 5435 (python) S 4867 4867 3958 0 -1 4202560 771 0 0 0 0 0 0 0 20 0 1 0 337720151 964472832 132818 33554432000 4194304 5683644 140737398570672 140737398561760 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5435/statm: 235467 132818 335 364 0 170684 0
[pid=5437] ppid=5435 vsize=138652 CPUtime=1.91 cores=0,2,4,6
/proc/5437/stat : 5437 (wbo1.4a) R 5435 5437 5437 0 -1 4202496 19420 0 0 0 188 3 0 0 20 0 1 0 337720152 141979648 19170 33554432000 134512640 135751879 4287441024 4286390416 134564614 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/5437/statm: 34663 19170 7402 303 0 12190 0
[pid=4867/tid=4879] ppid=4865 vsize=1017648 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/4879/stat : 4879 (python) S 4865 4867 3958 0 -1 4202560 26 333219 0 0 0 0 3619 333 20 0 4 0 337698501 1042071552 134904 33554432000 4194304 5683644 140737398570672 140531964265008 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4867/tid=5318] ppid=4865 vsize=1017648 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/5318/stat : 5318 (python) S 4865 4867 3958 0 -1 4202560 22 333219 0 0 0 0 3619 333 20 0 4 0 337715436 1042071552 134904 33554432000 4194304 5683644 140737398570672 140531953775152 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4867/tid=5436] ppid=4865 vsize=1017648 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/5436/stat : 5436 (python) S 4865 4867 3958 0 -1 4202560 19 333219 0 0 0 0 3619 333 20 0 4 0 337720152 1042071552 134904 33554432000 4194304 5683644 140737398570672 140531866788400 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 264.45
Current children cumulated vsize (KiB) 3131000

[startup+396.701 s]
/proc/loadavg: 3.59 3.62 2.75 3/189 5437
/proc/meminfo: memFree=24483452/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=1017648 CPUtime=215.37 cores=0,2,4,6
/proc/4867/stat : 4867 (python) S 4865 4867 3958 0 -1 4202496 117556 333219 1 0 17502 83 3619 333 20 0 4 0 337680834 1042071552 134904 33554432000 4194304 5683644 140737398570672 140737398565504 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 254412 134904 1907 364 0 189629 0
[pid=5317] ppid=4867 vsize=866076 CPUtime=0.06 cores=0,2,4,6
/proc/5317/stat : 5317 (python) S 4867 4867 3958 0 -1 4202560 1072 0 0 0 3 3 0 0 20 0 2 0 337715436 886861824 132861 33554432000 4194304 5683644 140737398570672 140737398562320 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5317/statm: 216519 132861 383 364 0 151739 0
[pid=5319] ppid=5317 vsize=166756 CPUtime=47.11 cores=0,2,4,6
/proc/5319/stat : 5319 (clasp-1.3.7-x86) T 5317 5319 5319 0 -1 4202496 42309 0 0 0 4696 15 0 0 20 0 1 0 337715437 170758144 40276 33554432000 134512640 136139019 4288555776 4288554880 134815804 0 0 16781312 16386 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5319/statm: 41689 40276 171 398 0 41289 0
[pid=5317/tid=5434] ppid=4867 vsize=866076 CPUtime=0 cores=0,2,4,6
/proc/5317/task/5434/stat : 5434 (python) S 4867 4867 3958 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337720149 886861824 132861 33554432000 4194304 5683644 140737398570672 140531964265008 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5435] ppid=4867 vsize=941868 CPUtime=0 cores=0,2,4,6
/proc/5435/stat : 5435 (python) S 4867 4867 3958 0 -1 4202560 907 0 0 0 0 0 0 0 20 0 1 0 337720151 964472832 132841 33554432000 4194304 5683644 140737398570672 140737398561760 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5435/statm: 235467 132841 358 364 0 170684 0
[pid=5437] ppid=5435 vsize=180508 CPUtime=3.51 cores=0,2,4,6
/proc/5437/stat : 5437 (wbo1.4a) R 5435 5437 5437 0 -1 4202496 35387 0 0 0 345 6 0 0 20 0 1 0 337720152 184840192 35137 33554432000 134512640 135751879 4287441024 4286390536 135206651 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/5437/statm: 45127 35137 13503 303 0 22654 0
[pid=4867/tid=4879] ppid=4865 vsize=1017648 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/4879/stat : 4879 (python) S 4865 4867 3958 0 -1 4202560 26 333219 0 0 0 0 3619 333 20 0 4 0 337698501 1042071552 134904 33554432000 4194304 5683644 140737398570672 140531964265008 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4867/tid=5318] ppid=4865 vsize=1017648 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/5318/stat : 5318 (python) S 4865 4867 3958 0 -1 4202560 22 333219 0 0 0 0 3619 333 20 0 4 0 337715436 1042071552 134904 33554432000 4194304 5683644 140737398570672 140531953775152 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4867/tid=5436] ppid=4865 vsize=1017648 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/5436/stat : 5436 (python) S 4865 4867 3958 0 -1 4202560 19 333219 0 0 0 0 3619 333 20 0 4 0 337720152 1042071552 134904 33554432000 4194304 5683644 140737398570672 140531866788400 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 266.05
Current children cumulated vsize (KiB) 3172856

[startup+398.3 s]
/proc/loadavg: 3.46 3.59 2.74 3/189 5437
/proc/meminfo: memFree=24460388/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=1017648 CPUtime=215.37 cores=0,2,4,6
/proc/4867/stat : 4867 (python) S 4865 4867 3958 0 -1 4202496 117556 333219 1 0 17502 83 3619 333 20 0 4 0 337680834 1042071552 134904 33554432000 4194304 5683644 140737398570672 140737398565504 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 254412 134904 1907 364 0 189629 0
[pid=5317] ppid=4867 vsize=866076 CPUtime=0.06 cores=0,2,4,6
/proc/5317/stat : 5317 (python) S 4867 4867 3958 0 -1 4202560 1072 0 0 0 3 3 0 0 20 0 2 0 337715436 886861824 132861 33554432000 4194304 5683644 140737398570672 140737398562320 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5317/statm: 216519 132861 383 364 0 151739 0
[pid=5319] ppid=5317 vsize=166756 CPUtime=47.11 cores=0,2,4,6
/proc/5319/stat : 5319 (clasp-1.3.7-x86) T 5317 5319 5319 0 -1 4202496 42309 0 0 0 4696 15 0 0 20 0 1 0 337715437 170758144 40276 33554432000 134512640 136139019 4288555776 4288554880 134815804 0 0 16781312 16386 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5319/statm: 41689 40276 171 398 0 41289 0
[pid=5317/tid=5434] ppid=4867 vsize=866076 CPUtime=0 cores=0,2,4,6
/proc/5317/task/5434/stat : 5434 (python) S 4867 4867 3958 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337720149 886861824 132861 33554432000 4194304 5683644 140737398570672 140531964265008 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5435] ppid=4867 vsize=941868 CPUtime=0 cores=0,2,4,6
/proc/5435/stat : 5435 (python) S 4867 4867 3958 0 -1 4202560 907 0 0 0 0 0 0 0 20 0 1 0 337720151 964472832 132841 33554432000 4194304 5683644 140737398570672 140737398561760 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5435/statm: 235467 132841 358 364 0 170684 0
[pid=5437] ppid=5435 vsize=215376 CPUtime=5.11 cores=0,2,4,6
/proc/5437/stat : 5437 (wbo1.4a) R 5435 5437 5437 0 -1 4202496 50610 0 0 0 503 8 0 0 20 0 1 0 337720152 220545024 50360 33554432000 134512640 135751879 4287441024 4286390536 135206651 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/5437/statm: 53844 50360 19340 303 0 31371 0
[pid=4867/tid=4879] ppid=4865 vsize=1017648 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/4879/stat : 4879 (python) S 4865 4867 3958 0 -1 4202560 26 333219 0 0 0 0 3619 333 20 0 4 0 337698501 1042071552 134904 33554432000 4194304 5683644 140737398570672 140531964265008 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4867/tid=5318] ppid=4865 vsize=1017648 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/5318/stat : 5318 (python) S 4865 4867 3958 0 -1 4202560 22 333219 0 0 0 0 3619 333 20 0 4 0 337715436 1042071552 134904 33554432000 4194304 5683644 140737398570672 140531953775152 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4867/tid=5436] ppid=4865 vsize=1017648 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/5436/stat : 5436 (python) S 4865 4867 3958 0 -1 4202560 19 333219 0 0 0 0 3619 333 20 0 4 0 337720152 1042071552 134904 33554432000 4194304 5683644 140737398570672 140531866788400 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 267.65
Current children cumulated vsize (KiB) 3207724

[startup+399.1 s]
/proc/loadavg: 3.46 3.59 2.74 3/189 5437
/proc/meminfo: memFree=24433480/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=1017648 CPUtime=215.37 cores=0,2,4,6
/proc/4867/stat : 4867 (python) S 4865 4867 3958 0 -1 4202496 117556 333219 1 0 17502 83 3619 333 20 0 4 0 337680834 1042071552 134904 33554432000 4194304 5683644 140737398570672 140737398565504 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 254412 134904 1907 364 0 189629 0
[pid=5317] ppid=4867 vsize=866076 CPUtime=0.06 cores=0,2,4,6
/proc/5317/stat : 5317 (python) S 4867 4867 3958 0 -1 4202560 1072 0 0 0 3 3 0 0 20 0 2 0 337715436 886861824 132861 33554432000 4194304 5683644 140737398570672 140737398562320 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5317/statm: 216519 132861 383 364 0 151739 0
[pid=5319] ppid=5317 vsize=166756 CPUtime=47.11 cores=0,2,4,6
/proc/5319/stat : 5319 (clasp-1.3.7-x86) T 5317 5319 5319 0 -1 4202496 42309 0 0 0 4696 15 0 0 20 0 1 0 337715437 170758144 40276 33554432000 134512640 136139019 4288555776 4288554880 134815804 0 0 16781312 16386 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5319/statm: 41689 40276 171 398 0 41289 0
[pid=5317/tid=5434] ppid=4867 vsize=866076 CPUtime=0 cores=0,2,4,6
/proc/5317/task/5434/stat : 5434 (python) S 4867 4867 3958 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337720149 886861824 132861 33554432000 4194304 5683644 140737398570672 140531964265008 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5435] ppid=4867 vsize=941868 CPUtime=0 cores=0,2,4,6
/proc/5435/stat : 5435 (python) S 4867 4867 3958 0 -1 4202560 907 0 0 0 0 0 0 0 20 0 1 0 337720151 964472832 132841 33554432000 4194304 5683644 140737398570672 140737398561760 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5435/statm: 235467 132841 358 364 0 170684 0
[pid=5437] ppid=5435 vsize=235988 CPUtime=5.9 cores=0,2,4,6
/proc/5437/stat : 5437 (wbo1.4a) R 5435 5437 5437 0 -1 4202496 57441 0 0 0 582 8 0 0 20 0 1 0 337720152 241651712 57702 33554432000 134512640 135751879 4287441024 4286390328 135206651 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/5437/statm: 58997 57703 21994 303 0 36524 0
[pid=4867/tid=4879] ppid=4865 vsize=1017648 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/4879/stat : 4879 (python) S 4865 4867 3958 0 -1 4202560 26 333219 0 0 0 0 3619 333 20 0 4 0 337698501 1042071552 134904 33554432000 4194304 5683644 140737398570672 140531964265008 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4867/tid=5318] ppid=4865 vsize=1017648 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/5318/stat : 5318 (python) S 4865 4867 3958 0 -1 4202560 22 333219 0 0 0 0 3619 333 20 0 4 0 337715436 1042071552 134904 33554432000 4194304 5683644 140737398570672 140531953775152 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4867/tid=5436] ppid=4865 vsize=1017648 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/5436/stat : 5436 (python) S 4865 4867 3958 0 -1 4202560 19 333219 0 0 0 0 3619 333 20 0 4 0 337720152 1042071552 134904 33554432000 4194304 5683644 140737398570672 140531866788400 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 268.44
Current children cumulated vsize (KiB) 3228336

[startup+399.3 s]
/proc/loadavg: 3.46 3.59 2.74 3/189 5437
/proc/meminfo: memFree=24433480/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=1017648 CPUtime=215.37 cores=0,2,4,6
/proc/4867/stat : 4867 (python) S 4865 4867 3958 0 -1 4202496 117556 333219 1 0 17502 83 3619 333 20 0 4 0 337680834 1042071552 134904 33554432000 4194304 5683644 140737398570672 140737398565504 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 254412 134904 1907 364 0 189629 0
[pid=5317] ppid=4867 vsize=866076 CPUtime=0.06 cores=0,2,4,6
/proc/5317/stat : 5317 (python) S 4867 4867 3958 0 -1 4202560 1072 0 0 0 3 3 0 0 20 0 2 0 337715436 886861824 132861 33554432000 4194304 5683644 140737398570672 140737398562320 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5317/statm: 216519 132861 383 364 0 151739 0
[pid=5319] ppid=5317 vsize=166756 CPUtime=47.11 cores=0,2,4,6
/proc/5319/stat : 5319 (clasp-1.3.7-x86) T 5317 5319 5319 0 -1 4202496 42309 0 0 0 4696 15 0 0 20 0 1 0 337715437 170758144 40276 33554432000 134512640 136139019 4288555776 4288554880 134815804 0 0 16781312 16386 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5319/statm: 41689 40276 171 398 0 41289 0
[pid=5317/tid=5434] ppid=4867 vsize=866076 CPUtime=0 cores=0,2,4,6
/proc/5317/task/5434/stat : 5434 (python) S 4867 4867 3958 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337720149 886861824 132861 33554432000 4194304 5683644 140737398570672 140531964265008 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5435] ppid=4867 vsize=941868 CPUtime=0 cores=0,2,4,6
/proc/5435/stat : 5435 (python) S 4867 4867 3958 0 -1 4202560 931 0 0 0 0 0 0 0 20 0 1 0 337720151 964472832 132841 33554432000 4194304 5683644 140737398570672 140737398561760 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5435/statm: 235467 132841 358 364 0 170684 0
[pid=5437] ppid=5435 vsize=0 CPUtime=6.11 cores=0,2,4,6
/proc/5437/stat : 5437 (wbo1.4a) R 5435 5437 5437 0 -1 4202500 61001 0 0 0 601 10 0 0 20 0 1 0 337720152 0 0 33554432000 0 0 0 0 0 0 0 16781312 3 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5437/statm: 0 0 0 0 0 0 0
[pid=4867/tid=4879] ppid=4865 vsize=1017648 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/4879/stat : 4879 (python) S 4865 4867 3958 0 -1 4202560 26 333219 0 0 0 0 3619 333 20 0 4 0 337698501 1042071552 134904 33554432000 4194304 5683644 140737398570672 140531964265008 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4867/tid=5318] ppid=4865 vsize=1017648 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/5318/stat : 5318 (python) S 4865 4867 3958 0 -1 4202560 22 333219 0 0 0 0 3619 333 20 0 4 0 337715436 1042071552 134904 33554432000 4194304 5683644 140737398570672 140531953775152 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4867/tid=5436] ppid=4865 vsize=1017648 CPUtime=39.52 cores=0,2,4,6
/proc/4867/task/5436/stat : 5436 (python) S 4865 4867 3958 0 -1 4202560 19 333219 0 0 0 0 3619 333 20 0 4 0 337720152 1042071552 134904 33554432000 4194304 5683644 140737398570672 140531866788400 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 268.65
Current children cumulated vsize (KiB) 2992348

[startup+399.4 s]
/proc/loadavg: 3.46 3.59 2.74 3/189 5437
/proc/meminfo: memFree=24433480/32873648 swapFree=7628/7628
[pid=4867] ppid=4865 vsize=833108 CPUtime=268.79 cores=0,2,4,6
/proc/4867/stat : 4867 (python) R 4865 4867 3958 0 -1 4202496 153546 439316 1 0 17505 88 8921 365 20 0 2 0 337680834 853102592 88806 33554432000 4194304 5683644 140737398570672 140737398569576 217410140986 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4867/statm: 208277 88806 1901 364 0 143505 0
[pid=4867/tid=5436] ppid=4865 vsize=833108 CPUtime=92.86 cores=0,2,4,6
/proc/4867/task/5436/stat : 5436 (python) S 4865 4867 3958 0 -1 4202560 19 439316 0 0 0 0 8921 365 20 0 2 0 337720152 853102592 88806 33554432000 4194304 5683644 140737398570672 140531866788928 217413900064 0 0 16781312 0 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 268.79
Current children cumulated vsize (KiB) 833108

Child status: 0
Real time (s): 399.461
CPU time (s): 268.864
CPU user time (s): 264.305
CPU system time (s): 4.55931
CPU usage (%): 67.3068
Max. virtual memory (cumulated for all children) (KiB): 5761624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 264.305
system time used= 4.55931
maximum resident set size= 4066300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 622579
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= 1009924
involuntary context switches= 327

runsolver used 0.989849 second user time and 2.6086 second system time

The end