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-3481752-1307576973/watcher-3481752-1307576973 -o /tmp/evaluation-result-3481752-1307576973/solver-3481752-1307576973 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481752-1307576973.opb -seed 485288358 -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: 2.00 1.79 0.97 3/567 28296
/proc/meminfo: memFree=21340508/32951124 swapFree=60476376/67111528
[pid=28296] ppid=28294 vsize=15912 CPUtime=0 cores=1,3,5,7
/proc/28296/stat : 28296 (python) S 28294 28296 27243 0 -1 4202496 945 0 0 0 0 0 0 0 17 0 1 0 850113251 16293888 821 33554432000 4194304 5683644 140733962852544 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/28296/statm: 3978 821 357 364 0 465 0
[startup+0.111508 s]
/proc/loadavg: 2.00 1.79 0.97 3/567 28296
/proc/meminfo: memFree=21340508/32951124 swapFree=60476376/67111528
[pid=28296] ppid=28294 vsize=94068 CPUtime=0.06 cores=1,3,5,7
/proc/28296/stat : 28296 (python) S 28294 28296 27243 0 -1 4202496 2797 0 1 0 4 2 0 0 17 0 1 0 850113251 96325632 2468 33554432000 4194304 5683644 140733962852544 18446744073709551615 220816236288 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/28296/statm: 23517 2468 788 364 0 1628 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94068
[startup+0.200843 s]
/proc/loadavg: 2.00 1.79 0.97 3/567 28296
/proc/meminfo: memFree=21340508/32951124 swapFree=60476376/67111528
[pid=28296] ppid=28294 vsize=119988 CPUtime=0.12 cores=1,3,5,7
/proc/28296/stat : 28296 (python) R 28294 28296 27243 0 -1 4202496 4927 931 1 0 8 4 0 0 17 0 1 0 850113251 122867712 3350 33554432000 4194304 5683644 140733962852544 18446744073709551615 47064036004336 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28296/statm: 29997 3351 919 364 0 2446 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 119988
[startup+0.300861 s]
/proc/loadavg: 2.00 1.79 0.97 3/567 28296
/proc/meminfo: memFree=21340508/32951124 swapFree=60476376/67111528
[pid=28296] ppid=28294 vsize=123744 CPUtime=0.15 cores=1,3,5,7
/proc/28296/stat : 28296 (python) S 28294 28296 27243 0 -1 4202496 5358 931 1 0 10 5 0 0 16 0 1 0 850113251 126713856 3744 33554432000 4194304 5683644 140733962852544 18446744073709551615 220816232453 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/28296/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123744
[startup+0.700789 s]
/proc/loadavg: 2.00 1.79 0.97 3/567 28296
/proc/meminfo: memFree=21340508/32951124 swapFree=60476376/67111528
[pid=28296] ppid=28294 vsize=283772 CPUtime=0.4 cores=1,3,5,7
/proc/28296/stat : 28296 (python) R 28294 28296 27243 0 -1 4202496 9421 931 1 0 29 11 0 0 15 0 1 0 850113251 290582528 7282 33554432000 4194304 5683644 140733962852544 18446744073709551615 4421872 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28296/statm: 70943 7282 1781 364 0 5836 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 283772
[startup+1.50061 s]
/proc/loadavg: 2.00 1.79 0.97 3/568 28301
/proc/meminfo: memFree=21304772/32951124 swapFree=60476376/67111528
[pid=28296] ppid=28294 vsize=303264 CPUtime=1.13 cores=1,3,5,7
/proc/28296/stat : 28296 (python) S 28294 28296 27243 0 -1 4202496 13722 931 1 0 102 11 0 0 18 0 2 0 850113251 310542336 9646 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/28296/statm: 75816 9646 1862 364 0 10703 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 303264
[startup+3.11831 s]
/proc/loadavg: 2.00 1.79 0.97 3/589 28322
/proc/meminfo: memFree=21167028/32951124 swapFree=60476376/67111528
[pid=28296] ppid=28294 vsize=303264 CPUtime=1.13 cores=1,3,5,7
/proc/28296/stat : 28296 (python) S 28294 28296 27243 0 -1 4202496 13722 931 1 0 102 11 0 0 18 0 2 0 850113251 310542336 9646 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/28296/statm: 75816 9646 1862 364 0 10703 0
[pid=28302] ppid=28296 vsize=294044 CPUtime=0 cores=1,3,5,7
/proc/28302/stat : 28302 (python) S 28296 28296 27243 0 -1 4202560 761 0 0 0 0 0 0 0 15 0 1 0 850113395 301101056 8134 33554432000 4194304 5683644 140733962852544 18446744073709551615 220816256527 0 0 16781312 33554946 4294934790 0 0 17 3 0 0 0
/proc/28302/statm: 73511 8134 353 364 0 8398 0
[pid=28304] ppid=28302 vsize=8541016 CPUtime=2.09 cores=1,3,5,7
/proc/28304/stat : 28304 (java) S 28302 28304 28304 0 -1 4202496 38534 0 1 0 205 4 0 0 18 0 19 0 850113395 8746000384 35588 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28304/statm: 2135254 35588 2232 9 0 2125995 0
[pid=28304/tid=28305] ppid=28302 vsize=8541016 CPUtime=1.21 cores=1,3,5,7
/proc/28304/task/28305/stat : 28305 (java) R 28302 28304 28304 0 -1 4202560 31371 0 1 0 118 3 0 0 25 0 19 0 850113441 8746000384 35588 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 46989948414803 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28304/tid=28306] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28306/stat : 28306 (java) S 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850113442 8746000384 35588 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28307] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28307/stat : 28307 (java) S 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850113442 8746000384 35588 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28308] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28308/stat : 28308 (java) S 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850113442 8746000384 35588 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 7 0 0 0
[pid=28304/tid=28309] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28309/stat : 28309 (java) S 28302 28304 28304 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 850113442 8746000384 35588 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 7 0 0 0
[pid=28304/tid=28310] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28310/stat : 28310 (java) S 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850113442 8746000384 35588 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 7 0 0 0
[pid=28304/tid=28311] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28311/stat : 28311 (java) S 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850113442 8746000384 35589 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 7 0 0 0
[pid=28304/tid=28312] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28312/stat : 28312 (java) S 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850113442 8746000384 35589 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 7 0 0 0
[pid=28304/tid=28313] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28313/stat : 28313 (java) S 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850113442 8746000384 35589 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28314] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28314/stat : 28314 (java) S 28302 28304 28304 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 850113443 8746000384 35589 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052992 0 0 0 16800975 18446604461076474944 0 0 -1 7 0 0 0
[pid=28304/tid=28315] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28315/stat : 28315 (java) S 28302 28304 28304 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 850113443 8746000384 35589 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28316] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28316/stat : 28316 (java) S 28302 28304 28304 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850113443 8746000384 35589 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28317] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28317/stat : 28317 (java) S 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850113445 8746000384 35589 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828060081 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28318] ppid=28302 vsize=8541016 CPUtime=0.45 cores=1,3,5,7
/proc/28304/task/28318/stat : 28318 (java) S 28302 28304 28304 0 -1 4202560 1742 0 0 0 45 0 0 0 15 0 19 0 850113445 8746000384 35590 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 5 0 0 0
[pid=28304/tid=28319] ppid=28302 vsize=8541016 CPUtime=0.41 cores=1,3,5,7
/proc/28304/task/28319/stat : 28319 (java) S 28302 28304 28304 0 -1 4202560 4033 0 0 0 41 0 0 0 25 0 19 0 850113445 8746000384 35590 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 7 0 0 0
[pid=28304/tid=28320] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28320/stat : 28320 (java) S 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850113445 8746000384 35590 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28321] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28321/stat : 28321 (java) S 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850113445 8746000384 35590 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052992 0 4 0 16800975 18446604461076474944 0 0 -1 7 0 0 0
[pid=28304/tid=28322] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28322/stat : 28322 (java) S 28302 28304 28304 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850113499 8746000384 35590 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052992 0 4 0 16800975 18446604461076474944 0 0 -1 7 0 0 0
[pid=28296/tid=28303] ppid=28294 vsize=303264 CPUtime=0 cores=1,3,5,7
/proc/28296/task/28303/stat : 28303 (python) S 28294 28296 27243 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 850113395 310542336 9646 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828060081 0 0 16781312 33554434 18446604457247927232 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 9138324
[startup+6.30172 s]
/proc/loadavg: 2.00 1.79 0.98 3/589 28322
/proc/meminfo: memFree=21093248/32951124 swapFree=60476376/67111528
[pid=28296] ppid=28294 vsize=303264 CPUtime=1.13 cores=1,3,5,7
/proc/28296/stat : 28296 (python) S 28294 28296 27243 0 -1 4202496 13722 931 1 0 102 11 0 0 18 0 2 0 850113251 310542336 9646 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/28296/statm: 75816 9646 1862 364 0 10703 0
[pid=28302] ppid=28296 vsize=294044 CPUtime=0.01 cores=1,3,5,7
/proc/28302/stat : 28302 (python) S 28296 28296 27243 0 -1 4202560 891 0 0 0 0 1 0 0 15 0 1 0 850113395 301101056 8158 33554432000 4194304 5683644 140733962852544 18446744073709551615 220816256527 0 0 16781312 33554946 4294934790 0 0 17 3 0 0 0
/proc/28302/statm: 73511 8158 377 364 0 8398 0
[pid=28304] ppid=28302 vsize=8541016 CPUtime=5.41 cores=1,3,5,7
/proc/28304/stat : 28304 (java) S 28302 28304 28304 0 -1 4202496 55249 0 1 0 535 6 0 0 18 0 19 0 850113395 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28304/statm: 2135254 52293 2258 9 0 2125995 0
[pid=28304/tid=28305] ppid=28302 vsize=8541016 CPUtime=4.35 cores=1,3,5,7
/proc/28304/task/28305/stat : 28305 (java) R 28302 28304 28304 0 -1 4202560 33946 0 1 0 432 3 0 0 19 0 19 0 850113441 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 46912505789957 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28304/tid=28306] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28306/stat : 28306 (java) S 28302 28304 28304 0 -1 4202560 500 0 0 0 0 0 0 0 15 0 19 0 850113442 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28307] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28307/stat : 28307 (java) S 28302 28304 28304 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 850113442 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28308] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28308/stat : 28308 (java) S 28302 28304 28304 0 -1 4202560 575 0 0 0 0 0 0 0 18 0 19 0 850113442 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 3 0 0 0
[pid=28304/tid=28309] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28309/stat : 28309 (java) S 28302 28304 28304 0 -1 4202560 2026 0 0 0 0 0 0 0 16 0 19 0 850113442 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28310] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28310/stat : 28310 (java) S 28302 28304 28304 0 -1 4202560 2145 0 0 0 0 0 0 0 18 0 19 0 850113442 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 5 0 0 0
[pid=28304/tid=28311] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28311/stat : 28311 (java) S 28302 28304 28304 0 -1 4202560 535 0 0 0 0 0 0 0 15 0 19 0 850113442 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28312] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28312/stat : 28312 (java) S 28302 28304 28304 0 -1 4202560 1536 0 0 0 0 0 0 0 15 0 19 0 850113442 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 3 0 0 0
[pid=28304/tid=28313] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28313/stat : 28313 (java) S 28302 28304 28304 0 -1 4202560 1079 0 0 0 0 0 0 0 16 0 19 0 850113442 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 5 0 0 0
[pid=28304/tid=28314] ppid=28302 vsize=8541016 CPUtime=0.03 cores=1,3,5,7
/proc/28304/task/28314/stat : 28314 (java) S 28302 28304 28304 0 -1 4202560 5699 0 0 0 3 0 0 0 15 0 19 0 850113443 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052992 0 0 0 16800975 18446604461076474944 0 0 -1 7 0 0 0
[pid=28304/tid=28315] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28315/stat : 28315 (java) S 28302 28304 28304 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850113443 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28316] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28316/stat : 28316 (java) S 28302 28304 28304 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850113443 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28317] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28317/stat : 28317 (java) S 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850113445 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828060081 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28318] ppid=28302 vsize=8541016 CPUtime=0.52 cores=1,3,5,7
/proc/28304/task/28318/stat : 28318 (java) S 28302 28304 28304 0 -1 4202560 1758 0 0 0 52 0 0 0 15 0 19 0 850113445 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 5 0 0 0
[pid=28304/tid=28319] ppid=28302 vsize=8541016 CPUtime=0.44 cores=1,3,5,7
/proc/28304/task/28319/stat : 28319 (java) S 28302 28304 28304 0 -1 4202560 4041 0 0 0 44 0 0 0 18 0 19 0 850113445 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 7 0 0 0
[pid=28304/tid=28320] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28320/stat : 28320 (java) S 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850113445 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28321] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28321/stat : 28321 (java) S 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850113445 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052992 0 4 0 16800975 18446604461076474944 0 0 -1 3 0 0 0
[pid=28304/tid=28322] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28322/stat : 28322 (java) S 28302 28304 28304 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850113499 8746000384 52293 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052992 0 4 0 16800975 18446604461076474944 0 0 -1 7 0 0 0
[pid=28296/tid=28303] ppid=28294 vsize=303264 CPUtime=0 cores=1,3,5,7
/proc/28296/task/28303/stat : 28303 (python) S 28294 28296 27243 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 850113395 310542336 9646 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828060081 0 0 16781312 33554434 18446604457247927232 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 9138324
[startup+12.7015 s]
/proc/loadavg: 2.00 1.79 0.98 3/589 28323
/proc/meminfo: memFree=21055132/32951124 swapFree=60476376/67111528
[pid=28296] ppid=28294 vsize=303264 CPUtime=1.13 cores=1,3,5,7
/proc/28296/stat : 28296 (python) S 28294 28296 27243 0 -1 4202496 13722 931 1 0 102 11 0 0 18 0 2 0 850113251 310542336 9646 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/28296/statm: 75816 9646 1862 364 0 10703 0
[pid=28302] ppid=28296 vsize=294044 CPUtime=0.04 cores=1,3,5,7
/proc/28302/stat : 28302 (python) S 28296 28296 27243 0 -1 4202560 896 0 0 0 2 2 0 0 15 0 1 0 850113395 301101056 8158 33554432000 4194304 5683644 140733962852544 18446744073709551615 220816256527 0 0 16781312 33554946 4294934790 0 0 17 3 0 0 0
/proc/28302/statm: 73511 8158 377 364 0 8398 0
[pid=28304] ppid=28302 vsize=8541016 CPUtime=11.9 cores=1,3,5,7
/proc/28304/stat : 28304 (java) S 28302 28304 28304 0 -1 4202496 67155 0 1 0 1181 9 0 0 18 0 19 0 850113395 8746000384 63540 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28304/statm: 2135254 63540 2258 9 0 2125995 0
[pid=28304/tid=28305] ppid=28302 vsize=8541016 CPUtime=10.59 cores=1,3,5,7
/proc/28304/task/28305/stat : 28305 (java) R 28302 28304 28304 0 -1 4202560 33948 0 1 0 1056 3 0 0 25 0 19 0 850113441 8746000384 63540 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 46912505789957 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28304/tid=28306] ppid=28302 vsize=8541016 CPUtime=0.01 cores=1,3,5,7
/proc/28304/task/28306/stat : 28306 (java) S 28302 28304 28304 0 -1 4202560 2917 0 0 0 1 0 0 0 16 0 19 0 850113442 8746000384 63540 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28307] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28307/stat : 28307 (java) S 28302 28304 28304 0 -1 4202560 504 0 0 0 0 0 0 0 15 0 19 0 850113442 8746000384 63540 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 3 0 0 0
[pid=28304/tid=28308] ppid=28302 vsize=8541016 CPUtime=0.01 cores=1,3,5,7
/proc/28304/task/28308/stat : 28308 (java) S 28302 28304 28304 0 -1 4202560 1358 0 0 0 1 0 0 0 15 0 19 0 850113442 8746000384 63540 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446604461076474944 0 0 -1 1 0 0 0
[pid=28304/tid=28309] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/28327/statm: 76075 8183 397 364 0 10959 0
[pid=28329] ppid=28327 vsize=64404 CPUtime=48.88 cores=1,3,5,7
/proc/28329/stat : 28329 (wbo1.4a) T 28327 28329 28329 0 -1 4202496 18901 0 0 0 4808 80 0 0 25 0 1 0 850118204 65949696 15622 33554432000 134512640 135751879 4291144992 18446744073709551615 134616497 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/28329/statm: 16101 15622 146 303 0 15796 0
[pid=28327/tid=28334] ppid=28296 vsize=304300 CPUtime=0 cores=1,3,5,7
/proc/28327/task/28334/stat : 28334 (python) S 28296 28296 27243 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850123092 311603200 8183 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828060081 0 0 16781312 33554946 18446604468623763456 0 0 -1 3 0 0 0
[pid=28340] ppid=28296 vsize=314556 CPUtime=0.3 cores=1,3,5,7
/proc/28340/stat : 28340 (python) S 28296 28296 27243 0 -1 4202560 978 0 0 0 15 15 0 0 15 0 1 0 850127363 322105344 8163 33554432000 4194304 5683644 140733962852544 18446744073709551615 220816256582 0 0 16781312 33554946 5623753486446373581 0 0 17 7 0 0 0
/proc/28340/statm: 78639 8163 374 364 0 13520 0
[pid=28342] ppid=28340 vsize=76116 CPUtime=81.18 cores=1,3,5,7
/proc/28342/stat : 28342 (clasp-1.3.7-x86) R 28340 28342 28342 0 -1 4202496 19197 0 0 0 8116 2 0 0 25 0 1 0 850127363 77942784 18766 33554432000 134512640 136139019 4293759952 18446744073709551615 134599822 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/28342/statm: 19029 18766 187 398 0 18629 0
[pid=28296/tid=28303] ppid=28294 vsize=323776 CPUtime=0 cores=1,3,5,7
/proc/28296/task/28303/stat : 28303 (python) S 28294 28296 27243 0 -1 4202560 32 931 0 0 0 0 0 0 18 0 4 0 850113395 331546624 9667 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828060081 0 0 16781312 33554434 18446604457247927232 0 0 -1 1 0 0 0
[pid=28296/tid=28328] ppid=28294 vsize=323776 CPUtime=0 cores=1,3,5,7
/proc/28296/task/28328/stat : 28328 (python) S 28294 28296 27243 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 4 0 850118204 331546624 9667 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828060081 0 0 16781312 33554434 18446604457247927232 0 0 -1 7 0 0 0
[pid=28296/tid=28341] ppid=28294 vsize=323776 CPUtime=0 cores=1,3,5,7
/proc/28296/task/28341/stat : 28341 (python) S 28294 28296 27243 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 4 0 850127363 331546624 9667 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828060081 0 0 16781312 33554434 18446604457247927232 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 223.92
Current children cumulated vsize (KiB) 9928456
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+281.302 s]
/proc/loadavg: 2.05 1.95 1.25 7/623 28434
/proc/meminfo: memFree=20288776/32951124 swapFree=60476376/67111528
[pid=28296] ppid=28294 vsize=344288 CPUtime=1.25 cores=1,3,5,7
/proc/28296/stat : 28296 (python) S 28294 28296 27243 0 -1 4202496 17409 931 1 0 113 12 0 0 19 0 6 0 850113251 352550912 9679 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/28296/statm: 86072 9679 1879 364 0 20947 0
[pid=28302] ppid=28296 vsize=304288 CPUtime=0.4 cores=1,3,5,7
/proc/28302/stat : 28302 (python) S 28296 28296 27243 0 -1 4202560 1106 0 0 0 19 21 0 0 15 0 2 0 850113395 311590912 8194 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28302/statm: 76072 8194 408 364 0 10959 0
[pid=28304] ppid=28302 vsize=8541016 CPUtime=91.71 cores=1,3,5,7
/proc/28304/stat : 28304 (java) T 28302 28304 28304 0 -1 4202496 98093 0 1 0 9158 13 0 0 18 0 19 0 850113395 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28304/statm: 2135254 92512 2258 9 0 2125995 0
[pid=28304/tid=28305] ppid=28302 vsize=8541016 CPUtime=89.21 cores=1,3,5,7
/proc/28304/task/28305/stat : 28305 (java) T 28302 28304 28304 0 -1 4202560 33963 0 1 0 8918 3 0 0 25 0 19 0 850113441 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 46912505789916 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28304/tid=28306] ppid=28302 vsize=8541016 CPUtime=0.09 cores=1,3,5,7
/proc/28304/task/28306/stat : 28306 (java) T 28302 28304 28304 0 -1 4202560 6498 0 0 0 8 1 0 0 15 0 19 0 850113442 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28304/tid=28307] ppid=28302 vsize=8541016 CPUtime=0.03 cores=1,3,5,7
/proc/28304/task/28307/stat : 28307 (java) T 28302 28304 28304 0 -1 4202560 1667 0 0 0 3 0 0 0 15 0 19 0 850113442 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28304/tid=28308] ppid=28302 vsize=8541016 CPUtime=0.06 cores=1,3,5,7
/proc/28304/task/28308/stat : 28308 (java) T 28302 28304 28304 0 -1 4202560 6295 0 0 0 6 0 0 0 15 0 19 0 850113442 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28304/tid=28309] ppid=28302 vsize=8541016 CPUtime=0.07 cores=1,3,5,7
/proc/28304/task/28309/stat : 28309 (java) T 28302 28304 28304 0 -1 4202560 8772 0 0 0 6 1 0 0 15 0 19 0 850113442 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28304/tid=28310] ppid=28302 vsize=8541016 CPUtime=0.07 cores=1,3,5,7
/proc/28304/task/28310/stat : 28310 (java) T 28302 28304 28304 0 -1 4202560 7284 0 0 0 7 0 0 0 15 0 19 0 850113442 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28304/tid=28311] ppid=28302 vsize=8541016 CPUtime=0.09 cores=1,3,5,7
/proc/28304/task/28311/stat : 28311 (java) T 28302 28304 28304 0 -1 4202560 5341 0 0 0 9 0 0 0 15 0 19 0 850113442 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28304/tid=28312] ppid=28302 vsize=8541016 CPUtime=0.07 cores=1,3,5,7
/proc/28304/task/28312/stat : 28312 (java) T 28302 28304 28304 0 -1 4202560 4804 0 0 0 7 0 0 0 15 0 19 0 850113442 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28304/tid=28313] ppid=28302 vsize=8541016 CPUtime=0.1 cores=1,3,5,7
/proc/28304/task/28313/stat : 28313 (java) T 28302 28304 28304 0 -1 4202560 7201 0 0 0 10 0 0 0 15 0 19 0 850113442 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28304/tid=28314] ppid=28302 vsize=8541016 CPUtime=0.75 cores=1,3,5,7
/proc/28304/task/28314/stat : 28314 (java) T 28302 28304 28304 0 -1 4202560 8827 0 0 0 74 1 0 0 15 0 19 0 850113443 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052992 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28304/tid=28315] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28315/stat : 28315 (java) T 28302 28304 28304 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850113443 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28304/tid=28316] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28316/stat : 28316 (java) T 28302 28304 28304 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850113443 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28304/tid=28317] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28317/stat : 28317 (java) T 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850113445 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828060081 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28304/tid=28318] ppid=28302 vsize=8541016 CPUtime=0.53 cores=1,3,5,7
/proc/28304/task/28318/stat : 28318 (java) T 28302 28304 28304 0 -1 4202560 1758 0 0 0 53 0 0 0 15 0 19 0 850113445 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28304/tid=28319] ppid=28302 vsize=8541016 CPUtime=0.47 cores=1,3,5,7
/proc/28304/task/28319/stat : 28319 (java) T 28302 28304 28304 0 -1 4202560 4300 0 0 0 47 0 0 0 15 0 19 0 850113445 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28304/tid=28320] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28320/stat : 28320 (java) T 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850113445 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28304/tid=28321] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28321/stat : 28321 (java) T 28302 28304 28304 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 850113445 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28304/tid=28322] ppid=28302 vsize=8541016 CPUtime=0 cores=1,3,5,7
/proc/28304/task/28322/stat : 28322 (java) T 28302 28304 28304 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850113499 8746000384 92512 33554432000 1073741824 1073778376 140735395083568 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28302/tid=28326] ppid=28296 vsize=304288 CPUtime=0 cores=1,3,5,7
/proc/28302/task/28326/stat : 28326 (python) S 28296 28296 27243 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 850118201 311590912 8194 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828060081 0 0 16781312 33554946 18446604462952294400 0 0 -1 5 0 0 0
[pid=28327] ppid=28296 vsize=304300 CPUtime=0.24 cores=1,3,5,7
/proc/28327/stat : 28327 (python) S 28296 28296 27243 0 -1 4202560 1114 0 0 0 12 12 0 0 16 0 2 0 850118204 311603200 8183 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28327/statm: 76075 8183 397 364 0 10959 0
[pid=28329] ppid=28327 vsize=64404 CPUtime=48.88 cores=1,3,5,7
/proc/28329/stat : 28329 (wbo1.4a) T 28327 28329 28329 0 -1 4202496 18901 0 0 0 4808 80 0 0 25 0 1 0 850118204 65949696 15622 33554432000 134512640 135751879 4291144992 18446744073709551615 134616497 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/28329/statm: 16101 15622 146 303 0 15796 0
[pid=28327/tid=28334] ppid=28296 vsize=304300 CPUtime=0 cores=1,3,5,7
/proc/28327/task/28334/stat : 28334 (python) S 28296 28296 27243 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850123092 311603200 8183 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828060081 0 0 16781312 33554946 18446604468623763456 0 0 -1 3 0 0 0
[pid=28340] ppid=28296 vsize=314556 CPUtime=0.36 cores=1,3,5,7
/proc/28340/stat : 28340 (python) S 28296 28296 27243 0 -1 4202560 1148 0 0 0 18 18 0 0 16 0 2 0 850127363 322105344 8187 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28340/statm: 78639 8187 397 364 0 13520 0
[pid=28342] ppid=28340 vsize=76116 CPUtime=92.99 cores=1,3,5,7
/proc/28342/stat : 28342 (clasp-1.3.7-x86) T 28340 28342 28342 0 -1 4202496 19197 0 0 0 9297 2 0 0 25 0 1 0 850127363 77942784 18766 33554432000 134512640 136139019 4293759952 18446744073709551615 134621984 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/28342/statm: 19029 18766 187 398 0 18629 0
[pid=28340/tid=28350] ppid=28296 vsize=314556 CPUtime=0 cores=1,3,5,7
/proc/28340/task/28350/stat : 28350 (python) S 28296 28296 27243 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850136663 322105344 8187 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828060081 0 0 16781312 33554946 18446604466453301376 0 0 -1 7 0 0 0
[pid=28351] ppid=28296 vsize=324812 CPUtime=0.19 cores=1,3,5,7
/proc/28351/stat : 28351 (python) S 28296 28296 27243 0 -1 4202560 1132 0 0 0 8 11 0 0 17 0 2 0 850136665 332607488 8191 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28351/statm: 81203 8191 397 364 0 16081 0
[pid=28353] ppid=28351 vsize=258508 CPUtime=46.81 cores=1,3,5,7
/proc/28353/stat : 28353 (pbct-0.1.2-linu) T 28351 28353 28353 0 -1 4202496 65624 0 0 0 4582 99 0 0 25 0 1 0 850136666 264712192 63420 33554432000 134512640 136422188 4294407088 18446744073709551615 134642570 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/28353/statm: 64627 63420 236 467 0 64158 0
[pid=28351/tid=28414] ppid=28296 vsize=324812 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28414/stat : 28414 (python) S 28296 28296 27243 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850141349 332607488 8191 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828060081 0 0 16781312 33554946 18446604464835487744 0 0 -1 7 0 0 0
[pid=28415] ppid=28296 vsize=335068 CPUtime=0 cores=1,3,5,7
/proc/28415/stat : 28415 (python) S 28296 28296 27243 0 -1 4202560 815 0 0 0 0 0 0 0 18 0 1 0 850141351 343109632 8147 33554432000 4194304 5683644 140733962852544 18446744073709551615 220816256582 0 0 16781312 33554946 403665786964541440 0 0 17 3 0 0 0
/proc/28415/statm: 83767 8147 350 364 0 18642 0
[pid=28417] ppid=28415 vsize=8536348 CPUtime=0.56 cores=1,3,5,7
/proc/28417/stat : 28417 (java) S 28415 28417 28417 0 -1 4202496 10007 0 1 0 54 2 0 0 19 0 18 0 850141351 8741220352 8861 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28417/statm: 2134087 8862 2200 9 0 2124828 0
[pid=28417/tid=28418] ppid=28415 vsize=8536348 CPUtime=0.31 cores=1,3,5,7
/proc/28417/task/28418/stat : 28418 (java) R 28415 28417 28417 0 -1 4202560 5984 0 1 0 30 1 0 0 22 0 18 0 850141352 8741220352 8926 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 46912505547998 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28417/tid=28419] ppid=28415 vsize=8536348 CPUtime=0 cores=1,3,5,7
/proc/28417/task/28419/stat : 28419 (java) S 28415 28417 28417 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850141353 8741220352 8927 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 220828052377 0 4 0 16800975 18446604461272844992 0 0 -1 7 0 0 0
[pid=28417/tid=28420] ppid=28415 vsize=8536348 CPUtime=0 cores=1,3,5,7
/proc/28417/task/28420/stat : 28420 (java) S 28415 28417 28417 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 850141353 8741220352 8928 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 220828052377 0 4 0 16800975 18446604461272844992 0 0 -1 7 0 0 0
[pid=28417/tid=28421] ppid=28415 vsize=8536348 CPUtime=0 cores=1,3,5,7
/proc/28417/task/28421/stat : 28421 (java) S 28415 28417 28417 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 850141353 8741220352 8929 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 220828052377 0 4 0 16800975 18446604461272844992 0 0 -1 7 0 0 0
[pid=28417/tid=28422] ppid=28415 vsize=8536348 CPUtime=0 cores=1,3,5,7
/proc/28417/task/28422/stat : 28422 (java) S 28415 28417 28417 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850141353 8741220352 8929 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 220828052377 0 4 0 16800975 18446604461272844992 0 0 -1 7 0 0 0
[pid=28417/tid=28423] ppid=28415 vsize=8536348 CPUtime=0 cores=1,3,5,7
/proc/28417/task/28423/stat : 28423 (java) S 28415 28417 28417 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850141353 8741220352 8930 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 220828052377 0 4 0 16800975 18446604461272844992 0 0 -1 7 0 0 0
[pid=28417/tid=28424] ppid=28415 vsize=8536348 CPUtime=0 cores=1,3,5,7
/proc/28417/task/28424/stat : 28424 (java) S 28415 28417 28417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850141353 8741220352 8931 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 220828052377 0 4 0 16800975 18446604461272844992 0 0 -1 3 0 0 0
[pid=28417/tid=28425] ppid=28415 vsize=8536348 CPUtime=0 cores=1,3,5,7
/proc/28417/task/28425/stat : 28425 (java) S 28415 28417 28417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850141353 8741220352 8931 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 220828052377 0 4 0 16800975 18446604461272844992 0 0 -1 3 0 0 0
[pid=28417/tid=28426] ppid=28415 vsize=8536348 CPUtime=0 cores=1,3,5,7
/proc/28417/task/28426/stat : 28426 (java) S 28415 28417 28417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850141353 8741220352 8932 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 220828052377 0 4 0 16800975 18446604461272844992 0 0 -1 3 0 0 0
[pid=28417/tid=28427] ppid=28415 vsize=8536348 CPUtime=0 cores=1,3,5,7
/proc/28417/task/28427/stat : 28427 (java) S 28415 28417 28417 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 850141354 8741220352 8932 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 220828052992 0 0 0 16800975 18446604461272844992 0 0 -1 7 0 0 0
[pid=28417/tid=28428] ppid=28415 vsize=8536348 CPUtime=0 cores=1,3,5,7
/proc/28417/task/28428/stat : 28428 (java) S 28415 28417 28417 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 850141354 8741220352 8933 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 220828052377 0 4 0 16800975 18446604461272844992 0 0 -1 7 0 0 0
[pid=28417/tid=28429] ppid=28415 vsize=8536348 CPUtime=0 cores=1,3,5,7
/proc/28417/task/28429/stat : 28429 (java) S 28415 28417 28417 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 850141354 8741220352 8934 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 220828052377 0 4 0 16800975 18446604461272844992 0 0 -1 3 0 0 0
[pid=28417/tid=28430] ppid=28415 vsize=8536348 CPUtime=0 cores=1,3,5,7
/proc/28417/task/28430/stat : 28430 (java) S 28415 28417 28417 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850141356 8741220352 8934 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 220828060081 0 4 0 16800975 18446604461272844992 0 0 -1 7 0 0 0
[pid=28417/tid=28431] ppid=28415 vsize=8536348 CPUtime=0.14 cores=1,3,5,7
/proc/28417/task/28431/stat : 28431 (java) R 28415 28417 28417 0 -1 4202560 1590 0 0 0 14 0 0 0 19 0 18 0 850141356 8741220352 8935 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 47491202336586 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28417/tid=28432] ppid=28415 vsize=8536348 CPUtime=0.09 cores=1,3,5,7
/proc/28417/task/28432/stat : 28432 (java) R 28415 28417 28417 0 -1 4202560 1105 0 0 0 9 0 0 0 17 0 18 0 850141356 8741220352 8935 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 47491204640449 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28417/tid=28433] ppid=28415 vsize=8536348 CPUtime=0 cores=1,3,5,7
/proc/28417/task/28433/stat : 28433 (java) S 28415 28417 28417 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850141356 8741220352 8936 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 220828052377 0 4 0 16800975 18446604461272844992 0 0 -1 7 0 0 0
[pid=28417/tid=28434] ppid=28415 vsize=8536348 CPUtime=0 cores=1,3,5,7
/proc/28417/task/28434/stat : 28434 (java) R 28415 28417 28417 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850141356 8741220352 8937 33554432000 1073741824 1073778376 140733313990720 18446744073709551615 220828052992 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28296/tid=28303] ppid=28294 vsize=344288 CPUtime=0 cores=1,3,5,7
/proc/28296/task/28303/stat : 28303 (python) S 28294 28296 27243 0 -1 4202560 32 931 0 0 0 0 0 0 18 0 6 0 850113395 352550912 9679 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828060081 0 0 16781312 33554434 18446604457247927232 0 0 -1 1 0 0 0
[pid=28296/tid=28328] ppid=28294 vsize=344288 CPUtime=0 cores=1,3,5,7
/proc/28296/task/28328/stat : 28328 (python) S 28294 28296 27243 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 6 0 850118204 352550912 9679 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828060081 0 0 16781312 33554434 18446604457247927232 0 0 -1 7 0 0 0
[pid=28296/tid=28341] ppid=28294 vsize=344288 CPUtime=0 cores=1,3,5,7
/proc/28296/task/28341/stat : 28341 (python) S 28294 28296 27243 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 850127363 352550912 9679 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828060081 0 0 16781312 33554434 18446604457247927232 0 0 -1 3 0 0 0
[pid=28296/tid=28352] ppid=28294 vsize=344288 CPUtime=0 cores=1,3,5,7
/proc/28296/task/28352/stat : 28352 (python) S 28294 28296 27243 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 850136666 352550912 9679 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828060081 0 0 16781312 33554434 18446604457247927232 0 0 -1 7 0 0 0
[pid=28296/tid=28416] ppid=28294 vsize=344288 CPUtime=0 cores=1,3,5,7
/proc/28296/task/28416/stat : 28416 (python) S 28294 28296 27243 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 6 0 850141351 352550912 9679 33554432000 4194304 5683644 140733962852544 18446744073709551615 220828060081 0 0 16781312 33554434 18446604457247927232 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 283.39
Current children cumulated vsize (KiB) 19403704
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 28296 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=144825
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=129980
# CPU time returned by wait4() is 1.27481
# while last known CPU time is 283.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 281.383
CPU time (s): 283.39
CPU user time (s): 280.69
CPU system time (s): 2.7
CPU usage (%): 100.713
Max. virtual memory (cumulated for all children) (KiB): 19403704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.14482
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18781
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= 2866
involuntary context switches= 26
runsolver used 1.54876 second user time and 3.3125 second system time
The end