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-3482447-1307576528/watcher-3482447-1307576528 -o /tmp/evaluation-result-3482447-1307576528/solver-3482447-1307576528 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482447-1307576528.opb -seed 601026323 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.85 0.80 0.30 2/527 18488
/proc/meminfo: memFree=30875884/32951124 swapFree=49879164/67111528
[pid=18488] ppid=18486 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/18488/stat : 18488 (python) R 18486 18488 17508 0 -1 4202496 1051 0 0 0 0 0 0 0 21 0 1 0 947883522 16629760 922 33554432000 4194304 5683644 140735823361648 18446744073709551615 5293775 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/18488/statm: 4060 922 381 364 0 547 0
[startup+0.0867771 s]
/proc/loadavg: 1.85 0.80 0.30 2/527 18488
/proc/meminfo: memFree=30875884/32951124 swapFree=49879164/67111528
[pid=18488] ppid=18486 vsize=87836 CPUtime=0.06 cores=1,3,5,7
/proc/18488/stat : 18488 (python) S 18486 18488 17508 0 -1 4202496 2704 0 1 0 5 1 0 0 18 0 1 0 947883522 89944064 2418 33554432000 4194304 5683644 140735823361648 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/18488/statm: 21959 2418 746 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87836
[startup+0.11763 s]
/proc/loadavg: 1.85 0.80 0.30 2/527 18488
/proc/meminfo: memFree=30875884/32951124 swapFree=49879164/67111528
[pid=18488] ppid=18486 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/18488/stat : 18488 (python) R 18486 18488 17508 0 -1 4202496 3245 929 1 0 7 1 0 0 18 0 1 0 947883522 98430976 2483 33554432000 4194304 5683644 140735823361648 18446744073709551615 216735176704 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18488/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.30055 s]
/proc/loadavg: 1.85 0.80 0.30 2/527 18488
/proc/meminfo: memFree=30875884/32951124 swapFree=49879164/67111528
[pid=18488] ppid=18486 vsize=184244 CPUtime=0.22 cores=1,3,5,7
/proc/18488/stat : 18488 (python) S 18486 18488 17508 0 -1 4202496 6329 929 1 0 17 5 0 0 17 0 1 0 947883522 188665856 4633 33554432000 4194304 5683644 140735823361648 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/18488/statm: 46061 4635 1251 364 0 3567 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184244
[startup+0.700509 s]
/proc/loadavg: 1.85 0.80 0.30 2/527 18488
/proc/meminfo: memFree=30875884/32951124 swapFree=49879164/67111528
[pid=18488] ppid=18486 vsize=291544 CPUtime=0.58 cores=1,3,5,7
/proc/18488/stat : 18488 (python) R 18486 18488 17508 0 -1 4202496 11293 929 1 0 50 8 0 0 17 0 1 0 947883522 298541056 9154 33554432000 4194304 5683644 140735823361648 18446744073709551615 47252756318614 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18488/statm: 72886 9154 1781 364 0 7779 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 291544
[startup+1.50037 s]
/proc/loadavg: 1.85 0.80 0.30 3/528 18494
/proc/meminfo: memFree=30840040/32951124 swapFree=49879164/67111528
[pid=18488] ppid=18486 vsize=307008 CPUtime=1.31 cores=1,3,5,7
/proc/18488/stat : 18488 (python) S 18486 18488 17508 0 -1 4202496 15199 929 1 0 122 9 0 0 20 0 2 0 947883522 314376192 10593 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18488/statm: 76752 10593 1872 364 0 11639 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 307008
[startup+3.1011 s]
/proc/loadavg: 1.85 0.80 0.30 3/531 18497
/proc/meminfo: memFree=30826500/32951124 swapFree=49879164/67111528
[pid=18488] ppid=18486 vsize=307008 CPUtime=1.31 cores=1,3,5,7
/proc/18488/stat : 18488 (python) S 18486 18488 17508 0 -1 4202496 15199 929 1 0 122 9 0 0 20 0 2 0 947883522 314376192 10593 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18488/statm: 76752 10593 1872 364 0 11639 0
[pid=18495] ppid=18488 vsize=296764 CPUtime=0 cores=1,3,5,7
/proc/18495/stat : 18495 (python) S 18488 18488 17508 0 -1 4202560 718 0 0 0 0 0 0 0 18 0 1 0 947883665 303886336 9068 33554432000 4194304 5683644 140735823361648 18446744073709551615 216735198735 0 0 16781312 33554946 4041009698013413639 0 0 17 7 0 0 0
/proc/18495/statm: 74191 9068 351 364 0 9078 0
[pid=18497] ppid=18495 vsize=11976 CPUtime=1.66 cores=1,3,5,7
/proc/18497/stat : 18497 (clasp-1.3.7-x86) R 18495 18497 18497 0 -1 4202496 3473 0 0 0 166 0 0 0 25 0 1 0 947883665 12263424 2725 33554432000 134512640 136139019 4292880368 18446744073709551615 134865653 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18497/statm: 2994 2725 184 398 0 2594 0
[pid=18488/tid=18496] ppid=18486 vsize=307008 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18496/stat : 18496 (python) S 18486 18488 17508 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 2 0 947883665 314376192 10593 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 615748
[startup+6.30054 s]
/proc/loadavg: 1.86 0.82 0.31 3/531 18497
/proc/meminfo: memFree=30801492/32951124 swapFree=49879164/67111528
[pid=18488] ppid=18486 vsize=307008 CPUtime=1.31 cores=1,3,5,7
/proc/18488/stat : 18488 (python) S 18486 18488 17508 0 -1 4202496 15199 929 1 0 122 9 0 0 20 0 2 0 947883522 314376192 10593 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18488/statm: 76752 10593 1872 364 0 11639 0
[pid=18495] ppid=18488 vsize=296764 CPUtime=0.01 cores=1,3,5,7
/proc/18495/stat : 18495 (python) S 18488 18488 17508 0 -1 4202560 877 0 0 0 0 1 0 0 18 0 1 0 947883665 303886336 9091 33554432000 4194304 5683644 140735823361648 18446744073709551615 216735198735 0 0 16781312 33554946 3222955454762025223 0 0 17 7 0 0 0
/proc/18495/statm: 74191 9091 374 364 0 9078 0
[pid=18497] ppid=18495 vsize=14088 CPUtime=4.86 cores=1,3,5,7
/proc/18497/stat : 18497 (clasp-1.3.7-x86) R 18495 18497 18497 0 -1 4202496 3979 0 0 0 484 2 0 0 25 0 1 0 947883665 14426112 3231 33554432000 134512640 136139019 4292880368 18446744073709551615 134882968 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18497/statm: 3522 3231 184 398 0 3122 0
[pid=18488/tid=18496] ppid=18486 vsize=307008 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18496/stat : 18496 (python) S 18486 18488 17508 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 2 0 947883665 314376192 10593 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 617860
[startup+12.7004 s]
/proc/loadavg: 1.88 0.84 0.32 3/531 18497
/proc/meminfo: memFree=30801324/32951124 swapFree=49879164/67111528
[pid=18488] ppid=18486 vsize=307008 CPUtime=1.31 cores=1,3,5,7
/proc/18488/stat : 18488 (python) S 18486 18488 17508 0 -1 4202496 15199 929 1 0 122 9 0 0 20 0 2 0 947883522 314376192 10593 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18488/statm: 76752 10593 1872 364 0 11639 0
[pid=18495] ppid=18488 vsize=296764 CPUtime=0.03 cores=1,3,5,7
/proc/18495/stat : 18495 (python) S 18488 18488 17508 0 -1 4202560 880 0 0 0 1 2 0 0 18 0 1 0 947883665 303886336 9092 33554432000 4194304 5683644 140735823361648 18446744073709551615 216735198735 0 0 16781312 33554946 5623753486446373625 0 0 17 7 0 0 0
/proc/18495/statm: 74191 9092 375 364 0 9078 0
[pid=18497] ppid=18495 vsize=17232 CPUtime=11.26 cores=1,3,5,7
/proc/18497/stat : 18497 (clasp-1.3.7-x86) R 18495 18497 18497 0 -1 4202496 4769 0 0 0 1123 3 0 0 25 0 1 0 947883665 17645568 4021 33554432000 134512640 136139019 4292880368 18446744073709551615 134608263 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18497/statm: 4308 4021 184 398 0 3908 0
[pid=18488/tid=18496] ppid=18486 vsize=307008 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18496/stat : 18496 (python) S 18486 18488 17508 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 2 0 947883665 314376192 10593 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 621004
[startup+25.5012 s]
/proc/loadavg: 2.04 0.93 0.35 3/531 18497
/proc/meminfo: memFree=30896824/32951124 swapFree=49879164/67111528
[pid=18488] ppid=18486 vsize=307008 CPUtime=1.31 cores=1,3,5,7
/proc/18488/stat : 18488 (python) S 18486 18488 17508 0 -1 4202496 15199 929 1 0 122 9 0 0 20 0 2 0 947883522 314376192 10593 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18488/statm: 76752 10593 1872 364 0 11639 0
[pid=18495] ppid=18488 vsize=296764 CPUtime=0.1 cores=1,3,5,7
/proc/18495/stat : 18495 (python) S 18488 18488 17508 0 -1 4202560 885 0 0 0 4 6 0 0 18 0 1 0 947883665 303886336 9092 33554432000 4194304 5683644 140735823361648 18446744073709551615 216735198735 0 0 16781312 33554946 5623753486446373625 0 0 17 7 0 0 0
/proc/18495/statm: 74191 9092 375 364 0 9078 0
[pid=18497] ppid=18495 vsize=19880 CPUtime=24.06 cores=1,3,5,7
/proc/18497/stat : 18497 (clasp-1.3.7-x86) R 18495 18497 18497 0 -1 4202496 5431 0 0 0 2403 3 0 0 25 0 1 0 947883665 20357120 4683 33554432000 134512640 136139019 4292880368 18446744073709551615 134883066 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18497/statm: 4970 4683 184 398 0 4570 0
[pid=18488/tid=18496] ppid=18486 vsize=307008 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18496/stat : 18496 (python) S 18486 18488 17508 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 2 0 947883665 314376192 10593 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 623652
[startup+51.1007 s]
/proc/loadavg: 2.02 1.01 0.40 3/532 18500
/proc/meminfo: memFree=30866076/32951124 swapFree=49879164/67111528
[pid=18488] ppid=18486 vsize=307012 CPUtime=2.77 cores=1,3,5,7
/proc/18488/stat : 18488 (python) R 18486 18488 17508 0 -1 4202496 15847 929 1 0 268 9 0 0 20 0 2 0 947883522 314380288 10595 33554432000 4194304 5683644 140735823361648 18446744073709551615 4877030 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18488/statm: 76753 10595 1873 364 0 11640 0
[pid=18495] ppid=18488 vsize=307008 CPUtime=0.2 cores=1,3,5,7
/proc/18495/stat : 18495 (python) S 18488 18488 17508 0 -1 4202560 1126 0 0 0 9 11 0 0 19 0 2 0 947883665 314376192 9133 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18495/statm: 76752 9133 411 364 0 11639 0
[pid=18497] ppid=18495 vsize=25036 CPUtime=48.19 cores=1,3,5,7
/proc/18497/stat : 18497 (clasp-1.3.7-x86) T 18495 18497 18497 0 -1 4202496 6706 0 0 0 4815 4 0 0 25 0 1 0 947883665 25636864 5958 33554432000 134512640 136139019 4292880368 18446744073709551615 134831892 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/18497/statm: 6259 5958 184 398 0 5859 0
[pid=18495/tid=18500] ppid=18488 vsize=307008 CPUtime=0 cores=1,3,5,7
/proc/18495/task/18500/stat : 18500 (python) S 18488 18488 17508 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 947888485 314376192 9133 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554946 18446604466669618176 0 0 -1 7 0 0 0
[pid=18488/tid=18496] ppid=18486 vsize=307012 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18496/stat : 18496 (python) S 18486 18488 17508 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 2 0 947883665 314380288 10595 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 639056
[startup+102.32 s]
/proc/loadavg: 2.01 1.16 0.48 3/539 18509
/proc/meminfo: memFree=30705352/32951124 swapFree=49879164/67111528
[pid=18488] ppid=18486 vsize=327520 CPUtime=4.31 cores=1,3,5,7
/proc/18488/stat : 18488 (python) S 18486 18488 17508 0 -1 4202496 17055 929 1 0 421 10 0 0 20 0 4 0 947883522 335380480 10606 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18488/statm: 81880 10606 1877 364 0 16761 0
[pid=18495] ppid=18488 vsize=307008 CPUtime=0.2 cores=1,3,5,7
/proc/18495/stat : 18495 (python) S 18488 18488 17508 0 -1 4202560 1126 0 0 0 9 11 0 0 19 0 2 0 947883665 314376192 9133 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18495/statm: 76752 9133 411 364 0 11639 0
[pid=18497] ppid=18495 vsize=25036 CPUtime=48.19 cores=1,3,5,7
/proc/18497/stat : 18497 (clasp-1.3.7-x86) T 18495 18497 18497 0 -1 4202496 6706 0 0 0 4815 4 0 0 25 0 1 0 947883665 25636864 5958 33554432000 134512640 136139019 4292880368 18446744073709551615 134831892 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/18497/statm: 6259 5958 184 398 0 5859 0
[pid=18495/tid=18500] ppid=18488 vsize=307008 CPUtime=0 cores=1,3,5,7
/proc/18495/task/18500/stat : 18500 (python) S 18488 18488 17508 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 947888485 314376192 9133 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554946 18446604466669618176 0 0 -1 7 0 0 0
[pid=18501] ppid=18488 vsize=307020 CPUtime=0.2 cores=1,3,5,7
/proc/18501/stat : 18501 (python) S 18488 18488 17508 0 -1 4202560 1114 0 0 0 9 11 0 0 17 0 2 0 947888783 314388480 9118 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18501/statm: 76755 9118 396 364 0 11639 0
[pid=18503] ppid=18501 vsize=122148 CPUtime=49.13 cores=1,3,5,7
/proc/18503/stat : 18503 (minion) T 18501 18503 18503 0 -1 4202496 26646 0 0 0 4911 2 0 0 25 0 1 0 947888784 125079552 23152 33554432000 134512640 165565024 4288115776 18446744073709551615 142764901 0 0 16781312 8396802 18446744071562691360 0 0 17 3 0 0 0
/proc/18503/statm: 30537 23152 346 7582 0 22952 0
[pid=18501/tid=18506] ppid=18488 vsize=307020 CPUtime=0 cores=1,3,5,7
/proc/18501/task/18506/stat : 18506 (python) S 18488 18488 17508 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947893698 314388480 9118 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554946 18446604470655555456 0 0 -1 7 0 0 0
[pid=18507] ppid=18488 vsize=317276 CPUtime=0 cores=1,3,5,7
/proc/18507/stat : 18507 (python) S 18488 18488 17508 0 -1 4202560 781 0 0 0 0 0 0 0 15 0 1 0 947893700 324890624 9073 33554432000 4194304 5683644 140735823361648 18446744073709551615 216735198790 0 0 16781312 33554946 4294934788 0 0 17 1 0 0 0
/proc/18507/statm: 79319 9073 348 364 0 14200 0
[pid=18509] ppid=18507 vsize=16928 CPUtime=0.52 cores=1,3,5,7
/proc/18509/stat : 18509 (wbo1.4b-fixed) R 18507 18509 18509 0 -1 4202496 4378 0 0 0 51 1 0 0 18 0 1 0 947893700 17334272 3604 33554432000 134512640 135752315 4290955200 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/18509/statm: 4232 3604 146 303 0 3927 0
[pid=18488/tid=18496] ppid=18486 vsize=327520 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18496/stat : 18496 (python) S 18486 18488 17508 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 4 0 947883665 335380480 10606 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 1 0 0 0
[pid=18488/tid=18502] ppid=18486 vsize=327520 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18502/stat : 18502 (python) S 18486 18488 17508 0 -1 4202560 32 929 0 0 0 0 0 0 25 0 4 0 947888783 335380480 10606 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 1 0 0 0
[pid=18488/tid=18508] ppid=18486 vsize=327520 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18508/stat : 18508 (python) S 18486 18488 17508 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 4 0 947893700 335380480 10606 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 102.55
Current children cumulated vsize (KiB) 1422936
[startup+162.301 s]
/proc/loadavg: 2.00 1.31 0.57 3/543 18514
/proc/meminfo: memFree=30451716/32951124 swapFree=49879164/67111528
################
# More data... #
################
[pid=18488/tid=18635] ppid=18486 vsize=368544 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18635/stat : 18635 (python) S 18486 18488 17508 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 8 0 947940944 377389056 10630 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 577.9
Current children cumulated vsize (KiB) 20496040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+574.302 s]
/proc/loadavg: 2.02 2.08 1.24 5/624 18653
/proc/meminfo: memFree=28695680/32951124 swapFree=49879164/67111528
[pid=18488] ppid=18486 vsize=368544 CPUtime=4.43 cores=1,3,5,7
/proc/18488/stat : 18488 (python) S 18486 18488 17508 0 -1 4202496 20763 929 1 0 432 11 0 0 20 0 8 0 947883522 377389056 10630 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18488/statm: 92136 10630 1885 364 0 27005 0
[pid=18495] ppid=18488 vsize=307008 CPUtime=0.42 cores=1,3,5,7
/proc/18495/stat : 18495 (python) S 18488 18488 17508 0 -1 4202560 1154 0 0 0 20 22 0 0 18 0 2 0 947883665 314376192 9134 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18495/statm: 76752 9134 412 364 0 11639 0
[pid=18497] ppid=18495 vsize=25212 CPUtime=93.42 cores=1,3,5,7
/proc/18497/stat : 18497 (clasp-1.3.7-x86) T 18495 18497 18497 0 -1 4202496 6763 0 0 0 9338 4 0 0 25 0 1 0 947883665 25817088 6015 33554432000 134512640 136139019 4292880368 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/18497/statm: 6303 6015 184 398 0 5903 0
[pid=18495/tid=18500] ppid=18488 vsize=307008 CPUtime=0 cores=1,3,5,7
/proc/18495/task/18500/stat : 18500 (python) S 18488 18488 17508 0 -1 4202560 40 0 0 0 0 0 0 0 18 0 2 0 947888485 314376192 9134 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554946 18446604466669618176 0 0 -1 7 0 0 0
[pid=18501] ppid=18488 vsize=307020 CPUtime=0.2 cores=1,3,5,7
/proc/18501/stat : 18501 (python) S 18488 18488 17508 0 -1 4202560 1114 0 0 0 9 11 0 0 17 0 2 0 947888783 314388480 9118 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18501/statm: 76755 9118 396 364 0 11639 0
[pid=18503] ppid=18501 vsize=122148 CPUtime=49.13 cores=1,3,5,7
/proc/18503/stat : 18503 (minion) T 18501 18503 18503 0 -1 4202496 26646 0 0 0 4911 2 0 0 25 0 1 0 947888784 125079552 23152 33554432000 134512640 165565024 4288115776 18446744073709551615 142764901 0 0 16781312 8396802 18446744071562691360 0 0 17 3 0 0 0
/proc/18503/statm: 30537 23152 346 7582 0 22952 0
[pid=18501/tid=18506] ppid=18488 vsize=307020 CPUtime=0 cores=1,3,5,7
/proc/18501/task/18506/stat : 18506 (python) S 18488 18488 17508 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947893698 314388480 9118 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554946 18446604470655555456 0 0 -1 7 0 0 0
[pid=18507] ppid=18488 vsize=317276 CPUtime=0.23 cores=1,3,5,7
/proc/18507/stat : 18507 (python) S 18488 18488 17508 0 -1 4202560 1102 0 0 0 9 14 0 0 17 0 2 0 947893700 324890624 9122 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18507/statm: 79319 9122 396 364 0 14200 0
[pid=18509] ppid=18507 vsize=183892 CPUtime=49.12 cores=1,3,5,7
/proc/18509/stat : 18509 (wbo1.4b-fixed) T 18507 18509 18509 0 -1 4202496 46054 0 0 0 4865 47 0 0 25 0 1 0 947893700 188305408 45280 33554432000 134512640 135752315 4290955200 18446744073709551615 134611176 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/18509/statm: 45973 45280 147 303 0 45668 0
[pid=18507/tid=18511] ppid=18488 vsize=317276 CPUtime=0 cores=1,3,5,7
/proc/18507/task/18511/stat : 18511 (python) S 18488 18488 17508 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947898614 324890624 9122 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554946 18446604465368488832 0 0 -1 7 0 0 0
[pid=18512] ppid=18488 vsize=327532 CPUtime=0.23 cores=1,3,5,7
/proc/18512/stat : 18512 (python) S 18488 18488 17508 0 -1 4202560 1144 0 0 0 11 12 0 0 17 0 2 0 947898617 335392768 9126 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18512/statm: 81883 9126 396 364 0 16761 0
[pid=18514] ppid=18512 vsize=60324 CPUtime=49.82 cores=1,3,5,7
/proc/18514/stat : 18514 (wbo1.4a) T 18512 18514 18514 0 -1 4202496 15224 0 0 0 4944 38 0 0 25 0 1 0 947898617 61771776 14443 33554432000 134512640 135751879 4286908272 18446744073709551615 134606444 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/18514/statm: 15081 14443 143 303 0 14776 0
[pid=18512/tid=18519] ppid=18488 vsize=327532 CPUtime=0 cores=1,3,5,7
/proc/18512/task/18519/stat : 18519 (python) S 18488 18488 17508 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 947903601 335392768 9126 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554946 18446604457988702656 0 0 -1 7 0 0 0
[pid=18525] ppid=18488 vsize=337788 CPUtime=1.25 cores=1,3,5,7
/proc/18525/stat : 18525 (python) S 18488 18488 17508 0 -1 4202560 1220 0 0 0 62 63 0 0 16 0 2 0 947908128 345894912 9130 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/18525/statm: 84447 9130 396 364 0 19322 0
[pid=18527] ppid=18525 vsize=361396 CPUtime=280.63 cores=1,3,5,7
/proc/18527/stat : 18527 (pbct-0.1.2-linu) T 18525 18527 18527 0 -1 4202496 93530 0 0 0 27718 345 0 0 25 0 1 0 947908129 370069504 88378 33554432000 134512640 136422188 4291015760 18446744073709551615 135029211 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/18527/statm: 90349 88378 214 467 0 89880 0
[pid=18525/tid=18610] ppid=18488 vsize=337788 CPUtime=0 cores=1,3,5,7
/proc/18525/task/18610/stat : 18610 (python) S 18488 18488 17508 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947936192 345894912 9130 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554946 18446604466546643136 0 0 -1 5 0 0 0
[pid=18611] ppid=18488 vsize=348044 CPUtime=0.24 cores=1,3,5,7
/proc/18611/stat : 18611 (python) S 18488 18488 17508 0 -1 4202560 1130 0 0 0 11 13 0 0 16 0 2 0 947936195 356397056 9134 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18611/statm: 87011 9134 396 364 0 21883 0
[pid=18613] ppid=18611 vsize=8538512 CPUtime=48.64 cores=1,3,5,7
/proc/18613/stat : 18613 (java) T 18611 18613 18613 0 -1 4202496 275780 0 1 0 4834 30 0 0 15 0 19 0 947936195 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18613/statm: 2134628 267777 2254 9 0 2125369 0
[pid=18613/tid=18614] ppid=18611 vsize=8538512 CPUtime=46.77 cores=1,3,5,7
/proc/18613/task/18614/stat : 18614 (java) T 18611 18613 18613 0 -1 4202560 248699 0 1 0 4651 26 0 0 25 0 19 0 947936196 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 46912505844730 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18613/tid=18615] ppid=18611 vsize=8538512 CPUtime=0.04 cores=1,3,5,7
/proc/18613/task/18615/stat : 18615 (java) T 18611 18613 18613 0 -1 4202560 2230 0 0 0 4 0 0 0 15 0 19 0 947936197 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18613/tid=18616] ppid=18611 vsize=8538512 CPUtime=0.03 cores=1,3,5,7
/proc/18613/task/18616/stat : 18616 (java) T 18611 18613 18613 0 -1 4202560 1901 0 0 0 3 0 0 0 15 0 19 0 947936197 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18613/tid=18617] ppid=18611 vsize=8538512 CPUtime=0.02 cores=1,3,5,7
/proc/18613/task/18617/stat : 18617 (java) T 18611 18613 18613 0 -1 4202560 761 0 0 0 2 0 0 0 15 0 19 0 947936197 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18613/tid=18618] ppid=18611 vsize=8538512 CPUtime=0.03 cores=1,3,5,7
/proc/18613/task/18618/stat : 18618 (java) T 18611 18613 18613 0 -1 4202560 2417 0 0 0 3 0 0 0 15 0 19 0 947936197 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18613/tid=18619] ppid=18611 vsize=8538512 CPUtime=0.01 cores=1,3,5,7
/proc/18613/task/18619/stat : 18619 (java) T 18611 18613 18613 0 -1 4202560 1305 0 0 0 1 0 0 0 15 0 19 0 947936197 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18613/tid=18620] ppid=18611 vsize=8538512 CPUtime=0.04 cores=1,3,5,7
/proc/18613/task/18620/stat : 18620 (java) T 18611 18613 18613 0 -1 4202560 2692 0 0 0 4 0 0 0 15 0 19 0 947936197 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18613/tid=18621] ppid=18611 vsize=8538512 CPUtime=0.02 cores=1,3,5,7
/proc/18613/task/18621/stat : 18621 (java) T 18611 18613 18613 0 -1 4202560 671 0 0 0 2 0 0 0 15 0 19 0 947936197 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18613/tid=18622] ppid=18611 vsize=8538512 CPUtime=0.02 cores=1,3,5,7
/proc/18613/task/18622/stat : 18622 (java) T 18611 18613 18613 0 -1 4202560 1220 0 0 0 2 0 0 0 15 0 19 0 947936197 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18613/tid=18623] ppid=18611 vsize=8538512 CPUtime=0.48 cores=1,3,5,7
/proc/18613/task/18623/stat : 18623 (java) T 18611 18613 18613 0 -1 4202560 5922 0 0 0 47 1 0 0 15 0 19 0 947936198 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746995200 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18613/tid=18624] ppid=18611 vsize=8538512 CPUtime=0 cores=1,3,5,7
/proc/18613/task/18624/stat : 18624 (java) T 18611 18613 18613 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947936198 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18613/tid=18625] ppid=18611 vsize=8538512 CPUtime=0 cores=1,3,5,7
/proc/18613/task/18625/stat : 18625 (java) T 18611 18613 18613 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947936198 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18613/tid=18626] ppid=18611 vsize=8538512 CPUtime=0 cores=1,3,5,7
/proc/18613/task/18626/stat : 18626 (java) T 18611 18613 18613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947936200 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216747002289 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18613/tid=18627] ppid=18611 vsize=8538512 CPUtime=0.62 cores=1,3,5,7
/proc/18613/task/18627/stat : 18627 (java) T 18611 18613 18613 0 -1 4202560 3106 0 0 0 62 0 0 0 15 0 19 0 947936200 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18613/tid=18628] ppid=18611 vsize=8538512 CPUtime=0.46 cores=1,3,5,7
/proc/18613/task/18628/stat : 18628 (java) T 18611 18613 18613 0 -1 4202560 3466 0 0 0 46 0 0 0 15 0 19 0 947936200 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18613/tid=18629] ppid=18611 vsize=8538512 CPUtime=0 cores=1,3,5,7
/proc/18613/task/18629/stat : 18629 (java) T 18611 18613 18613 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 947936200 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18613/tid=18630] ppid=18611 vsize=8538512 CPUtime=0 cores=1,3,5,7
/proc/18613/task/18630/stat : 18630 (java) T 18611 18613 18613 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947936200 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746995200 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18613/tid=18631] ppid=18611 vsize=8538512 CPUtime=0 cores=1,3,5,7
/proc/18613/task/18631/stat : 18631 (java) T 18611 18613 18613 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947936264 8743436288 267777 33554432000 1073741824 1073778376 140733271133424 18446744073709551615 216746995200 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18611/tid=18633] ppid=18488 vsize=348044 CPUtime=0 cores=1,3,5,7
/proc/18611/task/18633/stat : 18633 (python) S 18488 18488 17508 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947940941 356397056 9134 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554946 18446604456998224832 0 0 -1 7 0 0 0
[pid=18634] ppid=18488 vsize=358300 CPUtime=0 cores=1,3,5,7
/proc/18634/stat : 18634 (python) S 18488 18488 17508 0 -1 4202560 834 0 0 0 0 0 0 0 20 0 1 0 947940943 366899200 9089 33554432000 4194304 5683644 140735823361648 18446744073709551615 216735198790 0 0 16781312 33554946 2085526648811159552 0 0 17 1 0 0 0
/proc/18634/statm: 89575 9089 348 364 0 24444 0
[pid=18636] ppid=18634 vsize=8533044 CPUtime=0.14 cores=1,3,5,7
/proc/18636/stat : 18636 (java) S 18634 18636 18636 0 -1 4202496 5858 0 1 0 13 1 0 0 22 0 18 0 947940944 8737837056 5306 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18636/statm: 2133261 5306 2129 9 0 2124002 0
[pid=18636/tid=18637] ppid=18634 vsize=8533044 CPUtime=0.1 cores=1,3,5,7
/proc/18636/task/18637/stat : 18637 (java) R 18634 18636 18636 0 -1 4202560 3637 0 1 0 10 0 0 0 25 0 18 0 947940944 8737837056 5324 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 47257916577386 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18636/tid=18638] ppid=18634 vsize=8533044 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18638/stat : 18638 (java) S 18634 18636 18636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947940945 8737837056 5324 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746994585 0 4 0 16800975 18446604459535793088 0 0 -1 1 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=8533044 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18639/stat : 18639 (java) S 18634 18636 18636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947940945 8737837056 5325 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746994585 0 4 0 16800975 18446604459535793088 0 0 -1 7 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=8533044 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18640/stat : 18640 (java) S 18634 18636 18636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947940945 8737837056 5325 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746994585 0 4 0 16800975 18446604459535793088 0 0 -1 1 0 0 0
[pid=18636/tid=18641] ppid=18634 vsize=8533044 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18641/stat : 18641 (java) S 18634 18636 18636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947940945 8737837056 5325 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746994585 0 4 0 16800975 18446604459535793088 0 0 -1 7 0 0 0
[pid=18636/tid=18642] ppid=18634 vsize=8533044 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18642/stat : 18642 (java) S 18634 18636 18636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947940945 8737837056 5325 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746994585 0 4 0 16800975 18446604459535793088 0 0 -1 1 0 0 0
[pid=18636/tid=18643] ppid=18634 vsize=8533044 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18643/stat : 18643 (java) S 18634 18636 18636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947940945 8737837056 5325 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746994585 0 4 0 16800975 18446604459535793088 0 0 -1 1 0 0 0
[pid=18636/tid=18644] ppid=18634 vsize=8533044 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18644/stat : 18644 (java) S 18634 18636 18636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947940945 8737837056 5325 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746994585 0 4 0 16800975 18446604459535793088 0 0 -1 7 0 0 0
[pid=18636/tid=18645] ppid=18634 vsize=8533044 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18645/stat : 18645 (java) S 18634 18636 18636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947940945 8737837056 5325 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746994585 0 4 0 16800975 18446604459535793088 0 0 -1 7 0 0 0
[pid=18636/tid=18646] ppid=18634 vsize=8533044 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18646/stat : 18646 (java) S 18634 18636 18636 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947940946 8737837056 5325 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746995200 0 0 0 16800975 18446604459535793088 0 0 -1 5 0 0 0
[pid=18636/tid=18647] ppid=18634 vsize=8533044 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18647/stat : 18647 (java) S 18634 18636 18636 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 947940946 8737837056 5325 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746994585 0 4 0 16800975 18446604459535793088 0 0 -1 5 0 0 0
[pid=18636/tid=18648] ppid=18634 vsize=8533044 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18648/stat : 18648 (java) S 18634 18636 18636 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 947940946 8737837056 5325 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746994585 0 4 0 16800975 18446604459535793088 0 0 -1 1 0 0 0
[pid=18636/tid=18649] ppid=18634 vsize=8533044 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18649/stat : 18649 (java) S 18634 18636 18636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947940948 8737837056 5325 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216747002289 0 4 0 16800975 18446604459535793088 0 0 -1 5 0 0 0
[pid=18636/tid=18650] ppid=18634 vsize=8533044 CPUtime=0.01 cores=1,3,5,7
/proc/18636/task/18650/stat : 18650 (java) S 18634 18636 18636 0 -1 4202560 366 0 0 0 1 0 0 0 25 0 18 0 947940948 8737837056 5326 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746994585 0 4 0 16800975 18446604459535793088 0 0 -1 1 0 0 0
[pid=18636/tid=18651] ppid=18634 vsize=8533044 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18651/stat : 18651 (java) S 18634 18636 18636 0 -1 4202560 478 0 0 0 0 0 0 0 25 0 18 0 947940948 8737837056 5326 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746994585 0 4 0 16800975 18446604459535793088 0 0 -1 1 0 0 0
[pid=18636/tid=18652] ppid=18634 vsize=8533044 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18652/stat : 18652 (java) S 18634 18636 18636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947940948 8737837056 5326 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746994585 0 4 0 16800975 18446604459535793088 0 0 -1 7 0 0 0
[pid=18636/tid=18653] ppid=18634 vsize=8533044 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18653/stat : 18653 (java) S 18634 18636 18636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947940948 8737837056 5326 33554432000 1073741824 1073778376 140735446679920 18446744073709551615 216746995200 0 4 0 16800975 18446604459535793088 0 0 -1 1 0 0 0
[pid=18488/tid=18496] ppid=18486 vsize=368544 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18496/stat : 18496 (python) S 18486 18488 17508 0 -1 4202560 30 929 0 0 0 0 0 0 18 0 8 0 947883665 377389056 10630 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 1 0 0 0
[pid=18488/tid=18502] ppid=18486 vsize=368544 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18502/stat : 18502 (python) S 18486 18488 17508 0 -1 4202560 32 929 0 0 0 0 0 0 25 0 8 0 947888783 377389056 10630 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 1 0 0 0
[pid=18488/tid=18508] ppid=18486 vsize=368544 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18508/stat : 18508 (python) S 18486 18488 17508 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 8 0 947893700 377389056 10630 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 7 0 0 0
[pid=18488/tid=18513] ppid=18486 vsize=368544 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18513/stat : 18513 (python) S 18486 18488 17508 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 8 0 947898617 377389056 10630 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 7 0 0 0
[pid=18488/tid=18526] ppid=18486 vsize=368544 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18526/stat : 18526 (python) S 18486 18488 17508 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 8 0 947908129 377389056 10630 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 1 0 0 0
[pid=18488/tid=18612] ppid=18486 vsize=368544 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18612/stat : 18612 (python) S 18486 18488 17508 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 8 0 947936195 377389056 10630 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 1 0 0 0
[pid=18488/tid=18635] ppid=18486 vsize=368544 CPUtime=0 cores=1,3,5,7
/proc/18488/task/18635/stat : 18635 (python) S 18486 18488 17508 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 8 0 947940944 377389056 10630 33554432000 4194304 5683644 140735823361648 18446744073709551615 216747002289 0 0 16781312 33554434 18446604464035325760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 577.9
Current children cumulated vsize (KiB) 20496040
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18488 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=324342
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=126980
# CPU time returned by wait4() is 4.45132
# while last known CPU time is 577.9
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 574.399
CPU time (s): 577.9
CPU user time (s): 571.77
CPU system time (s): 6.13
CPU usage (%): 100.61
Max. virtual memory (cumulated for all children) (KiB): 20496040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.32434
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21697
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= 1018
involuntary context switches= 38
runsolver used 3.22951 second user time and 7.47286 second system time
The end