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-3482214-1307578731/watcher-3482214-1307578731 -o /tmp/evaluation-result-3482214-1307578731/solver-3482214-1307578731 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482214-1307578731.opb -seed 1192228566 -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.41 2.19 1.94 2/790 17684
/proc/meminfo: memFree=7532516/32950940 swapFree=67111360/67111528
[pid=17684] ppid=17682 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/17684/stat : 17684 (python) R 17682 17684 14716 0 -1 4202496 995 0 0 0 0 0 0 0 19 0 1 0 948103980 16625664 867 33554432000 4194304 5683644 140734622313776 18446744073709551615 215988253381 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17684/statm: 4059 867 368 364 0 546 0
[startup+0.109243 s]
/proc/loadavg: 2.41 2.19 1.94 2/790 17684
/proc/meminfo: memFree=7532516/32950940 swapFree=67111360/67111528
[pid=17684] ppid=17682 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/17684/stat : 17684 (python) R 17682 17684 14716 0 -1 4202496 3169 928 1 0 7 1 0 0 19 0 1 0 948103980 98430976 2483 33554432000 4194304 5683644 140734622313776 18446744073709551615 5172002 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17684/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.200228 s]
/proc/loadavg: 2.41 2.19 1.94 2/790 17684
/proc/meminfo: memFree=7532516/32950940 swapFree=67111360/67111528
[pid=17684] ppid=17682 vsize=123740 CPUtime=0.14 cores=0,2,4,6
/proc/17684/stat : 17684 (python) R 17682 17684 14716 0 -1 4202496 5357 928 1 0 11 3 0 0 19 0 1 0 948103980 126709760 3744 33554432000 4194304 5683644 140734622313776 18446744073709551615 215988588549 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17684/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.300211 s]
/proc/loadavg: 2.41 2.19 1.94 2/790 17684
/proc/meminfo: memFree=7532516/32950940 swapFree=67111360/67111528
[pid=17684] ppid=17682 vsize=184600 CPUtime=0.22 cores=0,2,4,6
/proc/17684/stat : 17684 (python) R 17682 17684 14716 0 -1 4202496 6345 928 1 0 17 5 0 0 19 0 1 0 948103980 189030400 4648 33554432000 4194304 5683644 140734622313776 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17684/statm: 46149 4649 1251 364 0 3655 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184600
[startup+0.700188 s]
/proc/loadavg: 2.41 2.19 1.94 2/790 17684
/proc/meminfo: memFree=7532516/32950940 swapFree=67111360/67111528
[pid=17684] ppid=17682 vsize=298156 CPUtime=0.6 cores=0,2,4,6
/proc/17684/stat : 17684 (python) R 17682 17684 14716 0 -1 4202496 12935 928 1 0 51 9 0 0 18 0 1 0 948103980 305311744 10797 33554432000 4194304 5683644 140734622313776 18446744073709551615 4602993 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17684/statm: 74539 10798 1781 364 0 9432 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 298156
[startup+1.501 s]
/proc/loadavg: 2.41 2.19 1.94 3/791 17689
/proc/meminfo: memFree=7479312/32950940 swapFree=67111360/67111528
[pid=17684] ppid=17682 vsize=328312 CPUtime=1.41 cores=0,2,4,6
/proc/17684/stat : 17684 (python) R 17682 17684 14716 0 -1 4202496 20299 928 1 0 131 10 0 0 19 0 1 0 948103980 336191488 18161 33554432000 4194304 5683644 140734622313776 18446744073709551615 47257627325826 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17684/statm: 82078 18161 1781 364 0 16971 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 328312
[startup+3.10072 s]
/proc/loadavg: 2.41 2.19 1.94 3/791 17689
/proc/meminfo: memFree=7479312/32950940 swapFree=67111360/67111528
[pid=17684] ppid=17682 vsize=336372 CPUtime=3 cores=0,2,4,6
/proc/17684/stat : 17684 (python) R 17682 17684 14716 0 -1 4202496 31414 928 1 0 289 11 0 0 22 0 1 0 948103980 344444928 20441 33554432000 4194304 5683644 140734622313776 18446744073709551615 215992001205 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/17684/statm: 84093 20441 1816 364 0 18986 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 336372
[startup+6.30116 s]
/proc/loadavg: 2.38 2.18 1.94 3/794 17692
/proc/meminfo: memFree=7405304/32950940 swapFree=67111360/67111528
[pid=17684] ppid=17682 vsize=350300 CPUtime=3.96 cores=0,2,4,6
/proc/17684/stat : 17684 (python) S 17682 17684 14716 0 -1 4202496 32616 928 1 0 385 11 0 0 25 0 2 0 948103980 358707200 21414 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/17684/statm: 87575 21414 1870 364 0 22462 0
[pid=17690] ppid=17684 vsize=340056 CPUtime=0 cores=0,2,4,6
/proc/17690/stat : 17690 (python) S 17684 17684 14716 0 -1 4202560 743 0 0 0 0 0 0 0 15 0 1 0 948104386 348217344 19891 33554432000 4194304 5683644 140734622313776 18446744073709551615 215988612623 0 0 16781312 33554946 4439934094486241537 0 0 17 2 0 0 0
/proc/17690/statm: 85014 19891 351 364 0 19901 0
[pid=17692] ppid=17690 vsize=59740 CPUtime=2.22 cores=0,2,4,6
/proc/17692/stat : 17692 (wbo1.4a) R 17690 17692 17692 0 -1 4202496 25960 0 0 0 219 3 0 0 25 0 1 0 948104386 61173760 13989 33554432000 134512640 135751879 4287779824 18446744073709551615 135221345 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/17692/statm: 14935 13989 145 303 0 14630 0
[pid=17684/tid=17691] ppid=17682 vsize=350300 CPUtime=0 cores=0,2,4,6
/proc/17684/task/17691/stat : 17691 (python) S 17682 17684 14716 0 -1 4202560 28 928 0 0 0 0 0 0 25 0 2 0 948104386 358707200 21414 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451857963200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 750096
[startup+12.701 s]
/proc/loadavg: 2.35 2.18 1.94 3/794 17692
/proc/meminfo: memFree=7388648/32950940 swapFree=67111360/67111528
[pid=17684] ppid=17682 vsize=350300 CPUtime=3.96 cores=0,2,4,6
/proc/17684/stat : 17684 (python) S 17682 17684 14716 0 -1 4202496 32616 928 1 0 385 11 0 0 25 0 2 0 948103980 358707200 21414 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/17684/statm: 87575 21414 1870 364 0 22462 0
[pid=17690] ppid=17684 vsize=340056 CPUtime=0.04 cores=0,2,4,6
/proc/17690/stat : 17690 (python) S 17684 17684 14716 0 -1 4202560 919 0 0 0 2 2 0 0 15 0 1 0 948104386 348217344 19915 33554432000 4194304 5683644 140734622313776 18446744073709551615 215988612623 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/17690/statm: 85014 19915 375 364 0 19901 0
[pid=17692] ppid=17690 vsize=65132 CPUtime=8.63 cores=0,2,4,6
/proc/17692/stat : 17692 (wbo1.4a) R 17690 17692 17692 0 -1 4202496 43945 0 0 0 855 8 0 0 25 0 1 0 948104386 66695168 15382 33554432000 134512640 135751879 4287779824 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/17692/statm: 16283 15382 146 303 0 15978 0
[pid=17684/tid=17691] ppid=17682 vsize=350300 CPUtime=0 cores=0,2,4,6
/proc/17684/task/17691/stat : 17691 (python) S 17682 17684 14716 0 -1 4202560 28 928 0 0 0 0 0 0 25 0 2 0 948104386 358707200 21414 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451857963200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 755488
[startup+25.5219 s]
/proc/loadavg: 2.27 2.17 1.94 4/794 17692
/proc/meminfo: memFree=7383804/32950940 swapFree=67111360/67111528
[pid=17684] ppid=17682 vsize=350300 CPUtime=3.96 cores=0,2,4,6
/proc/17684/stat : 17684 (python) S 17682 17684 14716 0 -1 4202496 32616 928 1 0 385 11 0 0 25 0 2 0 948103980 358707200 21414 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/17684/statm: 87575 21414 1870 364 0 22462 0
[pid=17690] ppid=17684 vsize=340056 CPUtime=0.12 cores=0,2,4,6
/proc/17690/stat : 17690 (python) S 17684 17684 14716 0 -1 4202560 928 0 0 0 7 5 0 0 15 0 1 0 948104386 348217344 19915 33554432000 4194304 5683644 140734622313776 18446744073709551615 215988612623 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/17690/statm: 85014 19915 375 364 0 19901 0
[pid=17692] ppid=17690 vsize=71332 CPUtime=21.45 cores=0,2,4,6
/proc/17692/stat : 17692 (wbo1.4a) R 17690 17692 17692 0 -1 4202496 50566 0 0 0 2132 13 0 0 25 0 1 0 948104386 73043968 16889 33554432000 134512640 135751879 4287779824 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/17692/statm: 17833 16889 146 303 0 17528 0
[pid=17684/tid=17691] ppid=17682 vsize=350300 CPUtime=0 cores=0,2,4,6
/proc/17684/task/17691/stat : 17691 (python) S 17682 17684 14716 0 -1 4202560 28 928 0 0 0 0 0 0 25 0 2 0 948104386 358707200 21414 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451857963200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 761688
[startup+51.1004 s]
/proc/loadavg: 2.18 2.16 1.94 3/797 17696
/proc/meminfo: memFree=7358460/32950940 swapFree=67111360/67111528
[pid=17684] ppid=17682 vsize=350300 CPUtime=3.96 cores=0,2,4,6
/proc/17684/stat : 17684 (python) S 17682 17684 14716 0 -1 4202496 32616 928 1 0 385 11 0 0 25 0 2 0 948103980 358707200 21414 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/17684/statm: 87575 21414 1870 364 0 22462 0
[pid=17690] ppid=17684 vsize=340056 CPUtime=0.23 cores=0,2,4,6
/proc/17690/stat : 17690 (python) S 17684 17684 14716 0 -1 4202560 936 0 0 0 13 10 0 0 15 0 1 0 948104386 348217344 19915 33554432000 4194304 5683644 140734622313776 18446744073709551615 215988612623 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/17690/statm: 85014 19915 375 364 0 19901 0
[pid=17692] ppid=17690 vsize=79360 CPUtime=47.02 cores=0,2,4,6
/proc/17692/stat : 17692 (wbo1.4a) R 17690 17692 17692 0 -1 4202496 55214 0 0 0 4680 22 0 0 25 0 1 0 948104386 81264640 18887 33554432000 134512640 135751879 4287779824 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/17692/statm: 19840 18887 146 303 0 19535 0
[pid=17684/tid=17691] ppid=17682 vsize=350300 CPUtime=0 cores=0,2,4,6
/proc/17684/task/17691/stat : 17691 (python) S 17682 17684 14716 0 -1 4202560 28 928 0 0 0 0 0 0 25 0 2 0 948104386 358707200 21414 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451857963200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 769716
[startup+102.301 s]
/proc/loadavg: 2.07 2.13 1.94 3/823 17724
/proc/meminfo: memFree=5975184/32950940 swapFree=67111360/67111528
[pid=17684] ppid=17682 vsize=370812 CPUtime=4.02 cores=0,2,4,6
/proc/17684/stat : 17684 (python) S 17682 17684 14716 0 -1 4202496 34378 928 1 0 390 12 0 0 20 0 4 0 948103980 379711488 21427 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17684/statm: 92703 21427 1875 364 0 27584 0
[pid=17690] ppid=17684 vsize=350300 CPUtime=0.26 cores=0,2,4,6
/proc/17690/stat : 17690 (python) S 17684 17684 14716 0 -1 4202560 1097 0 0 0 14 12 0 0 17 0 2 0 948104386 358707200 19951 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17690/statm: 87575 19951 406 364 0 22462 0
[pid=17692] ppid=17690 vsize=79360 CPUtime=47.3 cores=0,2,4,6
/proc/17692/stat : 17692 (wbo1.4a) T 17690 17692 17692 0 -1 4202496 55214 0 0 0 4708 22 0 0 25 0 1 0 948104386 81264640 18887 33554432000 134512640 135751879 4287779824 18446744073709551615 134616532 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17692/statm: 19840 18887 146 303 0 19535 0
[pid=17690/tid=17697] ppid=17684 vsize=350300 CPUtime=0 cores=0,2,4,6
/proc/17690/task/17697/stat : 17697 (python) S 17684 17684 14716 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948109117 358707200 19951 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554946 18446604443506350848 0 0 -1 6 0 0 0
[pid=17698] ppid=17684 vsize=350312 CPUtime=0.23 cores=0,2,4,6
/proc/17698/stat : 17698 (python) S 17684 17684 14716 0 -1 4202560 1101 0 0 0 10 13 0 0 17 0 2 0 948109120 358719488 19941 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17698/statm: 87578 19941 396 364 0 22462 0
[pid=17700] ppid=17698 vsize=1038908 CPUtime=46.73 cores=0,2,4,6
/proc/17700/stat : 17700 (scip-2.0.1.linu) T 17698 17700 17700 0 -1 4202496 255678 0 0 0 4603 70 0 0 25 0 1 0 948109120 1063841792 251582 33554432000 4194304 13684479 140733834363280 18446744073709551615 4880943 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17700/statm: 259727 251582 710 2317 0 257405 0
[pid=17698/tid=17702] ppid=17684 vsize=350312 CPUtime=0 cores=0,2,4,6
/proc/17698/task/17702/stat : 17702 (python) S 17684 17684 14716 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 948113794 358719488 19941 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554946 18446604449586205952 0 0 -1 6 0 0 0
[pid=17703] ppid=17684 vsize=360568 CPUtime=0.02 cores=0,2,4,6
/proc/17703/stat : 17703 (python) S 17684 17684 14716 0 -1 4202560 935 0 0 0 1 1 0 0 15 0 1 0 948113796 369221632 19920 33554432000 4194304 5683644 140734622313776 18446744073709551615 215988612678 0 0 16781312 33554946 18141819301412176129 0 0 17 4 0 0 0
/proc/17703/statm: 90142 19920 372 364 0 25023 0
[pid=17705] ppid=17703 vsize=8605252 CPUtime=6.05 cores=0,2,4,6
/proc/17705/stat : 17705 (java) S 17703 17705 17705 0 -1 4202496 160772 0 1 0 584 21 0 0 20 0 19 0 948113797 8811778048 154682 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17705/statm: 2151313 154682 2242 9 0 2142054 0
[pid=17705/tid=17706] ppid=17703 vsize=8605252 CPUtime=3.99 cores=0,2,4,6
/proc/17705/task/17706/stat : 17706 (java) R 17703 17705 17705 0 -1 4202560 119377 0 1 0 385 14 0 0 25 0 19 0 948113798 8811778048 154682 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 46912506023474 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17705/tid=17707] ppid=17703 vsize=8605252 CPUtime=0.02 cores=0,2,4,6
/proc/17705/task/17707/stat : 17707 (java) S 17703 17705 17705 0 -1 4202560 2076 0 0 0 2 0 0 0 15 0 19 0 948113799 8811778048 154682 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 2 0 0 0
[pid=17705/tid=17708] ppid=17703 vsize=8605252 CPUtime=0.05 cores=0,2,4,6
/proc/17705/task/17708/stat : 17708 (java) S 17703 17705 17705 0 -1 4202560 4772 0 0 0 5 0 0 0 16 0 19 0 948113799 8811778048 154682 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 6 0 0 0
[pid=17705/tid=17709] ppid=17703 vsize=8605252 CPUtime=0.04 cores=0,2,4,6
/proc/17705/task/17709/stat : 17709 (java) S 17703 17705 17705 0 -1 4202560 3150 0 0 0 4 0 0 0 15 0 19 0 948113799 8811778048 154682 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 6 0 0 0
[pid=17705/tid=17710] ppid=17703 vsize=8605252 CPUtime=0.05 cores=0,2,4,6
/proc/17705/task/17710/stat : 17710 (java) S 17703 17705 17705 0 -1 4202560 4692 0 0 0 5 0 0 0 16 0 19 0 948113799 8811778048 154682 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 6 0 0 0
[pid=17705/tid=17711] ppid=17703 vsize=8605252 CPUtime=0.05 cores=0,2,4,6
/proc/17705/task/17711/stat : 17711 (java) S 17703 17705 17705 0 -1 4202560 4775 0 0 0 5 0 0 0 15 0 19 0 948113799 8811778048 154682 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 2 0 0 0
[pid=17705/tid=17712] ppid=17703 vsize=8605252 CPUtime=0.01 cores=0,2,4,6
/proc/17705/task/17712/stat : 17712 (java) S 17703 17705 17705 0 -1 4202560 1584 0 0 0 1 0 0 0 15 0 19 0 948113799 8811778048 154682 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 0 0 0 0
[pid=17705/tid=17713] ppid=17703 vsize=8605252 CPUtime=0.03 cores=0,2,4,6
/proc/17705/task/17713/stat : 17713 (java) S 17703 17705 17705 0 -1 4202560 2525 0 0 0 3 0 0 0 16 0 19 0 948113799 8811778048 154682 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 0 0 0 0
[pid=17705/tid=17714] ppid=17703 vsize=8605252 CPUtime=0.06 cores=0,2,4,6
/proc/17705/task/17714/stat : 17714 (java) S 17703 17705 17705 0 -1 4202560 4729 0 0 0 6 0 0 0 16 0 19 0 948113799 8811778048 154682 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 2 0 0 0
[pid=17705/tid=17715] ppid=17703 vsize=8605252 CPUtime=0 cores=0,2,4,6
/proc/17705/task/17715/stat : 17715 (java) S 17703 17705 17705 0 -1 4202560 463 0 0 0 0 0 0 0 15 0 19 0 948113800 8811778048 154682 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000409088 0 0 0 16800975 18446604450560624704 0 0 -1 4 0 0 0
[pid=17705/tid=17716] ppid=17703 vsize=8605252 CPUtime=0 cores=0,2,4,6
/proc/17705/task/17716/stat : 17716 (java) S 17703 17705 17705 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 948113800 8811778048 154682 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=17705/tid=17723] ppid=17703 vsize=8605252 CPUtime=0 cores=0,2,4,6
/proc/17705/task/17723/stat : 17723 (java) T 17703 17705 17705 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948113971 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17703/tid=17727] ppid=17684 vsize=360568 CPUtime=0 cores=0,2,4,6
/proc/17703/task/17727/stat : 17727 (python) S 17684 17684 14716 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948118184 369221632 19945 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554946 18446604443551049728 0 0 -1 6 0 0 0
[pid=17728] ppid=17684 vsize=370824 CPUtime=0.37 cores=0,2,4,6
/proc/17728/stat : 17728 (python) S 17684 17684 14716 0 -1 4202560 997 0 0 0 17 20 0 0 15 0 1 0 948118187 379723776 19924 33554432000 4194304 5683644 140734622313776 18446744073709551615 215988612678 0 0 16781312 33554946 72556772316949242 0 0 17 6 0 0 0
/proc/17728/statm: 92706 19924 372 364 0 27584 0
[pid=17730] ppid=17728 vsize=39960 CPUtime=80.21 cores=0,2,4,6
/proc/17730/stat : 17730 (clasp-1.3.7-x86) R 17728 17730 17730 0 -1 4202496 12330 0 0 0 8019 2 0 0 25 0 1 0 948118187 40919040 9720 33554432000 134512640 136139019 4286701664 18446744073709551615 134832319 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/17730/statm: 9990 9720 190 398 0 9590 0
[pid=17684/tid=17691] ppid=17682 vsize=381068 CPUtime=0 cores=0,2,4,6
/proc/17684/task/17691/stat : 17691 (python) S 17682 17684 14716 0 -1 4202560 28 928 0 0 0 0 0 0 25 0 5 0 948104386 390213632 21433 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451857963200 0 0 -1 2 0 0 0
[pid=17684/tid=17699] ppid=17682 vsize=381068 CPUtime=0 cores=0,2,4,6
/proc/17684/task/17699/stat : 17699 (python) S 17682 17684 14716 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 5 0 948109120 390213632 21433 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451857963200 0 0 -1 4 0 0 0
[pid=17684/tid=17704] ppid=17682 vsize=381068 CPUtime=0 cores=0,2,4,6
/proc/17684/task/17704/stat : 17704 (python) S 17682 17684 14716 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 5 0 948113797 390213632 21433 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451857963200 0 0 -1 4 0 0 0
[pid=17684/tid=17729] ppid=17682 vsize=381068 CPUtime=0 cores=0,2,4,6
/proc/17684/task/17729/stat : 17729 (python) S 17682 17684 14716 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 5 0 948118187 390213632 21433 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451857963200 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 225.95
Current children cumulated vsize (KiB) 11576552
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+237.702 s]
/proc/loadavg: 2.11 2.11 1.95 8/849 17753
/proc/meminfo: memFree=3446640/32950940 swapFree=67111360/67111528
[pid=17684] ppid=17682 vsize=391324 CPUtime=4.07 cores=0,2,4,6
/proc/17684/stat : 17684 (python) S 17682 17684 14716 0 -1 4202496 36157 928 1 0 395 12 0 0 20 0 6 0 948103980 400715776 21439 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17684/statm: 97831 21439 1879 364 0 32706 0
[pid=17690] ppid=17684 vsize=350300 CPUtime=0.26 cores=0,2,4,6
/proc/17690/stat : 17690 (python) S 17684 17684 14716 0 -1 4202560 1097 0 0 0 14 12 0 0 17 0 2 0 948104386 358707200 19951 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17690/statm: 87575 19951 406 364 0 22462 0
[pid=17692] ppid=17690 vsize=79360 CPUtime=47.3 cores=0,2,4,6
/proc/17692/stat : 17692 (wbo1.4a) T 17690 17692 17692 0 -1 4202496 55214 0 0 0 4708 22 0 0 25 0 1 0 948104386 81264640 18887 33554432000 134512640 135751879 4287779824 18446744073709551615 134616532 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17692/statm: 19840 18887 146 303 0 19535 0
[pid=17690/tid=17697] ppid=17684 vsize=350300 CPUtime=0 cores=0,2,4,6
/proc/17690/task/17697/stat : 17697 (python) S 17684 17684 14716 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948109117 358707200 19951 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554946 18446604443506350848 0 0 -1 6 0 0 0
[pid=17698] ppid=17684 vsize=350312 CPUtime=0.23 cores=0,2,4,6
/proc/17698/stat : 17698 (python) S 17684 17684 14716 0 -1 4202560 1101 0 0 0 10 13 0 0 17 0 2 0 948109120 358719488 19941 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17698/statm: 87578 19941 396 364 0 22462 0
[pid=17700] ppid=17698 vsize=1038908 CPUtime=46.73 cores=0,2,4,6
/proc/17700/stat : 17700 (scip-2.0.1.linu) T 17698 17700 17700 0 -1 4202496 255678 0 0 0 4603 70 0 0 25 0 1 0 948109120 1063841792 251582 33554432000 4194304 13684479 140733834363280 18446744073709551615 4880943 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17700/statm: 259727 251582 710 2317 0 257405 0
[pid=17698/tid=17702] ppid=17684 vsize=350312 CPUtime=0 cores=0,2,4,6
/proc/17698/task/17702/stat : 17702 (python) S 17684 17684 14716 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 948113794 358719488 19941 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554946 18446604449586205952 0 0 -1 6 0 0 0
[pid=17703] ppid=17684 vsize=360568 CPUtime=0.2 cores=0,2,4,6
/proc/17703/stat : 17703 (python) S 17684 17684 14716 0 -1 4202560 1106 0 0 0 10 10 0 0 16 0 2 0 948113796 369221632 19945 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17703/statm: 90142 19945 396 364 0 25023 0
[pid=17705] ppid=17703 vsize=8605252 CPUtime=46.61 cores=0,2,4,6
/proc/17705/stat : 17705 (java) T 17703 17705 17705 0 -1 4202496 717250 0 1 0 4577 84 0 0 18 0 19 0 948113797 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17705/statm: 2151313 698812 2246 9 0 2142054 0
[pid=17705/tid=17706] ppid=17703 vsize=8605252 CPUtime=43.5 cores=0,2,4,6
/proc/17705/task/17706/stat : 17706 (java) T 17703 17705 17705 0 -1 4202560 632576 0 1 0 4280 70 0 0 25 0 19 0 948113798 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 46912505986093 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17705/tid=17707] ppid=17703 vsize=8605252 CPUtime=0.11 cores=0,2,4,6
/proc/17705/task/17707/stat : 17707 (java) T 17703 17705 17705 0 -1 4202560 7368 0 0 0 10 1 0 0 15 0 19 0 948113799 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17705/tid=17708] ppid=17703 vsize=8605252 CPUtime=0.14 cores=0,2,4,6
/proc/17705/task/17708/stat : 17708 (java) T 17703 17705 17705 0 -1 4202560 9971 0 0 0 13 1 0 0 15 0 19 0 948113799 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17705/tid=17709] ppid=17703 vsize=8605252 CPUtime=0.13 cores=0,2,4,6
/proc/17705/task/17709/stat : 17709 (java) T 17703 17705 17705 0 -1 4202560 8826 0 0 0 13 0 0 0 15 0 19 0 948113799 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17705/tid=17710] ppid=17703 vsize=8605252 CPUtime=0.13 cores=0,2,4,6
/proc/17705/task/17710/stat : 17710 (java) T 17703 17705 17705 0 -1 4202560 8780 0 0 0 12 1 0 0 15 0 19 0 948113799 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17705/tid=17711] ppid=17703 vsize=8605252 CPUtime=0.18 cores=0,2,4,6
/proc/17705/task/17711/stat : 17711 (java) T 17703 17705 17705 0 -1 4202560 11753 0 0 0 17 1 0 0 15 0 19 0 948113799 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17705/tid=17712] ppid=17703 vsize=8605252 CPUtime=0.09 cores=0,2,4,6
/proc/17705/task/17712/stat : 17712 (java) T 17703 17705 17705 0 -1 4202560 6874 0 0 0 9 0 0 0 15 0 19 0 948113799 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17705/tid=17713] ppid=17703 vsize=8605252 CPUtime=0.13 cores=0,2,4,6
/proc/17705/task/17713/stat : 17713 (java) T 17703 17705 17705 0 -1 4202560 9245 0 0 0 12 1 0 0 15 0 19 0 948113799 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17705/tid=17714] ppid=17703 vsize=8605252 CPUtime=0.11 cores=0,2,4,6
/proc/17705/task/17714/stat : 17714 (java) T 17703 17705 17705 0 -1 4202560 7812 0 0 0 10 1 0 0 15 0 19 0 948113799 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17705/tid=17715] ppid=17703 vsize=8605252 CPUtime=0 cores=0,2,4,6
/proc/17705/task/17715/stat : 17715 (java) T 17703 17705 17705 0 -1 4202560 1271 0 0 0 0 0 0 0 15 0 19 0 948113800 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000409088 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17705/tid=17716] ppid=17703 vsize=8605252 CPUtime=0 cores=0,2,4,6
/proc/17705/task/17716/stat : 17716 (java) T 17703 17705 17705 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948113800 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17705/tid=17717] ppid=17703 vsize=8605252 CPUtime=0 cores=0,2,4,6
/proc/17705/task/17717/stat : 17717 (java) T 17703 17705 17705 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 948113800 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17705/tid=17718] ppid=17703 vsize=8605252 CPUtime=0 cores=0,2,4,6
/proc/17705/task/17718/stat : 17718 (java) T 17703 17705 17705 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948113802 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000416177 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17705/tid=17719] ppid=17703 vsize=8605252 CPUtime=0.99 cores=0,2,4,6
/proc/17705/task/17719/stat : 17719 (java) T 17703 17705 17705 0 -1 4202560 5055 0 0 0 99 0 0 0 15 0 19 0 948113802 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17705/tid=17720] ppid=17703 vsize=8605252 CPUtime=0.97 cores=0,2,4,6
/proc/17705/task/17720/stat : 17720 (java) T 17703 17705 17705 0 -1 4202560 6331 0 0 0 96 1 0 0 15 0 19 0 948113802 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17705/tid=17721] ppid=17703 vsize=8605252 CPUtime=0 cores=0,2,4,6
/proc/17705/task/17721/stat : 17721 (java) T 17703 17705 17705 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948113802 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17705/tid=17722] ppid=17703 vsize=8605252 CPUtime=0 cores=0,2,4,6
/proc/17705/task/17722/stat : 17722 (java) T 17703 17705 17705 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948113802 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17705/tid=17723] ppid=17703 vsize=8605252 CPUtime=0 cores=0,2,4,6
/proc/17705/task/17723/stat : 17723 (java) T 17703 17705 17705 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948113971 8811778048 698812 33554432000 1073741824 1073778376 140735285368592 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17703/tid=17727] ppid=17684 vsize=360568 CPUtime=0 cores=0,2,4,6
/proc/17703/task/17727/stat : 17727 (python) S 17684 17684 14716 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948118184 369221632 19945 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554946 18446604443551049728 0 0 -1 6 0 0 0
[pid=17728] ppid=17684 vsize=370824 CPUtime=0.46 cores=0,2,4,6
/proc/17728/stat : 17728 (python) S 17684 17684 14716 0 -1 4202560 1165 0 0 0 21 25 0 0 16 0 2 0 948118187 379723776 19949 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17728/statm: 92706 19949 396 364 0 27584 0
[pid=17730] ppid=17728 vsize=40780 CPUtime=95.17 cores=0,2,4,6
/proc/17730/stat : 17730 (clasp-1.3.7-x86) T 17728 17730 17730 0 -1 4202496 12534 0 0 0 9515 2 0 0 25 0 1 0 948118187 41758720 9924 33554432000 134512640 136139019 4286701664 18446744073709551615 134871290 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/17730/statm: 10195 9924 190 398 0 9795 0
[pid=17728/tid=17733] ppid=17684 vsize=370824 CPUtime=0 cores=0,2,4,6
/proc/17728/task/17733/stat : 17733 (python) S 17684 17684 14716 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 948127707 379723776 19949 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554946 18446604446299780224 0 0 -1 6 0 0 0
[pid=17734] ppid=17684 vsize=381080 CPUtime=0 cores=0,2,4,6
/proc/17734/stat : 17734 (python) S 17684 17684 14716 0 -1 4202560 825 0 0 0 0 0 0 0 18 0 1 0 948127710 390225920 19904 33554432000 4194304 5683644 140734622313776 18446744073709551615 215988612678 0 0 16781312 33554946 4285356928718077952 0 0 17 6 0 0 0
/proc/17734/statm: 95270 19904 348 364 0 30145 0
[pid=17736] ppid=17734 vsize=8538672 CPUtime=0.8 cores=0,2,4,6
/proc/17736/stat : 17736 (java) S 17734 17736 17736 0 -1 4202496 16393 0 1 0 78 2 0 0 20 0 18 0 948127710 8743600128 14126 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/17736/statm: 2134668 14126 2203 9 0 2125409 0
[pid=17736/tid=17737] ppid=17734 vsize=8538672 CPUtime=0.38 cores=0,2,4,6
/proc/17736/task/17737/stat : 17737 (java) R 17734 17736 17736 0 -1 4202560 10938 0 1 0 37 1 0 0 18 0 18 0 948127711 8743600128 14818 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 46912505556214 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17736/tid=17738] ppid=17734 vsize=8538672 CPUtime=0 cores=0,2,4,6
/proc/17736/task/17738/stat : 17738 (java) S 17734 17736 17736 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948127712 8743600128 14821 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=17736/tid=17739] ppid=17734 vsize=8538672 CPUtime=0 cores=0,2,4,6
/proc/17736/task/17739/stat : 17739 (java) S 17734 17736 17736 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948127712 8743600128 14824 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=17736/tid=17740] ppid=17734 vsize=8538672 CPUtime=0 cores=0,2,4,6
/proc/17736/task/17740/stat : 17740 (java) S 17734 17736 17736 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948127712 8743600128 14826 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=17736/tid=17741] ppid=17734 vsize=8538672 CPUtime=0 cores=0,2,4,6
/proc/17736/task/17741/stat : 17741 (java) S 17734 17736 17736 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948127712 8743600128 14829 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=17736/tid=17742] ppid=17734 vsize=8538672 CPUtime=0 cores=0,2,4,6
/proc/17736/task/17742/stat : 17742 (java) S 17734 17736 17736 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948127712 8743600128 14832 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=17736/tid=17743] ppid=17734 vsize=8538672 CPUtime=0 cores=0,2,4,6
/proc/17736/task/17743/stat : 17743 (java) S 17734 17736 17736 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948127712 8743600128 14834 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=17736/tid=17744] ppid=17734 vsize=8538672 CPUtime=0 cores=0,2,4,6
/proc/17736/task/17744/stat : 17744 (java) S 17734 17736 17736 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948127712 8743600128 14837 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=17736/tid=17745] ppid=17734 vsize=8538672 CPUtime=0 cores=0,2,4,6
/proc/17736/task/17745/stat : 17745 (java) S 17734 17736 17736 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948127712 8743600128 14840 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=17736/tid=17746] ppid=17734 vsize=8538672 CPUtime=0 cores=0,2,4,6
/proc/17736/task/17746/stat : 17746 (java) S 17734 17736 17736 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948127713 8743600128 14843 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=17736/tid=17747] ppid=17734 vsize=8538672 CPUtime=0 cores=0,2,4,6
/proc/17736/task/17747/stat : 17747 (java) S 17734 17736 17736 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948127713 8743600128 14845 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=17736/tid=17748] ppid=17734 vsize=8538672 CPUtime=0 cores=0,2,4,6
/proc/17736/task/17748/stat : 17748 (java) S 17734 17736 17736 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 948127713 8743600128 14848 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=17736/tid=17749] ppid=17734 vsize=8538672 CPUtime=0 cores=0,2,4,6
/proc/17736/task/17749/stat : 17749 (java) S 17734 17736 17736 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948127715 8743600128 14850 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=17736/tid=17750] ppid=17734 vsize=8538672 CPUtime=0.21 cores=0,2,4,6
/proc/17736/task/17750/stat : 17750 (java) R 17734 17736 17736 0 -1 4202560 2761 0 0 0 21 0 0 0 17 0 18 0 948127715 8743600128 14853 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 47929591930864 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17736/tid=17751] ppid=17734 vsize=8538672 CPUtime=0.22 cores=0,2,4,6
/proc/17736/task/17751/stat : 17751 (java) R 17734 17736 17736 0 -1 4202560 2037 0 0 0 22 0 0 0 17 0 18 0 948127715 8743600128 14856 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 47929591696933 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17736/tid=17752] ppid=17734 vsize=8538672 CPUtime=0 cores=0,2,4,6
/proc/17736/task/17752/stat : 17752 (java) S 17734 17736 17736 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948127715 8743600128 14858 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=17736/tid=17753] ppid=17734 vsize=8538672 CPUtime=0 cores=0,2,4,6
/proc/17736/task/17753/stat : 17753 (java) S 17734 17736 17736 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948127715 8743600128 14861 33554432000 1073741824 1073778376 140737381024880 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=17684/tid=17691] ppid=17682 vsize=391324 CPUtime=0 cores=0,2,4,6
/proc/17684/task/17691/stat : 17691 (python) S 17682 17684 14716 0 -1 4202560 28 928 0 0 0 0 0 0 25 0 6 0 948104386 400715776 21439 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451857963200 0 0 -1 2 0 0 0
[pid=17684/tid=17699] ppid=17682 vsize=391324 CPUtime=0 cores=0,2,4,6
/proc/17684/task/17699/stat : 17699 (python) S 17682 17684 14716 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 6 0 948109120 400715776 21439 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451857963200 0 0 -1 4 0 0 0
[pid=17684/tid=17704] ppid=17682 vsize=391324 CPUtime=0 cores=0,2,4,6
/proc/17684/task/17704/stat : 17704 (python) S 17682 17684 14716 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 6 0 948113797 400715776 21439 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451857963200 0 0 -1 4 0 0 0
[pid=17684/tid=17729] ppid=17682 vsize=391324 CPUtime=0 cores=0,2,4,6
/proc/17684/task/17729/stat : 17729 (python) S 17682 17684 14716 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 6 0 948118187 400715776 21439 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451857963200 0 0 -1 0 0 0 0
[pid=17684/tid=17735] ppid=17682 vsize=391324 CPUtime=0 cores=0,2,4,6
/proc/17684/task/17735/stat : 17735 (python) S 17682 17684 14716 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 6 0 948127710 400715776 21439 33554432000 4194304 5683644 140734622313776 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451857963200 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 241.83
Current children cumulated vsize (KiB) 20507380
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 17684 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=956398
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=134979
# CPU time returned by wait4() is 4.09138
# while last known CPU time is 241.83
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 237.791
CPU time (s): 241.83
CPU user time (s): 239.31
CPU system time (s): 2.52
CPU usage (%): 101.699
Max. virtual memory (cumulated for all children) (KiB): 20507380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.9564
system time used= 0.134979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37088
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= 1013
involuntary context switches= 24
runsolver used 1.83872 second user time and 3.82542 second system time
The end