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-3482810-1307578335/watcher-3482810-1307578335 -o /tmp/evaluation-result-3482810-1307578335/solver-3482810-1307578335 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482810-1307578335.opb -seed 954643882 -budget 1800
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.07 1.78 2/582 16314
/proc/meminfo: memFree=28160344/32951124 swapFree=53876552/67111528
[pid=16314] ppid=16312 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/16314/stat : 16314 (python) R 16312 16314 15018 0 -1 4202496 916 0 0 0 0 0 0 0 17 0 1 0 869434495 16154624 796 33554432000 4194304 5683644 140735151914416 18446744073709551615 270613153927 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16314/statm: 3944 796 346 364 0 431 0
[startup+0.09692 s]
/proc/loadavg: 2.12 2.07 1.78 2/582 16314
/proc/meminfo: memFree=28160344/32951124 swapFree=53876552/67111528
[pid=16314] ppid=16312 vsize=84568 CPUtime=0.05 cores=1,3,5,7
/proc/16314/stat : 16314 (python) S 16312 16314 15018 0 -1 4202496 2408 0 0 0 4 1 0 0 17 0 1 0 869434495 86597632 2136 33554432000 4194304 5683644 140735151914416 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/16314/statm: 21142 2136 707 364 0 1359 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84568
[startup+0.100906 s]
/proc/loadavg: 2.12 2.07 1.78 2/582 16314
/proc/meminfo: memFree=28160344/32951124 swapFree=53876552/67111528
[pid=16314] ppid=16312 vsize=85364 CPUtime=0.05 cores=1,3,5,7
/proc/16314/stat : 16314 (python) R 16312 16314 15018 0 -1 4202496 2606 0 0 0 4 1 0 0 17 0 1 0 869434495 87412736 2326 33554432000 4194304 5683644 140735151914416 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16314/statm: 21341 2329 715 364 0 1558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85364
[startup+0.300919 s]
/proc/loadavg: 2.12 2.07 1.78 2/582 16314
/proc/meminfo: memFree=28160344/32951124 swapFree=53876552/67111528
[pid=16314] ppid=16312 vsize=123744 CPUtime=0.16 cores=1,3,5,7
/proc/16314/stat : 16314 (python) R 16312 16314 15018 0 -1 4202496 5357 930 1 0 11 5 0 0 16 0 1 0 869434495 126713856 3745 33554432000 4194304 5683644 140735151914416 18446744073709551615 270613106693 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16314/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.700829 s]
/proc/loadavg: 2.12 2.07 1.78 2/582 16314
/proc/meminfo: memFree=28160344/32951124 swapFree=53876552/67111528
[pid=16314] ppid=16312 vsize=277988 CPUtime=0.41 cores=1,3,5,7
/proc/16314/stat : 16314 (python) R 16312 16314 15018 0 -1 4202496 8933 930 1 0 28 13 0 0 15 0 1 0 869434495 284659712 6854 33554432000 4194304 5683644 140735151914416 18446744073709551615 47462512283660 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16314/statm: 69497 6854 1740 364 0 5462 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 277988
[startup+1.50066 s]
/proc/loadavg: 2.12 2.07 1.78 3/583 16319
/proc/meminfo: memFree=28118176/32951124 swapFree=53876552/67111528
[pid=16314] ppid=16312 vsize=317592 CPUtime=1.21 cores=1,3,5,7
/proc/16314/stat : 16314 (python) R 16312 16314 15018 0 -1 4202496 17768 930 1 0 107 14 0 0 16 0 1 0 869434495 325214208 15631 33554432000 4194304 5683644 140735151914416 18446744073709551615 47462510056800 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16314/statm: 79398 15631 1781 364 0 14291 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 317592
[startup+3.10037 s]
/proc/loadavg: 2.12 2.07 1.78 3/583 16319
/proc/meminfo: memFree=28084076/32951124 swapFree=53876552/67111528
[pid=16314] ppid=16312 vsize=325000 CPUtime=2.81 cores=1,3,5,7
/proc/16314/stat : 16314 (python) R 16312 16314 15018 0 -1 4202496 26714 930 1 0 265 16 0 0 18 0 1 0 869434495 332800000 17598 33554432000 4194304 5683644 140735151914416 18446744073709551615 270612769025 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/16314/statm: 81250 17598 1816 364 0 16143 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 325000
[startup+6.30081 s]
/proc/loadavg: 2.11 2.07 1.78 2/554 16323
/proc/meminfo: memFree=28327836/32951124 swapFree=53876552/67111528
[pid=16314] ppid=16312 vsize=338188 CPUtime=3.46 cores=1,3,5,7
/proc/16314/stat : 16314 (python) S 16312 16314 15018 0 -1 4202496 27729 930 1 0 330 16 0 0 21 0 2 0 869434495 346304512 18388 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16314/statm: 84547 18388 1872 364 0 19434 0
[pid=16320] ppid=16314 vsize=327944 CPUtime=0 cores=1,3,5,7
/proc/16320/stat : 16320 (python) S 16314 16314 15018 0 -1 4202560 721 0 0 0 0 0 0 0 18 0 1 0 869434870 335814656 16863 33554432000 4194304 5683644 140735151914416 18446744073709551615 270613130767 0 0 16781312 33554946 17624170738883723527 0 0 17 5 0 0 0
/proc/16320/statm: 81986 16863 351 364 0 16873 0
[pid=16322] ppid=16320 vsize=17796 CPUtime=2.53 cores=1,3,5,7
/proc/16322/stat : 16322 (clasp-1.3.7-x86) R 16320 16322 16322 0 -1 4202496 5927 0 0 0 252 1 0 0 25 0 1 0 869434871 18223104 4175 33554432000 134512640 136139019 4289140672 18446744073709551615 134883251 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/16322/statm: 4449 4175 184 398 0 4049 0
[pid=16314/tid=16321] ppid=16312 vsize=338188 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16321/stat : 16321 (python) S 16312 16314 15018 0 -1 4202560 28 930 0 0 0 0 0 0 21 0 2 0 869434870 346304512 18388 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 683928
[startup+12.7007 s]
/proc/loadavg: 2.10 2.06 1.78 3/556 16389
/proc/meminfo: memFree=28214412/32951124 swapFree=53876552/67111528
[pid=16314] ppid=16312 vsize=338188 CPUtime=3.46 cores=1,3,5,7
/proc/16314/stat : 16314 (python) S 16312 16314 15018 0 -1 4202496 27729 930 1 0 330 16 0 0 21 0 2 0 869434495 346304512 18388 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16314/statm: 84547 18388 1872 364 0 19434 0
[pid=16320] ppid=16314 vsize=327944 CPUtime=0.03 cores=1,3,5,7
/proc/16320/stat : 16320 (python) S 16314 16314 15018 0 -1 4202560 887 0 0 0 1 2 0 0 18 0 1 0 869434870 335814656 16887 33554432000 4194304 5683644 140735151914416 18446744073709551615 270613130767 0 0 16781312 33554946 5623753486446373674 0 0 17 7 0 0 0
/proc/16320/statm: 81986 16887 375 364 0 16873 0
[pid=16322] ppid=16320 vsize=22184 CPUtime=8.95 cores=1,3,5,7
/proc/16322/stat : 16322 (clasp-1.3.7-x86) R 16320 16322 16322 0 -1 4202496 7027 0 0 0 894 1 0 0 25 0 1 0 869434871 22716416 5275 33554432000 134512640 136139019 4289140672 18446744073709551615 134883423 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/16322/statm: 5546 5275 184 398 0 5146 0
[pid=16314/tid=16321] ppid=16312 vsize=338188 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16321/stat : 16321 (python) S 16312 16314 15018 0 -1 4202560 28 930 0 0 0 0 0 0 21 0 2 0 869434870 346304512 18388 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 688316
[startup+25.5004 s]
/proc/loadavg: 2.09 2.06 1.78 3/559 16427
/proc/meminfo: memFree=28199324/32951124 swapFree=53876552/67111528
[pid=16314] ppid=16312 vsize=338188 CPUtime=3.46 cores=1,3,5,7
/proc/16314/stat : 16314 (python) S 16312 16314 15018 0 -1 4202496 27729 930 1 0 330 16 0 0 21 0 2 0 869434495 346304512 18388 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16314/statm: 84547 18388 1872 364 0 19434 0
[pid=16320] ppid=16314 vsize=327944 CPUtime=0.08 cores=1,3,5,7
/proc/16320/stat : 16320 (python) S 16314 16314 15018 0 -1 4202560 892 0 0 0 3 5 0 0 18 0 1 0 869434870 335814656 16887 33554432000 4194304 5683644 140735151914416 18446744073709551615 270613130767 0 0 16781312 33554946 5623753486446373674 0 0 17 7 0 0 0
/proc/16320/statm: 81986 16887 375 364 0 16873 0
[pid=16322] ppid=16320 vsize=28504 CPUtime=21.73 cores=1,3,5,7
/proc/16322/stat : 16322 (clasp-1.3.7-x86) R 16320 16322 16322 0 -1 4202496 8595 0 0 0 2172 1 0 0 25 0 1 0 869434871 29188096 6843 33554432000 134512640 136139019 4289140672 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/16322/statm: 7126 6843 184 398 0 6726 0
[pid=16314/tid=16321] ppid=16312 vsize=338188 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16321/stat : 16321 (python) S 16312 16314 15018 0 -1 4202560 28 930 0 0 0 0 0 0 21 0 2 0 869434870 346304512 18388 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 694636
[startup+51.1009 s]
/proc/loadavg: 2.17 2.09 1.80 3/559 16428
/proc/meminfo: memFree=28185284/32951124 swapFree=53876552/67111528
[pid=16314] ppid=16312 vsize=338188 CPUtime=3.46 cores=1,3,5,7
/proc/16314/stat : 16314 (python) S 16312 16314 15018 0 -1 4202496 27729 930 1 0 330 16 0 0 21 0 2 0 869434495 346304512 18388 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16314/statm: 84547 18388 1872 364 0 19434 0
[pid=16320] ppid=16314 vsize=327944 CPUtime=0.18 cores=1,3,5,7
/proc/16320/stat : 16320 (python) S 16314 16314 15018 0 -1 4202560 1001 0 0 0 8 10 0 0 18 0 1 0 869434870 335814656 16892 33554432000 4194304 5683644 140735151914416 18446744073709551615 270613130767 0 0 16781312 33554946 5623753486446373674 0 0 17 7 0 0 0
/proc/16320/statm: 81986 16892 380 364 0 16873 0
[pid=16322] ppid=16320 vsize=35908 CPUtime=47.33 cores=1,3,5,7
/proc/16322/stat : 16322 (clasp-1.3.7-x86) R 16320 16322 16322 0 -1 4202496 10467 0 0 0 4731 2 0 0 25 0 1 0 869434871 36769792 8715 33554432000 134512640 136139019 4289140672 18446744073709551615 134832236 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/16322/statm: 8977 8715 184 398 0 8577 0
[pid=16314/tid=16321] ppid=16312 vsize=338188 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16321/stat : 16321 (python) S 16312 16314 15018 0 -1 4202560 28 930 0 0 0 0 0 0 21 0 2 0 869434870 346304512 18388 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 702040
[startup+102.301 s]
/proc/loadavg: 2.07 2.07 1.81 3/568 16438
/proc/meminfo: memFree=27293252/32951124 swapFree=53876552/67111528
[pid=16314] ppid=16312 vsize=413984 CPUtime=5.9 cores=1,3,5,7
/proc/16314/stat : 16314 (python) R 16312 16314 15018 0 -1 4202496 29087 930 1 0 573 17 0 0 22 0 3 0 869434495 423919616 18557 33554432000 4194304 5683644 140735151914416 18446744073709551615 4567033 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16314/statm: 103496 18557 1875 364 0 38380 0
[pid=16320] ppid=16314 vsize=338188 CPUtime=0.2 cores=1,3,5,7
/proc/16320/stat : 16320 (python) S 16314 16314 15018 0 -1 4202560 1139 0 0 0 9 11 0 0 19 0 2 0 869434870 346304512 16928 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16320/statm: 84547 16928 411 364 0 19434 0
[pid=16322] ppid=16320 vsize=36048 CPUtime=48.19 cores=1,3,5,7
/proc/16322/stat : 16322 (clasp-1.3.7-x86) T 16320 16322 16322 0 -1 4202496 10477 0 0 0 4817 2 0 0 25 0 1 0 869434871 36913152 8725 33554432000 134512640 136139019 4289140672 18446744073709551615 134832200 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/16322/statm: 9012 8725 184 398 0 8612 0
[pid=16320/tid=16429] ppid=16314 vsize=338188 CPUtime=0 cores=1,3,5,7
/proc/16320/task/16429/stat : 16429 (python) S 16314 16314 15018 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869439691 346304512 16928 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554946 18446604469672572160 0 0 -1 7 0 0 0
[pid=16430] ppid=16314 vsize=338200 CPUtime=0.21 cores=1,3,5,7
/proc/16430/stat : 16430 (python) S 16314 16314 15018 0 -1 4202560 1115 0 0 0 10 11 0 0 16 0 2 0 869439693 346316800 16913 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16430/statm: 84550 16913 396 364 0 19434 0
[pid=16432] ppid=16430 vsize=845676 CPUtime=47.89 cores=1,3,5,7
/proc/16432/stat : 16432 (scip-2.0.1.linu) T 16430 16432 16432 0 -1 4202496 209764 0 0 0 4642 147 0 0 25 0 1 0 869439694 865972224 205638 33554432000 4194304 13684479 140734580058400 18446744073709551615 4477298 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/16432/statm: 211419 205638 657 2317 0 209097 0
[pid=16430/tid=16438] ppid=16314 vsize=338200 CPUtime=0 cores=1,3,5,7
/proc/16430/task/16438/stat : 16438 (python) S 16314 16314 15018 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869444484 346316800 16913 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554946 18446604467474085760 0 0 -1 7 0 0 0
[pid=16314/tid=16321] ppid=16312 vsize=413984 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16321/stat : 16321 (python) S 16312 16314 15018 0 -1 4202560 28 930 0 0 0 0 0 0 21 0 3 0 869434870 423919616 18557 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 7 0 0 0
[pid=16314/tid=16431] ppid=16312 vsize=413984 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16431/stat : 16431 (python) S 16312 16314 15018 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 3 0 869439694 423919616 18557 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 1972096
[startup+162.301 s]
/proc/loadavg: 2.09 2.07 1.83 3/579 16451
/proc/meminfo: memFree=26425296/32951124 swapFree=53876552/67111528
[pid=16314] ppid=16312 vsize=434492 CPUtime=12.58 cores=1,3,5,7
/proc/16314/stat : 16314 (python) S 16312 16314 15018 0 -1 4202496 30320 930 1 0 1238 20 0 0 20 0 5 0 869434495 444919808 18462 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/16314/statm: 108623 18462 1879 364 0 43501 0
[pid=16320] ppid=16314 vsize=338188 CPUtime=0.2 cores=1,3,5,7
/proc/16320/stat : 16320 (python) S 16314 16314 15018 0 -1 4202560 1139 0 0 0 9 11 0 0 19 0 2 0 869434870 346304512 16928 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16320/statm: 84547 16928 411 364 0 19434 0
[pid=16322] ppid=16320 vsize=36048 CPUtime=48.19 cores=1,3,5,7
/proc/16322/stat : 16322 (clasp-1.3.7-x86) T 16320 16322 16322 0 -1 4202496 10477 0 0 0 4817 2 0 0 25 0 1 0 869434871 36913152 8725 33554432000 134512640 136139019 4289140672 18446744073709551615 134832200 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/16322/statm: 9012 8725 184 398 0 8612 0
[pid=16320/tid=16429] ppid=16314 vsize=338188 CPUtime=0 cores=1,3,5,7
/proc/16320/task/16429/stat : 16429 (python) S 16314 16314 15018 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869439691 346304512 16928 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554946 18446604469672572160 0 0 -1 7 0 0 0
[pid=16430] ppid=16314 vsize=338200 CPUtime=0.21 cores=1,3,5,7
/proc/16430/stat : 16430 (python) S 16314 16314 15018 0 -1 4202560 1115 0 0 0 10 11 0 0 16 0 2 0 869439693 346316800 16913 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16430/statm: 84550 16913 396 364 0 19434 0
[pid=16432] ppid=16430 vsize=845676 CPUtime=47.89 cores=1,3,5,7
/proc/16432/stat : 16432 (scip-2.0.1.linu) T 16430 16432 16432 0 -1 4202496 209764 0 0 0 4642 147 0 0 25 0 1 0 869439694 865972224 205638 33554432000 4194304 13684479 140734580058400 18446744073709551615 4477298 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/16432/statm: 211419 205638 657 2317 0 209097 0
[pid=16430/tid=16438] ppid=16314 vsize=338200 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/16557/stat : 16557 (bsolo_pb10) T 16555 16557 16557 0 -1 4202496 14483 0 0 0 9379 7 0 0 25 0 1 0 869528722 54075392 10539 33554432000 134512640 137138936 4288832832 18446744073709551615 134543391 0 0 16781312 16384 18446744071562691360 0 0 17 7 0 0 0
/proc/16557/statm: 13202 10539 184 642 0 12558 0
[pid=16555/tid=16560] ppid=16314 vsize=444760 CPUtime=0 cores=1,3,5,7
/proc/16555/task/16560/stat : 16560 (python) S 16314 16314 15018 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869538119 455434240 17000 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554946 18446604454563473408 0 0 -1 3 0 0 0
[pid=16576] ppid=16314 vsize=455016 CPUtime=0.06 cores=1,3,5,7
/proc/16576/stat : 16576 (python) S 16314 16314 15018 0 -1 4202560 964 0 0 0 3 3 0 0 15 0 1 0 869593238 465936384 16979 33554432000 4194304 5683644 140735151914416 18446744073709551615 270613130822 0 0 16781312 33554946 5623753486446373674 0 0 17 7 0 0 0
/proc/16576/statm: 113754 16979 372 364 0 48623 0
[pid=16578] ppid=16576 vsize=51192 CPUtime=14.88 cores=1,3,5,7
/proc/16578/stat : 16578 (wbo1.4b-fixed) R 16576 16578 16578 0 -1 4202496 14099 0 0 0 1473 15 0 0 25 0 1 0 869593238 52420608 11973 33554432000 134512640 135752315 4292154144 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/16578/statm: 12798 11973 146 303 0 12493 0
[pid=16314/tid=16321] ppid=16312 vsize=465260 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16321/stat : 16321 (python) S 16312 16314 15018 0 -1 4202560 39 930 0 0 0 0 0 0 18 0 8 0 869434870 476426240 18496 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 1 0 0 0
[pid=16314/tid=16431] ppid=16312 vsize=465260 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16431/stat : 16431 (python) S 16312 16314 15018 0 -1 4202560 44 930 0 0 0 0 0 0 18 0 8 0 869439694 476426240 18496 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 1 0 0 0
[pid=16314/tid=16441] ppid=16312 vsize=465260 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16441/stat : 16441 (python) S 16312 16314 15018 0 -1 4202560 29 930 0 0 0 0 0 0 25 0 8 0 869445391 476426240 18496 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 5 0 0 0
[pid=16314/tid=16450] ppid=16312 vsize=465260 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16450/stat : 16450 (python) S 16312 16314 15018 0 -1 4202560 28 930 0 0 0 0 0 0 18 0 8 0 869450197 476426240 18496 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 1 0 0 0
[pid=16314/tid=16495] ppid=16312 vsize=465260 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16495/stat : 16495 (python) S 16312 16314 15018 0 -1 4202560 92 930 0 0 0 0 0 0 20 0 8 0 869459527 476426240 18496 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 1 0 0 0
[pid=16314/tid=16556] ppid=16312 vsize=465260 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16556/stat : 16556 (python) S 16312 16314 15018 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 8 0 869528721 476426240 18496 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 7 0 0 0
[pid=16314/tid=16577] ppid=16312 vsize=465260 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16577/stat : 16577 (python) S 16312 16314 15018 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 8 0 869593238 476426240 18496 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1608.8
Current children cumulated vsize (KiB) 7847100
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1634.1 s]
/proc/loadavg: 1.06 1.06 1.28 6/600 16600
/proc/meminfo: memFree=15063036/32951124 swapFree=53876552/67111528
[pid=16314] ppid=16312 vsize=475516 CPUtime=12.76 cores=1,3,5,7
/proc/16314/stat : 16314 (python) S 16312 16314 15018 0 -1 4202496 34168 930 1 0 1255 21 0 0 19 0 9 0 869434495 486928384 18519 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16314/statm: 118879 18519 1887 364 0 53745 0
[pid=16320] ppid=16314 vsize=338188 CPUtime=1.06 cores=1,3,5,7
/proc/16320/stat : 16320 (python) S 16314 16314 15018 0 -1 4202560 1202 0 0 0 47 59 0 0 18 0 2 0 869434870 346304512 16929 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16320/statm: 84547 16929 412 364 0 19434 0
[pid=16322] ppid=16320 vsize=86468 CPUtime=233.02 cores=1,3,5,7
/proc/16322/stat : 16322 (clasp-1.3.7-x86) T 16320 16322 16322 0 -1 4202496 23027 0 0 0 23298 4 0 0 25 0 1 0 869434871 88543232 21275 33554432000 134512640 136139019 4289140672 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/16322/statm: 21617 21275 184 398 0 21217 0
[pid=16320/tid=16429] ppid=16314 vsize=338188 CPUtime=0 cores=1,3,5,7
/proc/16320/task/16429/stat : 16429 (python) S 16314 16314 15018 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 869439691 346304512 16929 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554946 18446604469672572160 0 0 -1 7 0 0 0
[pid=16430] ppid=16314 vsize=338200 CPUtime=4.74 cores=1,3,5,7
/proc/16430/stat : 16430 (python) S 16314 16314 15018 0 -1 4202560 1216 0 0 0 216 258 0 0 15 0 2 0 869439693 346316800 16913 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16430/statm: 84550 16913 396 364 0 19434 0
[pid=16432] ppid=16430 vsize=2946820 CPUtime=1056.66 cores=1,3,5,7
/proc/16432/stat : 16432 (scip-2.0.1.linu) T 16430 16432 16432 0 -1 4202496 730567 0 0 0 105193 473 0 0 25 0 1 0 869439694 3017543680 726441 33554432000 4194304 13684479 140734580058400 18446744073709551615 4880666 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/16432/statm: 736705 726441 662 2317 0 734383 0
[pid=16430/tid=16438] ppid=16314 vsize=338200 CPUtime=0 cores=1,3,5,7
/proc/16430/task/16438/stat : 16438 (python) S 16314 16314 15018 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869444484 346316800 16913 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554946 18446604467474085760 0 0 -1 3 0 0 0
[pid=16440] ppid=16314 vsize=413992 CPUtime=0.21 cores=1,3,5,7
/proc/16440/stat : 16440 (python) S 16314 16314 15018 0 -1 4202560 1127 0 0 0 10 11 0 0 17 0 2 0 869445390 423927808 17078 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16440/statm: 103498 17078 396 364 0 38379 0
[pid=16442] ppid=16440 vsize=248016 CPUtime=48.01 cores=1,3,5,7
/proc/16442/stat : 16442 (minion) T 16440 16442 16442 0 -1 4202496 67384 0 0 0 4793 8 0 0 25 0 1 0 869445391 253968384 54451 33554432000 134512640 165565024 4288311408 18446744073709551615 134641171 0 0 16781312 8396802 18446744071562691360 0 0 17 1 0 0 0
/proc/16442/statm: 62004 54451 346 7582 0 54419 0
[pid=16440/tid=16448] ppid=16314 vsize=413992 CPUtime=0 cores=1,3,5,7
/proc/16440/task/16448/stat : 16448 (python) S 16314 16314 15018 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869450194 423927808 17078 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554946 18446604469307564480 0 0 -1 7 0 0 0
[pid=16449] ppid=16314 vsize=424248 CPUtime=0.43 cores=1,3,5,7
/proc/16449/stat : 16449 (python) S 16314 16314 15018 0 -1 4202560 990 0 0 0 19 24 0 0 15 0 2 0 869450196 434429952 16976 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16449/statm: 106062 16976 396 364 0 40940 0
[pid=16451] ppid=16449 vsize=1080632 CPUtime=93.16 cores=1,3,5,7
/proc/16451/stat : 16451 (scip-2.0.1.linu) T 16449 16451 16451 0 -1 4202496 266767 0 0 0 9178 138 0 0 25 0 1 0 869450197 1106567168 262684 33554432000 4194304 15243407 140734122424752 18446744073709551615 5474340 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/16451/statm: 270158 262684 738 2698 0 267453 0
[pid=16449/tid=16489] ppid=16314 vsize=424248 CPUtime=0 cores=1,3,5,7
/proc/16449/task/16489/stat : 16489 (python) S 16314 16314 15018 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 2 0 869454999 434429952 16976 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554946 18446604464041960384 0 0 -1 1 0 0 0
[pid=16494] ppid=16314 vsize=434504 CPUtime=0.23 cores=1,3,5,7
/proc/16494/stat : 16494 (python) S 16314 16314 15018 0 -1 4202560 1065 0 0 0 9 14 0 0 17 0 2 0 869459526 444932096 17090 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16494/statm: 108626 17090 396 364 0 43501 0
[pid=16496] ppid=16494 vsize=66996 CPUtime=49.32 cores=1,3,5,7
/proc/16496/stat : 16496 (wbo1.4a) T 16494 16496 16496 0 -1 4202496 18019 0 0 0 4906 26 0 0 25 0 1 0 869459527 68603904 15904 33554432000 134512640 135751879 4290389696 18446744073709551615 134611204 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/16496/statm: 16749 15904 143 303 0 16444 0
[pid=16494/tid=16503] ppid=16314 vsize=434504 CPUtime=0 cores=1,3,5,7
/proc/16494/task/16503/stat : 16503 (python) S 16314 16314 15018 0 -1 4202560 120 0 0 0 0 0 0 0 17 0 2 0 869464460 444932096 17090 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554946 18446604465802649728 0 0 -1 7 0 0 0
[pid=16555] ppid=16314 vsize=444760 CPUtime=0.41 cores=1,3,5,7
/proc/16555/stat : 16555 (python) S 16314 16314 15018 0 -1 4202560 1149 0 0 0 18 23 0 0 17 0 2 0 869528721 455434240 17000 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/16555/statm: 111190 17000 396 364 0 46062 0
[pid=16557] ppid=16555 vsize=52808 CPUtime=93.86 cores=1,3,5,7
/proc/16557/stat : 16557 (bsolo_pb10) T 16555 16557 16557 0 -1 4202496 14483 0 0 0 9379 7 0 0 25 0 1 0 869528722 54075392 10539 33554432000 134512640 137138936 4288832832 18446744073709551615 134543391 0 0 16781312 16384 18446744071562691360 0 0 17 7 0 0 0
/proc/16557/statm: 13202 10539 184 642 0 12558 0
[pid=16555/tid=16560] ppid=16314 vsize=444760 CPUtime=0 cores=1,3,5,7
/proc/16555/task/16560/stat : 16560 (python) S 16314 16314 15018 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869538119 455434240 17000 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554946 18446604454563473408 0 0 -1 3 0 0 0
[pid=16576] ppid=16314 vsize=455016 CPUtime=0.21 cores=1,3,5,7
/proc/16576/stat : 16576 (python) S 16314 16314 15018 0 -1 4202560 1138 0 0 0 9 12 0 0 17 0 2 0 869593238 465936384 17004 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16576/statm: 113754 17004 396 364 0 48623 0
[pid=16578] ppid=16576 vsize=76428 CPUtime=46.27 cores=1,3,5,7
/proc/16578/stat : 16578 (wbo1.4b-fixed) T 16576 16578 16578 0 -1 4202496 20416 0 0 0 4588 39 0 0 25 0 1 0 869593238 78262272 18290 33554432000 134512640 135752315 4292154144 18446744073709551615 134516986 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/16578/statm: 19107 18290 146 303 0 18802 0
[pid=16576/tid=16580] ppid=16314 vsize=455016 CPUtime=0 cores=1,3,5,7
/proc/16576/task/16580/stat : 16580 (python) S 16314 16314 15018 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869597866 465936384 17004 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554946 18446604467474083968 0 0 -1 7 0 0 0
[pid=16581] ppid=16314 vsize=465272 CPUtime=0 cores=1,3,5,7
/proc/16581/stat : 16581 (python) S 16314 16314 15018 0 -1 4202560 778 0 0 0 0 0 0 0 19 0 1 0 869597867 476438528 16977 33554432000 4194304 5683644 140735151914416 18446744073709551615 270613130822 0 0 16781312 33554946 5303559658735108358 0 0 17 3 0 0 0
/proc/16581/statm: 116318 16977 349 364 0 51184 0
[pid=16583] ppid=16581 vsize=8537344 CPUtime=0.74 cores=1,3,5,7
/proc/16583/stat : 16583 (java) S 16581 16583 16583 0 -1 4202496 16927 0 1 0 71 3 0 0 17 0 18 0 869597868 8742240256 14419 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/16583/statm: 2134336 14419 2203 9 0 2125077 0
[pid=16583/tid=16584] ppid=16581 vsize=8537344 CPUtime=0.37 cores=1,3,5,7
/proc/16583/task/16584/stat : 16584 (java) R 16581 16583 16583 0 -1 4202560 10507 0 1 0 35 2 0 0 25 0 18 0 869597869 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 46912505601974 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16583/tid=16585] ppid=16581 vsize=8537344 CPUtime=0 cores=1,3,5,7
/proc/16583/task/16585/stat : 16585 (java) S 16581 16583 16583 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869597869 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 270624926617 0 4 0 16800975 18446604463134542528 0 0 -1 1 0 0 0
[pid=16583/tid=16586] ppid=16581 vsize=8537344 CPUtime=0 cores=1,3,5,7
/proc/16583/task/16586/stat : 16586 (java) S 16581 16583 16583 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869597869 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 270624926617 0 4 0 16800975 18446604463134542528 0 0 -1 1 0 0 0
[pid=16583/tid=16587] ppid=16581 vsize=8537344 CPUtime=0 cores=1,3,5,7
/proc/16583/task/16587/stat : 16587 (java) S 16581 16583 16583 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869597869 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 270624926617 0 4 0 16800975 18446604463134542528 0 0 -1 1 0 0 0
[pid=16583/tid=16588] ppid=16581 vsize=8537344 CPUtime=0 cores=1,3,5,7
/proc/16583/task/16588/stat : 16588 (java) S 16581 16583 16583 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869597869 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 270624926617 0 4 0 16800975 18446604463134542528 0 0 -1 1 0 0 0
[pid=16583/tid=16589] ppid=16581 vsize=8537344 CPUtime=0 cores=1,3,5,7
/proc/16583/task/16589/stat : 16589 (java) S 16581 16583 16583 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869597869 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 270624926617 0 4 0 16800975 18446604463134542528 0 0 -1 1 0 0 0
[pid=16583/tid=16590] ppid=16581 vsize=8537344 CPUtime=0 cores=1,3,5,7
/proc/16583/task/16590/stat : 16590 (java) S 16581 16583 16583 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869597869 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 270624926617 0 4 0 16800975 18446604463134542528 0 0 -1 1 0 0 0
[pid=16583/tid=16591] ppid=16581 vsize=8537344 CPUtime=0 cores=1,3,5,7
/proc/16583/task/16591/stat : 16591 (java) S 16581 16583 16583 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869597869 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 270624926617 0 4 0 16800975 18446604463134542528 0 0 -1 1 0 0 0
[pid=16583/tid=16592] ppid=16581 vsize=8537344 CPUtime=0 cores=1,3,5,7
/proc/16583/task/16592/stat : 16592 (java) S 16581 16583 16583 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869597869 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 270624926617 0 4 0 16800975 18446604463134542528 0 0 -1 1 0 0 0
[pid=16583/tid=16593] ppid=16581 vsize=8537344 CPUtime=0 cores=1,3,5,7
/proc/16583/task/16593/stat : 16593 (java) S 16581 16583 16583 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 869597870 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 270624927232 0 0 0 16800975 18446604463134542528 0 0 -1 7 0 0 0
[pid=16583/tid=16594] ppid=16581 vsize=8537344 CPUtime=0 cores=1,3,5,7
/proc/16583/task/16594/stat : 16594 (java) S 16581 16583 16583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 869597871 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 270624926617 0 4 0 16800975 18446604463134542528 0 0 -1 7 0 0 0
[pid=16583/tid=16595] ppid=16581 vsize=8537344 CPUtime=0 cores=1,3,5,7
/proc/16583/task/16595/stat : 16595 (java) S 16581 16583 16583 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 869597871 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 270624926617 0 4 0 16800975 18446604463134542528 0 0 -1 7 0 0 0
[pid=16583/tid=16596] ppid=16581 vsize=8537344 CPUtime=0 cores=1,3,5,7
/proc/16583/task/16596/stat : 16596 (java) S 16581 16583 16583 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869597873 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 270624934321 0 4 0 16800975 18446604463134542528 0 0 -1 7 0 0 0
[pid=16583/tid=16597] ppid=16581 vsize=8537344 CPUtime=0.16 cores=1,3,5,7
/proc/16583/task/16597/stat : 16597 (java) R 16581 16583 16583 0 -1 4202560 2021 0 0 0 16 0 0 0 17 0 18 0 869597873 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 47962018778081 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16583/tid=16598] ppid=16581 vsize=8537344 CPUtime=0.2 cores=1,3,5,7
/proc/16583/task/16598/stat : 16598 (java) R 16581 16583 16583 0 -1 4202560 3077 0 0 0 20 0 0 0 25 0 18 0 869597873 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 47962018034041 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16583/tid=16599] ppid=16581 vsize=8537344 CPUtime=0 cores=1,3,5,7
/proc/16583/task/16599/stat : 16599 (java) S 16581 16583 16583 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869597873 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 270624926617 0 4 0 16800975 18446604463134542528 0 0 -1 7 0 0 0
[pid=16583/tid=16600] ppid=16581 vsize=8537344 CPUtime=0 cores=1,3,5,7
/proc/16583/task/16600/stat : 16600 (java) R 16581 16583 16583 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869597873 8742240256 14348 33554432000 1073741824 1073778376 140734129058512 18446744073709551615 270624927232 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16314/tid=16321] ppid=16312 vsize=475516 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16321/stat : 16321 (python) S 16312 16314 15018 0 -1 4202560 39 930 0 0 0 0 0 0 18 0 9 0 869434870 486928384 18519 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 1 0 0 0
[pid=16314/tid=16431] ppid=16312 vsize=475516 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16431/stat : 16431 (python) S 16312 16314 15018 0 -1 4202560 44 930 0 0 0 0 0 0 18 0 9 0 869439694 486928384 18519 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 1 0 0 0
[pid=16314/tid=16441] ppid=16312 vsize=475516 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16441/stat : 16441 (python) S 16312 16314 15018 0 -1 4202560 29 930 0 0 0 0 0 0 25 0 9 0 869445391 486928384 18519 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 5 0 0 0
[pid=16314/tid=16450] ppid=16312 vsize=475516 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16450/stat : 16450 (python) S 16312 16314 15018 0 -1 4202560 28 930 0 0 0 0 0 0 18 0 9 0 869450197 486928384 18519 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 1 0 0 0
[pid=16314/tid=16495] ppid=16312 vsize=475516 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16495/stat : 16495 (python) S 16312 16314 15018 0 -1 4202560 92 930 0 0 0 0 0 0 20 0 9 0 869459527 486928384 18519 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 1 0 0 0
[pid=16314/tid=16556] ppid=16312 vsize=475516 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16556/stat : 16556 (python) S 16312 16314 15018 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 9 0 869528721 486928384 18519 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 7 0 0 0
[pid=16314/tid=16577] ppid=16312 vsize=475516 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16577/stat : 16577 (python) S 16312 16314 15018 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 9 0 869593238 486928384 18519 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 7 0 0 0
[pid=16314/tid=16582] ppid=16312 vsize=475516 CPUtime=0 cores=1,3,5,7
/proc/16314/task/16582/stat : 16582 (python) S 16312 16314 15018 0 -1 4202560 62 930 0 0 0 0 0 0 20 0 9 0 869597867 486928384 18519 33554432000 4194304 5683644 140735151914416 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465492637760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1641.09
Current children cumulated vsize (KiB) 16885208
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16314 and gives
# childrusage.ru_utime.tv_sec=12
# childrusage.ru_utime.tv_usec=552091
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=221966
# CPU time returned by wait4() is 12.7741
# while last known CPU time is 1641.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1634.2
CPU time (s): 1641.09
CPU user time (s): 1629.89
CPU system time (s): 11.2
CPU usage (%): 100.422
Max. virtual memory (cumulated for all children) (KiB): 16885896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.5521
system time used= 0.221966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35104
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= 2912
involuntary context switches= 41
runsolver used 8.97264 second user time and 21.0908 second system time
The end