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-3459129-1307134112/watcher-3459129-1307134112 -o /tmp/evaluation-result-3459129-1307134112/solver-3459129-1307134112 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459129-1307134112.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 2.23 2.86 3/545 13362
/proc/meminfo: memFree=24900288/32951124 swapFree=56241860/67111528
[pid=13362] ppid=13360 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/13362/stat : 13362 (java) S 13360 13362 11644 0 -1 4202496 4593 0 1 0 0 0 0 0 25 0 2 0 903641850 13850947584 4295 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/13362/statm: 3381579 4308 917 9 0 3372735 0
[pid=13362/tid=13363] ppid=13360 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13363/stat : 13363 (java) R 13360 13362 11644 0 -1 4202560 7784 0 1 0 0 0 0 0 25 0 2 0 903641851 13850947584 8600 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.07715 s]
/proc/loadavg: 1.93 2.23 2.86 3/545 13362
/proc/meminfo: memFree=24900288/32951124 swapFree=56241860/67111528
[pid=13362] ppid=13360 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/13362/stat : 13362 (java) S 13360 13362 11644 0 -1 4202496 14392 0 1 0 5 1 0 0 25 0 18 0 903641850 13880410112 14089 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13362/statm: 3388772 14089 1754 9 0 3379506 0
[pid=13362/tid=13363] ppid=13360 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/13362/task/13363/stat : 13363 (java) R 13360 13362 11644 0 -1 4202560 13218 0 1 0 5 1 0 0 22 0 18 0 903641851 13880410112 14089 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216747005387 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088
[startup+0.101099 s]
/proc/loadavg: 1.93 2.23 2.86 3/545 13362
/proc/meminfo: memFree=24900288/32951124 swapFree=56241860/67111528
[pid=13362] ppid=13360 vsize=13622232 CPUtime=0.1 cores=1,3,5,7
/proc/13362/stat : 13362 (java) S 13360 13362 11644 0 -1 4202496 15524 0 1 0 9 1 0 0 25 0 18 0 903641850 13949165568 15220 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13362/statm: 3405558 15220 2092 9 0 3396292 0
[pid=13362/tid=13363] ppid=13360 vsize=13622232 CPUtime=0.08 cores=1,3,5,7
/proc/13362/task/13363/stat : 13363 (java) R 13360 13362 11644 0 -1 4202560 13590 0 1 0 7 1 0 0 22 0 18 0 903641851 13949165568 15220 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 46912496216672 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622232
[startup+0.301073 s]
/proc/loadavg: 1.93 2.23 2.86 3/545 13362
/proc/meminfo: memFree=24900288/32951124 swapFree=56241860/67111528
[pid=13362] ppid=13360 vsize=13627556 CPUtime=0.54 cores=1,3,5,7
/proc/13362/stat : 13362 (java) S 13360 13362 11644 0 -1 4202496 18749 0 1 0 52 2 0 0 25 0 19 0 903641850 13954617344 17668 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13362/statm: 3406889 17668 2214 9 0 3397623 0
[pid=13362/tid=13363] ppid=13360 vsize=13627556 CPUtime=0.28 cores=1,3,5,7
/proc/13362/task/13363/stat : 13363 (java) R 13360 13362 11644 0 -1 4202560 14225 0 1 0 27 1 0 0 23 0 19 0 903641851 13954617344 17668 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 46912505555577 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13627556
[startup+0.700996 s]
/proc/loadavg: 1.93 2.23 2.86 3/545 13362
/proc/meminfo: memFree=24900288/32951124 swapFree=56241860/67111528
[pid=13362] ppid=13360 vsize=13627064 CPUtime=1.05 cores=1,3,5,7
/proc/13362/stat : 13362 (java) S 13360 13362 11644 0 -1 4202496 19824 0 1 0 103 2 0 0 25 0 19 0 903641850 13954113536 18501 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13362/statm: 3406766 18501 2246 9 0 3397500 0
[pid=13362/tid=13363] ppid=13360 vsize=13627064 CPUtime=0.65 cores=1,3,5,7
/proc/13362/task/13363/stat : 13363 (java) R 13360 13362 11644 0 -1 4202560 14422 0 1 0 64 1 0 0 25 0 19 0 903641851 13954113536 18501 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 46912505540605 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 13627064
[startup+1.50086 s]
/proc/loadavg: 1.93 2.23 2.86 3/564 13381
/proc/meminfo: memFree=24833704/32951124 swapFree=56241860/67111528
[pid=13362] ppid=13360 vsize=13627532 CPUtime=1.88 cores=1,3,5,7
/proc/13362/stat : 13362 (java) S 13360 13362 11644 0 -1 4202496 20109 0 1 0 186 2 0 0 25 0 19 0 903641850 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13362/statm: 3406883 18784 2247 9 0 3397617 0
[pid=13362/tid=13363] ppid=13360 vsize=13627532 CPUtime=1.42 cores=1,3,5,7
/proc/13362/task/13363/stat : 13363 (java) R 13360 13362 11644 0 -1 4202560 14422 0 1 0 141 1 0 0 25 0 19 0 903641851 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 46912505529820 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13362/tid=13365] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13365/stat : 13365 (java) S 13360 13362 11644 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13366] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13366/stat : 13366 (java) S 13360 13362 11644 0 -1 4202560 57 0 0 0 0 0 0 0 16 0 19 0 903641853 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13367] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13367/stat : 13367 (java) S 13360 13362 11644 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13368] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13368/stat : 13368 (java) S 13360 13362 11644 0 -1 4202560 22 0 0 0 0 0 0 0 16 0 19 0 903641853 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13369] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13369/stat : 13369 (java) S 13360 13362 11644 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13370] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13370/stat : 13370 (java) S 13360 13362 11644 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13371] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13371/stat : 13371 (java) S 13360 13362 11644 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13372] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13372/stat : 13372 (java) S 13360 13362 11644 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13373] ppid=13360 vsize=13627532 CPUtime=0.05 cores=1,3,5,7
/proc/13362/task/13373/stat : 13373 (java) S 13360 13362 11644 0 -1 4202560 396 0 0 0 5 0 0 0 15 0 19 0 903641854 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 0 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13374] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13374/stat : 13374 (java) S 13360 13362 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903641854 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13375] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13375/stat : 13375 (java) S 13360 13362 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903641854 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13376] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13376/stat : 13376 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 903641857 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216747002289 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13377] ppid=13360 vsize=13627532 CPUtime=0.16 cores=1,3,5,7
/proc/13362/task/13377/stat : 13377 (java) S 13360 13362 11644 0 -1 4202560 1722 0 0 0 16 0 0 0 15 0 19 0 903641857 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13378] ppid=13360 vsize=13627532 CPUtime=0.2 cores=1,3,5,7
/proc/13362/task/13378/stat : 13378 (java) S 13360 13362 11644 0 -1 4202560 1875 0 0 0 20 0 0 0 15 0 19 0 903641857 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13379] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13379/stat : 13379 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 903641857 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13380] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13380/stat : 13380 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903641857 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13381] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13381/stat : 13381 (java) S 13360 13362 11644 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 903641867 13954592768 18784 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13627532
[startup+3.10058 s]
/proc/loadavg: 1.93 2.23 2.85 3/564 13381
/proc/meminfo: memFree=24831348/32951124 swapFree=56241860/67111528
[pid=13362] ppid=13360 vsize=13627532 CPUtime=3.49 cores=1,3,5,7
/proc/13362/stat : 13362 (java) S 13360 13362 11644 0 -1 4202496 20435 0 1 0 347 2 0 0 25 0 19 0 903641850 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13362/statm: 3406883 19106 2247 9 0 3397617 0
[pid=13362/tid=13363] ppid=13360 vsize=13627532 CPUtime=2.96 cores=1,3,5,7
/proc/13362/task/13363/stat : 13363 (java) R 13360 13362 11644 0 -1 4202560 14426 0 1 0 295 1 0 0 25 0 19 0 903641851 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 46912505610471 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13362/tid=13365] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13365/stat : 13365 (java) S 13360 13362 11644 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13366] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13366/stat : 13366 (java) S 13360 13362 11644 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13367] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13367/stat : 13367 (java) S 13360 13362 11644 0 -1 4202560 109 0 0 0 0 0 0 0 16 0 19 0 903641853 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13368] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13368/stat : 13368 (java) S 13360 13362 11644 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13369] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13369/stat : 13369 (java) S 13360 13362 11644 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13370] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13370/stat : 13370 (java) S 13360 13362 11644 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13371] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13371/stat : 13371 (java) S 13360 13362 11644 0 -1 4202560 15 0 0 0 0 0 0 0 16 0 19 0 903641853 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13372] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13372/stat : 13372 (java) S 13360 13362 11644 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13373] ppid=13360 vsize=13627532 CPUtime=0.1 cores=1,3,5,7
/proc/13362/task/13373/stat : 13373 (java) S 13360 13362 11644 0 -1 4202560 599 0 0 0 10 0 0 0 15 0 19 0 903641854 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 0 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13374] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13374/stat : 13374 (java) S 13360 13362 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903641854 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13375] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13375/stat : 13375 (java) S 13360 13362 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903641854 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13376] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13376/stat : 13376 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 903641857 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216747002289 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13377] ppid=13360 vsize=13627532 CPUtime=0.16 cores=1,3,5,7
/proc/13362/task/13377/stat : 13377 (java) S 13360 13362 11644 0 -1 4202560 1722 0 0 0 16 0 0 0 15 0 19 0 903641857 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13378] ppid=13360 vsize=13627532 CPUtime=0.21 cores=1,3,5,7
/proc/13362/task/13378/stat : 13378 (java) S 13360 13362 11644 0 -1 4202560 1875 0 0 0 21 0 0 0 15 0 19 0 903641857 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13379] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13379/stat : 13379 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 903641857 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13380] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13380/stat : 13380 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903641857 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13381] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13381/stat : 13381 (java) S 13360 13362 11644 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 903641867 13954592768 19106 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 13627532
Solver just ended. Dumping a history of the last processes samples
[startup+4.70131 s]
/proc/loadavg: 1.93 2.23 2.85 3/564 13381
/proc/meminfo: memFree=24830276/32951124 swapFree=56241860/67111528
[pid=13362] ppid=13360 vsize=13627532 CPUtime=5.09 cores=1,3,5,7
/proc/13362/stat : 13362 (java) S 13360 13362 11644 0 -1 4202496 20497 0 1 0 507 2 0 0 25 0 19 0 903641850 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13362/statm: 3406883 19163 2247 9 0 3397617 0
[pid=13362/tid=13363] ppid=13360 vsize=13627532 CPUtime=4.5 cores=1,3,5,7
/proc/13362/task/13363/stat : 13363 (java) R 13360 13362 11644 0 -1 4202560 14431 0 1 0 449 1 0 0 18 0 19 0 903641851 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 46912505545476 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13362/tid=13365] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13365/stat : 13365 (java) S 13360 13362 11644 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13366] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13366/stat : 13366 (java) S 13360 13362 11644 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13367] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13367/stat : 13367 (java) S 13360 13362 11644 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13368] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13368/stat : 13368 (java) S 13360 13362 11644 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13369] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13369/stat : 13369 (java) S 13360 13362 11644 0 -1 4202560 91 0 0 0 0 0 0 0 16 0 19 0 903641853 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13370] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13370/stat : 13370 (java) S 13360 13362 11644 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13371] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13371/stat : 13371 (java) S 13360 13362 11644 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13372] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13372/stat : 13372 (java) S 13360 13362 11644 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 903641853 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13373] ppid=13360 vsize=13627532 CPUtime=0.16 cores=1,3,5,7
/proc/13362/task/13373/stat : 13373 (java) S 13360 13362 11644 0 -1 4202560 652 0 0 0 16 0 0 0 15 0 19 0 903641854 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 0 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13374] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13374/stat : 13374 (java) S 13360 13362 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903641854 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13375] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13375/stat : 13375 (java) S 13360 13362 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903641854 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13376] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13376/stat : 13376 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 903641857 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216747002289 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13377] ppid=13360 vsize=13627532 CPUtime=0.16 cores=1,3,5,7
/proc/13362/task/13377/stat : 13377 (java) S 13360 13362 11644 0 -1 4202560 1722 0 0 0 16 0 0 0 15 0 19 0 903641857 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13378] ppid=13360 vsize=13627532 CPUtime=0.21 cores=1,3,5,7
/proc/13362/task/13378/stat : 13378 (java) S 13360 13362 11644 0 -1 4202560 1875 0 0 0 21 0 0 0 15 0 19 0 903641857 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13379] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13379/stat : 13379 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 903641857 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13380] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13380/stat : 13380 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903641857 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13381] ppid=13360 vsize=13627532 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13381/stat : 13381 (java) S 13360 13362 11644 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 903641867 13954592768 19163 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 13627532
[startup+5.52016 s]
/proc/loadavg: 1.93 2.23 2.85 3/564 13381
/proc/meminfo: memFree=24830152/32951124 swapFree=56241860/67111528
[pid=13362] ppid=13360 vsize=13626996 CPUtime=5.91 cores=1,3,5,7
/proc/13362/stat : 13362 (java) S 13360 13362 11644 0 -1 4202496 20504 0 1 0 589 2 0 0 25 0 19 0 903641850 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13362/statm: 3406749 19001 2247 9 0 3397483 0
[pid=13362/tid=13363] ppid=13360 vsize=13626996 CPUtime=5.28 cores=1,3,5,7
/proc/13362/task/13363/stat : 13363 (java) R 13360 13362 11644 0 -1 4202560 14433 0 1 0 527 1 0 0 19 0 19 0 903641851 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 46912505610757 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13362/tid=13365] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13365/stat : 13365 (java) S 13360 13362 11644 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13366] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13366/stat : 13366 (java) S 13360 13362 11644 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13367] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13367/stat : 13367 (java) S 13360 13362 11644 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13368] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13368/stat : 13368 (java) S 13360 13362 11644 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13369] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13369/stat : 13369 (java) S 13360 13362 11644 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13370] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13370/stat : 13370 (java) S 13360 13362 11644 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13371] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13371/stat : 13371 (java) S 13360 13362 11644 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13372] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13372/stat : 13372 (java) S 13360 13362 11644 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13373] ppid=13360 vsize=13626996 CPUtime=0.19 cores=1,3,5,7
/proc/13362/task/13373/stat : 13373 (java) S 13360 13362 11644 0 -1 4202560 656 0 0 0 19 0 0 0 15 0 19 0 903641854 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 0 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13374] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13374/stat : 13374 (java) S 13360 13362 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903641854 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13375] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13375/stat : 13375 (java) S 13360 13362 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903641854 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13376] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13376/stat : 13376 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 903641857 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216747002289 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13377] ppid=13360 vsize=13626996 CPUtime=0.16 cores=1,3,5,7
/proc/13362/task/13377/stat : 13377 (java) S 13360 13362 11644 0 -1 4202560 1722 0 0 0 16 0 0 0 15 0 19 0 903641857 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13378] ppid=13360 vsize=13626996 CPUtime=0.21 cores=1,3,5,7
/proc/13362/task/13378/stat : 13378 (java) S 13360 13362 11644 0 -1 4202560 1875 0 0 0 21 0 0 0 15 0 19 0 903641857 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13379] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13379/stat : 13379 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 903641857 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13380] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13380/stat : 13380 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903641857 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13381] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13381/stat : 13381 (java) S 13360 13362 11644 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 903641867 13954043904 19001 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 13626996
[startup+5.70113 s]
/proc/loadavg: 1.93 2.23 2.85 3/564 13381
/proc/meminfo: memFree=24830152/32951124 swapFree=56241860/67111528
[pid=13362] ppid=13360 vsize=13626996 CPUtime=6.09 cores=1,3,5,7
/proc/13362/stat : 13362 (java) S 13360 13362 11644 0 -1 4202496 20541 0 1 0 607 2 0 0 25 0 19 0 903641850 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13362/statm: 3406749 19037 2247 9 0 3397483 0
[pid=13362/tid=13363] ppid=13360 vsize=13626996 CPUtime=5.45 cores=1,3,5,7
/proc/13362/task/13363/stat : 13363 (java) R 13360 13362 11644 0 -1 4202560 14434 0 1 0 544 1 0 0 19 0 19 0 903641851 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 46912505539810 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13362/tid=13365] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13365/stat : 13365 (java) S 13360 13362 11644 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13366] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13366/stat : 13366 (java) S 13360 13362 11644 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13367] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13367/stat : 13367 (java) S 13360 13362 11644 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13368] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13368/stat : 13368 (java) S 13360 13362 11644 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13369] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13369/stat : 13369 (java) S 13360 13362 11644 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13370] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13370/stat : 13370 (java) S 13360 13362 11644 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13371] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13371/stat : 13371 (java) S 13360 13362 11644 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13372] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13372/stat : 13372 (java) S 13360 13362 11644 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13373] ppid=13360 vsize=13626996 CPUtime=0.2 cores=1,3,5,7
/proc/13362/task/13373/stat : 13373 (java) S 13360 13362 11644 0 -1 4202560 692 0 0 0 20 0 0 0 15 0 19 0 903641854 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 0 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13374] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13374/stat : 13374 (java) S 13360 13362 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903641854 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13375] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13375/stat : 13375 (java) S 13360 13362 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903641854 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13376] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13376/stat : 13376 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 903641857 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216747002289 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13377] ppid=13360 vsize=13626996 CPUtime=0.16 cores=1,3,5,7
/proc/13362/task/13377/stat : 13377 (java) S 13360 13362 11644 0 -1 4202560 1722 0 0 0 16 0 0 0 15 0 19 0 903641857 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13378] ppid=13360 vsize=13626996 CPUtime=0.21 cores=1,3,5,7
/proc/13362/task/13378/stat : 13378 (java) S 13360 13362 11644 0 -1 4202560 1875 0 0 0 21 0 0 0 15 0 19 0 903641857 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13379] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13379/stat : 13379 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 903641857 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13380] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13380/stat : 13380 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903641857 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13381] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13381/stat : 13381 (java) S 13360 13362 11644 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 903641867 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 13626996
[startup+5.80111 s]
/proc/loadavg: 1.93 2.23 2.85 3/564 13381
/proc/meminfo: memFree=24830152/32951124 swapFree=56241860/67111528
[pid=13362] ppid=13360 vsize=13626996 CPUtime=6.19 cores=1,3,5,7
/proc/13362/stat : 13362 (java) S 13360 13362 11644 0 -1 4202496 20541 0 1 0 617 2 0 0 25 0 19 0 903641850 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13362/statm: 3406749 19037 2247 9 0 3397483 0
[pid=13362/tid=13363] ppid=13360 vsize=13626996 CPUtime=5.55 cores=1,3,5,7
/proc/13362/task/13363/stat : 13363 (java) R 13360 13362 11644 0 -1 4202560 14434 0 1 0 554 1 0 0 19 0 19 0 903641851 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 46912505539616 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13362/tid=13365] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13365/stat : 13365 (java) S 13360 13362 11644 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13366] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13366/stat : 13366 (java) S 13360 13362 11644 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13367] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13367/stat : 13367 (java) S 13360 13362 11644 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13368] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13368/stat : 13368 (java) S 13360 13362 11644 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13369] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13369/stat : 13369 (java) S 13360 13362 11644 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13370] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13370/stat : 13370 (java) S 13360 13362 11644 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13371] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13371/stat : 13371 (java) S 13360 13362 11644 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13372] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13372/stat : 13372 (java) S 13360 13362 11644 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 903641853 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13373] ppid=13360 vsize=13626996 CPUtime=0.2 cores=1,3,5,7
/proc/13362/task/13373/stat : 13373 (java) S 13360 13362 11644 0 -1 4202560 692 0 0 0 20 0 0 0 15 0 19 0 903641854 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 0 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13374] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13374/stat : 13374 (java) S 13360 13362 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903641854 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13375] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13375/stat : 13375 (java) S 13360 13362 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903641854 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13376] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13376/stat : 13376 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 903641857 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216747002289 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13362/tid=13377] ppid=13360 vsize=13626996 CPUtime=0.16 cores=1,3,5,7
/proc/13362/task/13377/stat : 13377 (java) S 13360 13362 11644 0 -1 4202560 1722 0 0 0 16 0 0 0 15 0 19 0 903641857 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13362/tid=13378] ppid=13360 vsize=13626996 CPUtime=0.21 cores=1,3,5,7
/proc/13362/task/13378/stat : 13378 (java) S 13360 13362 11644 0 -1 4202560 1875 0 0 0 21 0 0 0 15 0 19 0 903641857 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13362/tid=13379] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13379/stat : 13379 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 903641857 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13380] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13380/stat : 13380 (java) S 13360 13362 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903641857 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13362/tid=13381] ppid=13360 vsize=13626996 CPUtime=0 cores=1,3,5,7
/proc/13362/task/13381/stat : 13381 (java) S 13360 13362 11644 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 903641867 13954043904 19037 33554432000 1073741824 1073778376 140735015093728 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 13626996
Child status: 10
Real time (s): 5.82992
CPU time (s): 6.24105
CPU user time (s): 6.20706
CPU system time (s): 0.033994
CPU usage (%): 107.052
Max. virtual memory (cumulated for all children) (KiB): 13627556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.20706
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20572
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= 648
involuntary context switches= 231
runsolver used 0.033994 second user time and 0.086986 second system time
The end