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-3459174-1307134167/watcher-3459174-1307134167 -o /tmp/evaluation-result-3459174-1307134167/solver-3459174-1307134167 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459174-1307134167.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: 2.10 2.88 3.41 2/404 1839
/proc/meminfo: memFree=23688356/32951124 swapFree=49244120/67111528
[pid=1839] ppid=1837 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1839/stat : 1839 (java) R 1837 1839 31984 0 -1 4202496 948 0 0 0 0 0 0 0 18 0 1 0 825019460 23580672 693 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218365994472 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1839/statm: 5757 693 509 9 0 124 0
[pid=1839/tid=1840] ppid=1837 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1840/stat : 1840 (java) R 1837 1839 31984 0 -1 4202560 4546 0 1 0 0 0 0 0 19 0 2 0 825019461 13850947584 5363 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.111537 s]
/proc/loadavg: 2.10 2.88 3.41 2/404 1839
/proc/meminfo: memFree=23688356/32951124 swapFree=49244120/67111528
[pid=1839] ppid=1837 vsize=13622252 CPUtime=0.13 cores=1,3,5,7
/proc/1839/stat : 1839 (java) S 1837 1839 31984 0 -1 4202496 15742 0 1 0 11 2 0 0 18 0 18 0 825019460 13949186048 15410 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1839/statm: 3405563 15412 2124 9 0 3396297 0
[pid=1839/tid=1840] ppid=1837 vsize=13622252 CPUtime=0.1 cores=1,3,5,7
/proc/1839/task/1840/stat : 1840 (java) R 1837 1839 31984 0 -1 4202560 13785 0 1 0 9 1 0 0 18 0 18 0 825019461 13949186048 15414 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 46979145344536 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13622252
[startup+0.20049 s]
/proc/loadavg: 2.10 2.88 3.41 2/404 1839
/proc/meminfo: memFree=23688356/32951124 swapFree=49244120/67111528
[pid=1839] ppid=1837 vsize=13626608 CPUtime=0.28 cores=1,3,5,7
/proc/1839/stat : 1839 (java) S 1837 1839 31984 0 -1 4202496 17279 0 1 0 26 2 0 0 18 0 19 0 825019460 13953646592 16630 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1839/statm: 3406652 16631 2197 9 0 3397386 0
[pid=1839/tid=1840] ppid=1837 vsize=13626608 CPUtime=0.18 cores=1,3,5,7
/proc/1839/task/1840/stat : 1840 (java) R 1837 1839 31984 0 -1 4202560 14176 0 1 0 17 1 0 0 19 0 19 0 825019461 13953646592 16631 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 46979143141000 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13626608
[startup+0.30051 s]
/proc/loadavg: 2.10 2.88 3.41 2/404 1839
/proc/meminfo: memFree=23688356/32951124 swapFree=49244120/67111528
[pid=1839] ppid=1837 vsize=13628904 CPUtime=0.55 cores=1,3,5,7
/proc/1839/stat : 1839 (java) S 1837 1839 31984 0 -1 4202496 18829 0 1 0 53 2 0 0 18 0 19 0 825019460 13955997696 17360 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1839/statm: 3407226 17360 2215 9 0 3397960 0
[pid=1839/tid=1840] ppid=1837 vsize=13628904 CPUtime=0.28 cores=1,3,5,7
/proc/1839/task/1840/stat : 1840 (java) R 1837 1839 31984 0 -1 4202560 14247 0 1 0 27 1 0 0 19 0 19 0 825019461 13955997696 17360 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 46912505585150 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13628904
[startup+0.700436 s]
/proc/loadavg: 2.10 2.88 3.41 2/404 1839
/proc/meminfo: memFree=23688356/32951124 swapFree=49244120/67111528
[pid=1839] ppid=1837 vsize=13628904 CPUtime=1.04 cores=1,3,5,7
/proc/1839/stat : 1839 (java) S 1837 1839 31984 0 -1 4202496 19489 0 1 0 102 2 0 0 18 0 19 0 825019460 13955997696 18004 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1839/statm: 3407226 18004 2247 9 0 3397960 0
[pid=1839/tid=1840] ppid=1837 vsize=13628904 CPUtime=0.67 cores=1,3,5,7
/proc/1839/task/1840/stat : 1840 (java) R 1837 1839 31984 0 -1 4202560 14447 0 1 0 66 1 0 0 19 0 19 0 825019461 13955997696 18004 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 46912505617911 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 13628904
[startup+1.50129 s]
/proc/loadavg: 2.10 2.88 3.41 3/423 1858
/proc/meminfo: memFree=23622492/32951124 swapFree=49244120/67111528
[pid=1839] ppid=1837 vsize=13628904 CPUtime=1.88 cores=1,3,5,7
/proc/1839/stat : 1839 (java) S 1837 1839 31984 0 -1 4202496 20063 0 1 0 186 2 0 0 18 0 19 0 825019460 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1839/statm: 3407226 18575 2248 9 0 3397960 0
[pid=1839/tid=1840] ppid=1837 vsize=13628904 CPUtime=1.42 cores=1,3,5,7
/proc/1839/task/1840/stat : 1840 (java) R 1837 1839 31984 0 -1 4202560 14449 0 1 0 141 1 0 0 20 0 19 0 825019461 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 46912505617878 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1839/tid=1842] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1842/stat : 1842 (java) S 1837 1839 31984 0 -1 4202560 108 0 0 0 0 0 0 0 16 0 19 0 825019463 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1843] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1843/stat : 1843 (java) S 1837 1839 31984 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 19 0 825019463 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1844] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1844/stat : 1844 (java) S 1837 1839 31984 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 5 0 0 0
[pid=1839/tid=1845] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1845/stat : 1845 (java) S 1837 1839 31984 0 -1 4202560 28 0 0 0 0 0 0 0 16 0 19 0 825019463 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1846] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1846/stat : 1846 (java) S 1837 1839 31984 0 -1 4202560 29 0 0 0 0 0 0 0 16 0 19 0 825019463 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 1 0 0 0
[pid=1839/tid=1847] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1847/stat : 1847 (java) S 1837 1839 31984 0 -1 4202560 24 0 0 0 0 0 0 0 16 0 19 0 825019463 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1848] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1848/stat : 1848 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 5 0 0 0
[pid=1839/tid=1849] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1849/stat : 1849 (java) S 1837 1839 31984 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 1 0 0 0
[pid=1839/tid=1850] ppid=1837 vsize=13628904 CPUtime=0.05 cores=1,3,5,7
/proc/1839/task/1850/stat : 1850 (java) S 1837 1839 31984 0 -1 4202560 422 0 0 0 5 0 0 0 15 0 19 0 825019464 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773760 0 0 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1851] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1851/stat : 1851 (java) S 1837 1839 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825019464 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1852] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1852/stat : 1852 (java) S 1837 1839 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825019464 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1853] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1853/stat : 1853 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825019466 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382780849 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1854] ppid=1837 vsize=13628904 CPUtime=0.2 cores=1,3,5,7
/proc/1839/task/1854/stat : 1854 (java) S 1837 1839 31984 0 -1 4202560 1303 0 0 0 20 0 0 0 15 0 19 0 825019467 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 5 0 0 0
[pid=1839/tid=1855] ppid=1837 vsize=13628904 CPUtime=0.16 cores=1,3,5,7
/proc/1839/task/1855/stat : 1855 (java) S 1837 1839 31984 0 -1 4202560 2187 0 0 0 16 0 0 0 16 0 19 0 825019467 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1856] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1856/stat : 1856 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825019467 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1857] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1857/stat : 1857 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825019467 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773760 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1858] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1858/stat : 1858 (java) S 1837 1839 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825019477 13955997696 18575 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773760 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13628904
[startup+3.10101 s]
/proc/loadavg: 2.10 2.88 3.41 3/423 1858
/proc/meminfo: memFree=23620792/32951124 swapFree=49244120/67111528
[pid=1839] ppid=1837 vsize=13628904 CPUtime=3.49 cores=1,3,5,7
/proc/1839/stat : 1839 (java) S 1837 1839 31984 0 -1 4202496 20269 0 1 0 347 2 0 0 18 0 19 0 825019460 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1839/statm: 3407226 18777 2248 9 0 3397960 0
[pid=1839/tid=1840] ppid=1837 vsize=13628904 CPUtime=2.96 cores=1,3,5,7
/proc/1839/task/1840/stat : 1840 (java) R 1837 1839 31984 0 -1 4202560 14453 0 1 0 295 1 0 0 25 0 19 0 825019461 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 46912505537392 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1839/tid=1842] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1842/stat : 1842 (java) S 1837 1839 31984 0 -1 4202560 110 0 0 0 0 0 0 0 16 0 19 0 825019463 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1843] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1843/stat : 1843 (java) S 1837 1839 31984 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1844] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1844/stat : 1844 (java) S 1837 1839 31984 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1845] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1845/stat : 1845 (java) S 1837 1839 31984 0 -1 4202560 28 0 0 0 0 0 0 0 16 0 19 0 825019463 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 1 0 0 0
[pid=1839/tid=1846] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1846/stat : 1846 (java) S 1837 1839 31984 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 1 0 0 0
[pid=1839/tid=1847] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1847/stat : 1847 (java) S 1837 1839 31984 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 5 0 0 0
[pid=1839/tid=1848] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1848/stat : 1848 (java) S 1837 1839 31984 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 825019463 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 5 0 0 0
[pid=1839/tid=1849] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1849/stat : 1849 (java) S 1837 1839 31984 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 1 0 0 0
[pid=1839/tid=1850] ppid=1837 vsize=13628904 CPUtime=0.1 cores=1,3,5,7
/proc/1839/task/1850/stat : 1850 (java) S 1837 1839 31984 0 -1 4202560 615 0 0 0 10 0 0 0 15 0 19 0 825019464 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773760 0 0 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1851] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1851/stat : 1851 (java) S 1837 1839 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825019464 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1852] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1852/stat : 1852 (java) S 1837 1839 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825019464 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1853] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1853/stat : 1853 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825019466 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382780849 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1854] ppid=1837 vsize=13628904 CPUtime=0.2 cores=1,3,5,7
/proc/1839/task/1854/stat : 1854 (java) S 1837 1839 31984 0 -1 4202560 1303 0 0 0 20 0 0 0 15 0 19 0 825019467 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 5 0 0 0
[pid=1839/tid=1855] ppid=1837 vsize=13628904 CPUtime=0.17 cores=1,3,5,7
/proc/1839/task/1855/stat : 1855 (java) S 1837 1839 31984 0 -1 4202560 2187 0 0 0 17 0 0 0 15 0 19 0 825019467 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1856] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1856/stat : 1856 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825019467 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1857] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1857/stat : 1857 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825019467 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773760 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1858] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1858/stat : 1858 (java) S 1837 1839 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825019477 13955997696 18777 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773760 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 13628904
Solver just ended. Dumping a history of the last processes samples
[startup+3.20099 s]
/proc/loadavg: 2.10 2.88 3.41 3/423 1858
/proc/meminfo: memFree=23620792/32951124 swapFree=49244120/67111528
[pid=1839] ppid=1837 vsize=13628904 CPUtime=3.59 cores=1,3,5,7
/proc/1839/stat : 1839 (java) S 1837 1839 31984 0 -1 4202496 20271 0 1 0 357 2 0 0 18 0 19 0 825019460 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1839/statm: 3407226 18778 2248 9 0 3397960 0
[pid=1839/tid=1840] ppid=1837 vsize=13628904 CPUtime=3.05 cores=1,3,5,7
/proc/1839/task/1840/stat : 1840 (java) R 1837 1839 31984 0 -1 4202560 14454 0 1 0 304 1 0 0 25 0 19 0 825019461 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 46912505537392 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1839/tid=1842] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1842/stat : 1842 (java) S 1837 1839 31984 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1843] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1843/stat : 1843 (java) S 1837 1839 31984 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 19 0 825019463 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1844] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1844/stat : 1844 (java) S 1837 1839 31984 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1845] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1845/stat : 1845 (java) S 1837 1839 31984 0 -1 4202560 28 0 0 0 0 0 0 0 16 0 19 0 825019463 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 1 0 0 0
[pid=1839/tid=1846] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1846/stat : 1846 (java) S 1837 1839 31984 0 -1 4202560 31 0 0 0 0 0 0 0 16 0 19 0 825019463 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 1 0 0 0
[pid=1839/tid=1847] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1847/stat : 1847 (java) S 1837 1839 31984 0 -1 4202560 24 0 0 0 0 0 0 0 16 0 19 0 825019463 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 5 0 0 0
[pid=1839/tid=1848] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1848/stat : 1848 (java) S 1837 1839 31984 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 5 0 0 0
[pid=1839/tid=1849] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1849/stat : 1849 (java) S 1837 1839 31984 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 1 0 0 0
[pid=1839/tid=1850] ppid=1837 vsize=13628904 CPUtime=0.11 cores=1,3,5,7
/proc/1839/task/1850/stat : 1850 (java) S 1837 1839 31984 0 -1 4202560 615 0 0 0 11 0 0 0 15 0 19 0 825019464 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773760 0 0 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1851] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1851/stat : 1851 (java) S 1837 1839 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825019464 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1852] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1852/stat : 1852 (java) S 1837 1839 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825019464 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1853] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1853/stat : 1853 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825019466 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382780849 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1854] ppid=1837 vsize=13628904 CPUtime=0.2 cores=1,3,5,7
/proc/1839/task/1854/stat : 1854 (java) S 1837 1839 31984 0 -1 4202560 1303 0 0 0 20 0 0 0 15 0 19 0 825019467 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 5 0 0 0
[pid=1839/tid=1855] ppid=1837 vsize=13628904 CPUtime=0.17 cores=1,3,5,7
/proc/1839/task/1855/stat : 1855 (java) S 1837 1839 31984 0 -1 4202560 2187 0 0 0 17 0 0 0 15 0 19 0 825019467 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1856] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1856/stat : 1856 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825019467 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1857] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1857/stat : 1857 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825019467 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773760 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1858] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1858/stat : 1858 (java) S 1837 1839 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825019477 13955997696 18778 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773760 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 13628904
[startup+4.00085 s]
/proc/loadavg: 2.09 2.87 3.40 3/423 1858
/proc/meminfo: memFree=23620296/32951124 swapFree=49244120/67111528
[pid=1839] ppid=1837 vsize=13628904 CPUtime=4.39 cores=1,3,5,7
/proc/1839/stat : 1839 (java) S 1837 1839 31984 0 -1 4202496 20313 0 1 0 437 2 0 0 18 0 19 0 825019460 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1839/statm: 3407226 18818 2248 9 0 3397960 0
[pid=1839/tid=1840] ppid=1837 vsize=13628904 CPUtime=3.82 cores=1,3,5,7
/proc/1839/task/1840/stat : 1840 (java) R 1837 1839 31984 0 -1 4202560 14456 0 1 0 381 1 0 0 25 0 19 0 825019461 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 46912505617916 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1839/tid=1842] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1842/stat : 1842 (java) S 1837 1839 31984 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1843] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1843/stat : 1843 (java) S 1837 1839 31984 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1844] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1844/stat : 1844 (java) S 1837 1839 31984 0 -1 4202560 201 0 0 0 0 0 0 0 16 0 19 0 825019463 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1845] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1845/stat : 1845 (java) S 1837 1839 31984 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 1 0 0 0
[pid=1839/tid=1846] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1846/stat : 1846 (java) S 1837 1839 31984 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 1 0 0 0
[pid=1839/tid=1847] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1847/stat : 1847 (java) S 1837 1839 31984 0 -1 4202560 24 0 0 0 0 0 0 0 16 0 19 0 825019463 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 5 0 0 0
[pid=1839/tid=1848] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1848/stat : 1848 (java) S 1837 1839 31984 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 825019463 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 5 0 0 0
[pid=1839/tid=1849] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1849/stat : 1849 (java) S 1837 1839 31984 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 1 0 0 0
[pid=1839/tid=1850] ppid=1837 vsize=13628904 CPUtime=0.14 cores=1,3,5,7
/proc/1839/task/1850/stat : 1850 (java) S 1837 1839 31984 0 -1 4202560 653 0 0 0 14 0 0 0 15 0 19 0 825019464 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773760 0 0 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1851] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1851/stat : 1851 (java) S 1837 1839 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825019464 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1852] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1852/stat : 1852 (java) S 1837 1839 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825019464 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1853] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1853/stat : 1853 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825019466 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382780849 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1854] ppid=1837 vsize=13628904 CPUtime=0.2 cores=1,3,5,7
/proc/1839/task/1854/stat : 1854 (java) S 1837 1839 31984 0 -1 4202560 1303 0 0 0 20 0 0 0 15 0 19 0 825019467 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 5 0 0 0
[pid=1839/tid=1855] ppid=1837 vsize=13628904 CPUtime=0.17 cores=1,3,5,7
/proc/1839/task/1855/stat : 1855 (java) S 1837 1839 31984 0 -1 4202560 2187 0 0 0 17 0 0 0 15 0 19 0 825019467 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1856] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1856/stat : 1856 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825019467 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1857] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1857/stat : 1857 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825019467 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773760 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1858] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1858/stat : 1858 (java) S 1837 1839 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825019477 13955997696 18818 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773760 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 13628904
[startup+4.40079 s]
/proc/loadavg: 2.09 2.87 3.40 3/423 1858
/proc/meminfo: memFree=23620040/32951124 swapFree=49244120/67111528
[pid=1839] ppid=1837 vsize=13628904 CPUtime=4.8 cores=1,3,5,7
/proc/1839/stat : 1839 (java) S 1837 1839 31984 0 -1 4202496 20317 0 1 0 478 2 0 0 18 0 19 0 825019460 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1839/statm: 3407226 18820 2248 9 0 3397960 0
[pid=1839/tid=1840] ppid=1837 vsize=13628904 CPUtime=4.21 cores=1,3,5,7
/proc/1839/task/1840/stat : 1840 (java) R 1837 1839 31984 0 -1 4202560 14458 0 1 0 420 1 0 0 25 0 19 0 825019461 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 46912505526719 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1839/tid=1842] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1842/stat : 1842 (java) S 1837 1839 31984 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1843] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1843/stat : 1843 (java) S 1837 1839 31984 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1844] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1844/stat : 1844 (java) S 1837 1839 31984 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1845] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1845/stat : 1845 (java) S 1837 1839 31984 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 1 0 0 0
[pid=1839/tid=1846] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1846/stat : 1846 (java) S 1837 1839 31984 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 1 0 0 0
[pid=1839/tid=1847] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1847/stat : 1847 (java) S 1837 1839 31984 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 5 0 0 0
[pid=1839/tid=1848] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1848/stat : 1848 (java) S 1837 1839 31984 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 5 0 0 0
[pid=1839/tid=1849] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1849/stat : 1849 (java) S 1837 1839 31984 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 825019463 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1850] ppid=1837 vsize=13628904 CPUtime=0.15 cores=1,3,5,7
/proc/1839/task/1850/stat : 1850 (java) S 1837 1839 31984 0 -1 4202560 653 0 0 0 15 0 0 0 15 0 19 0 825019464 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773760 0 0 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1851] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1851/stat : 1851 (java) S 1837 1839 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825019464 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1852] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1852/stat : 1852 (java) S 1837 1839 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825019464 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1853] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1853/stat : 1853 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825019466 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382780849 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1854] ppid=1837 vsize=13628904 CPUtime=0.2 cores=1,3,5,7
/proc/1839/task/1854/stat : 1854 (java) S 1837 1839 31984 0 -1 4202560 1303 0 0 0 20 0 0 0 15 0 19 0 825019467 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 5 0 0 0
[pid=1839/tid=1855] ppid=1837 vsize=13628904 CPUtime=0.17 cores=1,3,5,7
/proc/1839/task/1855/stat : 1855 (java) S 1837 1839 31984 0 -1 4202560 2187 0 0 0 17 0 0 0 15 0 19 0 825019467 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
[pid=1839/tid=1856] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1856/stat : 1856 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825019467 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773145 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1857] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1857/stat : 1857 (java) S 1837 1839 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825019467 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773760 0 4 0 16800975 18446604466869907904 0 0 -1 3 0 0 0
[pid=1839/tid=1858] ppid=1837 vsize=13628904 CPUtime=0 cores=1,3,5,7
/proc/1839/task/1858/stat : 1858 (java) S 1837 1839 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825019477 13955997696 18820 33554432000 1073741824 1073778376 140734664453392 18446744073709551615 218382773760 0 4 0 16800975 18446604466869907904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 13628904
Child status: 20
Real time (s): 4.49919
CPU time (s): 4.92725
CPU user time (s): 4.89525
CPU system time (s): 0.031995
CPU usage (%): 109.514
Max. virtual memory (cumulated for all children) (KiB): 13628904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.89525
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20406
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= 539
involuntary context switches= 315
runsolver used 0.019996 second user time and 0.051992 second system time
The end