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-3481954-1307576355/watcher-3481954-1307576355 -o /tmp/evaluation-result-3481954-1307576355/solver-3481954-1307576355 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481954-1307576355.opb -seed 150346422 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.23 0.05 0.02 2/523 7840
/proc/meminfo: memFree=23121692/32951124 swapFree=64303752/67111528
[pid=7840] ppid=7836 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/7840/stat : 7840 (runsolver) S 7836 7840 7805 0 -1 4202560 43 0 0 0 0 0 0 0 21 0 1 0 850052445 12079104 51 33554432000 4194304 5432328 140735798988912 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699968823 0 0 17 6 0 0 0
/proc/7840/statm: 2949 51 31 303 0 2643 0
[startup+0.027572 s]
/proc/loadavg: 0.23 0.05 0.02 2/523 7840
/proc/meminfo: memFree=23121692/32951124 swapFree=64303752/67111528
[pid=7840] ppid=7836 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/7840/stat : 7840 (runsolver) S 7836 7840 7805 0 -1 4202560 46 0 0 0 0 0 0 0 22 0 1 0 850052445 12079104 54 33554432000 4194304 5432328 140735798988912 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699207358 0 0 17 0 0 0 0
/proc/7840/statm: 2949 54 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100642 s]
/proc/loadavg: 0.23 0.05 0.02 2/523 7840
/proc/meminfo: memFree=23121692/32951124 swapFree=64303752/67111528
[pid=7840] ppid=7836 vsize=1964 CPUtime=0 cores=0,2,4,6
/proc/7840/stat : 7840 (python) D 7836 7840 7805 0 -1 4194304 75 0 1 0 0 0 0 0 22 0 1 0 850052445 2011136 28 33554432000 4194304 5683644 140736197368928 18446744073709551615 233505375248 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 2
/proc/7840/statm: 491 28 21 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1964
[startup+0.300594 s]
/proc/loadavg: 0.23 0.05 0.02 2/523 7840
/proc/meminfo: memFree=23121692/32951124 swapFree=64303752/67111528
[pid=7840] ppid=7836 vsize=14820 CPUtime=0 cores=0,2,4,6
/proc/7840/stat : 7840 (python) S 7836 7840 7805 0 -1 4202496 506 0 6 0 0 0 0 0 17 0 1 0 850052445 15175680 419 33554432000 4194304 5683644 140736197368928 18446744073709551615 233510293349 0 2147483391 4096 0 18446744071699207358 0 0 17 2 0 0 12
/proc/7840/statm: 3705 419 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.70054 s]
/proc/loadavg: 0.23 0.05 0.02 2/523 7840
/proc/meminfo: memFree=23121692/32951124 swapFree=64303752/67111528
[pid=7840] ppid=7836 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/7840/stat : 7840 (python) D 7836 7840 7805 0 -1 4202496 706 0 6 0 0 0 0 0 16 0 1 0 850052445 15548416 603 33554432000 4194304 5683644 140736197368928 18446744073709551615 233510293349 0 0 16781312 2 0 0 0 17 2 0 0 16
/proc/7840/statm: 3796 603 319 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+1.50038 s]
/proc/loadavg: 0.23 0.05 0.02 1/527 7844
/proc/meminfo: memFree=23116168/32951124 swapFree=64303752/67111528
[pid=7840] ppid=7836 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/7840/stat : 7840 (python) S 7836 7840 7805 0 -1 4202496 929 0 6 0 0 0 0 0 16 0 1 0 850052445 16150528 813 33554432000 4194304 5683644 140736197368928 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 23
/proc/7840/statm: 3943 813 356 364 0 430 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15772
[startup+3.10106 s]
/proc/loadavg: 0.23 0.05 0.02 1/527 7844
/proc/meminfo: memFree=23111776/32951124 swapFree=64303752/67111528
[pid=7840] ppid=7836 vsize=18888 CPUtime=0.01 cores=0,2,4,6
/proc/7840/stat : 7840 (python) D 7836 7840 7805 0 -1 4202496 1231 0 7 0 1 0 0 0 15 0 1 0 850052445 19341312 1093 33554432000 4194304 5683644 140736197368928 18446744073709551615 233510297344 0 0 16781312 2 18446744071562234166 0 0 17 2 0 0 35
/proc/7840/statm: 4722 1093 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
heavy processes:
[startup+6.30057 s]
/proc/loadavg: 0.21 0.05 0.01 1/527 7844
/proc/meminfo: memFree=23107092/32951124 swapFree=64303752/67111528
[pid=7840] ppid=7836 vsize=30116 CPUtime=0.04 cores=0,2,4,6
/proc/7840/stat : 7840 (python) S 7836 7840 7805 0 -1 4202496 1500 0 11 0 3 1 0 0 15 0 1 0 850052445 30838784 1348 33554432000 4194304 5683644 140736197368928 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 71
/proc/7840/statm: 7529 1348 443 364 0 899 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 30116
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 0.27 0.06 0.02 1/527 7844
/proc/meminfo: memFree=23099612/32951124 swapFree=64303752/67111528
[pid=7840] ppid=7836 vsize=45816 CPUtime=0.06 cores=0,2,4,6
/proc/7840/stat : 7840 (python) D 7836 7840 7805 0 -1 4202496 1913 0 16 0 4 2 0 0 16 0 1 0 850052445 46915584 1701 33554432000 4194304 5683644 140736197368928 18446744073709551615 233510293349 0 0 16781312 2 0 0 0 17 2 0 0 146
/proc/7840/statm: 11454 1701 470 364 0 1203 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 45816
heavy processes:
[startup+25.501 s]
/proc/loadavg: 0.44 0.11 0.03 1/527 7853
/proc/meminfo: memFree=23080596/32951124 swapFree=64303752/67111528
[pid=7840] ppid=7836 vsize=123740 CPUtime=0.22 cores=0,2,4,6
/proc/7840/stat : 7840 (python) R 7836 7840 7805 0 -1 4202496 5320 922 39 9 12 10 0 0 15 0 1 0 850052445 126709760 3745 33554432000 4194304 5683644 140736197368928 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 333
/proc/7840/statm: 30935 3745 987 364 0 2767 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 123740
heavy processes:
[startup+51.1015 s]
/proc/loadavg: 0.85 0.23 0.07 3/551 7912
/proc/meminfo: memFree=22787384/32951124 swapFree=64303752/67111528
[pid=7840] ppid=7836 vsize=293092 CPUtime=0.59 cores=0,2,4,6
/proc/7840/stat : 7840 (python) S 7836 7840 7805 0 -1 4202496 9529 922 112 9 39 20 0 0 18 0 2 0 850052445 300126208 7143 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 517
/proc/7840/statm: 73273 7143 1870 364 0 8160 0
[pid=7855] ppid=7840 vsize=282848 CPUtime=0.08 cores=0,2,4,6
/proc/7855/stat : 7855 (python) S 7840 7840 7805 0 -1 4202560 982 0 0 0 4 4 0 0 15 0 1 0 850055754 289636352 5650 33554432000 4194304 5683644 140736197368928 18446744073709551615 233510317583 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/7855/statm: 70712 5650 381 364 0 5599 0
[pid=7859] ppid=7855 vsize=8537080 CPUtime=17.68 cores=0,2,4,6
/proc/7859/stat : 7859 (java) S 7855 7859 7859 0 -1 4202496 10042 0 105 0 1764 4 0 0 17 0 19 0 850055754 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 15
/proc/7859/statm: 2134270 8484 2240 9 0 2125011 0
[pid=7859/tid=7867] ppid=7855 vsize=8537080 CPUtime=16.78 cores=0,2,4,6
/proc/7859/task/7867/stat : 7867 (java) R 7855 7859 7859 0 -1 4202560 4042 0 47 0 1677 1 0 0 25 0 19 0 850055774 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 46912505530704 0 4 0 16800975 0 0 0 -1 2 0 0 46
[pid=7859/tid=7879] ppid=7855 vsize=8537080 CPUtime=0.02 cores=0,2,4,6
/proc/7859/task/7879/stat : 7879 (java) S 7855 7859 7859 0 -1 4202560 158 0 0 0 2 0 0 0 15 0 19 0 850055779 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 4 0 0 0
[pid=7859/tid=7880] ppid=7855 vsize=8537080 CPUtime=0.03 cores=0,2,4,6
/proc/7859/task/7880/stat : 7880 (java) S 7855 7859 7859 0 -1 4202560 158 0 0 0 3 0 0 0 15 0 19 0 850055779 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7859/tid=7881] ppid=7855 vsize=8537080 CPUtime=0.01 cores=0,2,4,6
/proc/7859/task/7881/stat : 7881 (java) S 7855 7859 7859 0 -1 4202560 22 0 0 0 1 0 0 0 15 0 19 0 850055779 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 4 0 0 0
[pid=7859/tid=7882] ppid=7855 vsize=8537080 CPUtime=0.02 cores=0,2,4,6
/proc/7859/task/7882/stat : 7882 (java) S 7855 7859 7859 0 -1 4202560 18 0 0 0 2 0 0 0 15 0 19 0 850055779 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 4 0 0 0
[pid=7859/tid=7883] ppid=7855 vsize=8537080 CPUtime=0.03 cores=0,2,4,6
/proc/7859/task/7883/stat : 7883 (java) S 7855 7859 7859 0 -1 4202560 6 0 0 0 3 0 0 0 15 0 19 0 850055779 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7859/tid=7884] ppid=7855 vsize=8537080 CPUtime=0.02 cores=0,2,4,6
/proc/7859/task/7884/stat : 7884 (java) S 7855 7859 7859 0 -1 4202560 32 0 0 0 2 0 0 0 15 0 19 0 850055779 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7859/tid=7885] ppid=7855 vsize=8537080 CPUtime=0.01 cores=0,2,4,6
/proc/7859/task/7885/stat : 7885 (java) S 7855 7859 7859 0 -1 4202560 325 0 0 0 1 0 0 0 16 0 19 0 850055779 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7859/tid=7886] ppid=7855 vsize=8537080 CPUtime=0.01 cores=0,2,4,6
/proc/7859/task/7886/stat : 7886 (java) S 7855 7859 7859 0 -1 4202560 46 0 0 0 1 0 0 0 15 0 19 0 850055779 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 4 0 0 0
[pid=7859/tid=7887] ppid=7855 vsize=8537080 CPUtime=0.32 cores=0,2,4,6
/proc/7859/task/7887/stat : 7887 (java) S 7855 7859 7859 0 -1 4202560 877 0 0 0 32 0 0 0 15 0 19 0 850055805 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522114048 0 0 0 16800975 18446604453567140096 0 0 -1 0 0 0 0
[pid=7859/tid=7890] ppid=7855 vsize=8537080 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7890/stat : 7890 (java) S 7855 7859 7859 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 850055807 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7859/tid=7891] ppid=7855 vsize=8537080 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7891/stat : 7891 (java) S 7855 7859 7859 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 850055807 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7859/tid=7894] ppid=7855 vsize=8537080 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7894/stat : 7894 (java) S 7855 7859 7859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850055822 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522121137 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7859/tid=7895] ppid=7855 vsize=8537080 CPUtime=0.19 cores=0,2,4,6
/proc/7859/task/7895/stat : 7895 (java) S 7855 7859 7859 0 -1 4202560 1437 0 0 0 19 0 0 0 15 0 19 0 850055822 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 4 0 0 0
[pid=7859/tid=7896] ppid=7855 vsize=8537080 CPUtime=0.16 cores=0,2,4,6
/proc/7859/task/7896/stat : 7896 (java) S 7855 7859 7859 0 -1 4202560 1599 0 1 0 16 0 0 0 15 0 19 0 850055822 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7859/tid=7897] ppid=7855 vsize=8537080 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7897/stat : 7897 (java) S 7855 7859 7859 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850055822 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7859/tid=7898] ppid=7855 vsize=8537080 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7898/stat : 7898 (java) S 7855 7859 7859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850055822 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522114048 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7859/tid=7899] ppid=7855 vsize=8537080 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7899/stat : 7899 (java) S 7855 7859 7859 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850055839 8741969920 8484 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522114048 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7840/tid=7857] ppid=7836 vsize=293092 CPUtime=0 cores=0,2,4,6
/proc/7840/task/7857/stat : 7857 (python) S 7836 7840 7805 0 -1 4202560 29 922 0 9 0 0 0 0 18 0 2 0 850055754 300126208 7143 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522121137 0 0 16781312 33554434 18446604447561459008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.35
Current children cumulated vsize (KiB) 9113020
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+76.7008 s]
/proc/loadavg: 1.31 0.39 0.13 3/551 7913
/proc/meminfo: memFree=22749932/32951124 swapFree=64303752/67111528
[pid=7840] ppid=7836 vsize=293092 CPUtime=0.59 cores=0,2,4,6
/proc/7840/stat : 7840 (python) S 7836 7840 7805 0 -1 4202496 9529 922 112 9 39 20 0 0 18 0 2 0 850052445 300126208 7143 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 517
/proc/7840/statm: 73273 7143 1870 364 0 8160 0
[pid=7855] ppid=7840 vsize=282848 CPUtime=0.21 cores=0,2,4,6
/proc/7855/stat : 7855 (python) S 7840 7840 7805 0 -1 4202560 996 0 0 0 11 10 0 0 15 0 1 0 850055754 289636352 5650 33554432000 4194304 5683644 140736197368928 18446744073709551615 233510317583 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/7855/statm: 70712 5650 381 364 0 5599 0
[pid=7859] ppid=7855 vsize=8538368 CPUtime=43.79 cores=0,2,4,6
/proc/7859/stat : 7859 (java) S 7855 7859 7859 0 -1 4202496 17979 0 105 0 4372 7 0 0 17 0 19 0 850055754 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 15
/proc/7859/statm: 2134592 11055 2242 9 0 2125333 0
[pid=7859/tid=7867] ppid=7855 vsize=8538368 CPUtime=41.73 cores=0,2,4,6
/proc/7859/task/7867/stat : 7867 (java) R 7855 7859 7859 0 -1 4202560 4091 0 47 0 4172 1 0 0 25 0 19 0 850055774 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 46912505534119 0 4 0 16800975 0 0 0 -1 2 0 0 46
[pid=7859/tid=7879] ppid=7855 vsize=8538368 CPUtime=0.04 cores=0,2,4,6
/proc/7859/task/7879/stat : 7879 (java) S 7855 7859 7859 0 -1 4202560 158 0 0 0 4 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 6 0 0 0
[pid=7859/tid=7880] ppid=7855 vsize=8538368 CPUtime=0.05 cores=0,2,4,6
/proc/7859/task/7880/stat : 7880 (java) S 7855 7859 7859 0 -1 4202560 158 0 0 0 5 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7859/tid=7881] ppid=7855 vsize=8538368 CPUtime=0.06 cores=0,2,4,6
/proc/7859/task/7881/stat : 7881 (java) S 7855 7859 7859 0 -1 4202560 22 0 0 0 6 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 4 0 0 0
[pid=7859/tid=7882] ppid=7855 vsize=8538368 CPUtime=0.05 cores=0,2,4,6
/proc/7859/task/7882/stat : 7882 (java) S 7855 7859 7859 0 -1 4202560 18 0 0 0 5 0 0 0 16 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7859/tid=7883] ppid=7855 vsize=8538368 CPUtime=0.07 cores=0,2,4,6
/proc/7859/task/7883/stat : 7883 (java) S 7855 7859 7859 0 -1 4202560 6 0 0 0 7 0 0 0 16 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 4 0 0 0
[pid=7859/tid=7884] ppid=7855 vsize=8538368 CPUtime=0.05 cores=0,2,4,6
/proc/7859/task/7884/stat : 7884 (java) S 7855 7859 7859 0 -1 4202560 32 0 0 0 5 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7859/tid=7885] ppid=7855 vsize=8538368 CPUtime=0.04 cores=0,2,4,6
/proc/7859/task/7885/stat : 7885 (java) S 7855 7859 7859 0 -1 4202560 325 0 0 0 4 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7859/tid=7886] ppid=7855 vsize=8538368 CPUtime=0.03 cores=0,2,4,6
/proc/7859/task/7886/stat : 7886 (java) S 7855 7859 7859 0 -1 4202560 47 0 0 0 3 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446604453567140096 0 0 -1 2 0 0 0
[pid=7859/tid=7887] ppid=7855 vsize=8538368 CPUtime=0.79 cores=0,2,4,6
################
# More data... #
################
[pid=7859/tid=7881] ppid=7855 vsize=8538368 CPUtime=0.07 cores=0,2,4,6
/proc/7859/task/7881/stat : 7881 (java) T 7855 7859 7859 0 -1 4202560 22 0 0 0 7 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 47266543076514 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7859/tid=7882] ppid=7855 vsize=8538368 CPUtime=0.06 cores=0,2,4,6
/proc/7859/task/7882/stat : 7882 (java) T 7855 7859 7859 0 -1 4202560 18 0 0 0 6 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233510250807 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7883] ppid=7855 vsize=8538368 CPUtime=0.08 cores=0,2,4,6
/proc/7859/task/7883/stat : 7883 (java) T 7855 7859 7859 0 -1 4202560 6 0 0 0 8 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233510250807 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7859/tid=7884] ppid=7855 vsize=8538368 CPUtime=0.06 cores=0,2,4,6
/proc/7859/task/7884/stat : 7884 (java) T 7855 7859 7859 0 -1 4202560 32 0 0 0 6 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 47266543076512 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7885] ppid=7855 vsize=8538368 CPUtime=0.04 cores=0,2,4,6
/proc/7859/task/7885/stat : 7885 (java) T 7855 7859 7859 0 -1 4202560 325 0 0 0 4 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7859/tid=7886] ppid=7855 vsize=8538368 CPUtime=0.04 cores=0,2,4,6
/proc/7859/task/7886/stat : 7886 (java) T 7855 7859 7859 0 -1 4202560 47 0 0 0 4 0 0 0 16 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7859/tid=7887] ppid=7855 vsize=8538368 CPUtime=0.82 cores=0,2,4,6
/proc/7859/task/7887/stat : 7887 (java) T 7855 7859 7859 0 -1 4202560 879 0 0 0 81 1 0 0 15 0 19 0 850055805 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7859/tid=7890] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7890/stat : 7890 (java) T 7855 7859 7859 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 850055807 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7891] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7891/stat : 7891 (java) T 7855 7859 7859 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 850055807 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7894] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7894/stat : 7894 (java) T 7855 7859 7859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850055822 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522121137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7895] ppid=7855 vsize=8538368 CPUtime=0.59 cores=0,2,4,6
/proc/7859/task/7895/stat : 7895 (java) T 7855 7859 7859 0 -1 4202560 9094 0 0 0 57 2 0 0 15 0 19 0 850055822 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7859/tid=7896] ppid=7855 vsize=8538368 CPUtime=0.19 cores=0,2,4,6
/proc/7859/task/7896/stat : 7896 (java) T 7855 7859 7859 0 -1 4202560 1825 0 1 0 19 0 0 0 15 0 19 0 850055822 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7897] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7897/stat : 7897 (java) T 7855 7859 7859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850055822 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7898] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7898/stat : 7898 (java) T 7855 7859 7859 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850055822 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7899] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7899/stat : 7899 (java) T 7855 7859 7859 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850055839 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7855/tid=7914] ppid=7840 vsize=293092 CPUtime=0 cores=0,2,4,6
/proc/7855/task/7914/stat : 7914 (python) S 7840 7840 7805 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 850060315 300126208 5686 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522121137 0 0 16781312 33554946 18446604452652270912 0 0 -1 6 0 0 0
[pid=7915] ppid=7840 vsize=293636 CPUtime=0.11 cores=0,2,4,6
/proc/7915/stat : 7915 (python) S 7840 7840 7805 0 -1 4202560 989 0 0 0 7 4 0 0 15 0 1 0 850060317 300683264 5765 33554432000 4194304 5683644 140736197368928 18446744073709551615 233510317638 0 0 16781312 33554946 3803194923587469312 0 0 17 2 0 0 0
/proc/7915/statm: 73409 5765 374 364 0 8293 0
[pid=7917] ppid=7915 vsize=28604 CPUtime=18.76 cores=0,2,4,6
/proc/7917/stat : 7917 (scip-2.0.1.linu) R 7915 7917 7917 0 -1 4202496 7156 0 0 0 1783 93 0 0 18 0 1 0 850060318 29290496 4854 33554432000 4194304 13684479 140733731592032 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7917/statm: 7151 4854 810 2317 0 4829 0
[pid=7840/tid=7857] ppid=7836 vsize=303880 CPUtime=0 cores=0,2,4,6
/proc/7840/task/7857/stat : 7857 (python) S 7836 7840 7805 0 -1 4202560 29 922 0 9 0 0 0 0 18 0 3 0 850055754 311173120 7268 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522121137 0 0 16781312 33554434 18446604447561459008 0 0 -1 2 0 0 0
[pid=7840/tid=7916] ppid=7836 vsize=303880 CPUtime=0 cores=0,2,4,6
/proc/7840/task/7916/stat : 7916 (python) S 7836 7840 7805 0 -1 4202560 29 922 0 9 0 0 0 0 20 0 3 0 850060318 311173120 7268 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522121137 0 0 16781312 33554434 18446604447561459008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 65.54
Current children cumulated vsize (KiB) 9457580
[startup+97.9201 s]
/proc/loadavg: 1.51 0.49 0.17 3/559 7922
/proc/meminfo: memFree=22523312/32951124 swapFree=64303752/67111528
[pid=7840] ppid=7836 vsize=303880 CPUtime=0.62 cores=0,2,4,6
/proc/7840/stat : 7840 (python) S 7836 7840 7805 0 -1 4202496 10386 922 112 9 42 20 0 0 20 0 3 0 850052445 311173120 7268 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 517
/proc/7840/statm: 75970 7268 1873 364 0 10854 0
[pid=7855] ppid=7840 vsize=293092 CPUtime=0.24 cores=0,2,4,6
/proc/7855/stat : 7855 (python) S 7840 7840 7805 0 -1 4202560 1133 0 0 0 12 12 0 0 16 0 2 0 850055754 300126208 5686 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7855/statm: 73273 5686 412 364 0 8160 0
[pid=7859] ppid=7855 vsize=8538368 CPUtime=45.81 cores=0,2,4,6
/proc/7859/stat : 7859 (java) T 7855 7859 7859 0 -1 4202496 17982 0 105 0 4574 7 0 0 15 0 19 0 850055754 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 15
/proc/7859/statm: 2134592 11055 2242 9 0 2125333 0
[pid=7859/tid=7867] ppid=7855 vsize=8538368 CPUtime=43.67 cores=0,2,4,6
/proc/7859/task/7867/stat : 7867 (java) T 7855 7859 7859 0 -1 4202560 4094 0 47 0 4366 1 0 0 25 0 19 0 850055774 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 46
[pid=7859/tid=7879] ppid=7855 vsize=8538368 CPUtime=0.05 cores=0,2,4,6
/proc/7859/task/7879/stat : 7879 (java) T 7855 7859 7859 0 -1 4202560 158 0 0 0 5 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7859/tid=7880] ppid=7855 vsize=8538368 CPUtime=0.05 cores=0,2,4,6
/proc/7859/task/7880/stat : 7880 (java) T 7855 7859 7859 0 -1 4202560 158 0 0 0 5 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233510250807 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7859/tid=7881] ppid=7855 vsize=8538368 CPUtime=0.07 cores=0,2,4,6
/proc/7859/task/7881/stat : 7881 (java) T 7855 7859 7859 0 -1 4202560 22 0 0 0 7 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 47266543076514 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7859/tid=7882] ppid=7855 vsize=8538368 CPUtime=0.06 cores=0,2,4,6
/proc/7859/task/7882/stat : 7882 (java) T 7855 7859 7859 0 -1 4202560 18 0 0 0 6 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233510250807 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7883] ppid=7855 vsize=8538368 CPUtime=0.08 cores=0,2,4,6
/proc/7859/task/7883/stat : 7883 (java) T 7855 7859 7859 0 -1 4202560 6 0 0 0 8 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233510250807 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7859/tid=7884] ppid=7855 vsize=8538368 CPUtime=0.06 cores=0,2,4,6
/proc/7859/task/7884/stat : 7884 (java) T 7855 7859 7859 0 -1 4202560 32 0 0 0 6 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 47266543076512 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7885] ppid=7855 vsize=8538368 CPUtime=0.04 cores=0,2,4,6
/proc/7859/task/7885/stat : 7885 (java) T 7855 7859 7859 0 -1 4202560 325 0 0 0 4 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7859/tid=7886] ppid=7855 vsize=8538368 CPUtime=0.04 cores=0,2,4,6
/proc/7859/task/7886/stat : 7886 (java) T 7855 7859 7859 0 -1 4202560 47 0 0 0 4 0 0 0 16 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7859/tid=7887] ppid=7855 vsize=8538368 CPUtime=0.82 cores=0,2,4,6
/proc/7859/task/7887/stat : 7887 (java) T 7855 7859 7859 0 -1 4202560 879 0 0 0 81 1 0 0 15 0 19 0 850055805 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7859/tid=7890] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7890/stat : 7890 (java) T 7855 7859 7859 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 850055807 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7891] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7891/stat : 7891 (java) T 7855 7859 7859 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 850055807 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7894] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7894/stat : 7894 (java) T 7855 7859 7859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850055822 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522121137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7895] ppid=7855 vsize=8538368 CPUtime=0.59 cores=0,2,4,6
/proc/7859/task/7895/stat : 7895 (java) T 7855 7859 7859 0 -1 4202560 9094 0 0 0 57 2 0 0 15 0 19 0 850055822 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7859/tid=7896] ppid=7855 vsize=8538368 CPUtime=0.19 cores=0,2,4,6
/proc/7859/task/7896/stat : 7896 (java) T 7855 7859 7859 0 -1 4202560 1825 0 1 0 19 0 0 0 15 0 19 0 850055822 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7897] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7897/stat : 7897 (java) T 7855 7859 7859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850055822 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7898] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7898/stat : 7898 (java) T 7855 7859 7859 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850055822 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7899] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7899/stat : 7899 (java) T 7855 7859 7859 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850055839 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7855/tid=7914] ppid=7840 vsize=293092 CPUtime=0 cores=0,2,4,6
/proc/7855/task/7914/stat : 7914 (python) S 7840 7840 7805 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 850060315 300126208 5686 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522121137 0 0 16781312 33554946 18446604452652270912 0 0 -1 6 0 0 0
[pid=7915] ppid=7840 vsize=293636 CPUtime=0.11 cores=0,2,4,6
/proc/7915/stat : 7915 (python) S 7840 7840 7805 0 -1 4202560 990 0 0 0 7 4 0 0 15 0 1 0 850060317 300683264 5765 33554432000 4194304 5683644 140736197368928 18446744073709551615 233510317638 0 0 16781312 33554946 1376202723883483136 0 0 17 2 0 0 0
/proc/7915/statm: 73409 5765 374 364 0 8293 0
[pid=7917] ppid=7915 vsize=28604 CPUtime=19.18 cores=0,2,4,6
/proc/7917/stat : 7917 (scip-2.0.1.linu) R 7915 7917 7917 0 -1 4202496 7156 0 0 0 1822 96 0 0 18 0 1 0 850060318 29290496 4854 33554432000 4194304 13684479 140733731592032 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7917/statm: 7151 4854 810 2317 0 4829 0
[pid=7840/tid=7857] ppid=7836 vsize=303880 CPUtime=0 cores=0,2,4,6
/proc/7840/task/7857/stat : 7857 (python) S 7836 7840 7805 0 -1 4202560 29 922 0 9 0 0 0 0 18 0 3 0 850055754 311173120 7268 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522121137 0 0 16781312 33554434 18446604447561459008 0 0 -1 2 0 0 0
[pid=7840/tid=7916] ppid=7836 vsize=303880 CPUtime=0 cores=0,2,4,6
/proc/7840/task/7916/stat : 7916 (python) S 7836 7840 7805 0 -1 4202560 29 922 0 9 0 0 0 0 20 0 3 0 850060318 311173120 7268 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522121137 0 0 16781312 33554434 18446604447561459008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 65.96
Current children cumulated vsize (KiB) 9457580
[startup+98.301 s]
/proc/loadavg: 1.51 0.49 0.17 3/559 7922
/proc/meminfo: memFree=22523312/32951124 swapFree=64303752/67111528
[pid=7840] ppid=7836 vsize=303880 CPUtime=0.62 cores=0,2,4,6
/proc/7840/stat : 7840 (python) S 7836 7840 7805 0 -1 4202496 10386 922 112 9 42 20 0 0 20 0 3 0 850052445 311173120 7268 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 517
/proc/7840/statm: 75970 7268 1873 364 0 10854 0
[pid=7855] ppid=7840 vsize=293092 CPUtime=0.24 cores=0,2,4,6
/proc/7855/stat : 7855 (python) S 7840 7840 7805 0 -1 4202560 1133 0 0 0 12 12 0 0 16 0 2 0 850055754 300126208 5686 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7855/statm: 73273 5686 412 364 0 8160 0
[pid=7859] ppid=7855 vsize=8538368 CPUtime=45.81 cores=0,2,4,6
/proc/7859/stat : 7859 (java) T 7855 7859 7859 0 -1 4202496 17982 0 105 0 4574 7 0 0 15 0 19 0 850055754 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 15
/proc/7859/statm: 2134592 11055 2242 9 0 2125333 0
[pid=7859/tid=7867] ppid=7855 vsize=8538368 CPUtime=43.67 cores=0,2,4,6
/proc/7859/task/7867/stat : 7867 (java) T 7855 7859 7859 0 -1 4202560 4094 0 47 0 4366 1 0 0 25 0 19 0 850055774 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 46
[pid=7859/tid=7879] ppid=7855 vsize=8538368 CPUtime=0.05 cores=0,2,4,6
/proc/7859/task/7879/stat : 7879 (java) T 7855 7859 7859 0 -1 4202560 158 0 0 0 5 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7859/tid=7880] ppid=7855 vsize=8538368 CPUtime=0.05 cores=0,2,4,6
/proc/7859/task/7880/stat : 7880 (java) T 7855 7859 7859 0 -1 4202560 158 0 0 0 5 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233510250807 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7859/tid=7881] ppid=7855 vsize=8538368 CPUtime=0.07 cores=0,2,4,6
/proc/7859/task/7881/stat : 7881 (java) T 7855 7859 7859 0 -1 4202560 22 0 0 0 7 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 47266543076514 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7859/tid=7882] ppid=7855 vsize=8538368 CPUtime=0.06 cores=0,2,4,6
/proc/7859/task/7882/stat : 7882 (java) T 7855 7859 7859 0 -1 4202560 18 0 0 0 6 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233510250807 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7883] ppid=7855 vsize=8538368 CPUtime=0.08 cores=0,2,4,6
/proc/7859/task/7883/stat : 7883 (java) T 7855 7859 7859 0 -1 4202560 6 0 0 0 8 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233510250807 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7859/tid=7884] ppid=7855 vsize=8538368 CPUtime=0.06 cores=0,2,4,6
/proc/7859/task/7884/stat : 7884 (java) T 7855 7859 7859 0 -1 4202560 32 0 0 0 6 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 47266543076512 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7885] ppid=7855 vsize=8538368 CPUtime=0.04 cores=0,2,4,6
/proc/7859/task/7885/stat : 7885 (java) T 7855 7859 7859 0 -1 4202560 325 0 0 0 4 0 0 0 15 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7859/tid=7886] ppid=7855 vsize=8538368 CPUtime=0.04 cores=0,2,4,6
/proc/7859/task/7886/stat : 7886 (java) T 7855 7859 7859 0 -1 4202560 47 0 0 0 4 0 0 0 16 0 19 0 850055779 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7859/tid=7887] ppid=7855 vsize=8538368 CPUtime=0.82 cores=0,2,4,6
/proc/7859/task/7887/stat : 7887 (java) T 7855 7859 7859 0 -1 4202560 879 0 0 0 81 1 0 0 15 0 19 0 850055805 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7859/tid=7890] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7890/stat : 7890 (java) T 7855 7859 7859 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 850055807 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7891] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7891/stat : 7891 (java) T 7855 7859 7859 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 850055807 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7894] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7894/stat : 7894 (java) T 7855 7859 7859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850055822 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522121137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7895] ppid=7855 vsize=8538368 CPUtime=0.59 cores=0,2,4,6
/proc/7859/task/7895/stat : 7895 (java) T 7855 7859 7859 0 -1 4202560 9094 0 0 0 57 2 0 0 15 0 19 0 850055822 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7859/tid=7896] ppid=7855 vsize=8538368 CPUtime=0.19 cores=0,2,4,6
/proc/7859/task/7896/stat : 7896 (java) T 7855 7859 7859 0 -1 4202560 1825 0 1 0 19 0 0 0 15 0 19 0 850055822 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7897] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7897/stat : 7897 (java) T 7855 7859 7859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850055822 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7898] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7898/stat : 7898 (java) T 7855 7859 7859 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850055822 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7859/tid=7899] ppid=7855 vsize=8538368 CPUtime=0 cores=0,2,4,6
/proc/7859/task/7899/stat : 7899 (java) T 7855 7859 7859 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850055839 8743288832 11055 33554432000 1073741824 1073778376 140735640209664 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7855/tid=7914] ppid=7840 vsize=293092 CPUtime=0 cores=0,2,4,6
/proc/7855/task/7914/stat : 7914 (python) S 7840 7840 7805 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 850060315 300126208 5686 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522121137 0 0 16781312 33554946 18446604452652270912 0 0 -1 6 0 0 0
[pid=7915] ppid=7840 vsize=293636 CPUtime=0.14 cores=0,2,4,6
/proc/7915/stat : 7915 (python) S 7840 7840 7805 0 -1 4202560 993 0 0 0 9 5 0 0 15 0 1 0 850060317 300683264 5765 33554432000 4194304 5683644 140736197368928 18446744073709551615 233510317638 0 0 16781312 33554946 2977937689468207104 0 0 17 2 0 0 0
/proc/7915/statm: 73409 5765 374 364 0 8293 0
[pid=7917] ppid=7915 vsize=28604 CPUtime=19.56 cores=0,2,4,6
/proc/7917/stat : 7917 (scip-2.0.1.linu) R 7915 7917 7917 0 -1 4202496 7156 0 0 0 1858 98 0 0 18 0 1 0 850060318 29290496 4854 33554432000 4194304 13684479 140733731592032 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7917/statm: 7151 4854 810 2317 0 4829 0
[pid=7840/tid=7857] ppid=7836 vsize=303880 CPUtime=0 cores=0,2,4,6
/proc/7840/task/7857/stat : 7857 (python) S 7836 7840 7805 0 -1 4202560 29 922 0 9 0 0 0 0 18 0 3 0 850055754 311173120 7268 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522121137 0 0 16781312 33554434 18446604447561459008 0 0 -1 2 0 0 0
[pid=7840/tid=7916] ppid=7836 vsize=303880 CPUtime=0 cores=0,2,4,6
/proc/7840/task/7916/stat : 7916 (python) S 7836 7840 7805 0 -1 4202560 29 922 0 9 0 0 0 0 20 0 3 0 850060318 311173120 7268 33554432000 4194304 5683644 140736197368928 18446744073709551615 233522121137 0 0 16781312 33554434 18446604447561459008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 66.37
Current children cumulated vsize (KiB) 9457580
Child status: 0
Real time (s): 98.3724
CPU time (s): 66.4959
CPU user time (s): 65.0341
CPU system time (s): 1.46178
CPU usage (%): 67.5961
Max. virtual memory (cumulated for all children) (KiB): 9457580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.0341
system time used= 1.46178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43287
page faults= 226
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22906
involuntary context switches= 5733
runsolver used 0.563914 second user time and 1.23781 second system time
The end