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-3481829-1307576568/watcher-3481829-1307576568 -o /tmp/evaluation-result-3481829-1307576568/solver-3481829-1307576568 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481829-1307576568.opb -seed 449239746 -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.92 0.95 0.37 2/535 17635
/proc/meminfo: memFree=27913264/32950928 swapFree=38525204/67111528
[pid=17635] ppid=17633 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/17635/stat : 17635 (python) R 17633 17635 17436 0 -1 4202496 998 0 0 0 0 0 0 0 23 0 1 0 869256523 16633856 870 33554432000 4194304 5683644 140733514929824 18446744073709551615 4335063 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17635/statm: 4061 870 368 364 0 548 0
[startup+0.116517 s]
/proc/loadavg: 1.92 0.95 0.37 2/535 17635
/proc/meminfo: memFree=27913264/32950928 swapFree=38525204/67111528
[pid=17635] ppid=17633 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/17635/stat : 17635 (python) R 17633 17635 17436 0 -1 4202496 3169 929 1 0 6 2 0 0 25 0 1 0 869256523 98435072 2483 33554432000 4194304 5683644 140733514929824 18446744073709551615 5168642 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/17635/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.200534 s]
/proc/loadavg: 1.92 0.95 0.37 2/535 17635
/proc/meminfo: memFree=27913264/32950928 swapFree=38525204/67111528
[pid=17635] ppid=17633 vsize=120404 CPUtime=0.13 cores=0,2,4,6
/proc/17635/stat : 17635 (python) R 17633 17635 17436 0 -1 4202496 5031 929 1 0 10 3 0 0 25 0 1 0 869256523 123293696 3445 33554432000 4194304 5683644 140733514929824 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/17635/statm: 30101 3445 925 364 0 2550 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 120404
[startup+0.300498 s]
/proc/loadavg: 1.92 0.95 0.37 2/535 17635
/proc/meminfo: memFree=27913264/32950928 swapFree=38525204/67111528
[pid=17635] ppid=17633 vsize=123744 CPUtime=0.18 cores=0,2,4,6
/proc/17635/stat : 17635 (python) R 17633 17635 17436 0 -1 4202496 5358 929 1 0 13 5 0 0 25 0 1 0 869256523 126713856 3744 33554432000 4194304 5683644 140733514929824 18446744073709551615 208080230400 0 2147483391 16781312 2 0 0 0 17 6 0 0 0
/proc/17635/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123744
[startup+0.700454 s]
/proc/loadavg: 1.92 0.95 0.37 2/535 17635
/proc/meminfo: memFree=27913264/32950928 swapFree=38525204/67111528
[pid=17635] ppid=17633 vsize=283424 CPUtime=0.45 cores=0,2,4,6
/proc/17635/stat : 17635 (python) R 17633 17635 17436 0 -1 4202496 9338 929 1 0 34 11 0 0 25 0 1 0 869256523 290226176 7199 33554432000 4194304 5683644 140733514929824 18446744073709551615 47964240696233 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/17635/statm: 70856 7199 1781 364 0 5749 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 283424
[startup+1.50137 s]
/proc/loadavg: 1.92 0.95 0.37 6/556 17661
/proc/meminfo: memFree=27864488/32950928 swapFree=38525204/67111528
[pid=17635] ppid=17633 vsize=294540 CPUtime=0.56 cores=0,2,4,6
/proc/17635/stat : 17635 (python) S 17633 17635 17436 0 -1 4202496 9968 929 1 0 45 11 0 0 25 0 2 0 869256523 301608960 7471 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/17635/statm: 73635 7471 1870 364 0 8522 0
[pid=17642] ppid=17635 vsize=284296 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (python) S 17635 17635 17436 0 -1 4202560 759 0 0 0 0 0 0 0 19 0 1 0 869256604 291119104 5949 33554432000 4194304 5683644 140733514929824 18446744073709551615 208080252431 0 0 16781312 33554946 3075809875201065218 0 0 17 6 0 0 0
/proc/17642/statm: 71074 5949 352 364 0 5961 0
[pid=17644] ppid=17642 vsize=8539344 CPUtime=1.32 cores=0,2,4,6
/proc/17644/stat : 17644 (java) S 17642 17644 17644 0 -1 4202496 25096 0 1 0 129 3 0 0 25 0 19 0 869256605 8744288256 22656 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/17644/statm: 2134836 22656 2220 9 0 2125577 0
[pid=17644/tid=17645] ppid=17642 vsize=8539344 CPUtime=0.65 cores=0,2,4,6
/proc/17644/task/17645/stat : 17645 (java) R 17642 17644 17644 0 -1 4202560 18221 0 1 0 63 2 0 0 18 0 19 0 869256605 8744288256 22657 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 46912505727691 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17644/tid=17646] ppid=17642 vsize=8539344 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17646/stat : 17646 (java) S 17642 17644 17644 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869256606 8744288256 22660 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17647] ppid=17642 vsize=8539344 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17647/stat : 17647 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869256606 8744288256 22662 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17648] ppid=17642 vsize=8539344 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17648/stat : 17648 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869256606 8744288256 22664 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17649] ppid=17642 vsize=8539344 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17649/stat : 17649 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869256606 8744288256 22665 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17650] ppid=17642 vsize=8539344 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17650/stat : 17650 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869256606 8744288256 22666 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17651] ppid=17642 vsize=8539344 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17651/stat : 17651 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869256606 8744288256 22669 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17652] ppid=17642 vsize=8539344 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17652/stat : 17652 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869256606 8744288256 22671 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17653] ppid=17642 vsize=8539344 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17653/stat : 17653 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869256606 8744288256 22672 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17654] ppid=17642 vsize=8539344 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17654/stat : 17654 (java) S 17642 17644 17644 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869256607 8744288256 22673 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048896 0 0 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17655] ppid=17642 vsize=8539344 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17655/stat : 17655 (java) S 17642 17644 17644 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869256607 8744288256 22674 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17656] ppid=17642 vsize=8539344 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17656/stat : 17656 (java) S 17642 17644 17644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869256607 8744288256 22674 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17657] ppid=17642 vsize=8539344 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17657/stat : 17657 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869256609 8744288256 22675 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092055985 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17658] ppid=17642 vsize=8539344 CPUtime=0.32 cores=0,2,4,6
/proc/17644/task/17658/stat : 17658 (java) S 17642 17644 17644 0 -1 4202560 1300 0 0 0 32 0 0 0 16 0 19 0 869256609 8744288256 22675 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 0 0 0 0
[pid=17644/tid=17659] ppid=17642 vsize=8539344 CPUtime=0.32 cores=0,2,4,6
/proc/17644/task/17659/stat : 17659 (java) S 17642 17644 17644 0 -1 4202560 4191 0 0 0 32 0 0 0 17 0 19 0 869256609 8744288256 22675 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17660] ppid=17642 vsize=8539344 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17660/stat : 17660 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869256609 8744288256 22676 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17661] ppid=17642 vsize=8539344 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17661/stat : 17661 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869256609 8744288256 22679 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048896 0 4 0 16800975 18446604452456204352 0 0 -1 0 0 0 0
[pid=17635/tid=17643] ppid=17633 vsize=294540 CPUtime=0 cores=0,2,4,6
/proc/17635/task/17643/stat : 17643 (python) S 17633 17635 17436 0 -1 4202560 28 929 0 0 0 0 0 0 25 0 2 0 869256605 301608960 7471 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554434 18446604442894105600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9118180
[startup+3.10095 s]
/proc/loadavg: 1.93 0.97 0.38 3/557 17662
/proc/meminfo: memFree=27725600/32950928 swapFree=38525204/67111528
[pid=17635] ppid=17633 vsize=294540 CPUtime=0.56 cores=0,2,4,6
/proc/17635/stat : 17635 (python) S 17633 17635 17436 0 -1 4202496 9968 929 1 0 45 11 0 0 25 0 2 0 869256523 301608960 7471 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/17635/statm: 73635 7471 1870 364 0 8522 0
[pid=17642] ppid=17635 vsize=284296 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (python) S 17635 17635 17436 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 1 0 869256604 291119104 5949 33554432000 4194304 5683644 140733514929824 18446744073709551615 208080252431 0 0 16781312 33554946 3075809875201065218 0 0 17 6 0 0 0
/proc/17642/statm: 71074 5949 352 364 0 5961 0
[pid=17644] ppid=17642 vsize=8539480 CPUtime=3.02 cores=0,2,4,6
/proc/17644/stat : 17644 (java) S 17642 17644 17644 0 -1 4202496 44227 0 1 0 295 7 0 0 25 0 19 0 869256605 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/17644/statm: 2134870 41779 2251 9 0 2125611 0
[pid=17644/tid=17645] ppid=17642 vsize=8539480 CPUtime=2.23 cores=0,2,4,6
/proc/17644/task/17645/stat : 17645 (java) R 17642 17644 17644 0 -1 4202560 35269 0 1 0 218 5 0 0 20 0 19 0 869256605 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 46912505742050 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17644/tid=17646] ppid=17642 vsize=8539480 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17646/stat : 17646 (java) S 17642 17644 17644 0 -1 4202560 384 0 0 0 0 0 0 0 16 0 19 0 869256606 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17647] ppid=17642 vsize=8539480 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17647/stat : 17647 (java) S 17642 17644 17644 0 -1 4202560 432 0 0 0 0 0 0 0 15 0 19 0 869256606 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 0 0 0 0
[pid=17644/tid=17648] ppid=17642 vsize=8539480 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17648/stat : 17648 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869256606 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 0 0 0 0
[pid=17644/tid=17649] ppid=17642 vsize=8539480 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17649/stat : 17649 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869256606 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 2 0 0 0
[pid=17644/tid=17650] ppid=17642 vsize=8539480 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17650/stat : 17650 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869256606 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 2 0 0 0
[pid=17644/tid=17651] ppid=17642 vsize=8539480 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17651/stat : 17651 (java) S 17642 17644 17644 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 869256606 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 2 0 0 0
[pid=17644/tid=17652] ppid=17642 vsize=8539480 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17652/stat : 17652 (java) S 17642 17644 17644 0 -1 4202560 255 0 0 0 0 0 0 0 15 0 19 0 869256606 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 0 0 0 0
[pid=17644/tid=17653] ppid=17642 vsize=8539480 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17653/stat : 17653 (java) S 17642 17644 17644 0 -1 4202560 274 0 0 0 0 0 0 0 15 0 19 0 869256606 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 0 0 0 0
[pid=17644/tid=17654] ppid=17642 vsize=8539480 CPUtime=0.01 cores=0,2,4,6
/proc/17644/task/17654/stat : 17654 (java) S 17642 17644 17644 0 -1 4202560 650 0 0 0 1 0 0 0 15 0 19 0 869256607 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048896 0 0 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17655] ppid=17642 vsize=8539480 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17655/stat : 17655 (java) S 17642 17644 17644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869256607 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17656] ppid=17642 vsize=8539480 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17656/stat : 17656 (java) S 17642 17644 17644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869256607 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17657] ppid=17642 vsize=8539480 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17657/stat : 17657 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869256609 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092055985 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17658] ppid=17642 vsize=8539480 CPUtime=0.37 cores=0,2,4,6
/proc/17644/task/17658/stat : 17658 (java) S 17642 17644 17644 0 -1 4202560 1376 0 0 0 37 0 0 0 16 0 19 0 869256609 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 0 0 0 0
[pid=17644/tid=17659] ppid=17642 vsize=8539480 CPUtime=0.35 cores=0,2,4,6
/proc/17644/task/17659/stat : 17659 (java) S 17642 17644 17644 0 -1 4202560 4198 0 0 0 35 0 0 0 16 0 19 0 869256609 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17660] ppid=17642 vsize=8539480 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17660/stat : 17660 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869256609 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17661] ppid=17642 vsize=8539480 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17661/stat : 17661 (java) S 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869256609 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048896 0 4 0 16800975 18446604452456204352 0 0 -1 0 0 0 0
[pid=17644/tid=17662] ppid=17642 vsize=8539480 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17662/stat : 17662 (java) S 17642 17644 17644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869256642 8744427520 41779 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048896 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17635/tid=17643] ppid=17633 vsize=294540 CPUtime=0 cores=0,2,4,6
/proc/17635/task/17643/stat : 17643 (python) S 17633 17635 17436 0 -1 4202560 28 929 0 0 0 0 0 0 25 0 2 0 869256605 301608960 7471 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554434 18446604442894105600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 9118316
[startup+6.30134 s]
/proc/loadavg: 1.93 0.97 0.38 3/557 17662
/proc/meminfo: memFree=27731060/32950928 swapFree=38525204/67111528
[pid=17635] ppid=17633 vsize=294540 CPUtime=0.56 cores=0,2,4,6
/proc/17635/stat : 17635 (python) S 17633 17635 17436 0 -1 4202496 9968 929 1 0 45 11 0 0 25 0 2 0 869256523 301608960 7471 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/17635/statm: 73635 7471 1870 364 0 8522 0
[pid=17642] ppid=17635 vsize=284296 CPUtime=0.01 cores=0,2,4,6
/proc/17642/stat : 17642 (python) S 17635 17635 17436 0 -1 4202560 909 0 0 0 1 0 0 0 15 0 1 0 869256604 291119104 5973 33554432000 4194304 5683644 140733514929824 18446744073709551615 208080252431 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/17642/statm: 71074 5973 376 364 0 5961 0
[pid=17644] ppid=17642 vsize=8538116 CPUtime=6.29 cores=0,2,4,6
/proc/17644/stat : 17644 (java) S 17642 17644 17644 0 -1 4202496 46636 0 1 0 622 7 0 0 25 0 19 0 869256605 8743030784 42117 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/17644/statm: 2134529 42117 2251 9 0 2125270 0
[pid=17644/tid=17645] ppid=17642 vsize=8538116 CPUtime=5.37 cores=0,2,4,6
/proc/17644/task/17645/stat : 17645 (java) R 17642 17644 17644 0 -1 4202560 35276 0 1 0 532 5 0 0 21 0 19 0 869256605 8743030784 42117 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 46912505742007 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17644/tid=17646] ppid=17642 vsize=8538116 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17646/stat : 17646 (java) S 17642 17644 17644 0 -1 4202560 693 0 0 0 0 0 0 0 15 0 19 0 869256606 8743030784 42117 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 0 0 0 0
[pid=17644/tid=17647] ppid=17642 vsize=8538116 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17647/stat : 17647 (java) S 17642 17644 17644 0 -1 4202560 786 0 0 0 0 0 0 0 16 0 19 0 869256606 8743030784 42117 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17648] ppid=17642 vsize=8538116 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17648/stat : 17648 (java) S 17642 17644 17644 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 19 0 869256606 8743030784 42117 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17649] ppid=17642 vsize=8538116 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17649/stat : 17649 (java) S 17642 17644 17644 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 869256606 8743030784 42117 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 0 0 0 0
[pid=17644/tid=17650] ppid=17642 vsize=8538116 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17650/stat : 17650 (java) S 17642 17644 17644 0 -1 4202560 507 0 0 0 0 0 0 0 15 0 19 0 869256606 8743030784 42117 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 2 0 0 0
[pid=17644/tid=17651] ppid=17642 vsize=8538116 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17651/stat : 17651 (java) S 17642 17644 17644 0 -1 4202560 144 0 0 0 0 0 0 0 16 0 19 0 869256606 8743030784 42117 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 0 0 0 0
[pid=17644/tid=17652] ppid=17642 vsize=8538116 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17652/stat : 17652 (java) S 17642 17644 17644 0 -1 4202560 397 0 0 0 0 0 0 0 15 0 19 0 869256606 8743030784 42117 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 0 0 0 0
[pid=17644/tid=17653] ppid=17642 vsize=8538116 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17653/stat : 17653 (java) S 17642 17644 17644 0 -1 4202560 462 0 0 0 0 0 0 0 16 0 19 0 869256606 8743030784 42117 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446604452456204352 0 0 -1 6 0 0 0
[pid=17644/tid=17654] ppid=17642 vsize=8538116 CPUtime=0.05 cores=0,2,4,6
/proc/17644/task/17654/stat : 17654 (java) S 17642 17644 17644 0 -1 4202560 1029 0 0 0 5 0 0 0 15 0 19 0 869256607 8743030784 42117 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048896 0 0 0 16800975 18446604452456204352 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=18069/tid=18081] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18081/stat : 18081 (java) S 18067 18069 18069 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 869275883 8668819456 3683 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18082] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18082/stat : 18082 (java) S 18067 18069 18069 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869275886 8668819456 3684 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092055985 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18083] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18083/stat : 18083 (java) S 18067 18069 18069 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 18 0 869275886 8668819456 3684 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18084] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18084/stat : 18084 (java) S 18067 18069 18069 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 869275886 8668819456 3684 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18085] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18085/stat : 18085 (java) S 18067 18069 18069 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869275886 8668819456 3684 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18086] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18086/stat : 18086 (java) S 18067 18069 18069 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869275886 8668819456 3684 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048896 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=17635/tid=17643] ppid=17633 vsize=336068 CPUtime=0 cores=0,2,4,6
/proc/17635/task/17643/stat : 17643 (python) S 17633 17635 17436 0 -1 4202560 28 929 0 0 0 0 0 0 25 0 6 0 869256605 344133632 7622 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554434 18446604442894105600 0 0 -1 6 0 0 0
[pid=17635/tid=17830] ppid=17633 vsize=336068 CPUtime=0 cores=0,2,4,6
/proc/17635/task/17830/stat : 17830 (python) S 17633 17635 17436 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 6 0 869261459 344133632 7622 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554434 18446604442894105600 0 0 -1 4 0 0 0
[pid=17635/tid=17923] ppid=17633 vsize=336068 CPUtime=0 cores=0,2,4,6
/proc/17635/task/17923/stat : 17923 (python) S 17633 17635 17436 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 6 0 869266302 344133632 7622 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554434 18446604442894105600 0 0 -1 4 0 0 0
[pid=17635/tid=17986] ppid=17633 vsize=336068 CPUtime=0 cores=0,2,4,6
/proc/17635/task/17986/stat : 17986 (python) S 17633 17635 17436 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 6 0 869271082 344133632 7622 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554434 18446604442894105600 0 0 -1 6 0 0 0
[pid=17635/tid=18068] ppid=17633 vsize=336068 CPUtime=0 cores=0,2,4,6
/proc/17635/task/18068/stat : 18068 (python) S 17633 17635 17436 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 6 0 869275880 344133632 7622 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554434 18446604442894105600 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 195.23
Current children cumulated vsize (KiB) 19095248
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+193.602 s]
/proc/loadavg: 2.41 1.60 0.73 4/595 18081
/proc/meminfo: memFree=27472848/32950928 swapFree=38525204/67111528
[pid=17635] ppid=17633 vsize=336068 CPUtime=0.67 cores=0,2,4,6
/proc/17635/stat : 17635 (python) S 17633 17635 17436 0 -1 4202496 13643 929 1 0 55 12 0 0 20 0 6 0 869256523 344133632 7622 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17635/statm: 84017 7622 1879 364 0 18892 0
[pid=17642] ppid=17635 vsize=294540 CPUtime=0.22 cores=0,2,4,6
/proc/17642/stat : 17642 (python) S 17635 17635 17436 0 -1 4202560 1093 0 0 0 10 12 0 0 17 0 2 0 869256604 301608960 6009 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17642/statm: 73635 6009 407 364 0 8522 0
[pid=17644] ppid=17642 vsize=8538116 CPUtime=49.61 cores=0,2,4,6
/proc/17644/stat : 17644 (java) T 17642 17644 17644 0 -1 4202496 51417 0 1 0 4945 16 0 0 18 0 19 0 869256605 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/17644/statm: 2134529 31645 2251 9 0 2125270 0
[pid=17644/tid=17645] ppid=17642 vsize=8538116 CPUtime=47.81 cores=0,2,4,6
/proc/17644/task/17645/stat : 17645 (java) T 17642 17644 17644 0 -1 4202560 35390 0 1 0 4770 11 0 0 25 0 19 0 869256605 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 46912505750223 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17644/tid=17646] ppid=17642 vsize=8538116 CPUtime=0.07 cores=0,2,4,6
/proc/17644/task/17646/stat : 17646 (java) T 17642 17644 17644 0 -1 4202560 967 0 0 0 7 0 0 0 15 0 19 0 869256606 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17644/tid=17647] ppid=17642 vsize=8538116 CPUtime=0.08 cores=0,2,4,6
/proc/17644/task/17647/stat : 17647 (java) T 17642 17644 17644 0 -1 4202560 1384 0 0 0 8 0 0 0 15 0 19 0 869256606 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17644/tid=17648] ppid=17642 vsize=8538116 CPUtime=0.05 cores=0,2,4,6
/proc/17644/task/17648/stat : 17648 (java) T 17642 17644 17644 0 -1 4202560 544 0 0 0 5 0 0 0 15 0 19 0 869256606 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17644/tid=17649] ppid=17642 vsize=8538116 CPUtime=0.05 cores=0,2,4,6
/proc/17644/task/17649/stat : 17649 (java) T 17642 17644 17644 0 -1 4202560 635 0 0 0 5 0 0 0 15 0 19 0 869256606 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17644/tid=17650] ppid=17642 vsize=8538116 CPUtime=0.08 cores=0,2,4,6
/proc/17644/task/17650/stat : 17650 (java) T 17642 17644 17644 0 -1 4202560 1294 0 0 0 8 0 0 0 15 0 19 0 869256606 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17644/tid=17651] ppid=17642 vsize=8538116 CPUtime=0.06 cores=0,2,4,6
/proc/17644/task/17651/stat : 17651 (java) T 17642 17644 17644 0 -1 4202560 875 0 0 0 6 0 0 0 15 0 19 0 869256606 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17644/tid=17652] ppid=17642 vsize=8538116 CPUtime=0.08 cores=0,2,4,6
/proc/17644/task/17652/stat : 17652 (java) T 17642 17644 17644 0 -1 4202560 1050 0 0 0 8 0 0 0 15 0 19 0 869256606 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17644/tid=17653] ppid=17642 vsize=8538116 CPUtime=0.08 cores=0,2,4,6
/proc/17644/task/17653/stat : 17653 (java) T 17642 17644 17644 0 -1 4202560 970 0 0 0 8 0 0 0 15 0 19 0 869256606 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17644/tid=17654] ppid=17642 vsize=8538116 CPUtime=0.32 cores=0,2,4,6
/proc/17644/task/17654/stat : 17654 (java) T 17642 17644 17644 0 -1 4202560 1318 0 0 0 31 1 0 0 15 0 19 0 869256607 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048896 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17644/tid=17655] ppid=17642 vsize=8538116 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17655/stat : 17655 (java) T 17642 17644 17644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869256607 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17644/tid=17656] ppid=17642 vsize=8538116 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17656/stat : 17656 (java) T 17642 17644 17644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869256607 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17644/tid=17657] ppid=17642 vsize=8538116 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17657/stat : 17657 (java) T 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869256609 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17644/tid=17658] ppid=17642 vsize=8538116 CPUtime=0.47 cores=0,2,4,6
/proc/17644/task/17658/stat : 17658 (java) T 17642 17644 17644 0 -1 4202560 1407 0 0 0 47 0 0 0 15 0 19 0 869256609 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17644/tid=17659] ppid=17642 vsize=8538116 CPUtime=0.36 cores=0,2,4,6
/proc/17644/task/17659/stat : 17659 (java) T 17642 17644 17644 0 -1 4202560 4203 0 0 0 36 0 0 0 15 0 19 0 869256609 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17644/tid=17660] ppid=17642 vsize=8538116 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17660/stat : 17660 (java) T 17642 17644 17644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869256609 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17644/tid=17661] ppid=17642 vsize=8538116 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17661/stat : 17661 (java) T 17642 17644 17644 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869256609 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17644/tid=17662] ppid=17642 vsize=8538116 CPUtime=0 cores=0,2,4,6
/proc/17644/task/17662/stat : 17662 (java) T 17642 17644 17644 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869256642 8743030784 31645 33554432000 1073741824 1073778376 140733264616480 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17642/tid=17828] ppid=17635 vsize=294540 CPUtime=0 cores=0,2,4,6
/proc/17642/task/17828/stat : 17828 (python) S 17635 17635 17436 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869261456 301608960 6009 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554946 18446604444413489536 0 0 -1 6 0 0 0
[pid=17829] ppid=17635 vsize=295056 CPUtime=0.22 cores=0,2,4,6
/proc/17829/stat : 17829 (python) S 17635 17635 17436 0 -1 4202560 1145 0 0 0 12 10 0 0 17 0 2 0 869261459 302137344 6125 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17829/statm: 73764 6125 397 364 0 8648 0
[pid=17831] ppid=17829 vsize=76804 CPUtime=48.39 cores=0,2,4,6
/proc/17831/stat : 17831 (wbo1.4a) T 17829 17831 17831 0 -1 4202496 19232 0 0 0 4804 35 0 0 25 0 1 0 869261459 78647296 18740 33554432000 134512640 135751879 4288452288 18446744073709551615 134606387 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/17831/statm: 19201 18740 146 303 0 18896 0
[pid=17829/tid=17921] ppid=17635 vsize=295056 CPUtime=0 cores=0,2,4,6
/proc/17829/task/17921/stat : 17921 (python) S 17635 17635 17436 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869266299 302137344 6125 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554946 18446604450486335296 0 0 -1 6 0 0 0
[pid=17922] ppid=17635 vsize=305312 CPUtime=0.22 cores=0,2,4,6
/proc/17922/stat : 17922 (python) S 17635 17635 17436 0 -1 4202560 1123 0 0 0 12 10 0 0 17 0 2 0 869266302 312639488 6129 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17922/statm: 76328 6129 397 364 0 11209 0
[pid=17924] ppid=17922 vsize=66116 CPUtime=47.71 cores=0,2,4,6
/proc/17924/stat : 17924 (scip-2.0.1.linu) T 17922 17924 17924 0 -1 4202496 18467 0 0 0 4738 33 0 0 25 0 1 0 869266302 67702784 14160 33554432000 4194304 13684479 140734901167744 18446744073709551615 7399135 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/17924/statm: 16529 14160 828 2317 0 14207 0
[pid=17922/tid=17984] ppid=17635 vsize=305312 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17984/stat : 17984 (python) S 17635 17635 17436 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869271079 312639488 6129 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554946 18446604442415397760 0 0 -1 6 0 0 0
[pid=17985] ppid=17635 vsize=315568 CPUtime=0.19 cores=0,2,4,6
/proc/17985/stat : 17985 (python) S 17635 17635 17436 0 -1 4202560 1135 0 0 0 8 11 0 0 16 0 2 0 869271082 323141632 6133 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17985/statm: 78892 6133 397 364 0 13770 0
[pid=17987] ppid=17985 vsize=76200 CPUtime=47.95 cores=0,2,4,6
/proc/17987/stat : 17987 (pbct-0.1.2-linu) T 17985 17987 17987 0 -1 4202496 19534 0 0 0 4759 36 0 0 25 0 1 0 869271082 78028800 18222 33554432000 134512640 136422188 4289902416 18446744073709551615 135006723 0 0 16781312 16387 18446744071562691360 0 0 17 0 0 0 0
/proc/17987/statm: 19050 18222 238 467 0 18581 0
[pid=17985/tid=18066] ppid=17635 vsize=315568 CPUtime=0 cores=0,2,4,6
/proc/17985/task/18066/stat : 18066 (python) S 17635 17635 17436 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869275878 323141632 6133 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554946 18446604442282035328 0 0 -1 6 0 0 0
[pid=18067] ppid=17635 vsize=325824 CPUtime=0 cores=0,2,4,6
/proc/18067/stat : 18067 (python) S 17635 17635 17436 0 -1 4202560 755 0 0 0 0 0 0 0 20 0 1 0 869275880 333643776 6085 33554432000 4194304 5683644 140733514929824 18446744073709551615 208080252486 0 0 16781312 33554946 13111158536065220867 0 0 17 4 0 0 0
/proc/18067/statm: 81456 6085 346 364 0 16331 0
[pid=18069] ppid=18067 vsize=8465644 CPUtime=0.05 cores=0,2,4,6
/proc/18069/stat : 18069 (java) S 18067 18069 18069 0 -1 4202496 4155 0 1 0 4 1 0 0 21 0 18 0 869275880 8668819456 3613 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18069/statm: 2116411 3613 1735 9 0 2107152 0
[pid=18069/tid=18070] ppid=18067 vsize=8465644 CPUtime=0.04 cores=0,2,4,6
/proc/18069/task/18070/stat : 18070 (java) R 18067 18069 18069 0 -1 4202560 2800 0 1 0 4 0 0 0 22 0 18 0 869275881 8668819456 3672 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092059083 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18069/tid=18071] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18071/stat : 18071 (java) S 18067 18069 18069 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869275882 8668819456 3672 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 6 0 0 0
[pid=18069/tid=18072] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18072/stat : 18072 (java) S 18067 18069 18069 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869275882 8668819456 3672 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 6 0 0 0
[pid=18069/tid=18073] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18073/stat : 18073 (java) S 18067 18069 18069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869275882 8668819456 3677 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18074] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18074/stat : 18074 (java) S 18067 18069 18069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869275882 8668819456 3677 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18075] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18075/stat : 18075 (java) S 18067 18069 18069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869275882 8668819456 3678 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18076] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18076/stat : 18076 (java) S 18067 18069 18069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869275882 8668819456 3679 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18077] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18077/stat : 18077 (java) S 18067 18069 18069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869275882 8668819456 3680 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18078] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18078/stat : 18078 (java) S 18067 18069 18069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869275882 8668819456 3680 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18079] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18079/stat : 18079 (java) S 18067 18069 18069 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869275883 8668819456 3680 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048896 0 0 0 16800975 18446604452456203456 0 0 -1 6 0 0 0
[pid=18069/tid=18080] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18080/stat : 18080 (java) S 18067 18069 18069 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 869275883 8668819456 3681 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 6 0 0 0
[pid=18069/tid=18081] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18081/stat : 18081 (java) S 18067 18069 18069 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 869275883 8668819456 3683 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18082] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18082/stat : 18082 (java) S 18067 18069 18069 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869275886 8668819456 3684 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092055985 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18083] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18083/stat : 18083 (java) S 18067 18069 18069 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 18 0 869275886 8668819456 3684 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18084] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18084/stat : 18084 (java) S 18067 18069 18069 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 869275886 8668819456 3684 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18085] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18085/stat : 18085 (java) S 18067 18069 18069 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869275886 8668819456 3684 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048281 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=18069/tid=18086] ppid=18067 vsize=8465644 CPUtime=0 cores=0,2,4,6
/proc/18069/task/18086/stat : 18086 (java) S 18067 18069 18069 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869275886 8668819456 3684 33554432000 1073741824 1073778376 140734027286256 18446744073709551615 208092048896 0 4 0 16800975 18446604452456203456 0 0 -1 0 0 0 0
[pid=17635/tid=17643] ppid=17633 vsize=336068 CPUtime=0 cores=0,2,4,6
/proc/17635/task/17643/stat : 17643 (python) S 17633 17635 17436 0 -1 4202560 28 929 0 0 0 0 0 0 25 0 6 0 869256605 344133632 7622 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554434 18446604442894105600 0 0 -1 6 0 0 0
[pid=17635/tid=17830] ppid=17633 vsize=336068 CPUtime=0 cores=0,2,4,6
/proc/17635/task/17830/stat : 17830 (python) S 17633 17635 17436 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 6 0 869261459 344133632 7622 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554434 18446604442894105600 0 0 -1 4 0 0 0
[pid=17635/tid=17923] ppid=17633 vsize=336068 CPUtime=0 cores=0,2,4,6
/proc/17635/task/17923/stat : 17923 (python) S 17633 17635 17436 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 6 0 869266302 344133632 7622 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554434 18446604442894105600 0 0 -1 4 0 0 0
[pid=17635/tid=17986] ppid=17633 vsize=336068 CPUtime=0 cores=0,2,4,6
/proc/17635/task/17986/stat : 17986 (python) S 17633 17635 17436 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 6 0 869271082 344133632 7622 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554434 18446604442894105600 0 0 -1 6 0 0 0
[pid=17635/tid=18068] ppid=17633 vsize=336068 CPUtime=0 cores=0,2,4,6
/proc/17635/task/18068/stat : 18068 (python) S 17633 17635 17436 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 6 0 869275880 344133632 7622 33554432000 4194304 5683644 140733514929824 18446744073709551615 208092055985 0 0 16781312 33554434 18446604442894105600 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 195.23
Current children cumulated vsize (KiB) 19095248
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17635 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=561914
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=125980
# CPU time returned by wait4() is 0.687894
# while last known CPU time is 195.23
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 193.682
CPU time (s): 195.23
CPU user time (s): 193.47
CPU system time (s): 1.76
CPU usage (%): 100.799
Max. virtual memory (cumulated for all children) (KiB): 19095248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.561914
system time used= 0.12598
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15039
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= 2869
involuntary context switches= 23
runsolver used 1.21381 second user time and 2.51662 second system time
The end