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-3481185-1307578602/watcher-3481185-1307578602 -o /tmp/evaluation-result-3481185-1307578602/solver-3481185-1307578602 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481185-1307578602.opb -seed 1583302488 -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 2.06 1.85 2/750 2363
/proc/meminfo: memFree=11070292/32951124 swapFree=36471928/67111528
[pid=2363] ppid=2361 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/2363/stat : 2363 (python) R 2361 2363 32706 0 -1 4202496 857 0 0 0 0 0 0 0 17 0 1 0 869460714 16154624 738 33554432000 4194304 5683644 140736505719328 18446744073709551615 5002908 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2363/statm: 3944 738 335 364 0 431 0
[startup+0.115408 s]
/proc/loadavg: 2.00 2.06 1.85 2/750 2363
/proc/meminfo: memFree=11070292/32951124 swapFree=36471928/67111528
[pid=2363] ppid=2361 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/2363/stat : 2363 (python) R 2361 2363 32706 0 -1 4202496 3155 930 1 0 5 1 0 0 18 0 1 0 869460714 98435072 2483 33554432000 4194304 5683644 140736505719328 18446744073709551615 4620004 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2363/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.200434 s]
/proc/loadavg: 2.00 2.06 1.85 2/750 2363
/proc/meminfo: memFree=11070292/32951124 swapFree=36471928/67111528
[pid=2363] ppid=2361 vsize=117904 CPUtime=0.11 cores=1,3,5,7
/proc/2363/stat : 2363 (python) R 2361 2363 32706 0 -1 4202496 4921 930 1 0 9 2 0 0 17 0 1 0 869460714 120733696 3345 33554432000 4194304 5683644 140736505719328 18446744073709551615 230809163776 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/2363/statm: 29476 3345 916 364 0 2446 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 117904
[startup+0.300457 s]
/proc/loadavg: 2.00 2.06 1.85 2/750 2363
/proc/meminfo: memFree=11070292/32951124 swapFree=36471928/67111528
[pid=2363] ppid=2361 vsize=123744 CPUtime=0.15 cores=1,3,5,7
/proc/2363/stat : 2363 (python) S 2361 2363 32706 0 -1 4202496 5359 930 1 0 11 4 0 0 16 0 1 0 869460714 126713856 3745 33554432000 4194304 5683644 140736505719328 18446744073709551615 230809161733 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/2363/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123744
[startup+0.700407 s]
/proc/loadavg: 2.00 2.06 1.85 2/750 2363
/proc/meminfo: memFree=11070292/32951124 swapFree=36471928/67111528
[pid=2363] ppid=2361 vsize=284472 CPUtime=0.36 cores=1,3,5,7
/proc/2363/stat : 2363 (python) R 2361 2363 32706 0 -1 4202496 9468 930 1 0 28 8 0 0 15 0 1 0 869460714 291299328 7329 33554432000 4194304 5683644 140736505719328 18446744073709551615 230809165568 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2363/statm: 71118 7365 1776 364 0 6011 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 284472
[startup+1.50021 s]
/proc/loadavg: 2.00 2.06 1.85 3/751 2368
/proc/meminfo: memFree=11033696/32951124 swapFree=36471928/67111528
[pid=2363] ppid=2361 vsize=296716 CPUtime=1.17 cores=1,3,5,7
/proc/2363/stat : 2363 (python) R 2361 2363 32706 0 -1 4202496 15154 930 1 0 108 9 0 0 16 0 1 0 869460714 303837184 10526 33554432000 4194304 5683644 140736505719328 18446744073709551615 47716602171105 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/2363/statm: 74179 10526 1816 364 0 9072 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 296716
[startup+3.10087 s]
/proc/loadavg: 2.00 2.06 1.85 5/771 2388
/proc/meminfo: memFree=10970916/32951124 swapFree=36471928/67111528
[pid=2363] ppid=2361 vsize=307972 CPUtime=1.44 cores=1,3,5,7
/proc/2363/stat : 2363 (python) S 2361 2363 32706 0 -1 4202496 15760 930 1 0 135 9 0 0 19 0 2 0 869460714 315363328 10831 33554432000 4194304 5683644 140736505719328 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2363/statm: 76993 10831 1870 364 0 11880 0
[pid=2369] ppid=2363 vsize=297728 CPUtime=0 cores=1,3,5,7
/proc/2369/stat : 2369 (python) S 2363 2363 32706 0 -1 4202560 833 0 0 0 0 0 0 0 15 0 1 0 869460891 304873472 9314 33554432000 4194304 5683644 140736505719328 18446744073709551615 230809185807 0 0 16781312 33554946 4294934788 0 0 17 5 0 0 0
/proc/2369/statm: 74432 9314 357 364 0 9319 0
[pid=2371] ppid=2369 vsize=8539496 CPUtime=2.29 cores=1,3,5,7
/proc/2371/stat : 2371 (java) S 2369 2371 2371 0 -1 4202496 44199 0 1 0 225 4 0 0 19 0 19 0 869460892 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2371/statm: 2134874 40827 2243 9 0 2125615 0
[pid=2371/tid=2372] ppid=2369 vsize=8539496 CPUtime=1.28 cores=1,3,5,7
/proc/2371/task/2372/stat : 2372 (java) R 2369 2371 2371 0 -1 4202560 35285 0 1 0 125 3 0 0 18 0 19 0 869460892 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 46912505936002 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2371/tid=2373] ppid=2369 vsize=8539496 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2373/stat : 2373 (java) S 2369 2371 2371 0 -1 4202560 485 0 0 0 0 0 0 0 16 0 19 0 869460893 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2374] ppid=2369 vsize=8539496 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2374/stat : 2374 (java) S 2369 2371 2371 0 -1 4202560 569 0 0 0 0 0 0 0 16 0 19 0 869460893 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 7 0 0 0
[pid=2371/tid=2375] ppid=2369 vsize=8539496 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2375/stat : 2375 (java) S 2369 2371 2371 0 -1 4202560 283 0 0 0 0 0 0 0 17 0 19 0 869460893 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2376] ppid=2369 vsize=8539496 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2376/stat : 2376 (java) S 2369 2371 2371 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869460893 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2377] ppid=2369 vsize=8539496 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2377/stat : 2377 (java) S 2369 2371 2371 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869460893 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2378] ppid=2369 vsize=8539496 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2378/stat : 2378 (java) S 2369 2371 2371 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869460893 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2379] ppid=2369 vsize=8539496 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2379/stat : 2379 (java) S 2369 2371 2371 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869460893 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2380] ppid=2369 vsize=8539496 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2380/stat : 2380 (java) S 2369 2371 2371 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869460893 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2381] ppid=2369 vsize=8539496 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2381/stat : 2381 (java) S 2369 2371 2371 0 -1 4202560 72 0 0 0 0 0 0 0 19 0 19 0 869460894 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820982272 0 0 0 16800975 18446604467784333312 0 0 -1 3 0 0 0
[pid=2371/tid=2382] ppid=2369 vsize=8539496 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2382/stat : 2382 (java) S 2369 2371 2371 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869460894 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2383] ppid=2369 vsize=8539496 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2383/stat : 2383 (java) S 2369 2371 2371 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869460894 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 7 0 0 0
[pid=2371/tid=2384] ppid=2369 vsize=8539496 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2384/stat : 2384 (java) S 2369 2371 2371 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869460896 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820989361 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2385] ppid=2369 vsize=8539496 CPUtime=0.45 cores=1,3,5,7
/proc/2371/task/2385/stat : 2385 (java) S 2369 2371 2371 0 -1 4202560 3550 0 0 0 45 0 0 0 15 0 19 0 869460896 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2386] ppid=2369 vsize=8539496 CPUtime=0.52 cores=1,3,5,7
/proc/2371/task/2386/stat : 2386 (java) S 2369 2371 2371 0 -1 4202560 2570 0 0 0 52 0 0 0 15 0 19 0 869460896 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2387] ppid=2369 vsize=8539496 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2387/stat : 2387 (java) S 2369 2371 2371 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 869460896 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2388] ppid=2369 vsize=8539496 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2388/stat : 2388 (java) S 2369 2371 2371 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869460896 8744443904 40827 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820982272 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2363/tid=2370] ppid=2361 vsize=307972 CPUtime=0 cores=1,3,5,7
/proc/2363/task/2370/stat : 2370 (python) S 2361 2363 32706 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 869460892 315363328 10831 33554432000 4194304 5683644 140736505719328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604466738227264 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 9145196
[startup+6.30131 s]
/proc/loadavg: 2.00 2.06 1.85 3/772 2390
/proc/meminfo: memFree=10857124/32951124 swapFree=36471928/67111528
[pid=2363] ppid=2361 vsize=307972 CPUtime=1.44 cores=1,3,5,7
/proc/2363/stat : 2363 (python) S 2361 2363 32706 0 -1 4202496 15760 930 1 0 135 9 0 0 19 0 2 0 869460714 315363328 10831 33554432000 4194304 5683644 140736505719328 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2363/statm: 76993 10831 1870 364 0 11880 0
[pid=2369] ppid=2363 vsize=297728 CPUtime=0 cores=1,3,5,7
/proc/2369/stat : 2369 (python) S 2363 2363 32706 0 -1 4202560 966 0 0 0 0 0 0 0 15 0 1 0 869460891 304873472 9336 33554432000 4194304 5683644 140736505719328 18446744073709551615 230809185807 0 0 16781312 33554946 4294934788 0 0 17 3 0 0 0
/proc/2369/statm: 74432 9336 379 364 0 9319 0
[pid=2371] ppid=2369 vsize=8539740 CPUtime=5.63 cores=1,3,5,7
/proc/2371/stat : 2371 (java) S 2369 2371 2371 0 -1 4202496 48527 0 1 0 558 5 0 0 19 0 19 0 869460892 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2371/statm: 2134935 44900 2255 9 0 2125676 0
[pid=2371/tid=2372] ppid=2369 vsize=8539740 CPUtime=4.33 cores=1,3,5,7
/proc/2371/task/2372/stat : 2372 (java) R 2369 2371 2371 0 -1 4202560 35289 0 1 0 430 3 0 0 18 0 19 0 869460892 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 46912505946878 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2371/tid=2373] ppid=2369 vsize=8539740 CPUtime=0.01 cores=1,3,5,7
/proc/2371/task/2373/stat : 2373 (java) S 2369 2371 2371 0 -1 4202560 562 0 0 0 1 0 0 0 16 0 19 0 869460893 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2374] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2374/stat : 2374 (java) S 2369 2371 2371 0 -1 4202560 569 0 0 0 0 0 0 0 15 0 19 0 869460893 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2375] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2375/stat : 2375 (java) S 2369 2371 2371 0 -1 4202560 289 0 0 0 0 0 0 0 16 0 19 0 869460893 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2376] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2376/stat : 2376 (java) S 2369 2371 2371 0 -1 4202560 399 0 0 0 0 0 0 0 15 0 19 0 869460893 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2377] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2377/stat : 2377 (java) S 2369 2371 2371 0 -1 4202560 279 0 0 0 0 0 0 0 15 0 19 0 869460893 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2378] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2378/stat : 2378 (java) S 2369 2371 2371 0 -1 4202560 103 0 0 0 0 0 0 0 16 0 19 0 869460893 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2379] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2379/stat : 2379 (java) S 2369 2371 2371 0 -1 4202560 588 0 0 0 0 0 0 0 16 0 19 0 869460893 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2380] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2380/stat : 2380 (java) S 2369 2371 2371 0 -1 4202560 535 0 0 0 0 0 0 0 16 0 19 0 869460893 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2381] ppid=2369 vsize=8539740 CPUtime=0.11 cores=1,3,5,7
/proc/2371/task/2381/stat : 2381 (java) S 2369 2371 2371 0 -1 4202560 2086 0 0 0 11 0 0 0 15 0 19 0 869460894 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820982272 0 0 0 16800975 18446604467784333312 0 0 -1 7 0 0 0
[pid=2371/tid=2382] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2382/stat : 2382 (java) S 2369 2371 2371 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869460894 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2383] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2383/stat : 2383 (java) S 2369 2371 2371 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869460894 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 7 0 0 0
[pid=2371/tid=2384] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2384/stat : 2384 (java) S 2369 2371 2371 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869460896 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820989361 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2385] ppid=2369 vsize=8539740 CPUtime=0.51 cores=1,3,5,7
/proc/2371/task/2385/stat : 2385 (java) S 2369 2371 2371 0 -1 4202560 3810 0 0 0 51 0 0 0 15 0 19 0 869460896 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2386] ppid=2369 vsize=8539740 CPUtime=0.57 cores=1,3,5,7
/proc/2371/task/2386/stat : 2386 (java) S 2369 2371 2371 0 -1 4202560 2638 0 0 0 57 0 0 0 15 0 19 0 869460896 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2387] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2387/stat : 2387 (java) S 2369 2371 2371 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 869460896 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2388] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2388/stat : 2388 (java) S 2369 2371 2371 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869460896 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820982272 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2389] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2389/stat : 2389 (java) S 2369 2371 2371 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869460962 8744693760 44900 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820982272 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2363/tid=2370] ppid=2361 vsize=307972 CPUtime=0 cores=1,3,5,7
/proc/2363/task/2370/stat : 2370 (python) S 2361 2363 32706 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 869460892 315363328 10831 33554432000 4194304 5683644 140736505719328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604466738227264 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 9145440
Solver just ended. Dumping a history of the last processes samples
[startup+6.4013 s]
/proc/loadavg: 2.00 2.06 1.85 3/772 2390
/proc/meminfo: memFree=10857124/32951124 swapFree=36471928/67111528
[pid=2363] ppid=2361 vsize=307972 CPUtime=1.44 cores=1,3,5,7
/proc/2363/stat : 2363 (python) S 2361 2363 32706 0 -1 4202496 15760 930 1 0 135 9 0 0 19 0 2 0 869460714 315363328 10831 33554432000 4194304 5683644 140736505719328 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2363/statm: 76993 10831 1870 364 0 11880 0
[pid=2369] ppid=2363 vsize=297728 CPUtime=0 cores=1,3,5,7
/proc/2369/stat : 2369 (python) S 2363 2363 32706 0 -1 4202560 966 0 0 0 0 0 0 0 15 0 1 0 869460891 304873472 9336 33554432000 4194304 5683644 140736505719328 18446744073709551615 230809185807 0 0 16781312 33554946 4294934788 0 0 17 3 0 0 0
/proc/2369/statm: 74432 9336 379 364 0 9319 0
[pid=2371] ppid=2369 vsize=8539740 CPUtime=5.73 cores=1,3,5,7
/proc/2371/stat : 2371 (java) S 2369 2371 2371 0 -1 4202496 48607 0 1 0 568 5 0 0 19 0 19 0 869460892 8744693760 44979 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2371/statm: 2134935 44979 2255 9 0 2125676 0
[pid=2371/tid=2372] ppid=2369 vsize=8539740 CPUtime=4.4 cores=1,3,5,7
/proc/2371/task/2372/stat : 2372 (java) R 2369 2371 2371 0 -1 4202560 35290 0 1 0 437 3 0 0 18 0 19 0 869460892 8744693760 44979 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 46912505935161 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2371/tid=2373] ppid=2369 vsize=8539740 CPUtime=0.01 cores=1,3,5,7
/proc/2371/task/2373/stat : 2373 (java) S 2369 2371 2371 0 -1 4202560 562 0 0 0 1 0 0 0 15 0 19 0 869460893 8744693760 44979 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2374] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2374/stat : 2374 (java) S 2369 2371 2371 0 -1 4202560 569 0 0 0 0 0 0 0 15 0 19 0 869460893 8744693760 44979 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2375] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2375/stat : 2375 (java) S 2369 2371 2371 0 -1 4202560 289 0 0 0 0 0 0 0 15 0 19 0 869460893 8744693760 44979 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2376] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/2371/task/2385/stat : 2385 (java) S 2369 2371 2371 0 -1 4202560 3812 0 0 0 52 0 0 0 15 0 19 0 869460896 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2386] ppid=2369 vsize=8539740 CPUtime=0.57 cores=1,3,5,7
/proc/2371/task/2386/stat : 2386 (java) S 2369 2371 2371 0 -1 4202560 2638 0 0 0 57 0 0 0 15 0 19 0 869460896 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2387] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2387/stat : 2387 (java) S 2369 2371 2371 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 869460896 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2388] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2388/stat : 2388 (java) S 2369 2371 2371 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869460896 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820982272 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2389] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2389/stat : 2389 (java) S 2369 2371 2371 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869460962 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820982272 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2363/tid=2370] ppid=2361 vsize=307972 CPUtime=0 cores=1,3,5,7
/proc/2363/task/2370/stat : 2370 (python) S 2361 2363 32706 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 869460892 315363328 10831 33554432000 4194304 5683644 140736505719328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604466738227264 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.41
Current children cumulated vsize (KiB) 9145440
[startup+10.4016 s]
/proc/loadavg: 2.00 2.05 1.85 3/772 2390
/proc/meminfo: memFree=10856208/32951124 swapFree=36471928/67111528
[pid=2363] ppid=2361 vsize=307972 CPUtime=1.44 cores=1,3,5,7
/proc/2363/stat : 2363 (python) S 2361 2363 32706 0 -1 4202496 15760 930 1 0 135 9 0 0 19 0 2 0 869460714 315363328 10831 33554432000 4194304 5683644 140736505719328 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2363/statm: 76993 10831 1870 364 0 11880 0
[pid=2369] ppid=2363 vsize=297728 CPUtime=0.03 cores=1,3,5,7
/proc/2369/stat : 2369 (python) S 2363 2363 32706 0 -1 4202560 969 0 0 0 1 2 0 0 15 0 1 0 869460891 304873472 9337 33554432000 4194304 5683644 140736505719328 18446744073709551615 230809185807 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/2369/statm: 74432 9337 380 364 0 9319 0
[pid=2371] ppid=2369 vsize=8539740 CPUtime=9.74 cores=1,3,5,7
/proc/2371/stat : 2371 (java) S 2369 2371 2371 0 -1 4202496 48728 0 1 0 969 5 0 0 19 0 19 0 869460892 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2371/statm: 2134935 45065 2255 9 0 2125676 0
[pid=2371/tid=2372] ppid=2369 vsize=8539740 CPUtime=8.31 cores=1,3,5,7
/proc/2371/task/2372/stat : 2372 (java) R 2369 2371 2371 0 -1 4202560 35293 0 1 0 828 3 0 0 25 0 19 0 869460892 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 46912505935189 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2371/tid=2373] ppid=2369 vsize=8539740 CPUtime=0.01 cores=1,3,5,7
/proc/2371/task/2373/stat : 2373 (java) S 2369 2371 2371 0 -1 4202560 562 0 0 0 1 0 0 0 15 0 19 0 869460893 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2374] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2374/stat : 2374 (java) S 2369 2371 2371 0 -1 4202560 571 0 0 0 0 0 0 0 15 0 19 0 869460893 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2375] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2375/stat : 2375 (java) S 2369 2371 2371 0 -1 4202560 289 0 0 0 0 0 0 0 15 0 19 0 869460893 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2376] ppid=2369 vsize=8539740 CPUtime=0.01 cores=1,3,5,7
/proc/2371/task/2376/stat : 2376 (java) S 2369 2371 2371 0 -1 4202560 401 0 0 0 1 0 0 0 15 0 19 0 869460893 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2377] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2377/stat : 2377 (java) S 2369 2371 2371 0 -1 4202560 279 0 0 0 0 0 0 0 15 0 19 0 869460893 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2378] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2378/stat : 2378 (java) S 2369 2371 2371 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 869460893 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2379] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2379/stat : 2379 (java) S 2369 2371 2371 0 -1 4202560 588 0 0 0 0 0 0 0 16 0 19 0 869460893 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2380] ppid=2369 vsize=8539740 CPUtime=0.01 cores=1,3,5,7
/proc/2371/task/2380/stat : 2380 (java) S 2369 2371 2371 0 -1 4202560 536 0 0 0 1 0 0 0 15 0 19 0 869460893 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2381] ppid=2369 vsize=8539740 CPUtime=0.22 cores=1,3,5,7
/proc/2371/task/2381/stat : 2381 (java) S 2369 2371 2371 0 -1 4202560 2275 0 0 0 22 0 0 0 15 0 19 0 869460894 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820982272 0 0 0 16800975 18446604467784333312 0 0 -1 7 0 0 0
[pid=2371/tid=2382] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2382/stat : 2382 (java) S 2369 2371 2371 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869460894 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2383] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2383/stat : 2383 (java) S 2369 2371 2371 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869460894 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 7 0 0 0
[pid=2371/tid=2384] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2384/stat : 2384 (java) S 2369 2371 2371 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869460896 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820989361 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2385] ppid=2369 vsize=8539740 CPUtime=0.52 cores=1,3,5,7
/proc/2371/task/2385/stat : 2385 (java) S 2369 2371 2371 0 -1 4202560 3812 0 0 0 52 0 0 0 15 0 19 0 869460896 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2386] ppid=2369 vsize=8539740 CPUtime=0.57 cores=1,3,5,7
/proc/2371/task/2386/stat : 2386 (java) S 2369 2371 2371 0 -1 4202560 2638 0 0 0 57 0 0 0 15 0 19 0 869460896 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2387] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2387/stat : 2387 (java) S 2369 2371 2371 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 869460896 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2388] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2388/stat : 2388 (java) S 2369 2371 2371 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869460896 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820982272 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2389] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2389/stat : 2389 (java) S 2369 2371 2371 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869460962 8744693760 45065 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820982272 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2363/tid=2370] ppid=2361 vsize=307972 CPUtime=0 cores=1,3,5,7
/proc/2363/task/2370/stat : 2370 (python) S 2361 2363 32706 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 869460892 315363328 10831 33554432000 4194304 5683644 140736505719328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604466738227264 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.21
Current children cumulated vsize (KiB) 9145440
[startup+11.2014 s]
/proc/loadavg: 2.00 2.05 1.85 3/772 2390
/proc/meminfo: memFree=10854348/32951124 swapFree=36471928/67111528
[pid=2363] ppid=2361 vsize=307972 CPUtime=1.44 cores=1,3,5,7
/proc/2363/stat : 2363 (python) S 2361 2363 32706 0 -1 4202496 15760 930 1 0 135 9 0 0 19 0 2 0 869460714 315363328 10831 33554432000 4194304 5683644 140736505719328 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2363/statm: 76993 10831 1870 364 0 11880 0
[pid=2369] ppid=2363 vsize=297728 CPUtime=0.03 cores=1,3,5,7
/proc/2369/stat : 2369 (python) S 2363 2363 32706 0 -1 4202560 969 0 0 0 1 2 0 0 15 0 1 0 869460891 304873472 9337 33554432000 4194304 5683644 140736505719328 18446744073709551615 230809185807 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/2369/statm: 74432 9337 380 364 0 9319 0
[pid=2371] ppid=2369 vsize=8539740 CPUtime=10.55 cores=1,3,5,7
/proc/2371/stat : 2371 (java) S 2369 2371 2371 0 -1 4202496 49002 0 1 0 1050 5 0 0 19 0 19 0 869460892 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2371/statm: 2134935 45336 2255 9 0 2125676 0
[pid=2371/tid=2372] ppid=2369 vsize=8539740 CPUtime=9.08 cores=1,3,5,7
/proc/2371/task/2372/stat : 2372 (java) R 2369 2371 2371 0 -1 4202560 35294 0 1 0 905 3 0 0 25 0 19 0 869460892 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 46912505921809 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2371/tid=2373] ppid=2369 vsize=8539740 CPUtime=0.01 cores=1,3,5,7
/proc/2371/task/2373/stat : 2373 (java) S 2369 2371 2371 0 -1 4202560 654 0 0 0 1 0 0 0 16 0 19 0 869460893 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2374] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2374/stat : 2374 (java) S 2369 2371 2371 0 -1 4202560 572 0 0 0 0 0 0 0 15 0 19 0 869460893 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2375] ppid=2369 vsize=8539740 CPUtime=0.01 cores=1,3,5,7
/proc/2371/task/2375/stat : 2375 (java) S 2369 2371 2371 0 -1 4202560 343 0 0 0 1 0 0 0 15 0 19 0 869460893 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2376] ppid=2369 vsize=8539740 CPUtime=0.01 cores=1,3,5,7
/proc/2371/task/2376/stat : 2376 (java) S 2369 2371 2371 0 -1 4202560 401 0 0 0 1 0 0 0 15 0 19 0 869460893 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2377] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2377/stat : 2377 (java) S 2369 2371 2371 0 -1 4202560 279 0 0 0 0 0 0 0 15 0 19 0 869460893 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2378] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2378/stat : 2378 (java) S 2369 2371 2371 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 869460893 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2379] ppid=2369 vsize=8539740 CPUtime=0.01 cores=1,3,5,7
/proc/2371/task/2379/stat : 2379 (java) S 2369 2371 2371 0 -1 4202560 628 0 0 0 1 0 0 0 16 0 19 0 869460893 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2380] ppid=2369 vsize=8539740 CPUtime=0.01 cores=1,3,5,7
/proc/2371/task/2380/stat : 2380 (java) S 2369 2371 2371 0 -1 4202560 536 0 0 0 1 0 0 0 15 0 19 0 869460893 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2381] ppid=2369 vsize=8539740 CPUtime=0.24 cores=1,3,5,7
/proc/2371/task/2381/stat : 2381 (java) S 2369 2371 2371 0 -1 4202560 2361 0 0 0 24 0 0 0 15 0 19 0 869460894 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820982272 0 0 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2382] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2382/stat : 2382 (java) S 2369 2371 2371 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869460894 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2383] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2383/stat : 2383 (java) S 2369 2371 2371 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869460894 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 7 0 0 0
[pid=2371/tid=2384] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2384/stat : 2384 (java) S 2369 2371 2371 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869460896 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820989361 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2385] ppid=2369 vsize=8539740 CPUtime=0.52 cores=1,3,5,7
/proc/2371/task/2385/stat : 2385 (java) S 2369 2371 2371 0 -1 4202560 3812 0 0 0 52 0 0 0 15 0 19 0 869460896 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2386] ppid=2369 vsize=8539740 CPUtime=0.57 cores=1,3,5,7
/proc/2371/task/2386/stat : 2386 (java) S 2369 2371 2371 0 -1 4202560 2638 0 0 0 57 0 0 0 15 0 19 0 869460896 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2387] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2387/stat : 2387 (java) S 2369 2371 2371 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 869460896 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2388] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2388/stat : 2388 (java) S 2369 2371 2371 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869460896 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820982272 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2389] ppid=2369 vsize=8539740 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2389/stat : 2389 (java) S 2369 2371 2371 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869460962 8744693760 45336 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820982272 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2363/tid=2370] ppid=2361 vsize=307972 CPUtime=0 cores=1,3,5,7
/proc/2363/task/2370/stat : 2370 (python) S 2361 2363 32706 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 869460892 315363328 10831 33554432000 4194304 5683644 140736505719328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604466738227264 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.02
Current children cumulated vsize (KiB) 9145440
[startup+11.4013 s]
/proc/loadavg: 2.00 2.05 1.85 3/772 2390
/proc/meminfo: memFree=10854348/32951124 swapFree=36471928/67111528
[pid=2363] ppid=2361 vsize=307972 CPUtime=1.44 cores=1,3,5,7
/proc/2363/stat : 2363 (python) S 2361 2363 32706 0 -1 4202496 15760 930 1 0 135 9 0 0 19 0 2 0 869460714 315363328 10831 33554432000 4194304 5683644 140736505719328 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2363/statm: 76993 10831 1870 364 0 11880 0
[pid=2369] ppid=2363 vsize=297728 CPUtime=0.03 cores=1,3,5,7
/proc/2369/stat : 2369 (python) S 2363 2363 32706 0 -1 4202560 981 0 0 0 1 2 0 0 15 0 1 0 869460891 304873472 9338 33554432000 4194304 5683644 140736505719328 18446744073709551615 230809185807 0 0 16781312 33554946 2545417500460318720 0 0 17 7 0 0 0
/proc/2369/statm: 74432 9338 381 364 0 9319 0
[pid=2371] ppid=2369 vsize=8540768 CPUtime=10.75 cores=1,3,5,7
/proc/2371/stat : 2371 (java) S 2369 2371 2371 0 -1 4202496 49017 0 1 0 1070 5 0 0 19 0 18 0 869460892 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2371/statm: 2135192 45350 2256 9 0 2125933 0
[pid=2371/tid=2372] ppid=2369 vsize=8540768 CPUtime=9.26 cores=1,3,5,7
/proc/2371/task/2372/stat : 2372 (java) S 2369 2371 2371 0 -1 4202560 35298 0 1 0 923 3 0 0 25 0 18 0 869460892 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2373] ppid=2369 vsize=8540768 CPUtime=0.01 cores=1,3,5,7
/proc/2371/task/2373/stat : 2373 (java) S 2369 2371 2371 0 -1 4202560 654 0 0 0 1 0 0 0 16 0 18 0 869460893 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2374] ppid=2369 vsize=8540768 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2374/stat : 2374 (java) S 2369 2371 2371 0 -1 4202560 572 0 0 0 0 0 0 0 15 0 18 0 869460893 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2375] ppid=2369 vsize=8540768 CPUtime=0.01 cores=1,3,5,7
/proc/2371/task/2375/stat : 2375 (java) S 2369 2371 2371 0 -1 4202560 343 0 0 0 1 0 0 0 15 0 18 0 869460893 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2376] ppid=2369 vsize=8540768 CPUtime=0.01 cores=1,3,5,7
/proc/2371/task/2376/stat : 2376 (java) S 2369 2371 2371 0 -1 4202560 401 0 0 0 1 0 0 0 15 0 18 0 869460893 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2377] ppid=2369 vsize=8540768 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2377/stat : 2377 (java) S 2369 2371 2371 0 -1 4202560 279 0 0 0 0 0 0 0 15 0 18 0 869460893 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2378] ppid=2369 vsize=8540768 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2378/stat : 2378 (java) S 2369 2371 2371 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 18 0 869460893 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2379] ppid=2369 vsize=8540768 CPUtime=0.01 cores=1,3,5,7
/proc/2371/task/2379/stat : 2379 (java) S 2369 2371 2371 0 -1 4202560 628 0 0 0 1 0 0 0 16 0 18 0 869460893 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2380] ppid=2369 vsize=8540768 CPUtime=0.01 cores=1,3,5,7
/proc/2371/task/2380/stat : 2380 (java) S 2369 2371 2371 0 -1 4202560 536 0 0 0 1 0 0 0 15 0 18 0 869460893 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2381] ppid=2369 vsize=8540768 CPUtime=0.24 cores=1,3,5,7
/proc/2371/task/2381/stat : 2381 (java) S 2369 2371 2371 0 -1 4202560 2361 0 0 0 24 0 0 0 15 0 18 0 869460894 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820982272 0 0 0 16800975 18446604467784333312 0 0 -1 7 0 0 0
[pid=2371/tid=2382] ppid=2369 vsize=8540768 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2382/stat : 2382 (java) S 2369 2371 2371 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 869460894 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2383] ppid=2369 vsize=8540768 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2383/stat : 2383 (java) S 2369 2371 2371 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 18 0 869460894 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 7 0 0 0
[pid=2371/tid=2384] ppid=2369 vsize=8540768 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2384/stat : 2384 (java) S 2369 2371 2371 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869460896 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2385] ppid=2369 vsize=8540768 CPUtime=0.52 cores=1,3,5,7
/proc/2371/task/2385/stat : 2385 (java) S 2369 2371 2371 0 -1 4202560 3813 0 0 0 52 0 0 0 15 0 18 0 869460896 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2371/tid=2386] ppid=2369 vsize=8540768 CPUtime=0.59 cores=1,3,5,7
/proc/2371/task/2386/stat : 2386 (java) S 2369 2371 2371 0 -1 4202560 2639 0 0 0 59 0 0 0 15 0 18 0 869460896 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2387] ppid=2369 vsize=8540768 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2387/stat : 2387 (java) S 2369 2371 2371 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 869460896 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820981657 0 4 0 16800975 18446604467784333312 0 0 -1 1 0 0 0
[pid=2371/tid=2389] ppid=2369 vsize=8540768 CPUtime=0 cores=1,3,5,7
/proc/2371/task/2389/stat : 2389 (java) S 2369 2371 2371 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869460962 8745746432 45350 33554432000 1073741824 1073778376 140734840948288 18446744073709551615 230820982272 0 4 0 16800975 18446604467784333312 0 0 -1 5 0 0 0
[pid=2363/tid=2370] ppid=2361 vsize=307972 CPUtime=0 cores=1,3,5,7
/proc/2363/task/2370/stat : 2370 (python) S 2361 2363 32706 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 869460892 315363328 10831 33554432000 4194304 5683644 140736505719328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604466738227264 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 9146468
Child status: 0
Real time (s): 11.441
CPU time (s): 12.2821
CPU user time (s): 12.0952
CPU system time (s): 0.186971
CPU usage (%): 107.352
Max. virtual memory (cumulated for all children) (KiB): 9146468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.0952
system time used= 0.186971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72997
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3643
involuntary context switches= 292
runsolver used 0.048992 second user time and 0.12898 second system time
The end