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-3481878-1307576816/watcher-3481878-1307576816 -o /tmp/evaluation-result-3481878-1307576816/solver-3481878-1307576816 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481878-1307576816.opb -seed 1587251613 -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: 1.95 1.49 0.68 2/479 980
/proc/meminfo: memFree=29379296/32951124 swapFree=36471928/67111528
[pid=980] ppid=978 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/980/stat : 980 (python) S 978 980 32706 0 -1 4202496 795 0 0 0 0 0 0 0 25 0 1 0 869282151 15749120 681 33554432000 4194304 5683644 140735830507344 18446744073709551615 230809163776 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/980/statm: 3845 681 322 364 0 332 0
[startup+0.0775681 s]
/proc/loadavg: 1.95 1.49 0.68 2/479 980
/proc/meminfo: memFree=29379296/32951124 swapFree=36471928/67111528
[pid=980] ppid=978 vsize=85352 CPUtime=0.05 cores=0,2,4,6
/proc/980/stat : 980 (python) R 978 980 32706 0 -1 4202496 2582 0 0 0 3 2 0 0 25 0 1 0 869282151 87400448 2307 33554432000 4194304 5683644 140735830507344 18446744073709551615 4539725 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/980/statm: 21338 2307 708 364 0 1555 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85352
[startup+0.680442 s]
/proc/loadavg: 1.95 1.49 0.68 2/479 980
/proc/meminfo: memFree=29379296/32951124 swapFree=36471928/67111528
[pid=980] ppid=978 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/980/stat : 980 (python) R 978 980 32706 0 -1 4202496 3169 931 1 0 6 2 0 0 20 0 1 0 869282151 98430976 2483 33554432000 4194304 5683644 140735830507344 18446744073709551615 5178064 0 0 16781312 2 0 0 0 17 6 0 0 15
/proc/980/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.700438 s]
/proc/loadavg: 1.95 1.49 0.68 2/479 980
/proc/meminfo: memFree=29379296/32951124 swapFree=36471928/67111528
[pid=980] ppid=978 vsize=108860 CPUtime=0.1 cores=0,2,4,6
/proc/980/stat : 980 (python) R 978 980 32706 0 -1 4202496 4331 931 1 0 7 3 0 0 21 0 1 0 869282151 111472640 2845 33554432000 4194304 5683644 140735830507344 18446744073709551615 230809165568 0 0 16781312 2 0 0 0 17 6 0 0 15
/proc/980/statm: 27215 2845 877 364 0 1911 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 108860
[startup+0.800422 s]
/proc/loadavg: 1.95 1.49 0.68 2/479 980
/proc/meminfo: memFree=29379296/32951124 swapFree=36471928/67111528
[pid=980] ppid=978 vsize=123880 CPUtime=0.18 cores=0,2,4,6
/proc/980/stat : 980 (python) R 978 980 32706 0 -1 4202496 5411 931 1 0 13 5 0 0 20 0 1 0 869282151 126853120 3778 33554432000 4194304 5683644 140735830507344 18446744073709551615 4617210 0 0 16781312 2 0 0 0 17 6 0 0 15
/proc/980/statm: 30970 3778 987 364 0 2802 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123880
[startup+1.50032 s]
/proc/loadavg: 1.95 1.49 0.68 3/483 988
/proc/meminfo: memFree=29327696/32951124 swapFree=36471928/67111528
[pid=980] ppid=978 vsize=293600 CPUtime=0.46 cores=0,2,4,6
/proc/980/stat : 980 (python) S 978 980 32706 0 -1 4202496 9742 931 1 0 37 9 0 0 23 0 2 0 869282151 300646400 7249 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 15
/proc/980/statm: 73400 7249 1870 364 0 8287 0
[pid=986] ppid=980 vsize=283356 CPUtime=0 cores=0,2,4,6
/proc/986/stat : 986 (python) S 980 980 32706 0 -1 4202560 823 0 0 0 0 0 0 0 15 0 1 0 869282262 290156544 5733 33554432000 4194304 5683644 140735830507344 18446744073709551615 230809185807 0 0 16781312 33554946 49142384440639488 0 0 17 2 0 0 0
/proc/986/statm: 70839 5733 358 364 0 5726 0
[pid=988] ppid=986 vsize=37068 CPUtime=0.38 cores=0,2,4,6
/proc/988/stat : 988 (scip-2.0.1.linu) R 986 988 988 0 -1 4202496 7655 0 0 0 36 2 0 0 18 0 1 0 869282262 37957632 6903 33554432000 4194304 13684479 140735038624016 18446744073709551615 6457238 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/988/statm: 9267 6903 773 2317 0 6945 0
[pid=980/tid=987] ppid=978 vsize=293600 CPUtime=0 cores=0,2,4,6
/proc/980/task/987/stat : 987 (python) S 978 980 32706 0 -1 4202560 29 931 0 0 0 0 0 0 23 0 2 0 869282262 300646400 7249 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835034688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 614024
[startup+3.10107 s]
/proc/loadavg: 1.96 1.50 0.69 3/483 988
/proc/meminfo: memFree=29321748/32951124 swapFree=36471928/67111528
[pid=980] ppid=978 vsize=293600 CPUtime=0.46 cores=0,2,4,6
/proc/980/stat : 980 (python) S 978 980 32706 0 -1 4202496 9742 931 1 0 37 9 0 0 23 0 2 0 869282151 300646400 7249 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 15
/proc/980/statm: 73400 7249 1870 364 0 8287 0
[pid=986] ppid=980 vsize=283356 CPUtime=0 cores=0,2,4,6
/proc/986/stat : 986 (python) S 980 980 32706 0 -1 4202560 829 0 0 0 0 0 0 0 16 0 1 0 869282262 290156544 5733 33554432000 4194304 5683644 140735830507344 18446744073709551615 230809185807 0 0 16781312 33554946 3757448260550099203 0 0 17 2 0 0 0
/proc/986/statm: 70839 5733 358 364 0 5726 0
[pid=988] ppid=986 vsize=45780 CPUtime=1.98 cores=0,2,4,6
/proc/988/stat : 988 (scip-2.0.1.linu) R 986 988 988 0 -1 4202496 10014 0 0 0 194 4 0 0 18 0 1 0 869282262 46878720 9215 33554432000 4194304 13684479 140735038624016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/988/statm: 11445 9215 789 2317 0 9123 0
[pid=980/tid=987] ppid=978 vsize=293600 CPUtime=0 cores=0,2,4,6
/proc/980/task/987/stat : 987 (python) S 978 980 32706 0 -1 4202560 29 931 0 0 0 0 0 0 23 0 2 0 869282262 300646400 7249 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835034688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 622736
heavy processes:
[startup+6.30048 s]
/proc/loadavg: 1.96 1.50 0.69 3/487 992
/proc/meminfo: memFree=29243480/32951124 swapFree=36471928/67111528
[pid=980] ppid=978 vsize=293600 CPUtime=0.46 cores=0,2,4,6
/proc/980/stat : 980 (python) S 978 980 32706 0 -1 4202496 9742 931 1 0 37 9 0 0 23 0 2 0 869282151 300646400 7249 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 15
/proc/980/statm: 73400 7249 1870 364 0 8287 0
[pid=986] ppid=980 vsize=283356 CPUtime=0.01 cores=0,2,4,6
/proc/986/stat : 986 (python) S 980 980 32706 0 -1 4202560 964 0 0 0 1 0 0 0 15 0 1 0 869282262 290156544 5756 33554432000 4194304 5683644 140735830507344 18446744073709551615 230809185807 0 0 16781312 33554946 4294934788 0 0 17 2 0 0 0
/proc/986/statm: 70839 5756 381 364 0 5726 0
[pid=988] ppid=986 vsize=46968 CPUtime=5.17 cores=0,2,4,6
/proc/988/stat : 988 (scip-2.0.1.linu) R 986 988 988 0 -1 4202496 11123 0 0 0 510 7 0 0 19 0 1 0 869282262 48095232 9568 33554432000 4194304 13684479 140735038624016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/988/statm: 11742 9568 795 2317 0 9420 0
[pid=980/tid=987] ppid=978 vsize=293600 CPUtime=0 cores=0,2,4,6
/proc/980/task/987/stat : 987 (python) S 978 980 32706 0 -1 4202560 29 931 0 0 0 0 0 0 23 0 2 0 869282262 300646400 7249 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835034688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.64
Current children cumulated vsize (KiB) 623924
[startup+12.7013 s]
/proc/loadavg: 1.96 1.52 0.71 3/487 992
/proc/meminfo: memFree=29233452/32951124 swapFree=36471928/67111528
[pid=980] ppid=978 vsize=293600 CPUtime=0.46 cores=0,2,4,6
/proc/980/stat : 980 (python) S 978 980 32706 0 -1 4202496 9742 931 1 0 37 9 0 0 23 0 2 0 869282151 300646400 7249 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 15
/proc/980/statm: 73400 7249 1870 364 0 8287 0
[pid=986] ppid=980 vsize=283356 CPUtime=0.02 cores=0,2,4,6
/proc/986/stat : 986 (python) S 980 980 32706 0 -1 4202560 969 0 0 0 1 1 0 0 15 0 1 0 869282262 290156544 5756 33554432000 4194304 5683644 140735830507344 18446744073709551615 230809185807 0 0 16781312 33554946 72556772316949194 0 0 17 6 0 0 0
/proc/986/statm: 70839 5756 381 364 0 5726 0
[pid=988] ppid=986 vsize=47228 CPUtime=11.58 cores=0,2,4,6
/proc/988/stat : 988 (scip-2.0.1.linu) R 986 988 988 0 -1 4202496 11126 0 0 0 1144 14 0 0 25 0 1 0 869282262 48361472 9571 33554432000 4194304 13684479 140735038624016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/988/statm: 11807 9571 796 2317 0 9485 0
[pid=980/tid=987] ppid=978 vsize=293600 CPUtime=0 cores=0,2,4,6
/proc/980/task/987/stat : 987 (python) S 978 980 32706 0 -1 4202560 29 931 0 0 0 0 0 0 23 0 2 0 869282262 300646400 7249 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835034688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 624184
[startup+25.5009 s]
/proc/loadavg: 1.97 1.53 0.72 3/487 992
/proc/meminfo: memFree=29227464/32951124 swapFree=36471928/67111528
[pid=980] ppid=978 vsize=293600 CPUtime=0.46 cores=0,2,4,6
/proc/980/stat : 980 (python) S 978 980 32706 0 -1 4202496 9742 931 1 0 37 9 0 0 23 0 2 0 869282151 300646400 7249 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 15
/proc/980/statm: 73400 7249 1870 364 0 8287 0
[pid=986] ppid=980 vsize=283356 CPUtime=0.07 cores=0,2,4,6
/proc/986/stat : 986 (python) S 980 980 32706 0 -1 4202560 974 0 0 0 3 4 0 0 15 0 1 0 869282262 290156544 5756 33554432000 4194304 5683644 140735830507344 18446744073709551615 230809185807 0 0 16781312 33554946 72556772316949194 0 0 17 6 0 0 0
/proc/986/statm: 70839 5756 381 364 0 5726 0
[pid=988] ppid=986 vsize=47228 CPUtime=24.38 cores=0,2,4,6
/proc/988/stat : 988 (scip-2.0.1.linu) R 986 988 988 0 -1 4202496 11160 0 0 0 2415 23 0 0 25 0 1 0 869282262 48361472 9605 33554432000 4194304 13684479 140735038624016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/988/statm: 11807 9605 797 2317 0 9485 0
[pid=980/tid=987] ppid=978 vsize=293600 CPUtime=0 cores=0,2,4,6
/proc/980/task/987/stat : 987 (python) S 978 980 32706 0 -1 4202560 29 931 0 0 0 0 0 0 23 0 2 0 869282262 300646400 7249 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835034688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.91
Current children cumulated vsize (KiB) 624184
[startup+51.1153 s]
/proc/loadavg: 1.98 1.57 0.75 4/509 1015
/proc/meminfo: memFree=29174056/32951124 swapFree=36471928/67111528
[pid=980] ppid=978 vsize=304324 CPUtime=0.48 cores=0,2,4,6
/proc/980/stat : 980 (python) S 978 980 32706 0 -1 4202496 10595 931 1 0 39 9 0 0 20 0 3 0 869282151 311627776 7378 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 15
/proc/980/statm: 76081 7378 1873 364 0 10965 0
[pid=986] ppid=980 vsize=293600 CPUtime=0.16 cores=0,2,4,6
/proc/986/stat : 986 (python) S 980 980 32706 0 -1 4202560 1150 0 0 0 8 8 0 0 16 0 2 0 869282262 300646400 5792 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/986/statm: 73400 5792 412 364 0 8287 0
[pid=988] ppid=986 vsize=47968 CPUtime=48.55 cores=0,2,4,6
/proc/988/stat : 988 (scip-2.0.1.linu) T 986 988 988 0 -1 4202496 17101 0 0 0 4810 45 0 0 25 0 1 0 869282262 49119232 9831 33554432000 4194304 13684479 140735038624016 18446744073709551615 7268008 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/988/statm: 11992 9831 821 2317 0 9670 0
[pid=986/tid=994] ppid=980 vsize=293600 CPUtime=0 cores=0,2,4,6
/proc/986/task/994/stat : 994 (python) S 980 980 32706 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869287119 300646400 5792 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554946 18446604448884105344 0 0 -1 6 0 0 0
[pid=995] ppid=980 vsize=294080 CPUtime=0 cores=0,2,4,6
/proc/995/stat : 995 (python) S 980 980 32706 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 1 0 869287121 301137920 5850 33554432000 4194304 5683644 140735830507344 18446744073709551615 230809185862 0 0 16781312 33554946 1998935465264152576 0 0 17 0 0 0 0
/proc/995/statm: 73520 5850 349 364 0 8404 0
[pid=997] ppid=995 vsize=8536452 CPUtime=2.19 cores=0,2,4,6
/proc/997/stat : 997 (java) S 995 997 997 0 -1 4202496 19368 0 1 0 216 3 0 0 20 0 19 0 869287122 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/997/statm: 2134113 14996 2253 9 0 2124854 0
[pid=997/tid=998] ppid=995 vsize=8536452 CPUtime=1.36 cores=0,2,4,6
/proc/997/task/998/stat : 998 (java) R 995 997 997 0 -1 4202560 6799 0 1 0 136 0 0 0 20 0 19 0 869287122 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 46912505667473 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=997/tid=999] ppid=995 vsize=8536452 CPUtime=0 cores=0,2,4,6
/proc/997/task/999/stat : 999 (java) S 995 997 997 0 -1 4202560 225 0 0 0 0 0 0 0 17 0 19 0 869287123 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446604453668565312 0 0 -1 6 0 0 0
[pid=997/tid=1000] ppid=995 vsize=8536452 CPUtime=0 cores=0,2,4,6
/proc/997/task/1000/stat : 1000 (java) S 995 997 997 0 -1 4202560 185 0 0 0 0 0 0 0 17 0 19 0 869287123 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446604453668565312 0 0 -1 4 0 0 0
[pid=997/tid=1001] ppid=995 vsize=8536452 CPUtime=0 cores=0,2,4,6
/proc/997/task/1001/stat : 1001 (java) S 995 997 997 0 -1 4202560 188 0 0 0 0 0 0 0 18 0 19 0 869287123 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446604453668565312 0 0 -1 4 0 0 0
[pid=997/tid=1002] ppid=995 vsize=8536452 CPUtime=0 cores=0,2,4,6
/proc/997/task/1002/stat : 1002 (java) S 995 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869287123 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446604453668565312 0 0 -1 4 0 0 0
[pid=997/tid=1003] ppid=995 vsize=8536452 CPUtime=0 cores=0,2,4,6
/proc/997/task/1003/stat : 1003 (java) S 995 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869287123 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446604453668565312 0 0 -1 4 0 0 0
[pid=997/tid=1004] ppid=995 vsize=8536452 CPUtime=0 cores=0,2,4,6
/proc/997/task/1004/stat : 1004 (java) S 995 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869287123 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446604453668565312 0 0 -1 4 0 0 0
[pid=997/tid=1005] ppid=995 vsize=8536452 CPUtime=0 cores=0,2,4,6
/proc/997/task/1005/stat : 1005 (java) S 995 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869287123 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446604453668565312 0 0 -1 4 0 0 0
[pid=997/tid=1006] ppid=995 vsize=8536452 CPUtime=0 cores=0,2,4,6
/proc/997/task/1006/stat : 1006 (java) S 995 997 997 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 19 0 869287123 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446604453668565312 0 0 -1 4 0 0 0
[pid=997/tid=1007] ppid=995 vsize=8536452 CPUtime=0 cores=0,2,4,6
/proc/997/task/1007/stat : 1007 (java) S 995 997 997 0 -1 4202560 648 0 0 0 0 0 0 0 16 0 19 0 869287124 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820982272 0 0 0 16800975 18446604453668565312 0 0 -1 0 0 0 0
[pid=997/tid=1008] ppid=995 vsize=8536452 CPUtime=0 cores=0,2,4,6
/proc/997/task/1008/stat : 1008 (java) S 995 997 997 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869287124 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446604453668565312 0 0 -1 4 0 0 0
[pid=997/tid=1009] ppid=995 vsize=8536452 CPUtime=0 cores=0,2,4,6
/proc/997/task/1009/stat : 1009 (java) S 995 997 997 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869287124 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446604453668565312 0 0 -1 4 0 0 0
[pid=997/tid=1010] ppid=995 vsize=8536452 CPUtime=0 cores=0,2,4,6
/proc/997/task/1010/stat : 1010 (java) S 995 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869287127 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820989361 0 4 0 16800975 18446604453668565312 0 0 -1 6 0 0 0
[pid=997/tid=1011] ppid=995 vsize=8536452 CPUtime=0.27 cores=0,2,4,6
/proc/997/task/1011/stat : 1011 (java) S 995 997 997 0 -1 4202560 2125 0 0 0 27 0 0 0 15 0 19 0 869287127 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446604453668565312 0 0 -1 4 0 0 0
[pid=997/tid=1012] ppid=995 vsize=8536452 CPUtime=0.51 cores=0,2,4,6
/proc/997/task/1012/stat : 1012 (java) R 995 997 997 0 -1 4202560 7752 0 0 0 50 1 0 0 16 0 19 0 869287127 8741326848 14996 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 47014898405648 0 4 0 16800975 0 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=1022/tid=1034] ppid=980 vsize=304076 CPUtime=0 cores=0,2,4,6
/proc/1022/task/1034/stat : 1034 (python) S 980 980 32706 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869296827 311373824 5843 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554946 18446604441095930304 0 0 -1 6 0 0 0
[pid=1036] ppid=980 vsize=314844 CPUtime=0.05 cores=0,2,4,6
/proc/1036/stat : 1036 (python) S 980 980 32706 0 -1 4202560 961 0 0 0 3 2 0 0 15 0 1 0 869296830 322400256 5930 33554432000 4194304 5683644 140735830507344 18446744073709551615 230809185862 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/1036/statm: 78711 5930 373 364 0 13589 0
[pid=1039] ppid=1036 vsize=47276 CPUtime=15.5 cores=0,2,4,6
/proc/1039/stat : 1039 (wbo1.4a) R 1036 1039 1039 0 -1 4202496 11687 0 0 0 1530 20 0 0 25 0 1 0 869296830 48410624 11368 33554432000 134512640 135751879 4286708784 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/1039/statm: 11819 11368 146 303 0 11514 0
[pid=980/tid=987] ppid=978 vsize=325088 CPUtime=0 cores=0,2,4,6
/proc/980/task/987/stat : 987 (python) S 978 980 32706 0 -1 4202560 29 931 0 0 0 0 0 0 23 0 5 0 869282262 332890112 7438 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835034688 0 0 -1 0 0 0 0
[pid=980/tid=996] ppid=978 vsize=325088 CPUtime=0 cores=0,2,4,6
/proc/980/task/996/stat : 996 (python) S 978 980 32706 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 5 0 869287121 332890112 7438 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835034688 0 0 -1 6 0 0 0
[pid=980/tid=1023] ppid=978 vsize=325088 CPUtime=0 cores=0,2,4,6
/proc/980/task/1023/stat : 1023 (python) S 978 980 32706 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 5 0 869291945 332890112 7438 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835034688 0 0 -1 6 0 0 0
[pid=980/tid=1037] ppid=978 vsize=325088 CPUtime=0 cores=0,2,4,6
/proc/980/task/1037/stat : 1037 (python) S 978 980 32706 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 869296830 332890112 7438 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835034688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 163.46
Current children cumulated vsize (KiB) 10211792
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+197.302 s]
/proc/loadavg: 2.08 1.76 0.94 4/539 1136
/proc/meminfo: memFree=28631736/32951124 swapFree=36471928/67111528
[pid=980] ppid=978 vsize=335344 CPUtime=0.56 cores=0,2,4,6
/proc/980/stat : 980 (python) S 978 980 32706 0 -1 4202496 13186 931 1 0 46 10 0 0 20 0 6 0 869282151 343392256 7444 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 15
/proc/980/statm: 83836 7444 1879 364 0 18711 0
[pid=986] ppid=980 vsize=293600 CPUtime=0.16 cores=0,2,4,6
/proc/986/stat : 986 (python) S 980 980 32706 0 -1 4202560 1150 0 0 0 8 8 0 0 16 0 2 0 869282262 300646400 5792 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/986/statm: 73400 5792 412 364 0 8287 0
[pid=988] ppid=986 vsize=47968 CPUtime=48.55 cores=0,2,4,6
/proc/988/stat : 988 (scip-2.0.1.linu) T 986 988 988 0 -1 4202496 17101 0 0 0 4810 45 0 0 25 0 1 0 869282262 49119232 9831 33554432000 4194304 13684479 140735038624016 18446744073709551615 7268008 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/988/statm: 11992 9831 821 2317 0 9670 0
[pid=986/tid=994] ppid=980 vsize=293600 CPUtime=0 cores=0,2,4,6
/proc/986/task/994/stat : 994 (python) S 980 980 32706 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869287119 300646400 5792 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554946 18446604448884105344 0 0 -1 6 0 0 0
[pid=995] ppid=980 vsize=294080 CPUtime=0.17 cores=0,2,4,6
/proc/995/stat : 995 (python) S 980 980 32706 0 -1 4202560 1113 0 0 0 9 8 0 0 16 0 2 0 869287121 301137920 5899 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/995/statm: 73520 5899 397 364 0 8404 0
[pid=997] ppid=995 vsize=8536660 CPUtime=49.51 cores=0,2,4,6
/proc/997/stat : 997 (java) T 995 997 997 0 -1 4202496 26283 0 1 0 4946 5 0 0 18 0 19 0 869287122 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/997/statm: 2134165 20523 2255 9 0 2124906 0
[pid=997/tid=998] ppid=995 vsize=8536660 CPUtime=47.57 cores=0,2,4,6
/proc/997/task/998/stat : 998 (java) T 995 997 997 0 -1 4202560 6836 0 1 0 4757 0 0 0 25 0 19 0 869287122 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=997/tid=999] ppid=995 vsize=8536660 CPUtime=0.03 cores=0,2,4,6
/proc/997/task/999/stat : 999 (java) T 995 997 997 0 -1 4202560 453 0 0 0 3 0 0 0 15 0 19 0 869287123 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=997/tid=1000] ppid=995 vsize=8536660 CPUtime=0.05 cores=0,2,4,6
/proc/997/task/1000/stat : 1000 (java) T 995 997 997 0 -1 4202560 835 0 0 0 5 0 0 0 15 0 19 0 869287123 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=997/tid=1001] ppid=995 vsize=8536660 CPUtime=0.04 cores=0,2,4,6
/proc/997/task/1001/stat : 1001 (java) T 995 997 997 0 -1 4202560 501 0 0 0 4 0 0 0 15 0 19 0 869287123 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=997/tid=1002] ppid=995 vsize=8536660 CPUtime=0.02 cores=0,2,4,6
/proc/997/task/1002/stat : 1002 (java) T 995 997 997 0 -1 4202560 405 0 0 0 2 0 0 0 15 0 19 0 869287123 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=997/tid=1003] ppid=995 vsize=8536660 CPUtime=0.04 cores=0,2,4,6
/proc/997/task/1003/stat : 1003 (java) T 995 997 997 0 -1 4202560 189 0 0 0 4 0 0 0 15 0 19 0 869287123 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=997/tid=1004] ppid=995 vsize=8536660 CPUtime=0.03 cores=0,2,4,6
/proc/997/task/1004/stat : 1004 (java) T 995 997 997 0 -1 4202560 363 0 0 0 3 0 0 0 15 0 19 0 869287123 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=997/tid=1005] ppid=995 vsize=8536660 CPUtime=0.03 cores=0,2,4,6
/proc/997/task/1005/stat : 1005 (java) T 995 997 997 0 -1 4202560 252 0 0 0 3 0 0 0 15 0 19 0 869287123 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=997/tid=1006] ppid=995 vsize=8536660 CPUtime=0.03 cores=0,2,4,6
/proc/997/task/1006/stat : 1006 (java) T 995 997 997 0 -1 4202560 407 0 0 0 3 0 0 0 15 0 19 0 869287123 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=997/tid=1007] ppid=995 vsize=8536660 CPUtime=0.45 cores=0,2,4,6
/proc/997/task/1007/stat : 1007 (java) T 995 997 997 0 -1 4202560 2785 0 0 0 45 0 0 0 15 0 19 0 869287124 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 47014903208001 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=997/tid=1008] ppid=995 vsize=8536660 CPUtime=0 cores=0,2,4,6
/proc/997/task/1008/stat : 1008 (java) T 995 997 997 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869287124 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=997/tid=1009] ppid=995 vsize=8536660 CPUtime=0 cores=0,2,4,6
/proc/997/task/1009/stat : 1009 (java) T 995 997 997 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869287124 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=997/tid=1010] ppid=995 vsize=8536660 CPUtime=0 cores=0,2,4,6
/proc/997/task/1010/stat : 1010 (java) T 995 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869287127 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820989361 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=997/tid=1011] ppid=995 vsize=8536660 CPUtime=0.33 cores=0,2,4,6
/proc/997/task/1011/stat : 1011 (java) T 995 997 997 0 -1 4202560 2311 0 0 0 33 0 0 0 15 0 19 0 869287127 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=997/tid=1012] ppid=995 vsize=8536660 CPUtime=0.79 cores=0,2,4,6
/proc/997/task/1012/stat : 1012 (java) T 995 997 997 0 -1 4202560 9551 0 0 0 77 2 0 0 15 0 19 0 869287127 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=997/tid=1013] ppid=995 vsize=8536660 CPUtime=0 cores=0,2,4,6
/proc/997/task/1013/stat : 1013 (java) T 995 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869287127 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=997/tid=1014] ppid=995 vsize=8536660 CPUtime=0 cores=0,2,4,6
/proc/997/task/1014/stat : 1014 (java) T 995 997 997 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869287127 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=997/tid=1015] ppid=995 vsize=8536660 CPUtime=0 cores=0,2,4,6
/proc/997/task/1015/stat : 1015 (java) T 995 997 997 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869287153 8741539840 20523 33554432000 1073741824 1073778376 140734160926176 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=995/tid=1021] ppid=980 vsize=294080 CPUtime=0 cores=0,2,4,6
/proc/995/task/1021/stat : 1021 (python) S 980 980 32706 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869291942 301137920 5899 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554946 18446604452409496640 0 0 -1 4 0 0 0
[pid=1022] ppid=980 vsize=304076 CPUtime=0.18 cores=0,2,4,6
/proc/1022/stat : 1022 (python) S 980 980 32706 0 -1 4202560 1106 0 0 0 9 9 0 0 16 0 2 0 869291945 311373824 5843 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1022/statm: 76019 5843 397 364 0 10900 0
[pid=1024] ppid=1022 vsize=48200 CPUtime=48.81 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.linu) T 1022 1024 1024 0 -1 4202496 60189 0 0 0 4846 35 0 0 25 0 1 0 869291945 49356800 9388 33554432000 4194304 15243407 140736458478368 18446744073709551615 8113837 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1024/statm: 12050 9388 946 2698 0 9345 0
[pid=1022/tid=1034] ppid=980 vsize=304076 CPUtime=0 cores=0,2,4,6
/proc/1022/task/1034/stat : 1034 (python) S 980 980 32706 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869296827 311373824 5843 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554946 18446604441095930304 0 0 -1 6 0 0 0
[pid=1036] ppid=980 vsize=314844 CPUtime=0.18 cores=0,2,4,6
/proc/1036/stat : 1036 (python) S 980 980 32706 0 -1 4202560 1145 0 0 0 9 9 0 0 16 0 2 0 869296830 322400256 5955 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1036/statm: 78711 5955 397 364 0 13589 0
[pid=1039] ppid=1036 vsize=118360 CPUtime=49.54 cores=0,2,4,6
/proc/1039/stat : 1039 (wbo1.4a) T 1036 1039 1039 0 -1 4202496 29445 0 0 0 4911 43 0 0 25 0 1 0 869296830 121200640 29126 33554432000 134512640 135751879 4286708784 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/1039/statm: 29590 29126 146 303 0 29285 0
[pid=1036/tid=1111] ppid=980 vsize=314844 CPUtime=0 cores=0,2,4,6
/proc/1036/task/1111/stat : 1111 (python) S 980 980 32706 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869301785 322400256 5955 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554946 18446604446057690112 0 0 -1 6 0 0 0
[pid=1112] ppid=980 vsize=325100 CPUtime=0 cores=0,2,4,6
/proc/1112/stat : 1112 (python) S 980 980 32706 0 -1 4202560 811 0 0 0 0 0 0 0 15 0 1 0 869301788 332902400 5910 33554432000 4194304 5683644 140735830507344 18446744073709551615 230809185862 0 0 16781312 33554946 4294934786 0 0 17 4 0 0 0
/proc/1112/statm: 81275 5910 349 364 0 16150 0
[pid=1114] ppid=1112 vsize=8547936 CPUtime=2.05 cores=0,2,4,6
/proc/1114/stat : 1114 (java) S 1112 1114 1114 0 -1 4202496 35937 0 1 0 199 6 0 0 20 0 19 0 869301788 8753086464 29648 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/1114/statm: 2136984 29649 2224 9 0 2127725 0
[pid=1114/tid=1115] ppid=1112 vsize=8547936 CPUtime=0.94 cores=0,2,4,6
/proc/1114/task/1115/stat : 1115 (java) R 1112 1114 1114 0 -1 4202560 20256 0 1 0 90 4 0 0 19 0 19 0 869301789 8753086464 30027 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 46912505677361 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1114/tid=1116] ppid=1112 vsize=8547936 CPUtime=0 cores=0,2,4,6
/proc/1114/task/1116/stat : 1116 (java) S 1112 1114 1114 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869301789 8753086464 30027 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1114/tid=1117] ppid=1112 vsize=8547936 CPUtime=0 cores=0,2,4,6
/proc/1114/task/1117/stat : 1117 (java) S 1112 1114 1114 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869301789 8753086464 30027 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1114/tid=1118] ppid=1112 vsize=8547936 CPUtime=0 cores=0,2,4,6
/proc/1114/task/1118/stat : 1118 (java) S 1112 1114 1114 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869301789 8753086464 30027 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1114/tid=1120] ppid=1112 vsize=8547936 CPUtime=0 cores=0,2,4,6
/proc/1114/task/1120/stat : 1120 (java) S 1112 1114 1114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301789 8753086464 30028 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 0 0 0 0
[pid=1114/tid=1121] ppid=1112 vsize=8547936 CPUtime=0 cores=0,2,4,6
/proc/1114/task/1121/stat : 1121 (java) S 1112 1114 1114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301789 8753086464 30028 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 0 0 0 0
[pid=1114/tid=1122] ppid=1112 vsize=8547936 CPUtime=0 cores=0,2,4,6
/proc/1114/task/1122/stat : 1122 (java) S 1112 1114 1114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301789 8753086464 30028 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 0 0 0 0
[pid=1114/tid=1124] ppid=1112 vsize=8547936 CPUtime=0 cores=0,2,4,6
/proc/1114/task/1124/stat : 1124 (java) S 1112 1114 1114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301789 8753086464 30028 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 0 0 0 0
[pid=1114/tid=1125] ppid=1112 vsize=8547936 CPUtime=0 cores=0,2,4,6
/proc/1114/task/1125/stat : 1125 (java) S 1112 1114 1114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301789 8753086464 30028 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 0 0 0 0
[pid=1114/tid=1126] ppid=1112 vsize=8547936 CPUtime=0 cores=0,2,4,6
/proc/1114/task/1126/stat : 1126 (java) S 1112 1114 1114 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869301790 8753086464 30028 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820982272 0 0 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1114/tid=1127] ppid=1112 vsize=8547936 CPUtime=0 cores=0,2,4,6
/proc/1114/task/1127/stat : 1127 (java) S 1112 1114 1114 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869301791 8753086464 30029 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1114/tid=1128] ppid=1112 vsize=8547936 CPUtime=0 cores=0,2,4,6
/proc/1114/task/1128/stat : 1128 (java) S 1112 1114 1114 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 869301791 8753086464 30030 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 0 0 0 0
[pid=1114/tid=1129] ppid=1112 vsize=8547936 CPUtime=0 cores=0,2,4,6
/proc/1114/task/1129/stat : 1129 (java) S 1112 1114 1114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301793 8753086464 30030 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820989361 0 4 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1114/tid=1131] ppid=1112 vsize=8547936 CPUtime=0.52 cores=0,2,4,6
/proc/1114/task/1131/stat : 1131 (java) S 1112 1114 1114 0 -1 4202560 4819 0 0 0 52 0 0 0 16 0 19 0 869301793 8753086464 30031 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1114/tid=1132] ppid=1112 vsize=8547936 CPUtime=0.58 cores=0,2,4,6
/proc/1114/task/1132/stat : 1132 (java) S 1112 1114 1114 0 -1 4202560 9841 0 0 0 57 1 0 0 17 0 19 0 869301793 8753086464 30031 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 4 0 0 0
[pid=1114/tid=1133] ppid=1112 vsize=8547936 CPUtime=0 cores=0,2,4,6
/proc/1114/task/1133/stat : 1133 (java) S 1112 1114 1114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301793 8753086464 30031 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1114/tid=1135] ppid=1112 vsize=8547936 CPUtime=0 cores=0,2,4,6
/proc/1114/task/1135/stat : 1135 (java) S 1112 1114 1114 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869301793 8753086464 30031 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820982272 0 4 0 16800975 18446604443927582592 0 0 -1 2 0 0 0
[pid=1114/tid=1136] ppid=1112 vsize=8547936 CPUtime=0 cores=0,2,4,6
/proc/1114/task/1136/stat : 1136 (java) S 1112 1114 1114 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869301820 8753086464 30036 33554432000 1073741824 1073778376 140735509127840 18446744073709551615 230820982272 0 4 0 16800975 18446604443927582592 0 0 -1 4 0 0 0
[pid=980/tid=987] ppid=978 vsize=335344 CPUtime=0 cores=0,2,4,6
/proc/980/task/987/stat : 987 (python) S 978 980 32706 0 -1 4202560 29 931 0 0 0 0 0 0 23 0 6 0 869282262 343392256 7444 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835034688 0 0 -1 0 0 0 0
[pid=980/tid=996] ppid=978 vsize=335344 CPUtime=0 cores=0,2,4,6
/proc/980/task/996/stat : 996 (python) S 978 980 32706 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 869287121 343392256 7444 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835034688 0 0 -1 6 0 0 0
[pid=980/tid=1023] ppid=978 vsize=335344 CPUtime=0 cores=0,2,4,6
/proc/980/task/1023/stat : 1023 (python) S 978 980 32706 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 6 0 869291945 343392256 7444 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835034688 0 0 -1 6 0 0 0
[pid=980/tid=1037] ppid=978 vsize=335344 CPUtime=0 cores=0,2,4,6
/proc/980/task/1037/stat : 1037 (python) S 978 980 32706 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 869296830 343392256 7444 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835034688 0 0 -1 6 0 0 0
[pid=980/tid=1113] ppid=978 vsize=335344 CPUtime=0 cores=0,2,4,6
/proc/980/task/1113/stat : 1113 (python) S 978 980 32706 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 869301788 343392256 7444 33554432000 4194304 5683644 140735830507344 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835034688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 199.71
Current children cumulated vsize (KiB) 19166168
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 980 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=469928
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=107983
# CPU time returned by wait4() is 0.577911
# while last known CPU time is 199.71
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 197.375
CPU time (s): 199.71
CPU user time (s): 197.93
CPU system time (s): 1.78
CPU usage (%): 101.183
Max. virtual memory (cumulated for all children) (KiB): 19166168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.469928
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14120
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= 1006
involuntary context switches= 38
runsolver used 1.06784 second user time and 1.89371 second system time
The end