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-3740838-1338719626/watcher-3740838-1338719626 -o /tmp/evaluation-result-3740838-1338719626/solver-3740838-1338719626 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3740838-1338719626.opb -seed 1566696993 -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.01 2.01 2.00 3/187 633
/proc/meminfo: memFree=26165916/32873648 swapFree=7120/7120
[pid=633] ppid=631 vsize=15016 CPUtime=0 cores=1,3,5,7
/proc/633/stat : 633 (python) D 631 633 27000 0 -1 4202496 526 0 0 0 0 0 0 0 20 0 1 0 338090180 15376384 431 33554432000 4194304 5683644 140736810686032 140736810672808 219513962165 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/633/statm: 3754 431 267 364 0 196 0
[startup+0.00779694 s]
/proc/loadavg: 2.01 2.01 2.00 3/187 633
/proc/meminfo: memFree=26165916/32873648 swapFree=7120/7120
[pid=633] ppid=631 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/633/stat : 633 (python) D 631 633 27000 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 338090180 15642624 559 33554432000 4194304 5683644 140736810686032 140736810658216 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/633/statm: 3819 559 324 364 0 261 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15276
[startup+0.100233 s]
/proc/loadavg: 2.01 2.01 2.00 3/187 633
/proc/meminfo: memFree=26165916/32873648 swapFree=7120/7120
[pid=633] ppid=631 vsize=19088 CPUtime=0.02 cores=1,3,5,7
/proc/633/stat : 633 (python) R 631 633 27000 0 -1 4202496 1398 0 0 0 2 0 0 0 20 0 1 0 338090180 19546112 1153 33554432000 4194304 5683644 140736810686032 140736810616536 219513596688 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/633/statm: 4772 1153 430 364 0 696 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19088
[startup+0.300204 s]
/proc/loadavg: 2.01 2.01 2.00 3/187 633
/proc/meminfo: memFree=26165916/32873648 swapFree=7120/7120
[pid=633] ppid=631 vsize=102080 CPUtime=0.12 cores=1,3,5,7
/proc/633/stat : 633 (python) D 631 633 27000 0 -1 4202496 4153 1008 1 0 9 3 0 0 20 0 1 0 338090180 104529920 2733 33554432000 4194304 5683644 140736810686032 140736810554392 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/633/statm: 25520 2733 876 364 0 1730 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 102080
[startup+0.700185 s]
/proc/loadavg: 2.01 2.01 2.00 3/187 633
/proc/meminfo: memFree=26165916/32873648 swapFree=7120/7120
[pid=633] ppid=631 vsize=166948 CPUtime=0.24 cores=1,3,5,7
/proc/633/stat : 633 (python) D 631 633 27000 0 -1 4202496 6525 1008 1 0 16 8 0 0 20 0 1 0 338090180 170954752 4325 33554432000 4194304 5683644 140736810686032 140736810590264 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/633/statm: 41737 4325 1215 364 0 3290 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 166948
[startup+1.50018 s]
/proc/loadavg: 2.01 2.01 2.00 2/188 638
/proc/meminfo: memFree=26147532/32873648 swapFree=7120/7120
[pid=633] ppid=631 vsize=339924 CPUtime=0.73 cores=1,3,5,7
/proc/633/stat : 633 (python) R 631 633 27000 0 -1 4202496 12904 1008 1 0 59 14 0 0 20 0 1 0 338090180 348082176 21691 33554432000 4194304 5683644 140736810686032 140736810679560 4445115 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/633/statm: 84981 21691 1811 364 0 20210 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 339924
[startup+3.10021 s]
/proc/loadavg: 2.01 2.01 2.00 3/188 638
/proc/meminfo: memFree=26063480/32873648 swapFree=7120/7120
[pid=633] ppid=631 vsize=397032 CPUtime=2.33 cores=1,3,5,7
/proc/633/stat : 633 (python) R 631 633 27000 0 -1 4202496 26637 1008 1 0 216 17 0 0 20 0 1 0 338090180 406560768 35424 33554432000 4194304 5683644 140736810686032 140736810678648 219513589652 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/633/statm: 99258 35424 1811 364 0 34487 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 397032
heavy processes:
[startup+6.30018 s]
/proc/loadavg: 2.09 2.03 2.01 3/188 638
/proc/meminfo: memFree=25929628/32873648 swapFree=7120/7120
[pid=633] ppid=631 vsize=508632 CPUtime=5.53 cores=1,3,5,7
/proc/633/stat : 633 (python) R 631 633 27000 0 -1 4202496 53214 1008 1 0 532 21 0 0 20 0 1 0 338090180 520839168 63023 33554432000 4194304 5683644 140736810686032 140736810678648 219513589652 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/633/statm: 127158 63023 1811 364 0 62387 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 508632
[startup+12.7065 s]
/proc/loadavg: 2.08 2.03 2.00 3/188 638
/proc/meminfo: memFree=25833028/32873648 swapFree=7120/7120
[pid=633] ppid=631 vsize=585412 CPUtime=11.93 cores=1,3,5,7
/proc/633/stat : 633 (python) R 631 633 27000 0 -1 4202496 71508 1008 1 0 1165 28 0 0 20 0 1 0 338090180 599461888 83104 33554432000 4194304 5683644 140736810686032 140736810672856 4531859 0 0 16781312 33554434 0 0 0 17 1 0 0 0 0 0
/proc/633/statm: 146353 83104 1846 364 0 81582 0
Current children cumulated CPU time (s) 11.93
Current children cumulated vsize (KiB) 585412
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.00 3/191 641
/proc/meminfo: memFree=25797596/32873648 swapFree=7120/7120
[pid=633] ppid=631 vsize=611920 CPUtime=20.89 cores=1,3,5,7
/proc/633/stat : 633 (python) S 631 633 27000 0 -1 4202496 73910 1008 1 0 2060 29 0 0 20 0 2 0 338090180 626606080 70842 33554432000 4194304 5683644 140736810686032 140736810680864 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/633/statm: 152980 70842 1902 364 0 88203 0
[pid=639] ppid=633 vsize=536140 CPUtime=0 cores=1,3,5,7
/proc/639/stat : 639 (python) S 633 633 27000 0 -1 4202560 881 0 0 0 0 0 0 0 20 0 1 0 338092347 549007360 69297 33554432000 4194304 5683644 140736810686032 140736810677120 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/639/statm: 134035 69297 363 364 0 69258 0
[pid=641] ppid=639 vsize=121940 CPUtime=3.8 cores=1,3,5,7
/proc/641/stat : 641 (wbo1.4b-fixed) R 639 641 641 0 -1 4202496 41892 0 0 0 374 6 0 0 20 0 1 0 338092348 124866560 28650 33554432000 134512640 135752315 4291989952 4291988028 135270849 0 0 16781312 3 0 0 0 17 1 0 0 0 0 0
/proc/641/statm: 30485 28650 145 303 0 30180 0
[pid=633/tid=640] ppid=631 vsize=611920 CPUtime=0 cores=1,3,5,7
/proc/633/task/640/stat : 640 (python) S 631 633 27000 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 338092347 626606080 70842 33554432000 4194304 5683644 140736810686032 139866600845872 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 24.69
Current children cumulated vsize (KiB) 1270000
[startup+51.1004 s]
/proc/loadavg: 2.04 2.02 2.00 3/195 645
/proc/meminfo: memFree=25568528/32873648 swapFree=7120/7120
[pid=633] ppid=631 vsize=611920 CPUtime=20.89 cores=1,3,5,7
/proc/633/stat : 633 (python) S 631 633 27000 0 -1 4202496 73910 1008 1 0 2060 29 0 0 20 0 2 0 338090180 626606080 70842 33554432000 4194304 5683644 140736810686032 140736810680864 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/633/statm: 152980 70842 1902 364 0 88203 0
[pid=639] ppid=633 vsize=536140 CPUtime=0.04 cores=1,3,5,7
/proc/639/stat : 639 (python) S 633 633 27000 0 -1 4202560 988 0 0 0 2 2 0 0 20 0 1 0 338092347 549007360 69302 33554432000 4194304 5683644 140736810686032 140736810677120 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/639/statm: 134035 69302 368 364 0 69258 0
[pid=641] ppid=639 vsize=141236 CPUtime=29.41 cores=1,3,5,7
/proc/641/stat : 641 (wbo1.4b-fixed) R 639 641 641 0 -1 4202496 46710 0 0 0 2866 75 0 0 20 0 1 0 338092348 144625664 33468 33554432000 134512640 135752315 4291989952 4291988028 135270849 0 0 16781312 3 0 0 0 17 1 0 0 0 0 0
/proc/641/statm: 35309 33468 146 303 0 35004 0
[pid=633/tid=640] ppid=631 vsize=611920 CPUtime=0 cores=1,3,5,7
/proc/633/task/640/stat : 640 (python) S 631 633 27000 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 338092347 626606080 70842 33554432000 4194304 5683644 140736810686032 139866600845872 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 50.34
Current children cumulated vsize (KiB) 1289296
[startup+102.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/202 652
/proc/meminfo: memFree=17255812/32873648 swapFree=7120/7120
[pid=633] ppid=631 vsize=687712 CPUtime=20.92 cores=1,3,5,7
/proc/633/stat : 633 (python) S 631 633 27000 0 -1 4202496 74817 1008 1 0 2062 30 0 0 20 0 3 0 338090180 704217088 70851 33554432000 4194304 5683644 140736810686032 140736810680864 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/633/statm: 171928 70851 1905 364 0 107148 0
[pid=639] ppid=633 vsize=611920 CPUtime=0.07 cores=1,3,5,7
/proc/639/stat : 639 (python) S 633 633 27000 0 -1 4202560 1127 0 0 0 4 3 0 0 20 0 2 0 338092347 626606080 69337 33554432000 4194304 5683644 140736810686032 140736810677680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/639/statm: 152980 69337 396 364 0 88203 0
[pid=641] ppid=639 vsize=145092 CPUtime=49.23 cores=1,3,5,7
/proc/641/stat : 641 (wbo1.4b-fixed) T 639 641 641 0 -1 4202496 47652 0 0 0 4766 157 0 0 20 0 1 0 338092348 148574208 34410 33554432000 134512640 135752315 4291989952 4291987952 134611201 0 0 16781312 3 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/641/statm: 36273 34410 146 303 0 35968 0
[pid=639/tid=646] ppid=633 vsize=611920 CPUtime=0 cores=1,3,5,7
/proc/639/task/646/stat : 646 (python) S 633 633 27000 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338097273 626606080 69337 33554432000 4194304 5683644 140736810686032 139866600845872 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=647] ppid=633 vsize=611932 CPUtime=0.04 cores=1,3,5,7
/proc/647/stat : 647 (python) S 633 633 27000 0 -1 4202560 894 0 0 0 3 1 0 0 20 0 1 0 338097275 626618368 69298 33554432000 4194304 5683644 140736810686032 140736810677120 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/647/statm: 152983 69298 358 364 0 88203 0
[pid=649] ppid=647 vsize=3975824 CPUtime=24.68 cores=1,3,5,7
/proc/649/stat : 649 (pbct-0.1.2-linu) S 647 649 649 0 -1 4204032 898472 0 0 0 2198 270 0 0 20 0 1 0 338097275 4071243776 961874 33554432000 134512640 136422188 4288115376 4288113740 135736970 0 0 16781312 16387 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/649/statm: 993956 961874 249 467 0 993487 0
[pid=633/tid=640] ppid=631 vsize=687712 CPUtime=0 cores=1,3,5,7
/proc/633/task/640/stat : 640 (python) S 631 633 27000 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 3 0 338092347 704217088 70851 33554432000 4194304 5683644 140736810686032 139866600845872 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=633/tid=648] ppid=631 vsize=687712 CPUtime=0 cores=1,3,5,7
/proc/633/task/648/stat : 648 (python) S 631 633 27000 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 3 0 338097275 704217088 70851 33554432000 4194304 5683644 140736810686032 139866590356016 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 94.94
Current children cumulated vsize (KiB) 6032480
[startup+162.307 s]
/proc/loadavg: 3.95 2.58 2.19 2/204 656
/proc/meminfo: memFree=13720236/32873648 swapFree=7120/7120
[pid=633] ppid=631 vsize=687712 CPUtime=20.92 cores=1,3,5,7
/proc/633/stat : 633 (python) S 631 633 27000 0 -1 4202496 74817 1008 1 0 2062 30 0 0 20 0 3 0 338090180 704217088 70851 33554432000 4194304 5683644 140736810686032 140736810680864 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/633/statm: 171928 70851 1905 364 0 107148 0
[pid=639] ppid=633 vsize=611920 CPUtime=0.07 cores=1,3,5,7
/proc/639/stat : 639 (python) S 633 633 27000 0 -1 4202560 1127 0 0 0 4 3 0 0 20 0 2 0 338092347 626606080 69337 33554432000 4194304 5683644 140736810686032 140736810677680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/639/statm: 152980 69337 396 364 0 88203 0
[pid=641] ppid=639 vsize=145092 CPUtime=49.23 cores=1,3,5,7
/proc/641/stat : 641 (wbo1.4b-fixed) T 639 641 641 0 -1 4202496 47652 0 0 0 4766 157 0 0 20 0 1 0 338092348 148574208 34410 33554432000 134512640 135752315 4291989952 4291987952 134611201 0 0 16781312 3 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/641/statm: 36273 34410 146 303 0 35968 0
[pid=639/tid=646] ppid=633 vsize=611920 CPUtime=0 cores=1,3,5,7
/proc/639/task/646/stat : 646 (python) S 633 633 27000 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338097273 626606080 69337 33554432000 4194304 5683644 140736810686032 139866600845872 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=647] ppid=633 vsize=611932 CPUtime=0.14 cores=1,3,5,7
/proc/647/stat : 647 (python) S 633 633 27000 0 -1 4202560 929 0 0 0 8 6 0 0 20 0 1 0 338097275 626618368 69298 33554432000 4194304 5683644 140736810686032 140736810677120 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/647/statm: 152983 69298 358 364 0 88203 0
[pid=649] ppid=647 vsize=3975824 CPUtime=25.37 cores=1,3,5,7
/proc/649/stat : 649 (pbct-0.1.2-linu) S 647 649 649 0 -1 4204032 898472 0 0 0 2198 339 0 0 20 0 1 0 338097275 4071243776 961874 33554432000 134512640 136422188 4288115376 4288113740 135736970 0 0 16781312 16387 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/649/statm: 993956 961874 249 467 0 993487 0
[pid=633/tid=640] ppid=631 vsize=687712 CPUtime=0 cores=1,3,5,7
/proc/633/task/640/stat : 640 (python) S 631 633 27000 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 3 0 338092347 704217088 70851 33554432000 4194304 5683644 140736810686032 139866600845872 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=633/tid=648] ppid=631 vsize=687712 CPUtime=0 cores=1,3,5,7
/proc/633/task/648/stat : 648 (python) S 631 633 27000 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 3 0 338097275 704217088 70851 33554432000 4194304 5683644 140736810686032 139866590356016 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 95.73
Current children cumulated vsize (KiB) 6032480
heavy processes:
%CPU=19 pid=651 uid=0 cmd=
[startup+222.301 s]
/proc/loadavg: 3.93 2.89 2.32 3/227 683
/proc/meminfo: memFree=21271156/32873648 swapFree=7120/7120
[pid=633] ppid=631 vsize=763504 CPUtime=46.73 cores=1,3,5,7
/proc/633/stat : 633 (python) S 631 633 27000 0 -1 4202496 75699 900660 1 0 2064 30 2210 369 20 0 4 0 338090180 781828096 70859 33554432000 4194304 5683644 140736810686032 140736810680864 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/633/statm: 190876 70859 1907 364 0 126093 0
[pid=639] ppid=633 vsize=611920 CPUtime=0.07 cores=1,3,5,7
/proc/639/stat : 639 (python) S 633 633 27000 0 -1 4202560 1127 0 0 0 4 3 0 0 20 0 2 0 338092347 626606080 69337 33554432000 4194304 5683644 140736810686032 140736810677680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/639/statm: 152980 69337 396 364 0 88203 0
################
# More data... #
################
/proc/788/statm: 247723 69354 383 364 0 182928 0
[pid=790] ppid=788 vsize=281616 CPUtime=47.72 cores=1,3,5,7
/proc/790/stat : 790 (bsolo_pb10) T 788 790 790 0 -1 4202496 80654 0 0 0 4736 36 0 0 20 0 1 0 338145366 288374784 67742 33554432000 134512640 137138936 4292436880 4291854304 134540151 0 0 16781312 16384 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/790/statm: 70404 67742 184 642 0 69760 0
[pid=788/tid=795] ppid=633 vsize=990892 CPUtime=0 cores=1,3,5,7
/proc/788/task/795/stat : 795 (python) S 633 633 27000 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338150140 1014673408 69354 33554432000 4194304 5683644 140736810686032 139866548396592 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=796] ppid=633 vsize=1066684 CPUtime=0.06 cores=1,3,5,7
/proc/796/stat : 796 (python) S 633 633 27000 0 -1 4202560 1036 0 0 0 3 3 0 0 20 0 1 0 338150142 1092284416 69340 33554432000 4194304 5683644 140736810686032 140736810677120 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/796/statm: 266671 69340 364 364 0 201873 0
[pid=798] ppid=796 vsize=100156 CPUtime=42.65 cores=1,3,5,7
/proc/798/stat : 798 (clasp-1.3.7-x86) R 796 798 798 0 -1 4202496 30315 0 0 0 4259 6 0 0 20 0 1 0 338150143 102559744 24507 33554432000 134512640 136139019 4292652288 4292651120 134831968 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/798/statm: 25039 24507 183 398 0 24639 0
[pid=633/tid=640] ppid=631 vsize=1142464 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/640/stat : 640 (python) S 631 633 27000 0 -1 4202560 26 1302253 0 0 0 0 4205 741 20 0 9 0 338092347 1169883136 70899 33554432000 4194304 5683644 140736810686032 139866600845872 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=633/tid=648] ppid=631 vsize=1142464 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/648/stat : 648 (python) S 631 633 27000 0 -1 4202560 22 1302253 0 0 0 0 4205 741 20 0 9 0 338097275 1169883136 70899 33554432000 4194304 5683644 140736810686032 139866590356016 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=633/tid=682] ppid=631 vsize=1142464 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/682/stat : 682 (python) S 631 633 27000 0 -1 4202560 22 1302253 0 0 0 0 4205 741 20 0 9 0 338110223 1169883136 70899 33554432000 4194304 5683644 140736810686032 139866579866160 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=633/tid=690] ppid=631 vsize=1142464 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/690/stat : 690 (python) S 631 633 27000 0 -1 4202560 21 1302253 0 0 0 0 4205 741 20 0 9 0 338115221 1169883136 70899 33554432000 4194304 5683644 140736810686032 139866569376304 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=633/tid=695] ppid=631 vsize=1142464 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/695/stat : 695 (python) S 631 633 27000 0 -1 4202560 21 1302253 0 0 0 0 4205 741 20 0 9 0 338120113 1169883136 70899 33554432000 4194304 5683644 140736810686032 139866558886448 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=633/tid=702] ppid=631 vsize=1142464 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/702/stat : 702 (python) S 631 633 27000 0 -1 4202560 22 1302253 0 0 0 0 4205 741 20 0 9 0 338131722 1169883136 70899 33554432000 4194304 5683644 140736810686032 139866548396592 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=633/tid=789] ppid=631 vsize=1142464 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/789/stat : 789 (python) S 631 633 27000 0 -1 4202560 22 1302253 0 0 0 0 4205 741 20 0 9 0 338145366 1169883136 70899 33554432000 4194304 5683644 140736810686032 139866532446768 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=633/tid=797] ppid=631 vsize=1142464 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/797/stat : 797 (python) S 631 633 27000 0 -1 4202560 21 1302253 0 0 0 0 4205 741 20 0 9 0 338150143 1169883136 70899 33554432000 4194304 5683644 140736810686032 139866521956912 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 425.43
Current children cumulated vsize (KiB) 12798744
heavy processes:
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+695.401 s]
/proc/loadavg: 2.25 2.77 2.48 5/243 824
/proc/meminfo: memFree=3271024/32873648 swapFree=7120/7120
[pid=633] ppid=631 vsize=1218256 CPUtime=137.69 cores=1,3,5,7
/proc/633/stat : 633 (python) S 631 633 27000 0 -1 4202496 81365 1302253 1 0 8771 52 4205 741 20 0 10 0 338090180 1247494144 70907 33554432000 4194304 5683644 140736810686032 140736810680864 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/633/statm: 304564 70907 1919 364 0 239763 0
[pid=639] ppid=633 vsize=611920 CPUtime=0.07 cores=1,3,5,7
/proc/639/stat : 639 (python) S 633 633 27000 0 -1 4202560 1127 0 0 0 4 3 0 0 20 0 2 0 338092347 626606080 69337 33554432000 4194304 5683644 140736810686032 140736810677680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/639/statm: 152980 69337 396 364 0 88203 0
[pid=641] ppid=639 vsize=145092 CPUtime=49.23 cores=1,3,5,7
/proc/641/stat : 641 (wbo1.4b-fixed) T 639 641 641 0 -1 4202496 47652 0 0 0 4766 157 0 0 20 0 1 0 338092348 148574208 34639 33554432000 134512640 135752315 4291989952 4291987952 134611201 0 0 16781312 3 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/641/statm: 36273 34639 146 303 0 35968 0
[pid=639/tid=646] ppid=633 vsize=611920 CPUtime=0 cores=1,3,5,7
/proc/639/task/646/stat : 646 (python) S 633 633 27000 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338097273 626606080 69337 33554432000 4194304 5683644 140736810686032 139866600845872 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=681] ppid=633 vsize=687724 CPUtime=0.09 cores=1,3,5,7
/proc/681/stat : 681 (python) S 633 633 27000 0 -1 4202560 1092 0 0 0 5 4 0 0 20 0 2 0 338110222 704229376 69330 33554432000 4194304 5683644 140736810686032 140736810677680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/681/statm: 171931 69330 383 364 0 107148 0
[pid=683] ppid=681 vsize=123388 CPUtime=49.93 cores=1,3,5,7
/proc/683/stat : 683 (wbo1.4a) T 681 683 683 0 -1 4202496 41886 0 0 0 4848 145 0 0 20 0 1 0 338110223 126349312 28642 33554432000 134512640 135751879 4294490192 4294488384 134611292 0 0 16781312 3 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/683/statm: 30847 28642 143 303 0 30542 0
[pid=681/tid=688] ppid=633 vsize=687724 CPUtime=0 cores=1,3,5,7
/proc/681/task/688/stat : 688 (python) S 633 633 27000 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338115218 704229376 69330 33554432000 4194304 5683644 140736810686032 139866590356016 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=689] ppid=633 vsize=763516 CPUtime=0.08 cores=1,3,5,7
/proc/689/stat : 689 (python) S 633 633 27000 0 -1 4202560 1086 0 0 0 5 3 0 0 20 0 2 0 338115221 781840384 69336 33554432000 4194304 5683644 140736810686032 140736810677680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/689/statm: 190879 69336 383 364 0 126093 0
[pid=691] ppid=689 vsize=3018352 CPUtime=48.87 cores=1,3,5,7
/proc/691/stat : 691 (scip-2.0.1.linu) T 689 691 691 0 -1 4202496 533500 0 0 0 4699 188 0 0 20 0 1 0 338115221 3090792448 652488 33554432000 4194304 15243407 140736696208816 140736696203960 7060919 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/691/statm: 754588 652488 875 2698 0 751883 0
[pid=689/tid=693] ppid=633 vsize=763516 CPUtime=0 cores=1,3,5,7
/proc/689/task/693/stat : 693 (python) S 633 633 27000 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338120110 781840384 69336 33554432000 4194304 5683644 140736810686032 139866579866160 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=694] ppid=633 vsize=839308 CPUtime=0.08 cores=1,3,5,7
/proc/694/stat : 694 (python) S 633 633 27000 0 -1 4202560 1102 0 0 0 4 4 0 0 20 0 2 0 338120113 859451392 69342 33554432000 4194304 5683644 140736810686032 140736810677680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/694/statm: 209827 69342 383 364 0 145038 0
[pid=696] ppid=694 vsize=3027632 CPUtime=48.93 cores=1,3,5,7
/proc/696/stat : 696 (scip-2.0.1.linu) T 694 696 696 0 -1 4202496 507702 0 0 0 4702 191 0 0 20 0 1 0 338120113 3100295168 705032 33554432000 4194304 13684479 140734363531344 140734363525176 7454166 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/696/statm: 756908 705032 752 2317 0 754586 0
[pid=694/tid=697] ppid=633 vsize=839308 CPUtime=0 cores=1,3,5,7
/proc/694/task/697/stat : 697 (python) S 633 633 27000 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338125009 859451392 69342 33554432000 4194304 5683644 140736810686032 139866569376304 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=788] ppid=633 vsize=990892 CPUtime=0.08 cores=1,3,5,7
/proc/788/stat : 788 (python) S 633 633 27000 0 -1 4202560 1127 0 0 0 4 4 0 0 20 0 2 0 338145366 1014673408 69354 33554432000 4194304 5683644 140736810686032 140736810677680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/788/statm: 247723 69354 383 364 0 182928 0
[pid=790] ppid=788 vsize=281616 CPUtime=47.72 cores=1,3,5,7
/proc/790/stat : 790 (bsolo_pb10) T 788 790 790 0 -1 4202496 80654 0 0 0 4736 36 0 0 20 0 1 0 338145366 288374784 67742 33554432000 134512640 137138936 4292436880 4291854304 134540151 0 0 16781312 16384 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/790/statm: 70404 67742 184 642 0 69760 0
[pid=788/tid=795] ppid=633 vsize=990892 CPUtime=0 cores=1,3,5,7
/proc/788/task/795/stat : 795 (python) S 633 633 27000 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338150140 1014673408 69354 33554432000 4194304 5683644 140736810686032 139866548396592 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=796] ppid=633 vsize=1066684 CPUtime=0.16 cores=1,3,5,7
/proc/796/stat : 796 (python) S 633 633 27000 0 -1 4202560 1216 0 0 0 9 7 0 0 20 0 2 0 338150142 1092284416 69366 33554432000 4194304 5683644 140736810686032 140736810677680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/796/statm: 266671 69366 389 364 0 201873 0
[pid=798] ppid=796 vsize=110752 CPUtime=95.25 cores=1,3,5,7
/proc/798/stat : 798 (clasp-1.3.7-x86) T 796 798 798 0 -1 4202496 32896 0 0 0 9518 7 0 0 20 0 1 0 338150143 113410048 27088 33554432000 134512640 136139019 4292652288 4292651152 134608488 0 0 16781312 16386 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/798/statm: 27688 27088 183 398 0 27288 0
[pid=796/tid=803] ppid=633 vsize=1066684 CPUtime=0 cores=1,3,5,7
/proc/796/task/803/stat : 803 (python) S 633 633 27000 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 338154856 1092284416 69366 33554432000 4194304 5683644 140736810686032 139866532446768 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=805] ppid=633 vsize=1142476 CPUtime=0 cores=1,3,5,7
/proc/805/stat : 805 (python) S 633 633 27000 0 -1 4202560 875 0 0 0 0 0 0 0 20 0 1 0 338159674 1169895424 69324 33554432000 4194304 5683644 140736810686032 140736810677120 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/805/statm: 285619 69324 342 364 0 220818 0
[pid=807] ppid=805 vsize=9558408 CPUtime=0.8 cores=1,3,5,7
/proc/807/stat : 807 (java) S 805 807 807 0 -1 4202496 8808 0 7 0 77 3 0 0 20 0 18 0 338159675 9787809792 17433 33554432000 1073741824 1073778376 140736534933280 140736534924416 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/807/statm: 2389602 17433 2228 9 0 2380296 0
[pid=807/tid=808] ppid=805 vsize=9558408 CPUtime=0.4 cores=1,3,5,7
/proc/807/task/808/stat : 808 (java) R 805 807 807 0 -1 4202560 2436 0 4 0 38 2 0 0 20 0 18 0 338159677 9787809792 17921 33554432000 1073741824 1073778376 140736534933280 140449552195520 140449407227098 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=807/tid=809] ppid=805 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/807/task/809/stat : 809 (java) S 805 807 807 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338159679 9787809792 17924 33554432000 1073741824 1073778376 140736534933280 140449395812520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=807/tid=810] ppid=805 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/807/task/810/stat : 810 (java) S 805 807 807 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338159679 9787809792 17928 33554432000 1073741824 1073778376 140736534933280 140449394759976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=807/tid=811] ppid=805 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/807/task/811/stat : 811 (java) S 805 807 807 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338159679 9787809792 17929 33554432000 1073741824 1073778376 140736534933280 140449393707432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=807/tid=812] ppid=805 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/807/task/812/stat : 812 (java) S 805 807 807 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338159679 9787809792 17931 33554432000 1073741824 1073778376 140736534933280 140449392654888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=807/tid=813] ppid=805 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/807/task/813/stat : 813 (java) S 805 807 807 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338159679 9787809792 17933 33554432000 1073741824 1073778376 140736534933280 140449391602344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=807/tid=814] ppid=805 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/807/task/814/stat : 814 (java) S 805 807 807 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338159679 9787809792 17935 33554432000 1073741824 1073778376 140736534933280 140449054452520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=807/tid=815] ppid=805 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/807/task/815/stat : 815 (java) S 805 807 807 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338159679 9787809792 17938 33554432000 1073741824 1073778376 140736534933280 140449053399976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=807/tid=816] ppid=805 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/807/task/816/stat : 816 (java) S 805 807 807 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338159679 9787809792 17939 33554432000 1073741824 1073778376 140736534933280 140449052347432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=807/tid=817] ppid=805 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/807/task/817/stat : 817 (java) S 805 807 807 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 338159681 9787809792 17940 33554432000 1073741824 1073778376 140736534933280 140449040148584 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=807/tid=818] ppid=805 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/807/task/818/stat : 818 (java) S 805 807 807 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 338159681 9787809792 17941 33554432000 1073741824 1073778376 140736534933280 140449039094904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=807/tid=819] ppid=805 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/807/task/819/stat : 819 (java) S 805 807 807 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338159681 9787809792 17941 33554432000 1073741824 1073778376 140736534933280 140449038042248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=807/tid=820] ppid=805 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/807/task/820/stat : 820 (java) S 805 807 807 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338159683 9787809792 17941 33554432000 1073741824 1073778376 140736534933280 140449036990992 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=807/tid=821] ppid=805 vsize=9558408 CPUtime=0.19 cores=1,3,5,7
/proc/807/task/821/stat : 821 (java) R 805 807 807 0 -1 4202560 2528 0 0 0 19 0 0 0 20 0 18 0 338159683 9787809792 17942 33554432000 1073741824 1073778376 140736534933280 140449035925928 140449554745116 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=807/tid=822] ppid=805 vsize=9558408 CPUtime=0.17 cores=1,3,5,7
/proc/807/task/822/stat : 822 (java) R 805 807 807 0 -1 4202560 2460 0 0 0 17 0 0 0 20 0 18 0 338159683 9787809792 17943 33554432000 1073741824 1073778376 140736534933280 140449034873096 219513631437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=807/tid=823] ppid=805 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/807/task/823/stat : 823 (java) S 805 807 807 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338159683 9787809792 17943 33554432000 1073741824 1073778376 140736534933280 140449033833464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=807/tid=824] ppid=805 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/807/task/824/stat : 824 (java) S 805 807 807 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338159683 9787809792 17943 33554432000 1073741824 1073778376 140736534933280 140449032781128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=633/tid=640] ppid=631 vsize=1218256 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/640/stat : 640 (python) S 631 633 27000 0 -1 4202560 26 1302253 0 0 0 0 4205 741 20 0 10 0 338092347 1247494144 70907 33554432000 4194304 5683644 140736810686032 139866600845872 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=633/tid=648] ppid=631 vsize=1218256 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/648/stat : 648 (python) S 631 633 27000 0 -1 4202560 22 1302253 0 0 0 0 4205 741 20 0 10 0 338097275 1247494144 70907 33554432000 4194304 5683644 140736810686032 139866590356016 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=633/tid=682] ppid=631 vsize=1218256 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/682/stat : 682 (python) S 631 633 27000 0 -1 4202560 22 1302253 0 0 0 0 4205 741 20 0 10 0 338110223 1247494144 70907 33554432000 4194304 5683644 140736810686032 139866579866160 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=633/tid=690] ppid=631 vsize=1218256 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/690/stat : 690 (python) S 631 633 27000 0 -1 4202560 21 1302253 0 0 0 0 4205 741 20 0 10 0 338115221 1247494144 70907 33554432000 4194304 5683644 140736810686032 139866569376304 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=633/tid=695] ppid=631 vsize=1218256 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/695/stat : 695 (python) S 631 633 27000 0 -1 4202560 21 1302253 0 0 0 0 4205 741 20 0 10 0 338120113 1247494144 70907 33554432000 4194304 5683644 140736810686032 139866558886448 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=633/tid=702] ppid=631 vsize=1218256 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/702/stat : 702 (python) S 631 633 27000 0 -1 4202560 22 1302253 0 0 0 0 4205 741 20 0 10 0 338131722 1247494144 70907 33554432000 4194304 5683644 140736810686032 139866548396592 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=633/tid=789] ppid=631 vsize=1218256 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/789/stat : 789 (python) S 631 633 27000 0 -1 4202560 22 1302253 0 0 0 0 4205 741 20 0 10 0 338145366 1247494144 70907 33554432000 4194304 5683644 140736810686032 139866532446768 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=633/tid=797] ppid=631 vsize=1218256 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/797/stat : 797 (python) S 631 633 27000 0 -1 4202560 21 1302253 0 0 0 0 4205 741 20 0 10 0 338150143 1247494144 70907 33554432000 4194304 5683644 140736810686032 139866521956912 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=633/tid=806] ppid=631 vsize=1218256 CPUtime=49.46 cores=1,3,5,7
/proc/633/task/806/stat : 806 (python) S 631 633 27000 0 -1 4202560 20 1302253 0 0 0 0 4205 741 20 0 10 0 338159675 1247494144 70907 33554432000 4194304 5683644 140736810686032 139866511467056 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 478.98
Current children cumulated vsize (KiB) 23586016
heavy processes:
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 633 and gives
# childrusage.ru_utime.tv_sec=129
# childrusage.ru_utime.tv_usec=771271
# childrusage.ru_stime.tv_sec=7
# childrusage.ru_stime.tv_usec=955790
# CPU time returned by wait4() is 137.727
# while last known CPU time is 478.98
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 695.476
CPU time (s): 478.98
CPU user time (s): 463.53
CPU system time (s): 15.45
CPU usage (%): 68.8708
Max. virtual memory (cumulated for all children) (KiB): 23586016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.771
system time used= 7.95579
maximum resident set size= 4135288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1383618
page faults= 1
swaps= 0
block input operations= 0
block output operations= 147256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1961165
involuntary context switches= 266
runsolver used 2.19167 second user time and 5.99309 second system time
The end