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-3481563-1307578191/watcher-3481563-1307578191 -o /tmp/evaluation-result-3481563-1307578191/solver-3481563-1307578191 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481563-1307578191.opb -seed 2112531274 -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: 2.32 2.13 1.75 3/692 2080
/proc/meminfo: memFree=15248700/32951124 swapFree=36471928/67111528
[pid=2080] ppid=2078 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/2080/stat : 2080 (python) S 2078 2080 32706 0 -1 4202496 819 0 0 0 0 0 0 0 25 0 1 0 869419646 15753216 704 33554432000 4194304 5683644 140735415102016 18446744073709551615 230809163776 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/2080/statm: 3846 704 334 364 0 333 0
[startup+0.028481 s]
/proc/loadavg: 2.32 2.13 1.75 3/692 2080
/proc/meminfo: memFree=15248700/32951124 swapFree=36471928/67111528
[pid=2080] ppid=2078 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/2080/stat : 2080 (python) R 2078 2080 32706 0 -1 4202496 1116 0 0 0 1 0 0 0 25 0 1 0 869419646 16789504 984 33554432000 4194304 5683644 140735415102016 18446744073709551615 230809163776 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/2080/statm: 4099 988 413 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.100443 s]
/proc/loadavg: 2.32 2.13 1.75 3/692 2080
/proc/meminfo: memFree=15248700/32951124 swapFree=36471928/67111528
[pid=2080] ppid=2078 vsize=85624 CPUtime=0.05 cores=0,2,4,6
/proc/2080/stat : 2080 (python) R 2078 2080 32706 0 -1 4202496 2641 0 0 0 4 1 0 0 25 0 1 0 869419646 87678976 2361 33554432000 4194304 5683644 140735415102016 18446744073709551615 5213963 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/2080/statm: 21406 2364 715 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85624
[startup+0.300449 s]
/proc/loadavg: 2.32 2.13 1.75 3/692 2080
/proc/meminfo: memFree=15248700/32951124 swapFree=36471928/67111528
[pid=2080] ppid=2078 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/2080/stat : 2080 (python) R 2078 2080 32706 0 -1 4202496 5358 931 1 0 12 5 0 0 17 0 1 0 869419646 126713856 3745 33554432000 4194304 5683644 140735415102016 18446744073709551615 230809161733 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/2080/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.714386 s]
/proc/loadavg: 2.32 2.13 1.75 3/692 2080
/proc/meminfo: memFree=15248700/32951124 swapFree=36471928/67111528
[pid=2080] ppid=2078 vsize=282404 CPUtime=0.45 cores=0,2,4,6
/proc/2080/stat : 2080 (python) S 2078 2080 32706 0 -1 4202496 9200 931 1 0 32 13 0 0 16 0 1 0 869419646 289181696 6937 33554432000 4194304 5683644 140735415102016 18446744073709551615 230809185807 0 0 16781312 2 4294934785 0 0 17 4 0 0 0
/proc/2080/statm: 70601 6937 1777 364 0 5494 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 282404
[startup+1.5002 s]
/proc/loadavg: 2.32 2.13 1.75 3/694 2086
/proc/meminfo: memFree=15223620/32951124 swapFree=36471928/67111528
[pid=2080] ppid=2078 vsize=289900 CPUtime=0.45 cores=0,2,4,6
/proc/2080/stat : 2080 (python) R 2078 2080 32706 0 -1 4202496 11061 931 1 0 32 13 0 0 18 0 1 0 869419646 296857600 8792 33554432000 4194304 5683644 140735415102016 18446744073709551615 230809185807 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/2080/statm: 72475 8792 1777 364 0 7368 0
[pid=2086] ppid=2080 vsize=3744 CPUtime=0.79 cores=0,2,4,6
/proc/2086/stat : 2086 (PBlinearize) R 2080 2080 32706 0 -1 4202496 944 0 0 0 73 6 0 0 18 0 1 0 869419715 3833856 702 33554432000 4194304 5518411 140733502471024 18446744073709551615 4926752 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/2086/statm: 936 702 126 324 0 608 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 293644
[startup+3.10094 s]
/proc/loadavg: 2.61 2.19 1.77 3/693 2087
/proc/meminfo: memFree=15175896/32951124 swapFree=36471928/67111528
[pid=2080] ppid=2078 vsize=325512 CPUtime=2.86 cores=0,2,4,6
/proc/2080/stat : 2080 (python) R 2078 2080 32706 0 -1 4202496 33747 1876 1 0 157 16 102 11 19 0 1 0 869419646 333324288 17725 33554432000 4194304 5683644 140735415102016 18446744073709551615 47657463006225 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/2080/statm: 81378 17725 1816 364 0 16271 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 325512
[startup+6.30035 s]
/proc/loadavg: 2.61 2.19 1.77 3/696 2090
/proc/meminfo: memFree=15155908/32951124 swapFree=36471928/67111528
[pid=2080] ppid=2078 vsize=338784 CPUtime=4.81 cores=0,2,4,6
/proc/2080/stat : 2080 (python) S 2078 2080 32706 0 -1 4202496 35154 1876 1 0 352 16 102 11 25 0 2 0 869419646 346914816 18535 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2080/statm: 84696 18535 1871 364 0 19583 0
[pid=2088] ppid=2080 vsize=328540 CPUtime=0 cores=0,2,4,6
/proc/2088/stat : 2088 (python) S 2080 2080 32706 0 -1 4202560 699 0 0 0 0 0 0 0 18 0 1 0 869420153 336424960 16978 33554432000 4194304 5683644 140735415102016 18446744073709551615 230809185807 0 0 16781312 33554946 10134080926682939652 0 0 17 4 0 0 0
/proc/2088/statm: 82135 16978 318 364 0 17022 0
[pid=2090] ppid=2088 vsize=50580 CPUtime=1.21 cores=0,2,4,6
/proc/2090/stat : 2090 (wbo1.4a) R 2088 2090 2090 0 -1 4202496 15646 0 0 0 119 2 0 0 25 0 1 0 869420153 51793920 11638 33554432000 134512640 135751879 4293631520 18446744073709551615 134519008 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/2090/statm: 12645 11638 145 303 0 12340 0
[pid=2080/tid=2089] ppid=2078 vsize=338784 CPUtime=1.13 cores=0,2,4,6
/proc/2080/task/2089/stat : 2089 (python) S 2078 2080 32706 0 -1 4202560 28 1876 0 0 0 0 102 11 25 0 2 0 869420153 346914816 18535 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554434 18446604447663450816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 717904
[startup+12.7012 s]
/proc/loadavg: 2.59 2.20 1.78 3/696 2090
/proc/meminfo: memFree=15110356/32951124 swapFree=36471928/67111528
[pid=2080] ppid=2078 vsize=338784 CPUtime=4.81 cores=0,2,4,6
/proc/2080/stat : 2080 (python) S 2078 2080 32706 0 -1 4202496 35154 1876 1 0 352 16 102 11 25 0 2 0 869419646 346914816 18535 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2080/statm: 84696 18535 1871 364 0 19583 0
[pid=2088] ppid=2080 vsize=328540 CPUtime=0.02 cores=0,2,4,6
/proc/2088/stat : 2088 (python) S 2080 2080 32706 0 -1 4202560 856 0 0 0 1 1 0 0 15 0 1 0 869420153 336424960 17002 33554432000 4194304 5683644 140735415102016 18446744073709551615 230809185807 0 0 16781312 33554946 10134080926682939652 0 0 17 4 0 0 0
/proc/2088/statm: 82135 17002 342 364 0 17022 0
[pid=2090] ppid=2088 vsize=64020 CPUtime=7.61 cores=0,2,4,6
/proc/2090/stat : 2090 (wbo1.4a) R 2088 2090 2090 0 -1 4202496 20516 0 0 0 758 3 0 0 25 0 1 0 869420153 65556480 14991 33554432000 134512640 135751879 4293631520 18446744073709551615 134606383 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/2090/statm: 16005 14991 146 303 0 15700 0
[pid=2080/tid=2089] ppid=2078 vsize=338784 CPUtime=1.13 cores=0,2,4,6
/proc/2080/task/2089/stat : 2089 (python) S 2078 2080 32706 0 -1 4202560 28 1876 0 0 0 0 102 11 25 0 2 0 869420153 346914816 18535 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554434 18446604447663450816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 731344
[startup+25.5008 s]
/proc/loadavg: 2.50 2.19 1.78 3/696 2090
/proc/meminfo: memFree=15102452/32951124 swapFree=36471928/67111528
[pid=2080] ppid=2078 vsize=338784 CPUtime=4.81 cores=0,2,4,6
/proc/2080/stat : 2080 (python) S 2078 2080 32706 0 -1 4202496 35154 1876 1 0 352 16 102 11 25 0 2 0 869419646 346914816 18535 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2080/statm: 84696 18535 1871 364 0 19583 0
[pid=2088] ppid=2080 vsize=328540 CPUtime=0.06 cores=0,2,4,6
/proc/2088/stat : 2088 (python) S 2080 2080 32706 0 -1 4202560 864 0 0 0 3 3 0 0 15 0 1 0 869420153 336424960 17002 33554432000 4194304 5683644 140735415102016 18446744073709551615 230809185807 0 0 16781312 33554946 72409437758827352 0 0 17 4 0 0 0
/proc/2088/statm: 82135 17002 342 364 0 17022 0
[pid=2090] ppid=2088 vsize=72984 CPUtime=20.41 cores=0,2,4,6
/proc/2090/stat : 2090 (wbo1.4a) R 2088 2090 2090 0 -1 4202496 22767 0 0 0 2035 6 0 0 25 0 1 0 869420153 74735616 17242 33554432000 134512640 135751879 4293631520 18446744073709551615 134606389 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/2090/statm: 18246 17242 146 303 0 17941 0
[pid=2080/tid=2089] ppid=2078 vsize=338784 CPUtime=1.13 cores=0,2,4,6
/proc/2080/task/2089/stat : 2089 (python) S 2078 2080 32706 0 -1 4202560 28 1876 0 0 0 0 102 11 25 0 2 0 869420153 346914816 18535 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554434 18446604447663450816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 740308
[startup+51.1012 s]
/proc/loadavg: 2.39 2.19 1.79 3/697 2092
/proc/meminfo: memFree=15074272/32951124 swapFree=36471928/67111528
[pid=2080] ppid=2078 vsize=338784 CPUtime=4.81 cores=0,2,4,6
/proc/2080/stat : 2080 (python) S 2078 2080 32706 0 -1 4202496 35154 1876 1 0 352 16 102 11 25 0 2 0 869419646 346914816 18535 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2080/statm: 84696 18535 1871 364 0 19583 0
[pid=2088] ppid=2080 vsize=328540 CPUtime=0.16 cores=0,2,4,6
/proc/2088/stat : 2088 (python) S 2080 2080 32706 0 -1 4202560 873 0 0 0 8 8 0 0 15 0 1 0 869420153 336424960 17002 33554432000 4194304 5683644 140735415102016 18446744073709551615 230809185807 0 0 16781312 33554946 72556772316949336 0 0 17 6 0 0 0
/proc/2088/statm: 82135 17002 342 364 0 17022 0
[pid=2090] ppid=2088 vsize=100680 CPUtime=46.02 cores=0,2,4,6
/proc/2090/stat : 2090 (wbo1.4a) R 2088 2090 2090 0 -1 4202496 29684 0 0 0 4593 9 0 0 25 0 1 0 869420153 103096320 24159 33554432000 134512640 135751879 4293631520 18446744073709551615 134606387 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/2090/statm: 25170 24159 146 303 0 24865 0
[pid=2080/tid=2089] ppid=2078 vsize=338784 CPUtime=1.13 cores=0,2,4,6
/proc/2080/task/2089/stat : 2089 (python) S 2078 2080 32706 0 -1 4202560 28 1876 0 0 0 0 102 11 25 0 2 0 869420153 346914816 18535 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554434 18446604447663450816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 768004
[startup+102.301 s]
/proc/loadavg: 2.15 2.16 1.81 3/701 2097
/proc/meminfo: memFree=14408968/32951124 swapFree=36471928/67111528
[pid=2080] ppid=2078 vsize=349040 CPUtime=4.85 cores=0,2,4,6
/proc/2080/stat : 2080 (python) S 2078 2080 32706 0 -1 4202496 36074 1876 1 0 355 17 102 11 20 0 3 0 869419646 357416960 18542 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/2080/statm: 87260 18542 1874 364 0 22144 0
[pid=2088] ppid=2080 vsize=338784 CPUtime=0.18 cores=0,2,4,6
/proc/2088/stat : 2088 (python) S 2080 2080 32706 0 -1 4202560 1078 0 0 0 9 9 0 0 16 0 2 0 869420153 346914816 17070 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2088/statm: 84696 17070 405 364 0 19583 0
[pid=2090] ppid=2088 vsize=104052 CPUtime=49.68 cores=0,2,4,6
/proc/2090/stat : 2090 (wbo1.4a) T 2088 2090 2090 0 -1 4202496 30529 0 0 0 4958 10 0 0 25 0 1 0 869420153 106549248 25004 33554432000 134512640 135751879 4293631520 18446744073709551615 134518474 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/2090/statm: 26013 25004 146 303 0 25708 0
[pid=2088/tid=2093] ppid=2080 vsize=338784 CPUtime=0 cores=0,2,4,6
/proc/2088/task/2093/stat : 2093 (python) S 2080 2080 32706 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869425122 346914816 17070 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554946 18446604453934840768 0 0 -1 0 0 0 0
[pid=2094] ppid=2080 vsize=338796 CPUtime=0.16 cores=0,2,4,6
/proc/2094/stat : 2094 (python) S 2080 2080 32706 0 -1 4202560 923 0 0 0 8 8 0 0 15 0 1 0 869425124 346927104 17007 33554432000 4194304 5683644 140735415102016 18446744073709551615 230809185862 0 0 16781312 33554946 72556772316949336 0 0 17 6 0 0 0
/proc/2094/statm: 84699 17007 343 364 0 19583 0
[pid=2096] ppid=2094 vsize=676952 CPUtime=47.5 cores=0,2,4,6
/proc/2096/stat : 2096 (scip-2.0.1.linu) R 2094 2096 2096 0 -1 4202496 171373 0 0 0 4721 29 0 0 25 0 1 0 869425124 693198848 162276 33554432000 4194304 13684479 140737247174256 18446744073709551615 7390857 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2096/statm: 169238 162276 794 2317 0 166916 0
[pid=2080/tid=2089] ppid=2078 vsize=349040 CPUtime=1.13 cores=0,2,4,6
/proc/2080/task/2089/stat : 2089 (python) S 2078 2080 32706 0 -1 4202560 28 1876 0 0 0 0 102 11 25 0 3 0 869420153 357416960 18542 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554434 18446604447663450816 0 0 -1 6 0 0 0
[pid=2080/tid=2095] ppid=2078 vsize=349040 CPUtime=1.13 cores=0,2,4,6
/proc/2080/task/2095/stat : 2095 (python) S 2078 2080 32706 0 -1 4202560 25 1876 0 0 0 0 102 11 20 0 3 0 869425124 357416960 18542 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554434 18446604447663450816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 1807624
[startup+162.302 s]
/proc/loadavg: 2.06 2.13 1.82 3/727 2125
/proc/meminfo: memFree=12138448/32951124 swapFree=36471928/67111528
[pid=2080] ppid=2078 vsize=369552 CPUtime=4.91 cores=0,2,4,6
/proc/2080/stat : 2080 (python) S 2078 2080 32706 0 -1 4202496 37819 1876 1 0 360 18 102 11 20 0 5 0 869419646 378421248 18554 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/2080/statm: 92388 18554 1878 364 0 27266 0
[pid=2088] ppid=2080 vsize=338784 CPUtime=0.18 cores=0,2,4,6
/proc/2088/stat : 2088 (python) S 2080 2080 32706 0 -1 4202560 1078 0 0 0 9 9 0 0 16 0 2 0 869420153 346914816 17070 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2088/statm: 84696 17070 405 364 0 19583 0
[pid=2090] ppid=2088 vsize=104052 CPUtime=49.68 cores=0,2,4,6
/proc/2090/stat : 2090 (wbo1.4a) T 2088 2090 2090 0 -1 4202496 30529 0 0 0 4958 10 0 0 25 0 1 0 869420153 106549248 25004 33554432000 134512640 135751879 4293631520 18446744073709551615 134518474 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/2090/statm: 26013 25004 146 303 0 25708 0
[pid=2088/tid=2093] ppid=2080 vsize=338784 CPUtime=0 cores=0,2,4,6
/proc/2088/task/2093/stat : 2093 (python) S 2080 2080 32706 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869425122 346914816 17070 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554946 18446604453934840768 0 0 -1 0 0 0 0
[pid=2094] ppid=2080 vsize=338796 CPUtime=0.17 cores=0,2,4,6
/proc/2094/stat : 2094 (python) S 2080 2080 32706 0 -1 4202560 1118 0 0 0 9 8 0 0 16 0 2 0 869425124 346927104 17055 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2094/statm: 84699 17055 390 364 0 19583 0
[pid=2096] ppid=2094 vsize=676952 CPUtime=47.92 cores=0,2,4,6
/proc/2096/stat : 2096 (scip-2.0.1.linu) T 2094 2096 2096 0 -1 4202496 171373 0 0 0 4763 29 0 0 25 0 1 0 869425124 693198848 162276 33554432000 4194304 13684479 140737247174256 18446744073709551615 7390546 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/2096/statm: 169238 162276 794 2317 0 166916 0
################
# More data... #
################
[pid=2101/tid=2119] ppid=2099 vsize=8547952 CPUtime=0 cores=0,2,4,6
/proc/2101/task/2119/stat : 2119 (java) T 2099 2101 2101 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869430038 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2099/tid=2121] ppid=2080 vsize=349052 CPUtime=0 cores=0,2,4,6
/proc/2099/task/2121/stat : 2121 (python) S 2080 2080 32706 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869434602 357429248 17059 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554946 18446604442679193664 0 0 -1 6 0 0 0
[pid=2122] ppid=2080 vsize=359308 CPUtime=0.26 cores=0,2,4,6
/proc/2122/stat : 2122 (python) S 2080 2080 32706 0 -1 4202560 998 0 0 0 14 12 0 0 15 0 1 0 869434604 367931392 17015 33554432000 4194304 5683644 140735415102016 18446744073709551615 230809185862 0 0 16781312 33554946 72556772316949336 0 0 17 6 0 0 0
/proc/2122/statm: 89827 17015 343 364 0 24705 0
[pid=2124] ppid=2122 vsize=227844 CPUtime=72.71 cores=0,2,4,6
/proc/2124/stat : 2124 (clasp-1.3.7-x86) R 2122 2124 2124 0 -1 4202496 58104 0 0 0 7263 8 0 0 25 0 1 0 869434605 233312256 56046 33554432000 134512640 136139019 4293553824 18446744073709551615 134621984 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/2124/statm: 56961 56046 189 398 0 56561 0
[pid=2080/tid=2089] ppid=2078 vsize=369552 CPUtime=1.13 cores=0,2,4,6
/proc/2080/task/2089/stat : 2089 (python) S 2078 2080 32706 0 -1 4202560 28 1876 0 0 0 0 102 11 25 0 5 0 869420153 378421248 18554 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554434 18446604447663450816 0 0 -1 6 0 0 0
[pid=2080/tid=2095] ppid=2078 vsize=369552 CPUtime=1.13 cores=0,2,4,6
/proc/2080/task/2095/stat : 2095 (python) S 2078 2080 32706 0 -1 4202560 25 1876 0 0 0 0 102 11 20 0 5 0 869425124 378421248 18554 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554434 18446604447663450816 0 0 -1 0 0 0 0
[pid=2080/tid=2100] ppid=2078 vsize=369552 CPUtime=1.13 cores=0,2,4,6
/proc/2080/task/2100/stat : 2100 (python) S 2078 2080 32706 0 -1 4202560 31 1876 0 0 0 0 102 11 20 0 5 0 869429921 378421248 18554 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554434 18446604447663450816 0 0 -1 0 0 0 0
[pid=2080/tid=2123] ppid=2078 vsize=369552 CPUtime=1.13 cores=0,2,4,6
/proc/2080/task/2123/stat : 2123 (python) S 2078 2080 32706 0 -1 4202560 31 1876 0 0 0 0 102 11 20 0 5 0 869434605 378421248 18554 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554434 18446604447663450816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 225.36
Current children cumulated vsize (KiB) 11312292
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+246.202 s]
/proc/loadavg: 2.01 2.09 1.83 6/748 2148
/proc/meminfo: memFree=11900940/32951124 swapFree=36471928/67111528
[pid=2080] ppid=2078 vsize=379808 CPUtime=4.93 cores=0,2,4,6
/proc/2080/stat : 2080 (python) S 2078 2080 32706 0 -1 4202496 38713 1876 1 0 362 18 102 11 20 0 6 0 869419646 388923392 18560 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/2080/statm: 94952 18560 1880 364 0 29827 0
[pid=2088] ppid=2080 vsize=338784 CPUtime=0.18 cores=0,2,4,6
/proc/2088/stat : 2088 (python) S 2080 2080 32706 0 -1 4202560 1078 0 0 0 9 9 0 0 16 0 2 0 869420153 346914816 17070 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2088/statm: 84696 17070 405 364 0 19583 0
[pid=2090] ppid=2088 vsize=104052 CPUtime=49.68 cores=0,2,4,6
/proc/2090/stat : 2090 (wbo1.4a) T 2088 2090 2090 0 -1 4202496 30529 0 0 0 4958 10 0 0 25 0 1 0 869420153 106549248 25004 33554432000 134512640 135751879 4293631520 18446744073709551615 134518474 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/2090/statm: 26013 25004 146 303 0 25708 0
[pid=2088/tid=2093] ppid=2080 vsize=338784 CPUtime=0 cores=0,2,4,6
/proc/2088/task/2093/stat : 2093 (python) S 2080 2080 32706 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869425122 346914816 17070 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554946 18446604453934840768 0 0 -1 0 0 0 0
[pid=2094] ppid=2080 vsize=338796 CPUtime=0.17 cores=0,2,4,6
/proc/2094/stat : 2094 (python) S 2080 2080 32706 0 -1 4202560 1118 0 0 0 9 8 0 0 16 0 2 0 869425124 346927104 17055 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2094/statm: 84699 17055 390 364 0 19583 0
[pid=2096] ppid=2094 vsize=676952 CPUtime=47.92 cores=0,2,4,6
/proc/2096/stat : 2096 (scip-2.0.1.linu) T 2094 2096 2096 0 -1 4202496 171373 0 0 0 4763 29 0 0 25 0 1 0 869425124 693198848 162276 33554432000 4194304 13684479 140737247174256 18446744073709551615 7390546 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/2096/statm: 169238 162276 794 2317 0 166916 0
[pid=2094/tid=2098] ppid=2080 vsize=338796 CPUtime=0 cores=0,2,4,6
/proc/2094/task/2098/stat : 2098 (python) S 2080 2080 32706 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869429918 346927104 17055 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554946 18446604441095931200 0 0 -1 6 0 0 0
[pid=2099] ppid=2080 vsize=349052 CPUtime=0.17 cores=0,2,4,6
/proc/2099/stat : 2099 (python) S 2080 2080 32706 0 -1 4202560 1124 0 0 0 9 8 0 0 17 0 2 0 869429921 357429248 17059 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2099/statm: 87263 17059 390 364 0 22144 0
[pid=2101] ppid=2099 vsize=8547952 CPUtime=49.36 cores=0,2,4,6
/proc/2101/stat : 2101 (java) T 2099 2101 2101 0 -1 4202496 557134 0 1 0 4875 61 0 0 18 0 19 0 869429921 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2101/statm: 2136988 552987 2249 9 0 2127729 0
[pid=2101/tid=2102] ppid=2099 vsize=8547952 CPUtime=46.46 cores=0,2,4,6
/proc/2101/task/2102/stat : 2102 (java) T 2099 2101 2101 0 -1 4202560 483362 0 1 0 4595 51 0 0 25 0 19 0 869429922 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 46912505971219 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=2101/tid=2103] ppid=2099 vsize=8547952 CPUtime=0.2 cores=0,2,4,6
/proc/2101/task/2103/stat : 2103 (java) T 2099 2101 2101 0 -1 4202560 12732 0 0 0 19 1 0 0 15 0 19 0 869429923 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2101/tid=2104] ppid=2099 vsize=8547952 CPUtime=0.19 cores=0,2,4,6
/proc/2101/task/2104/stat : 2104 (java) T 2099 2101 2101 0 -1 4202560 11196 0 0 0 19 0 0 0 15 0 19 0 869429923 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2101/tid=2105] ppid=2099 vsize=8547952 CPUtime=0.12 cores=0,2,4,6
/proc/2101/task/2105/stat : 2105 (java) T 2099 2101 2101 0 -1 4202560 7488 0 0 0 12 0 0 0 15 0 19 0 869429923 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=2101/tid=2106] ppid=2099 vsize=8547952 CPUtime=0.2 cores=0,2,4,6
/proc/2101/task/2106/stat : 2106 (java) T 2099 2101 2101 0 -1 4202560 10863 0 0 0 18 2 0 0 15 0 19 0 869429923 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2101/tid=2107] ppid=2099 vsize=8547952 CPUtime=0.13 cores=0,2,4,6
/proc/2101/task/2107/stat : 2107 (java) T 2099 2101 2101 0 -1 4202560 7443 0 0 0 13 0 0 0 15 0 19 0 869429923 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2101/tid=2108] ppid=2099 vsize=8547952 CPUtime=0.08 cores=0,2,4,6
/proc/2101/task/2108/stat : 2108 (java) T 2099 2101 2101 0 -1 4202560 4233 0 0 0 8 0 0 0 15 0 19 0 869429923 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=2101/tid=2109] ppid=2099 vsize=8547952 CPUtime=0.05 cores=0,2,4,6
/proc/2101/task/2109/stat : 2109 (java) T 2099 2101 2101 0 -1 4202560 2548 0 0 0 5 0 0 0 15 0 19 0 869429923 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2101/tid=2110] ppid=2099 vsize=8547952 CPUtime=0.09 cores=0,2,4,6
/proc/2101/task/2110/stat : 2110 (java) T 2099 2101 2101 0 -1 4202560 4552 0 0 0 9 0 0 0 15 0 19 0 869429923 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2101/tid=2111] ppid=2099 vsize=8547952 CPUtime=0 cores=0,2,4,6
/proc/2101/task/2111/stat : 2111 (java) T 2099 2101 2101 0 -1 4202560 1268 0 0 0 0 0 0 0 15 0 19 0 869429924 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820982272 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2101/tid=2112] ppid=2099 vsize=8547952 CPUtime=0 cores=0,2,4,6
/proc/2101/task/2112/stat : 2112 (java) T 2099 2101 2101 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869429924 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2101/tid=2113] ppid=2099 vsize=8547952 CPUtime=0 cores=0,2,4,6
/proc/2101/task/2113/stat : 2113 (java) T 2099 2101 2101 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869429924 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2101/tid=2114] ppid=2099 vsize=8547952 CPUtime=0 cores=0,2,4,6
/proc/2101/task/2114/stat : 2114 (java) T 2099 2101 2101 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869429926 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820989361 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=2101/tid=2115] ppid=2099 vsize=8547952 CPUtime=0.84 cores=0,2,4,6
/proc/2101/task/2115/stat : 2115 (java) T 2099 2101 2101 0 -1 4202560 4812 0 0 0 84 0 0 0 15 0 19 0 869429926 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2101/tid=2116] ppid=2099 vsize=8547952 CPUtime=0.87 cores=0,2,4,6
/proc/2101/task/2116/stat : 2116 (java) T 2099 2101 2101 0 -1 4202560 5239 0 0 0 87 0 0 0 15 0 19 0 869429926 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2101/tid=2117] ppid=2099 vsize=8547952 CPUtime=0 cores=0,2,4,6
/proc/2101/task/2117/stat : 2117 (java) T 2099 2101 2101 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869429926 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=2101/tid=2118] ppid=2099 vsize=8547952 CPUtime=0 cores=0,2,4,6
/proc/2101/task/2118/stat : 2118 (java) T 2099 2101 2101 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869429926 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2101/tid=2119] ppid=2099 vsize=8547952 CPUtime=0 cores=0,2,4,6
/proc/2101/task/2119/stat : 2119 (java) T 2099 2101 2101 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869430038 8753102848 552987 33554432000 1073741824 1073778376 140734994825632 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2099/tid=2121] ppid=2080 vsize=349052 CPUtime=0 cores=0,2,4,6
/proc/2099/task/2121/stat : 2121 (python) S 2080 2080 32706 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869434602 357429248 17059 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554946 18446604442679193664 0 0 -1 6 0 0 0
[pid=2122] ppid=2080 vsize=359308 CPUtime=0.35 cores=0,2,4,6
/proc/2122/stat : 2122 (python) S 2080 2080 32706 0 -1 4202560 1202 0 0 0 19 16 0 0 16 0 2 0 869434604 367931392 17063 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2122/statm: 89827 17063 390 364 0 24705 0
[pid=2124] ppid=2122 vsize=228248 CPUtime=96.13 cores=0,2,4,6
/proc/2124/stat : 2124 (clasp-1.3.7-x86) T 2122 2124 2124 0 -1 4202496 58193 0 0 0 9605 8 0 0 25 0 1 0 869434605 233725952 56135 33554432000 134512640 136139019 4293553824 18446744073709551615 134742352 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/2124/statm: 57062 56135 189 398 0 56662 0
[pid=2122/tid=2128] ppid=2080 vsize=359308 CPUtime=0 cores=0,2,4,6
/proc/2122/task/2128/stat : 2128 (python) S 2080 2080 32706 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869444219 367931392 17063 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554946 18446604452409495744 0 0 -1 6 0 0 0
[pid=2129] ppid=2080 vsize=369564 CPUtime=0 cores=0,2,4,6
/proc/2129/stat : 2129 (python) S 2080 2080 32706 0 -1 4202560 807 0 0 0 0 0 0 0 18 0 1 0 869444221 378433536 16995 33554432000 4194304 5683644 140735415102016 18446744073709551615 230809185862 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/2129/statm: 92391 16995 319 364 0 27266 0
[pid=2131] ppid=2129 vsize=8541260 CPUtime=0.95 cores=0,2,4,6
/proc/2131/stat : 2131 (java) S 2129 2131 2131 0 -1 4202496 18859 0 1 0 92 3 0 0 20 0 18 0 869444222 8746250240 15658 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2131/statm: 2135315 15658 2217 9 0 2126056 0
[pid=2131/tid=2132] ppid=2129 vsize=8541260 CPUtime=0.44 cores=0,2,4,6
/proc/2131/task/2132/stat : 2132 (java) R 2129 2131 2131 0 -1 4202560 8623 0 1 0 44 0 0 0 18 0 18 0 869444223 8746250240 15825 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 47830084766547 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2131/tid=2133] ppid=2129 vsize=8541260 CPUtime=0 cores=0,2,4,6
/proc/2131/task/2133/stat : 2133 (java) S 2129 2131 2131 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869444223 8746250240 15826 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 230820981657 0 4 0 16800975 18446604442273502400 0 0 -1 2 0 0 0
[pid=2131/tid=2134] ppid=2129 vsize=8541260 CPUtime=0 cores=0,2,4,6
/proc/2131/task/2134/stat : 2134 (java) S 2129 2131 2131 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869444223 8746250240 15826 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 230820981657 0 4 0 16800975 18446604442273502400 0 0 -1 2 0 0 0
[pid=2131/tid=2135] ppid=2129 vsize=8541260 CPUtime=0 cores=0,2,4,6
/proc/2131/task/2135/stat : 2135 (java) S 2129 2131 2131 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869444223 8746250240 15827 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 230820981657 0 4 0 16800975 18446604442273502400 0 0 -1 2 0 0 0
[pid=2131/tid=2136] ppid=2129 vsize=8541260 CPUtime=0 cores=0,2,4,6
/proc/2131/task/2136/stat : 2136 (java) S 2129 2131 2131 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869444223 8746250240 15827 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 230820981657 0 4 0 16800975 18446604442273502400 0 0 -1 2 0 0 0
[pid=2131/tid=2137] ppid=2129 vsize=8541260 CPUtime=0 cores=0,2,4,6
/proc/2131/task/2137/stat : 2137 (java) S 2129 2131 2131 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869444223 8746250240 15828 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 230820981657 0 4 0 16800975 18446604442273502400 0 0 -1 2 0 0 0
[pid=2131/tid=2138] ppid=2129 vsize=8541260 CPUtime=0 cores=0,2,4,6
/proc/2131/task/2138/stat : 2138 (java) S 2129 2131 2131 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869444223 8746250240 15828 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 230820981657 0 4 0 16800975 18446604442273502400 0 0 -1 2 0 0 0
[pid=2131/tid=2139] ppid=2129 vsize=8541260 CPUtime=0 cores=0,2,4,6
/proc/2131/task/2139/stat : 2139 (java) S 2129 2131 2131 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869444223 8746250240 15829 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 230820981657 0 4 0 16800975 18446604442273502400 0 0 -1 2 0 0 0
[pid=2131/tid=2140] ppid=2129 vsize=8541260 CPUtime=0 cores=0,2,4,6
/proc/2131/task/2140/stat : 2140 (java) S 2129 2131 2131 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869444223 8746250240 15829 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 230820981657 0 4 0 16800975 18446604442273502400 0 0 -1 2 0 0 0
[pid=2131/tid=2141] ppid=2129 vsize=8541260 CPUtime=0 cores=0,2,4,6
/proc/2131/task/2141/stat : 2141 (java) S 2129 2131 2131 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869444224 8746250240 15829 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 230820982272 0 0 0 16800975 18446604442273502400 0 0 -1 2 0 0 0
[pid=2131/tid=2142] ppid=2129 vsize=8541260 CPUtime=0 cores=0,2,4,6
/proc/2131/task/2142/stat : 2142 (java) S 2129 2131 2131 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869444225 8746250240 15830 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 230820981657 0 4 0 16800975 18446604442273502400 0 0 -1 2 0 0 0
[pid=2131/tid=2143] ppid=2129 vsize=8541260 CPUtime=0 cores=0,2,4,6
/proc/2131/task/2143/stat : 2143 (java) S 2129 2131 2131 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869444225 8746250240 15830 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 230820981657 0 4 0 16800975 18446604442273502400 0 0 -1 2 0 0 0
[pid=2131/tid=2144] ppid=2129 vsize=8541260 CPUtime=0 cores=0,2,4,6
/proc/2131/task/2144/stat : 2144 (java) S 2129 2131 2131 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869444227 8746250240 15831 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 230820989361 0 4 0 16800975 18446604442273502400 0 0 -1 2 0 0 0
[pid=2131/tid=2145] ppid=2129 vsize=8541260 CPUtime=0.24 cores=0,2,4,6
/proc/2131/task/2145/stat : 2145 (java) R 2129 2131 2131 0 -1 4202560 4980 0 0 0 23 1 0 0 25 0 18 0 869444227 8746250240 15831 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 47830081094008 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2131/tid=2146] ppid=2129 vsize=8541260 CPUtime=0.26 cores=0,2,4,6
/proc/2131/task/2146/stat : 2146 (java) R 2129 2131 2131 0 -1 4202560 4030 0 0 0 26 0 0 0 25 0 18 0 869444227 8746250240 15832 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 47830079137179 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2131/tid=2147] ppid=2129 vsize=8541260 CPUtime=0 cores=0,2,4,6
/proc/2131/task/2147/stat : 2147 (java) S 2129 2131 2131 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869444227 8746250240 15832 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 230820981657 0 4 0 16800975 18446604442273502400 0 0 -1 2 0 0 0
[pid=2131/tid=2148] ppid=2129 vsize=8541260 CPUtime=0 cores=0,2,4,6
/proc/2131/task/2148/stat : 2148 (java) R 2129 2131 2131 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869444227 8746250240 15833 33554432000 1073741824 1073778376 140734989410912 18446744073709551615 230820982272 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2080/tid=2089] ppid=2078 vsize=379808 CPUtime=1.13 cores=0,2,4,6
/proc/2080/task/2089/stat : 2089 (python) S 2078 2080 32706 0 -1 4202560 28 1876 0 0 0 0 102 11 25 0 6 0 869420153 388923392 18560 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554434 18446604447663450816 0 0 -1 6 0 0 0
[pid=2080/tid=2095] ppid=2078 vsize=379808 CPUtime=1.13 cores=0,2,4,6
/proc/2080/task/2095/stat : 2095 (python) S 2078 2080 32706 0 -1 4202560 25 1876 0 0 0 0 102 11 20 0 6 0 869425124 388923392 18560 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554434 18446604447663450816 0 0 -1 0 0 0 0
[pid=2080/tid=2100] ppid=2078 vsize=379808 CPUtime=1.13 cores=0,2,4,6
/proc/2080/task/2100/stat : 2100 (python) S 2078 2080 32706 0 -1 4202560 31 1876 0 0 0 0 102 11 20 0 6 0 869429921 388923392 18560 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554434 18446604447663450816 0 0 -1 0 0 0 0
[pid=2080/tid=2123] ppid=2078 vsize=379808 CPUtime=1.13 cores=0,2,4,6
/proc/2080/task/2123/stat : 2123 (python) S 2078 2080 32706 0 -1 4202560 31 1876 0 0 0 0 102 11 20 0 6 0 869434605 388923392 18560 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554434 18446604447663450816 0 0 -1 4 0 0 0
[pid=2080/tid=2130] ppid=2078 vsize=379808 CPUtime=1.13 cores=0,2,4,6
/proc/2080/task/2130/stat : 2130 (python) S 2078 2080 32706 0 -1 4202560 32 1876 0 0 0 0 102 11 20 0 6 0 869444221 388923392 18560 33554432000 4194304 5683644 140735415102016 18446744073709551615 230820989361 0 0 16781312 33554434 18446604447663450816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 249.84
Current children cumulated vsize (KiB) 20233776
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 2080 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=645293
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=301954
# CPU time returned by wait4() is 4.94725
# while last known CPU time is 249.84
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 246.28
CPU time (s): 249.84
CPU user time (s): 248.03
CPU system time (s): 1.81
CPU usage (%): 101.446
Max. virtual memory (cumulated for all children) (KiB): 20233776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.64529
system time used= 0.301954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40591
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= 34758
involuntary context switches= 61
runsolver used 1.64075 second user time and 2.87156 second system time
The end