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-3481718-1307577328/watcher-3481718-1307577328 -o /tmp/evaluation-result-3481718-1307577328/solver-3481718-1307577328 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481718-1307577328.opb -seed 2078187392 -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.00 1.99 1.31 2/693 22731
/proc/meminfo: memFree=24923948/32950928 swapFree=50514916/67111528
[pid=22731] ppid=22729 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/22731/stat : 22731 (python) R 22729 22731 21667 0 -1 4202496 1000 0 0 0 0 0 0 0 17 0 1 0 947963507 16625664 872 33554432000 4194304 5683644 140735154523008 18446744073709551615 256415389696 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/22731/statm: 4059 872 371 364 0 546 0
[startup+0.022653 s]
/proc/loadavg: 2.00 1.99 1.31 2/693 22731
/proc/meminfo: memFree=24923948/32950928 swapFree=50514916/67111528
[pid=22731] ppid=22729 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/22731/stat : 22731 (python) R 22729 22731 21667 0 -1 4202496 1051 0 0 0 0 0 0 0 17 0 1 0 947963507 16629760 922 33554432000 4194304 5683644 140735154523008 18446744073709551615 256415391488 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22731/statm: 4060 922 381 364 0 547 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16240
[startup+0.100638 s]
/proc/loadavg: 2.00 1.99 1.31 2/693 22731
/proc/meminfo: memFree=24923948/32950928 swapFree=50514916/67111528
[pid=22731] ppid=22729 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/22731/stat : 22731 (python) R 22729 22731 21667 0 -1 4202496 2663 0 0 0 4 2 0 0 17 0 1 0 947963507 87674880 2382 33554432000 4194304 5683644 140735154523008 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22731/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300603 s]
/proc/loadavg: 2.00 1.99 1.31 2/693 22731
/proc/meminfo: memFree=24923948/32950928 swapFree=50514916/67111528
[pid=22731] ppid=22729 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/22731/stat : 22731 (python) S 22729 22731 21667 0 -1 4202496 5359 928 1 0 10 7 0 0 16 0 1 0 947963507 126709760 3745 33554432000 4194304 5683644 140735154523008 18446744073709551615 256415387653 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/22731/statm: 30935 3745 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700515 s]
/proc/loadavg: 2.00 1.99 1.31 2/693 22731
/proc/meminfo: memFree=24923948/32950928 swapFree=50514916/67111528
[pid=22731] ppid=22729 vsize=282264 CPUtime=0.39 cores=1,3,5,7
/proc/22731/stat : 22731 (python) R 22729 22731 21667 0 -1 4202496 8990 928 1 0 27 12 0 0 15 0 1 0 947963507 289038336 6881 33554432000 4194304 5683644 140735154523008 18446744073709551615 256415397431 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22731/statm: 70567 6882 1763 364 0 5460 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 282264
[startup+1.50036 s]
/proc/loadavg: 2.00 1.99 1.31 3/697 22739
/proc/meminfo: memFree=24897684/32950928 swapFree=50514916/67111528
[pid=22731] ppid=22729 vsize=293080 CPUtime=0.43 cores=1,3,5,7
/proc/22731/stat : 22731 (python) S 22729 22731 21667 0 -1 4202496 9633 928 1 0 30 13 0 0 18 0 2 0 947963507 300113920 7140 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/22731/statm: 73270 7140 1870 364 0 8157 0
[pid=22737] ppid=22731 vsize=282836 CPUtime=0 cores=1,3,5,7
/proc/22737/stat : 22737 (python) S 22731 22731 21667 0 -1 4202560 706 0 0 0 0 0 0 0 18 0 1 0 947963581 289624064 5615 33554432000 4194304 5683644 140735154523008 18446744073709551615 256415411727 0 0 16781312 33554946 823123648985399560 0 0 17 5 0 0 0
/proc/22737/statm: 70709 5615 349 364 0 5596 0
[pid=22739] ppid=22737 vsize=1860 CPUtime=0.75 cores=1,3,5,7
/proc/22739/stat : 22739 (clasp-1.3.7-x86) R 22737 22739 22739 0 -1 4202496 465 0 0 0 75 0 0 0 21 0 1 0 947963581 1904640 209 33554432000 134512640 136139019 4290689520 18446744073709551615 134871089 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/22739/statm: 465 209 183 398 0 65 0
[pid=22731/tid=22738] ppid=22729 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/22731/task/22738/stat : 22738 (python) S 22729 22731 21667 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 947963581 300113920 7140 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 577776
[startup+3.10106 s]
/proc/loadavg: 2.00 1.99 1.31 3/697 22739
/proc/meminfo: memFree=24895012/32950928 swapFree=50514916/67111528
[pid=22731] ppid=22729 vsize=293080 CPUtime=0.43 cores=1,3,5,7
/proc/22731/stat : 22731 (python) S 22729 22731 21667 0 -1 4202496 9633 928 1 0 30 13 0 0 18 0 2 0 947963507 300113920 7140 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/22731/statm: 73270 7140 1870 364 0 8157 0
[pid=22737] ppid=22731 vsize=282836 CPUtime=0 cores=1,3,5,7
/proc/22737/stat : 22737 (python) S 22731 22731 21667 0 -1 4202560 728 0 0 0 0 0 0 0 18 0 1 0 947963581 289624064 5618 33554432000 4194304 5683644 140735154523008 18446744073709551615 256415411727 0 0 16781312 33554946 823122893071155464 0 0 17 5 0 0 0
/proc/22737/statm: 70709 5618 352 364 0 5596 0
[pid=22739] ppid=22737 vsize=1860 CPUtime=2.35 cores=1,3,5,7
/proc/22739/stat : 22739 (clasp-1.3.7-x86) R 22737 22739 22739 0 -1 4202496 466 0 0 0 235 0 0 0 25 0 1 0 947963581 1904640 210 33554432000 134512640 136139019 4290689520 18446744073709551615 134832172 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/22739/statm: 465 210 183 398 0 65 0
[pid=22731/tid=22738] ppid=22729 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/22731/task/22738/stat : 22738 (python) S 22729 22731 21667 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 947963581 300113920 7140 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 577776
[startup+6.30045 s]
/proc/loadavg: 2.00 1.99 1.31 3/697 22739
/proc/meminfo: memFree=24898120/32950928 swapFree=50514916/67111528
[pid=22731] ppid=22729 vsize=293080 CPUtime=0.43 cores=1,3,5,7
/proc/22731/stat : 22731 (python) S 22729 22731 21667 0 -1 4202496 9633 928 1 0 30 13 0 0 18 0 2 0 947963507 300113920 7140 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/22731/statm: 73270 7140 1870 364 0 8157 0
[pid=22737] ppid=22731 vsize=282836 CPUtime=0.01 cores=1,3,5,7
/proc/22737/stat : 22737 (python) S 22731 22731 21667 0 -1 4202560 872 0 0 0 0 1 0 0 18 0 1 0 947963581 289624064 5642 33554432000 4194304 5683644 140735154523008 18446744073709551615 256415411727 0 0 16781312 33554946 823124404899643656 0 0 17 7 0 0 0
/proc/22737/statm: 70709 5642 376 364 0 5596 0
[pid=22739] ppid=22737 vsize=1860 CPUtime=5.55 cores=1,3,5,7
/proc/22739/stat : 22739 (clasp-1.3.7-x86) R 22737 22739 22739 0 -1 4202496 467 0 0 0 555 0 0 0 25 0 1 0 947963581 1904640 211 33554432000 134512640 136139019 4290689520 18446744073709551615 134876511 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/22739/statm: 465 211 183 398 0 65 0
[pid=22731/tid=22738] ppid=22729 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/22731/task/22738/stat : 22738 (python) S 22729 22731 21667 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 947963581 300113920 7140 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 577776
[startup+12.7012 s]
/proc/loadavg: 2.00 1.99 1.31 3/697 22739
/proc/meminfo: memFree=24897028/32950928 swapFree=50514916/67111528
[pid=22731] ppid=22729 vsize=293080 CPUtime=0.43 cores=1,3,5,7
/proc/22731/stat : 22731 (python) S 22729 22731 21667 0 -1 4202496 9633 928 1 0 30 13 0 0 18 0 2 0 947963507 300113920 7140 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/22731/statm: 73270 7140 1870 364 0 8157 0
[pid=22737] ppid=22731 vsize=282836 CPUtime=0.03 cores=1,3,5,7
/proc/22737/stat : 22737 (python) S 22731 22731 21667 0 -1 4202560 879 0 0 0 1 2 0 0 18 0 1 0 947963581 289624064 5642 33554432000 4194304 5683644 140735154523008 18446744073709551615 256415411727 0 0 16781312 33554946 5623753486446373632 0 0 17 7 0 0 0
/proc/22737/statm: 70709 5642 376 364 0 5596 0
[pid=22739] ppid=22737 vsize=1860 CPUtime=11.95 cores=1,3,5,7
/proc/22739/stat : 22739 (clasp-1.3.7-x86) R 22737 22739 22739 0 -1 4202496 468 0 0 0 1195 0 0 0 25 0 1 0 947963581 1904640 212 33554432000 134512640 136139019 4290689520 18446744073709551615 134632461 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/22739/statm: 465 212 183 398 0 65 0
[pid=22731/tid=22738] ppid=22729 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/22731/task/22738/stat : 22738 (python) S 22729 22731 21667 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 947963581 300113920 7140 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 577776
[startup+25.5008 s]
/proc/loadavg: 2.06 2.00 1.33 3/700 22742
/proc/meminfo: memFree=24811468/32950928 swapFree=50514916/67111528
[pid=22731] ppid=22729 vsize=293080 CPUtime=0.43 cores=1,3,5,7
/proc/22731/stat : 22731 (python) S 22729 22731 21667 0 -1 4202496 9633 928 1 0 30 13 0 0 18 0 2 0 947963507 300113920 7140 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/22731/statm: 73270 7140 1870 364 0 8157 0
[pid=22737] ppid=22731 vsize=282836 CPUtime=0.1 cores=1,3,5,7
/proc/22737/stat : 22737 (python) S 22731 22731 21667 0 -1 4202560 886 0 0 0 3 7 0 0 18 0 1 0 947963581 289624064 5642 33554432000 4194304 5683644 140735154523008 18446744073709551615 256415411727 0 0 16781312 33554946 5623753486446373632 0 0 17 7 0 0 0
/proc/22737/statm: 70709 5642 376 364 0 5596 0
[pid=22739] ppid=22737 vsize=1860 CPUtime=24.75 cores=1,3,5,7
/proc/22739/stat : 22739 (clasp-1.3.7-x86) R 22737 22739 22739 0 -1 4202496 470 0 0 0 2475 0 0 0 25 0 1 0 947963581 1904640 214 33554432000 134512640 136139019 4290689520 18446744073709551615 134883791 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/22739/statm: 465 214 183 398 0 65 0
[pid=22731/tid=22738] ppid=22729 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/22731/task/22738/stat : 22738 (python) S 22729 22731 21667 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 947963581 300113920 7140 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 577776
[startup+51.1009 s]
/proc/loadavg: 2.04 2.00 1.35 3/704 22747
/proc/meminfo: memFree=24794364/32950928 swapFree=50514916/67111528
[pid=22731] ppid=22729 vsize=303868 CPUtime=0.45 cores=1,3,5,7
/proc/22731/stat : 22731 (python) S 22729 22731 21667 0 -1 4202496 10495 928 1 0 32 13 0 0 20 0 3 0 947963507 311160832 7265 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22731/statm: 75967 7265 1873 364 0 10851 0
[pid=22737] ppid=22731 vsize=293080 CPUtime=0.21 cores=1,3,5,7
/proc/22737/stat : 22737 (python) S 22731 22731 21667 0 -1 4202560 1119 0 0 0 8 13 0 0 19 0 2 0 947963581 300113920 5683 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22737/statm: 73270 5683 412 364 0 8157 0
[pid=22739] ppid=22737 vsize=1860 CPUtime=47.22 cores=1,3,5,7
/proc/22739/stat : 22739 (clasp-1.3.7-x86) T 22737 22739 22739 0 -1 4202496 470 0 0 0 4722 0 0 0 25 0 1 0 947963581 1904640 214 33554432000 134512640 136139019 4290689520 18446744073709551615 134831589 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/22739/statm: 465 214 183 398 0 65 0
[pid=22737/tid=22744] ppid=22731 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/22737/task/22744/stat : 22744 (python) S 22731 22731 21667 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 947968303 300113920 5683 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554946 18446604470719275392 0 0 -1 3 0 0 0
[pid=22745] ppid=22731 vsize=293624 CPUtime=0 cores=1,3,5,7
/proc/22745/stat : 22745 (python) S 22731 22731 21667 0 -1 4202560 782 0 0 0 0 0 0 0 15 0 1 0 947968306 300670976 5737 33554432000 4194304 5683644 140735154523008 18446744073709551615 256415411782 0 0 16781312 33554946 4294934789 0 0 17 3 0 0 0
/proc/22745/statm: 73406 5737 349 364 0 8290 0
[pid=22747] ppid=22745 vsize=11616 CPUtime=3.1 cores=1,3,5,7
/proc/22747/stat : 22747 (wbo1.4a) R 22745 22747 22747 0 -1 4202496 2732 0 0 0 302 8 0 0 25 0 1 0 947968306 11894784 2468 33554432000 134512640 135751879 4289946288 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/22747/statm: 2904 2468 143 303 0 2599 0
[pid=22731/tid=22738] ppid=22729 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/22731/task/22738/stat : 22738 (python) S 22729 22731 21667 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 3 0 947963581 311160832 7265 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 7 0 0 0
[pid=22731/tid=22746] ppid=22729 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/22731/task/22746/stat : 22746 (python) S 22729 22731 21667 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 947968306 311160832 7265 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 904048
[startup+102.301 s]
/proc/loadavg: 2.02 2.00 1.38 3/712 22756
/proc/meminfo: memFree=24645224/32950928 swapFree=50514916/67111528
[pid=22731] ppid=22729 vsize=313888 CPUtime=0.48 cores=1,3,5,7
/proc/22731/stat : 22731 (python) S 22729 22731 21667 0 -1 4202496 11408 928 1 0 35 13 0 0 20 0 4 0 947963507 321421312 7219 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22731/statm: 78472 7219 1875 364 0 13353 0
[pid=22737] ppid=22731 vsize=293080 CPUtime=0.21 cores=1,3,5,7
/proc/22737/stat : 22737 (python) S 22731 22731 21667 0 -1 4202560 1119 0 0 0 8 13 0 0 19 0 2 0 947963581 300113920 5683 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22737/statm: 73270 5683 412 364 0 8157 0
[pid=22739] ppid=22737 vsize=1860 CPUtime=47.22 cores=1,3,5,7
/proc/22739/stat : 22739 (clasp-1.3.7-x86) T 22737 22739 22739 0 -1 4202496 470 0 0 0 4722 0 0 0 25 0 1 0 947963581 1904640 214 33554432000 134512640 136139019 4290689520 18446744073709551615 134831589 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/22739/statm: 465 214 183 398 0 65 0
[pid=22737/tid=22744] ppid=22731 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/22737/task/22744/stat : 22744 (python) S 22731 22731 21667 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 947968303 300113920 5683 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554946 18446604470719275392 0 0 -1 3 0 0 0
[pid=22745] ppid=22731 vsize=293624 CPUtime=0.24 cores=1,3,5,7
/proc/22745/stat : 22745 (python) S 22731 22731 21667 0 -1 4202560 1112 0 0 0 10 14 0 0 16 0 2 0 947968306 300670976 5786 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22745/statm: 73406 5786 397 364 0 8290 0
[pid=22747] ppid=22745 vsize=110176 CPUtime=50.76 cores=1,3,5,7
/proc/22747/stat : 22747 (wbo1.4a) T 22745 22747 22747 0 -1 4202496 27293 0 0 0 4968 108 0 0 25 0 1 0 947968306 112820224 27029 33554432000 134512640 135751879 4289946288 18446744073709551615 134604729 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/22747/statm: 27544 27029 143 303 0 27239 0
[pid=22745/tid=22753] ppid=22731 vsize=293624 CPUtime=0 cores=1,3,5,7
/proc/22745/task/22753/stat : 22753 (python) S 22731 22731 21667 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947973384 300670976 5786 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554946 18446604471127731008 0 0 -1 7 0 0 0
[pid=22754] ppid=22731 vsize=303644 CPUtime=0.03 cores=1,3,5,7
/proc/22754/stat : 22754 (python) S 22731 22731 21667 0 -1 4202560 924 0 0 0 2 1 0 0 15 0 1 0 947973386 310931456 5713 33554432000 4194304 5683644 140735154523008 18446744073709551615 256415411782 0 0 16781312 33554946 854449340851159040 0 0 17 7 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 499.36
Current children cumulated vsize (KiB) 20129228
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+495.302 s]
/proc/loadavg: 2.16 2.11 1.63 4/784 23055
/proc/meminfo: memFree=20809736/32950928 swapFree=50514916/67111528
[pid=22731] ppid=22729 vsize=355680 CPUtime=0.62 cores=1,3,5,7
/proc/22731/stat : 22731 (python) S 22729 22731 21667 0 -1 4202496 14951 928 1 0 48 14 0 0 19 0 8 0 947963507 364216320 7412 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22731/statm: 88920 7412 1883 364 0 23789 0
[pid=22737] ppid=22731 vsize=293080 CPUtime=0.43 cores=1,3,5,7
/proc/22737/stat : 22737 (python) S 22731 22731 21667 0 -1 4202560 1142 0 0 0 20 23 0 0 18 0 2 0 947963581 300113920 5684 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/22737/statm: 73270 5684 413 364 0 8157 0
[pid=22739] ppid=22737 vsize=1860 CPUtime=92.45 cores=1,3,5,7
/proc/22739/stat : 22739 (clasp-1.3.7-x86) T 22737 22739 22739 0 -1 4202496 471 0 0 0 9245 0 0 0 25 0 1 0 947963581 1904640 215 33554432000 134512640 136139019 4290689520 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/22739/statm: 465 215 183 398 0 65 0
[pid=22737/tid=22744] ppid=22731 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/22737/task/22744/stat : 22744 (python) S 22731 22731 21667 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 947968303 300113920 5684 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554946 18446604470719275392 0 0 -1 3 0 0 0
[pid=22745] ppid=22731 vsize=293624 CPUtime=0.47 cores=1,3,5,7
/proc/22745/stat : 22745 (python) S 22731 22731 21667 0 -1 4202560 1132 0 0 0 20 27 0 0 15 0 2 0 947968306 300670976 5786 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22745/statm: 73406 5786 397 364 0 8290 0
[pid=22747] ppid=22745 vsize=192420 CPUtime=95.53 cores=1,3,5,7
/proc/22747/stat : 22747 (wbo1.4a) T 22745 22747 22747 0 -1 4202496 47871 0 0 0 9354 199 0 0 25 0 1 0 947968306 197038080 47607 33554432000 134512640 135751879 4289946288 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/22747/statm: 48105 47607 143 303 0 47800 0
[pid=22745/tid=22753] ppid=22731 vsize=293624 CPUtime=0 cores=1,3,5,7
/proc/22745/task/22753/stat : 22753 (python) S 22731 22731 21667 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 947973384 300670976 5786 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554946 18446604471127731008 0 0 -1 7 0 0 0
[pid=22754] ppid=22731 vsize=304448 CPUtime=0.63 cores=1,3,5,7
/proc/22754/stat : 22754 (python) S 22731 22731 21667 0 -1 4202560 1257 0 0 0 41 22 0 0 17 0 2 0 947973386 311754752 5830 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/22754/statm: 76112 5830 399 364 0 10993 0
[pid=22756] ppid=22754 vsize=110524 CPUtime=63.49 cores=1,3,5,7
/proc/22756/stat : 22756 (scip-2.0.1.linu) T 22754 22756 22756 0 -1 4202496 25920 0 0 0 4756 1593 0 0 18 0 1 0 947973386 113176576 25298 33554432000 4194304 13684479 140735909496176 18446744073709551615 4693216 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/22756/statm: 27631 25298 803 2317 0 25309 0
[pid=22754/tid=22816] ppid=22731 vsize=304448 CPUtime=0 cores=1,3,5,7
/proc/22754/task/22816/stat : 22816 (python) S 22731 22731 21667 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947979736 311754752 5830 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554946 18446604456437441856 0 0 -1 1 0 0 0
[pid=22817] ppid=22731 vsize=314316 CPUtime=0.23 cores=1,3,5,7
/proc/22817/stat : 22817 (python) S 22731 22731 21667 0 -1 4202560 1130 0 0 0 11 12 0 0 19 0 2 0 947979739 321859584 5823 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22817/statm: 78579 5823 397 364 0 13457 0
[pid=22819] ppid=22817 vsize=8545880 CPUtime=49.62 cores=1,3,5,7
/proc/22819/stat : 22819 (java) T 22817 22819 22819 0 -1 4202496 59693 0 1 0 4953 9 0 0 18 0 19 0 947979739 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/22819/statm: 2136470 30891 2232 9 0 2127211 0
[pid=22819/tid=22820] ppid=22817 vsize=8545880 CPUtime=48.2 cores=1,3,5,7
/proc/22819/task/22820/stat : 22820 (java) T 22817 22819 22819 0 -1 4202560 35347 0 1 0 4817 3 0 0 25 0 19 0 947979740 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 46912505547672 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22819/tid=22821] ppid=22817 vsize=8545880 CPUtime=0.02 cores=1,3,5,7
/proc/22819/task/22821/stat : 22821 (java) T 22817 22819 22819 0 -1 4202560 1140 0 0 0 2 0 0 0 15 0 19 0 947979740 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22819/tid=22822] ppid=22817 vsize=8545880 CPUtime=0.03 cores=1,3,5,7
/proc/22819/task/22822/stat : 22822 (java) T 22817 22819 22819 0 -1 4202560 2655 0 0 0 3 0 0 0 15 0 19 0 947979740 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22819/tid=22823] ppid=22817 vsize=8545880 CPUtime=0.03 cores=1,3,5,7
/proc/22819/task/22823/stat : 22823 (java) T 22817 22819 22819 0 -1 4202560 1340 0 0 0 3 0 0 0 15 0 19 0 947979740 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22819/tid=22824] ppid=22817 vsize=8545880 CPUtime=0.02 cores=1,3,5,7
/proc/22819/task/22824/stat : 22824 (java) T 22817 22819 22819 0 -1 4202560 1991 0 0 0 2 0 0 0 15 0 19 0 947979740 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22819/tid=22825] ppid=22817 vsize=8545880 CPUtime=0.02 cores=1,3,5,7
/proc/22819/task/22825/stat : 22825 (java) T 22817 22819 22819 0 -1 4202560 1449 0 0 0 2 0 0 0 15 0 19 0 947979740 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22819/tid=22826] ppid=22817 vsize=8545880 CPUtime=0.01 cores=1,3,5,7
/proc/22819/task/22826/stat : 22826 (java) T 22817 22819 22819 0 -1 4202560 1762 0 0 0 1 0 0 0 15 0 19 0 947979740 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22819/tid=22827] ppid=22817 vsize=8545880 CPUtime=0.02 cores=1,3,5,7
/proc/22819/task/22827/stat : 22827 (java) T 22817 22819 22819 0 -1 4202560 1006 0 0 0 2 0 0 0 15 0 19 0 947979740 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22819/tid=22828] ppid=22817 vsize=8545880 CPUtime=0.03 cores=1,3,5,7
/proc/22819/task/22828/stat : 22828 (java) T 22817 22819 22819 0 -1 4202560 2287 0 0 0 3 0 0 0 15 0 19 0 947979740 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22819/tid=22829] ppid=22817 vsize=8545880 CPUtime=0.01 cores=1,3,5,7
/proc/22819/task/22829/stat : 22829 (java) T 22817 22819 22819 0 -1 4202560 14 0 0 0 0 1 0 0 15 0 19 0 947979741 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427208192 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22819/tid=22830] ppid=22817 vsize=8545880 CPUtime=0 cores=1,3,5,7
/proc/22819/task/22830/stat : 22830 (java) T 22817 22819 22819 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947979742 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22819/tid=22831] ppid=22817 vsize=8545880 CPUtime=0 cores=1,3,5,7
/proc/22819/task/22831/stat : 22831 (java) T 22817 22819 22819 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947979742 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22819/tid=22832] ppid=22817 vsize=8545880 CPUtime=0 cores=1,3,5,7
/proc/22819/task/22832/stat : 22832 (java) T 22817 22819 22819 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947979744 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427215281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22819/tid=22833] ppid=22817 vsize=8545880 CPUtime=0.56 cores=1,3,5,7
/proc/22819/task/22833/stat : 22833 (java) T 22817 22819 22819 0 -1 4202560 4258 0 0 0 56 0 0 0 15 0 19 0 947979744 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22819/tid=22834] ppid=22817 vsize=8545880 CPUtime=0.55 cores=1,3,5,7
/proc/22819/task/22834/stat : 22834 (java) T 22817 22819 22819 0 -1 4202560 5051 0 0 0 55 0 0 0 15 0 19 0 947979744 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22819/tid=22835] ppid=22817 vsize=8545880 CPUtime=0 cores=1,3,5,7
/proc/22819/task/22835/stat : 22835 (java) T 22817 22819 22819 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947979744 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22819/tid=22836] ppid=22817 vsize=8545880 CPUtime=0 cores=1,3,5,7
/proc/22819/task/22836/stat : 22836 (java) T 22817 22819 22819 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947979744 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22819/tid=22837] ppid=22817 vsize=8545880 CPUtime=0 cores=1,3,5,7
/proc/22819/task/22837/stat : 22837 (java) T 22817 22819 22819 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947979753 8750981120 30891 33554432000 1073741824 1073778376 140733550083360 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22817/tid=22842] ppid=22731 vsize=314316 CPUtime=0 cores=1,3,5,7
/proc/22817/task/22842/stat : 22842 (python) S 22731 22731 21667 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 947984576 321859584 5823 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554946 18446604468234114176 0 0 -1 7 0 0 0
[pid=22843] ppid=22731 vsize=324572 CPUtime=0.63 cores=1,3,5,7
/proc/22843/stat : 22843 (python) S 22731 22731 21667 0 -1 4202560 1168 0 0 0 27 36 0 0 19 0 2 0 947984579 332361728 5846 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22843/statm: 81143 5846 397 364 0 16018 0
[pid=22845] ppid=22843 vsize=24452 CPUtime=138.61 cores=1,3,5,7
/proc/22845/stat : 22845 (bsolo_pb10) T 22843 22845 22845 0 -1 4202496 1990 0 0 0 13845 16 0 0 25 0 1 0 947984579 25038848 1721 33554432000 134512640 137138936 4291736048 18446744073709551615 134542516 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/22845/statm: 6113 1721 192 642 0 5469 0
[pid=22843/tid=22983] ppid=22731 vsize=324572 CPUtime=0 cores=1,3,5,7
/proc/22843/task/22983/stat : 22983 (python) S 22731 22731 21667 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 947998441 332361728 5846 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554946 18446604471127730112 0 0 -1 7 0 0 0
[pid=22984] ppid=22731 vsize=334988 CPUtime=0.54 cores=1,3,5,7
/proc/22984/stat : 22984 (python) S 22731 22731 21667 0 -1 4202560 1269 0 0 0 35 19 0 0 16 0 2 0 947998443 343027712 5872 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22984/statm: 83747 5872 398 364 0 18619 0
[pid=22986] ppid=22984 vsize=86628 CPUtime=55.43 cores=1,3,5,7
/proc/22986/stat : 22986 (scip-2.0.1.linu) T 22984 22986 22986 0 -1 4202496 20624 0 0 0 4793 750 0 0 18 0 1 0 947998443 88707072 18484 33554432000 4194304 15243407 140734946185776 18446744073709551615 4773236 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/22986/statm: 21657 18484 928 2698 0 18952 0
[pid=22984/tid=23023] ppid=22731 vsize=334988 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23023/stat : 23023 (python) S 22731 22731 21667 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 948003988 343027712 5872 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554946 18446604459961791424 0 0 -1 3 0 0 0
[pid=23035] ppid=22731 vsize=345436 CPUtime=0 cores=1,3,5,7
/proc/23035/stat : 23035 (python) S 22731 22731 21667 0 -1 4202560 854 0 0 0 0 0 0 0 17 0 1 0 948012994 353726464 5874 33554432000 4194304 5683644 140735154523008 18446744073709551615 256415411782 0 0 16781312 33554946 3981004589661945856 0 0 17 7 0 0 0
/proc/23035/statm: 86359 5874 349 364 0 21228 0
[pid=23037] ppid=23035 vsize=8601320 CPUtime=0.68 cores=1,3,5,7
/proc/23037/stat : 23037 (java) S 23035 23037 23037 0 -1 4202496 19816 0 1 0 66 2 0 0 17 0 19 0 948012995 8807751680 18145 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23037/statm: 2150330 18146 2206 9 0 2141071 0
[pid=23037/tid=23038] ppid=23035 vsize=8601320 CPUtime=0.43 cores=1,3,5,7
/proc/23037/task/23038/stat : 23038 (java) R 23035 23037 23037 0 -1 4202560 15430 0 1 0 41 2 0 0 24 0 19 0 948012996 8807751680 18299 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 46912505529362 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23037/tid=23039] ppid=23035 vsize=8601320 CPUtime=0 cores=1,3,5,7
/proc/23037/task/23039/stat : 23039 (java) S 23035 23037 23037 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948012996 8807751680 18300 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427207577 0 4 0 16800975 18446604460616829824 0 0 -1 7 0 0 0
[pid=23037/tid=23040] ppid=23035 vsize=8601320 CPUtime=0 cores=1,3,5,7
/proc/23037/task/23040/stat : 23040 (java) S 23035 23037 23037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948012996 8807751680 18301 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427207577 0 4 0 16800975 18446604460616829824 0 0 -1 3 0 0 0
[pid=23037/tid=23041] ppid=23035 vsize=8601320 CPUtime=0 cores=1,3,5,7
/proc/23037/task/23041/stat : 23041 (java) S 23035 23037 23037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948012996 8807751680 18301 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427207577 0 4 0 16800975 18446604460616829824 0 0 -1 3 0 0 0
[pid=23037/tid=23042] ppid=23035 vsize=8601320 CPUtime=0 cores=1,3,5,7
/proc/23037/task/23042/stat : 23042 (java) S 23035 23037 23037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948012996 8807751680 18302 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427207577 0 4 0 16800975 18446604460616829824 0 0 -1 3 0 0 0
[pid=23037/tid=23043] ppid=23035 vsize=8601320 CPUtime=0 cores=1,3,5,7
/proc/23037/task/23043/stat : 23043 (java) S 23035 23037 23037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948012996 8807751680 18303 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427207577 0 4 0 16800975 18446604460616829824 0 0 -1 3 0 0 0
[pid=23037/tid=23044] ppid=23035 vsize=8601320 CPUtime=0 cores=1,3,5,7
/proc/23037/task/23044/stat : 23044 (java) S 23035 23037 23037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948012996 8807751680 18303 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427207577 0 4 0 16800975 18446604460616829824 0 0 -1 3 0 0 0
[pid=23037/tid=23045] ppid=23035 vsize=8601320 CPUtime=0 cores=1,3,5,7
/proc/23037/task/23045/stat : 23045 (java) S 23035 23037 23037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948012996 8807751680 18305 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427207577 0 4 0 16800975 18446604460616829824 0 0 -1 3 0 0 0
[pid=23037/tid=23046] ppid=23035 vsize=8601320 CPUtime=0 cores=1,3,5,7
/proc/23037/task/23046/stat : 23046 (java) S 23035 23037 23037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948012996 8807751680 18306 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427207577 0 4 0 16800975 18446604460616829824 0 0 -1 3 0 0 0
[pid=23037/tid=23047] ppid=23035 vsize=8601320 CPUtime=0 cores=1,3,5,7
/proc/23037/task/23047/stat : 23047 (java) S 23035 23037 23037 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 948012997 8807751680 18307 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427208192 0 0 0 16800975 18446604460616829824 0 0 -1 3 0 0 0
[pid=23037/tid=23048] ppid=23035 vsize=8601320 CPUtime=0 cores=1,3,5,7
/proc/23037/task/23048/stat : 23048 (java) S 23035 23037 23037 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 948012998 8807751680 18308 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427207577 0 4 0 16800975 18446604460616829824 0 0 -1 3 0 0 0
[pid=23037/tid=23049] ppid=23035 vsize=8601320 CPUtime=0 cores=1,3,5,7
/proc/23037/task/23049/stat : 23049 (java) S 23035 23037 23037 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 948012998 8807751680 18309 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427207577 0 4 0 16800975 18446604460616829824 0 0 -1 3 0 0 0
[pid=23037/tid=23050] ppid=23035 vsize=8601320 CPUtime=0 cores=1,3,5,7
/proc/23037/task/23050/stat : 23050 (java) S 23035 23037 23037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948013000 8807751680 18310 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427215281 0 4 0 16800975 18446604460616829824 0 0 -1 3 0 0 0
[pid=23037/tid=23051] ppid=23035 vsize=8601320 CPUtime=0.12 cores=1,3,5,7
/proc/23037/task/23051/stat : 23051 (java) S 23035 23037 23037 0 -1 4202560 1707 0 0 0 12 0 0 0 20 0 19 0 948013000 8807751680 18312 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427207577 0 4 0 16800975 18446604460616829824 0 0 -1 5 0 0 0
[pid=23037/tid=23052] ppid=23035 vsize=8601320 CPUtime=0.12 cores=1,3,5,7
/proc/23037/task/23052/stat : 23052 (java) S 23035 23037 23037 0 -1 4202560 1430 0 0 0 12 0 0 0 15 0 19 0 948013000 8807751680 18312 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427207577 0 4 0 16800975 18446604460616829824 0 0 -1 3 0 0 0
[pid=23037/tid=23053] ppid=23035 vsize=8601320 CPUtime=0 cores=1,3,5,7
/proc/23037/task/23053/stat : 23053 (java) S 23035 23037 23037 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948013000 8807751680 18313 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427207577 0 4 0 16800975 18446604460616829824 0 0 -1 3 0 0 0
[pid=23037/tid=23054] ppid=23035 vsize=8601320 CPUtime=0 cores=1,3,5,7
/proc/23037/task/23054/stat : 23054 (java) S 23035 23037 23037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948013000 8807751680 18314 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427208192 0 4 0 16800975 18446604460616829824 0 0 -1 5 0 0 0
[pid=23037/tid=23055] ppid=23035 vsize=8601320 CPUtime=0 cores=1,3,5,7
/proc/23037/task/23055/stat : 23055 (java) S 23035 23037 23037 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 948013010 8807751680 18316 33554432000 1073741824 1073778376 140737173472960 18446744073709551615 256427208192 0 4 0 16800975 18446604460616829824 0 0 -1 7 0 0 0
[pid=22731/tid=22738] ppid=22729 vsize=355680 CPUtime=0 cores=1,3,5,7
/proc/22731/task/22738/stat : 22738 (python) S 22729 22731 21667 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 8 0 947963581 364216320 7412 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 7 0 0 0
[pid=22731/tid=22746] ppid=22729 vsize=355680 CPUtime=0 cores=1,3,5,7
/proc/22731/task/22746/stat : 22746 (python) S 22729 22731 21667 0 -1 4202560 33 928 0 0 0 0 0 0 18 0 8 0 947968306 364216320 7412 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 7 0 0 0
[pid=22731/tid=22755] ppid=22729 vsize=355680 CPUtime=0 cores=1,3,5,7
/proc/22731/task/22755/stat : 22755 (python) S 22729 22731 21667 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 8 0 947973386 364216320 7412 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 3 0 0 0
[pid=22731/tid=22818] ppid=22729 vsize=355680 CPUtime=0 cores=1,3,5,7
/proc/22731/task/22818/stat : 22818 (python) S 22729 22731 21667 0 -1 4202560 23 928 0 0 0 0 0 0 20 0 8 0 947979739 364216320 7412 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 5 0 0 0
[pid=22731/tid=22844] ppid=22729 vsize=355680 CPUtime=0 cores=1,3,5,7
/proc/22731/task/22844/stat : 22844 (python) S 22729 22731 21667 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 8 0 947984579 364216320 7412 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 1 0 0 0
[pid=22731/tid=22985] ppid=22729 vsize=355680 CPUtime=0 cores=1,3,5,7
/proc/22731/task/22985/stat : 22985 (python) S 22729 22731 21667 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 8 0 947998443 364216320 7412 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 7 0 0 0
[pid=22731/tid=23036] ppid=22729 vsize=355680 CPUtime=0 cores=1,3,5,7
/proc/22731/task/23036/stat : 23036 (python) S 22729 22731 21667 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 8 0 948012994 364216320 7412 33554432000 4194304 5683644 140735154523008 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 499.36
Current children cumulated vsize (KiB) 20129228
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22731 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=488925
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=151976
# CPU time returned by wait4() is 0.640901
# while last known CPU time is 499.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 495.398
CPU time (s): 499.36
CPU user time (s): 472.14
CPU system time (s): 27.22
CPU usage (%): 100.8
Max. virtual memory (cumulated for all children) (KiB): 20129228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.488925
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15884
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= 2879
involuntary context switches= 28
runsolver used 3.62145 second user time and 8.5767 second system time
The end