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-3459000-1307152014/watcher-3459000-1307152014 -o /tmp/evaluation-result-3459000-1307152014/solver-3459000-1307152014 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459000-1307152014.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.86 2.01 1.99 2/532 14323
/proc/meminfo: memFree=25165468/32951124 swapFree=46970528/67111528
[pid=14323] ppid=14321 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/14323/stat : 14323 (java) S 14321 14323 11903 0 -1 4202496 1363 0 1 0 0 0 0 0 21 0 2 0 807617679 36679680 1066 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/14323/statm: 8955 1066 828 9 0 386 0
[pid=14323/tid=14324] ppid=14321 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14324/stat : 14324 (java) R 14321 14323 11903 0 -1 4202560 6054 0 1 0 0 0 0 0 22 0 2 0 807617680 13850947584 6870 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.113596 s]
/proc/loadavg: 1.86 2.01 1.99 2/532 14323
/proc/meminfo: memFree=25165468/32951124 swapFree=46970528/67111528
[pid=14323] ppid=14321 vsize=13622396 CPUtime=0.12 cores=1,3,5,7
/proc/14323/stat : 14323 (java) S 14321 14323 11903 0 -1 4202496 15694 0 1 0 10 2 0 0 21 0 18 0 807617679 13949333504 15354 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14323/statm: 3405599 15355 2107 9 0 3396333 0
[pid=14323/tid=14324] ppid=14321 vsize=13622396 CPUtime=0.1 cores=1,3,5,7
/proc/14323/task/14324/stat : 14324 (java) R 14321 14323 11903 0 -1 4202560 13708 0 1 0 8 2 0 0 18 0 18 0 807617680 13949333504 15355 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051482059 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13622396
[startup+0.206332 s]
/proc/loadavg: 1.86 2.01 1.99 2/532 14323
/proc/meminfo: memFree=25165468/32951124 swapFree=46970528/67111528
[pid=14323] ppid=14321 vsize=13623164 CPUtime=0.32 cores=1,3,5,7
/proc/14323/stat : 14323 (java) S 14321 14323 11903 0 -1 4202496 17908 0 1 0 30 2 0 0 21 0 18 0 807617679 13950119936 17259 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14323/statm: 3406367 19681 2199 9 0 3397101 0
[pid=14323/tid=14324] ppid=14321 vsize=13625468 CPUtime=0.24 cores=1,3,5,7
/proc/14323/task/14324/stat : 14324 (java) R 14321 14323 11903 0 -1 4202560 15083 0 1 0 22 2 0 0 18 0 18 0 807617680 13952479232 19682 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 46912505584786 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 13623164
[startup+0.352545 s]
/proc/loadavg: 1.86 2.01 1.99 2/532 14323
/proc/meminfo: memFree=25165468/32951124 swapFree=46970528/67111528
[pid=14323] ppid=14321 vsize=13627516 CPUtime=0.75 cores=1,3,5,7
/proc/14323/stat : 14323 (java) S 14321 14323 11903 0 -1 4202496 24677 0 1 0 72 3 0 0 21 0 18 0 807617679 13954576384 22902 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14323/statm: 3406879 22903 2206 9 0 3397613 0
[pid=14323/tid=14324] ppid=14321 vsize=13627516 CPUtime=0.33 cores=1,3,5,7
/proc/14323/task/14324/stat : 14324 (java) R 14321 14323 11903 0 -1 4202560 17547 0 1 0 31 2 0 0 18 0 18 0 807617680 13954576384 22904 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 46912505609880 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 13627516
[startup+0.700484 s]
/proc/loadavg: 1.86 2.01 1.99 2/532 14323
/proc/meminfo: memFree=25165468/32951124 swapFree=46970528/67111528
[pid=14323] ppid=14321 vsize=13630592 CPUtime=1.53 cores=1,3,5,7
/proc/14323/stat : 14323 (java) S 14321 14323 11903 0 -1 4202496 27483 0 1 0 150 3 0 0 21 0 19 0 807617679 13957726208 25708 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14323/statm: 3407648 25708 2230 9 0 3398382 0
[pid=14323/tid=14324] ppid=14321 vsize=13630592 CPUtime=0.68 cores=1,3,5,7
/proc/14323/task/14324/stat : 14324 (java) R 14321 14323 11903 0 -1 4202560 19801 0 1 0 66 2 0 0 19 0 19 0 807617680 13957726208 25708 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 46912505575423 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 13630592
[startup+1.50134 s]
/proc/loadavg: 1.86 2.01 1.99 3/551 14360
/proc/meminfo: memFree=25032496/32951124 swapFree=46970528/67111528
[pid=14323] ppid=14321 vsize=13630592 CPUtime=2.46 cores=1,3,5,7
/proc/14323/stat : 14323 (java) S 14321 14323 11903 0 -1 4202496 32039 0 1 0 242 4 0 0 21 0 19 0 807617679 13957726208 30263 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14323/statm: 3407648 30263 2235 9 0 3398382 0
[pid=14323/tid=14324] ppid=14321 vsize=13630592 CPUtime=1.48 cores=1,3,5,7
/proc/14323/task/14324/stat : 14324 (java) R 14321 14323 11903 0 -1 4202560 24336 0 1 0 145 3 0 0 20 0 19 0 807617680 13957726208 30264 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 46912505799211 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14323/tid=14326] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14326/stat : 14326 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 807617682 13957726208 30264 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14327] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14327/stat : 14327 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 807617682 13957726208 30264 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14328] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14328/stat : 14328 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617682 13957726208 30264 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14329] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14329/stat : 14329 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617682 13957726208 30264 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14330] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14330/stat : 14330 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617682 13957726208 30264 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14331] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14331/stat : 14331 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617682 13957726208 30265 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14332] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14332/stat : 14332 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617682 13957726208 30265 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14333] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14333/stat : 14333 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617682 13957726208 30265 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14334] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14334/stat : 14334 (java) S 14321 14323 11903 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807617683 13957726208 30265 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471872 0 0 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14335] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14335/stat : 14335 (java) S 14321 14323 11903 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807617684 13957726208 30265 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14336] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14336/stat : 14336 (java) S 14321 14323 11903 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807617684 13957726208 30265 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14337] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14337/stat : 14337 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617686 13957726208 30265 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051478961 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14338] ppid=14321 vsize=13630592 CPUtime=0.51 cores=1,3,5,7
/proc/14323/task/14338/stat : 14338 (java) S 14321 14323 11903 0 -1 4202560 2813 0 0 0 51 0 0 0 19 0 19 0 807617686 13957726208 30265 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14339] ppid=14321 vsize=13630592 CPUtime=0.45 cores=1,3,5,7
/proc/14323/task/14339/stat : 14339 (java) S 14321 14323 11903 0 -1 4202560 3731 0 0 0 45 0 0 0 15 0 19 0 807617686 13957726208 30265 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 5 0 0 0
[pid=14323/tid=14340] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14340/stat : 14340 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617686 13957726208 30265 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14341] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14341/stat : 14341 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807617686 13957726208 30266 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471872 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14360] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14360/stat : 14360 (java) S 14321 14323 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807617718 13957726208 30266 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471872 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 13630592
[startup+3.10105 s]
/proc/loadavg: 1.86 2.01 1.99 3/551 14360
/proc/meminfo: memFree=24974668/32951124 swapFree=46970528/67111528
[pid=14323] ppid=14321 vsize=13630592 CPUtime=4.16 cores=1,3,5,7
/proc/14323/stat : 14323 (java) S 14321 14323 11903 0 -1 4202496 34215 0 1 0 411 5 0 0 21 0 19 0 807617679 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14323/statm: 3407648 32432 2261 9 0 3398382 0
[pid=14323/tid=14324] ppid=14321 vsize=13630592 CPUtime=3.02 cores=1,3,5,7
/proc/14323/task/14324/stat : 14324 (java) R 14321 14323 11903 0 -1 4202560 24958 0 1 0 299 3 0 0 25 0 19 0 807617680 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 46912505730784 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14323/tid=14326] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14326/stat : 14326 (java) S 14321 14323 11903 0 -1 4202560 415 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14327] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14327/stat : 14327 (java) S 14321 14323 11903 0 -1 4202560 122 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14328] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14328/stat : 14328 (java) S 14321 14323 11903 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14329] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14329/stat : 14329 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14330] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14330/stat : 14330 (java) S 14321 14323 11903 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14331] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14331/stat : 14331 (java) S 14321 14323 11903 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14332] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14332/stat : 14332 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14333] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14333/stat : 14333 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14334] ppid=14321 vsize=13630592 CPUtime=0.04 cores=1,3,5,7
/proc/14323/task/14334/stat : 14334 (java) S 14321 14323 11903 0 -1 4202560 722 0 0 0 4 0 0 0 16 0 19 0 807617683 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471872 0 0 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14335] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14335/stat : 14335 (java) S 14321 14323 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807617684 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14336] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14336/stat : 14336 (java) S 14321 14323 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807617684 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14337] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14337/stat : 14337 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617686 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051478961 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14338] ppid=14321 vsize=13630592 CPUtime=0.56 cores=1,3,5,7
/proc/14323/task/14338/stat : 14338 (java) S 14321 14323 11903 0 -1 4202560 2827 0 0 0 56 0 0 0 15 0 19 0 807617686 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14339] ppid=14321 vsize=13630592 CPUtime=0.48 cores=1,3,5,7
/proc/14323/task/14339/stat : 14339 (java) S 14321 14323 11903 0 -1 4202560 3739 0 0 0 48 0 0 0 15 0 19 0 807617686 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 5 0 0 0
[pid=14323/tid=14340] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14340/stat : 14340 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617686 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14341] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14341/stat : 14341 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807617686 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471872 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14360] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14360/stat : 14360 (java) S 14321 14323 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807617718 13957726208 32432 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471872 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 13630592
[startup+6.30148 s]
/proc/loadavg: 1.95 2.03 2.00 3/571 14383
/proc/meminfo: memFree=24286344/32951124 swapFree=46970528/67111528
[pid=14323] ppid=14321 vsize=13630592 CPUtime=7.42 cores=1,3,5,7
/proc/14323/stat : 14323 (java) S 14321 14323 11903 0 -1 4202496 34244 0 1 0 737 5 0 0 21 0 19 0 807617679 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14323/statm: 3407648 32409 2261 9 0 3398382 0
[pid=14323/tid=14324] ppid=14321 vsize=13630592 CPUtime=6.16 cores=1,3,5,7
/proc/14323/task/14324/stat : 14324 (java) R 14321 14323 11903 0 -1 4202560 24963 0 1 0 613 3 0 0 25 0 19 0 807617680 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 46912505730405 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14323/tid=14326] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14326/stat : 14326 (java) S 14321 14323 11903 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 5 0 0 0
[pid=14323/tid=14327] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14327/stat : 14327 (java) S 14321 14323 11903 0 -1 4202560 122 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14328] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14328/stat : 14328 (java) S 14321 14323 11903 0 -1 4202560 110 0 0 0 0 0 0 0 16 0 19 0 807617682 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 5 0 0 0
[pid=14323/tid=14329] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14329/stat : 14329 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 5 0 0 0
[pid=14323/tid=14330] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14330/stat : 14330 (java) S 14321 14323 11903 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14331] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14331/stat : 14331 (java) S 14321 14323 11903 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14332] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14332/stat : 14332 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14333] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14333/stat : 14333 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14334] ppid=14321 vsize=13630592 CPUtime=0.1 cores=1,3,5,7
/proc/14323/task/14334/stat : 14334 (java) S 14321 14323 11903 0 -1 4202560 733 0 0 0 10 0 0 0 16 0 19 0 807617683 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471872 0 0 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14335] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14335/stat : 14335 (java) S 14321 14323 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807617684 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14336] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14336/stat : 14336 (java) S 14321 14323 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807617684 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14337] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14337/stat : 14337 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617686 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051478961 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14338] ppid=14321 vsize=13630592 CPUtime=0.6 cores=1,3,5,7
/proc/14323/task/14338/stat : 14338 (java) S 14321 14323 11903 0 -1 4202560 2836 0 0 0 60 0 0 0 15 0 19 0 807617686 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14339] ppid=14321 vsize=13630592 CPUtime=0.5 cores=1,3,5,7
/proc/14323/task/14339/stat : 14339 (java) S 14321 14323 11903 0 -1 4202560 3739 0 0 0 50 0 0 0 16 0 19 0 807617686 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 5 0 0 0
[pid=14323/tid=14340] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14340/stat : 14340 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617686 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14341] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14341/stat : 14341 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807617686 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471872 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14360] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14360/stat : 14360 (java) S 14321 14323 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807617718 13957726208 32409 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471872 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 13630592
[startup+12.7013 s]
/proc/loadavg: 1.95 2.03 2.00 3/571 14383
/proc/meminfo: memFree=21846560/32951124 swapFree=46970528/67111528
[pid=14323] ppid=14321 vsize=13630592 CPUtime=13.86 cores=1,3,5,7
/proc/14323/stat : 14323 (java) S 14321 14323 11903 0 -1 4202496 34310 0 1 0 1381 5 0 0 21 0 19 0 807617679 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14323/statm: 3407648 32447 2261 9 0 3398382 0
[pid=14323/tid=14324] ppid=14321 vsize=13630592 CPUtime=12.43 cores=1,3,5,7
/proc/14323/task/14324/stat : 14324 (java) R 14321 14323 11903 0 -1 4202560 24971 0 1 0 1240 3 0 0 25 0 19 0 807617680 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 46912505884775 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14323/tid=14326] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14326/stat : 14326 (java) S 14321 14323 11903 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14327] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14327/stat : 14327 (java) S 14321 14323 11903 0 -1 4202560 124 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14328] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14328/stat : 14328 (java) S 14321 14323 11903 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14329] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14329/stat : 14329 (java) S 14321 14323 11903 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 5 0 0 0
[pid=14323/tid=14330] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14330/stat : 14330 (java) S 14321 14323 11903 0 -1 4202560 166 0 0 0 0 0 0 0 16 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14331] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14331/stat : 14331 (java) S 14321 14323 11903 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14332] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14332/stat : 14332 (java) S 14321 14323 11903 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14333] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14333/stat : 14333 (java) S 14321 14323 11903 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14334] ppid=14321 vsize=13630592 CPUtime=0.22 cores=1,3,5,7
/proc/14323/task/14334/stat : 14334 (java) S 14321 14323 11903 0 -1 4202560 783 0 0 0 22 0 0 0 16 0 19 0 807617683 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471872 0 0 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14335] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14335/stat : 14335 (java) S 14321 14323 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807617684 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14336] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14336/stat : 14336 (java) S 14321 14323 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807617684 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14337] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14337/stat : 14337 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617686 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051478961 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14338] ppid=14321 vsize=13630592 CPUtime=0.6 cores=1,3,5,7
/proc/14323/task/14338/stat : 14338 (java) S 14321 14323 11903 0 -1 4202560 2836 0 0 0 60 0 0 0 16 0 19 0 807617686 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14339] ppid=14321 vsize=13630592 CPUtime=0.53 cores=1,3,5,7
/proc/14323/task/14339/stat : 14339 (java) S 14321 14323 11903 0 -1 4202560 3739 0 0 0 53 0 0 0 15 0 19 0 807617686 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 5 0 0 0
[pid=14323/tid=14340] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14340/stat : 14340 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617686 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14341] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14341/stat : 14341 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807617686 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471872 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14360] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14360/stat : 14360 (java) S 14321 14323 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807617718 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471872 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.86
Current children cumulated vsize (KiB) 13630592
Solver just ended. Dumping a history of the last processes samples
[startup+12.7013 s]
/proc/loadavg: 1.95 2.03 2.00 3/571 14383
/proc/meminfo: memFree=21846560/32951124 swapFree=46970528/67111528
[pid=14323] ppid=14321 vsize=13630592 CPUtime=13.86 cores=1,3,5,7
/proc/14323/stat : 14323 (java) S 14321 14323 11903 0 -1 4202496 34310 0 1 0 1381 5 0 0 21 0 19 0 807617679 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14323/statm: 3407648 32447 2261 9 0 3398382 0
[pid=14323/tid=14324] ppid=14321 vsize=13630592 CPUtime=12.43 cores=1,3,5,7
/proc/14323/task/14324/stat : 14324 (java) R 14321 14323 11903 0 -1 4202560 24971 0 1 0 1240 3 0 0 25 0 19 0 807617680 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 46912505884775 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14323/tid=14326] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14326/stat : 14326 (java) S 14321 14323 11903 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14327] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14327/stat : 14327 (java) S 14321 14323 11903 0 -1 4202560 124 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14328] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14328/stat : 14328 (java) S 14321 14323 11903 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14329] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14329/stat : 14329 (java) S 14321 14323 11903 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 5 0 0 0
[pid=14323/tid=14330] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14330/stat : 14330 (java) S 14321 14323 11903 0 -1 4202560 166 0 0 0 0 0 0 0 16 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14331] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14331/stat : 14331 (java) S 14321 14323 11903 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14332] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14332/stat : 14332 (java) S 14321 14323 11903 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
[pid=14323/tid=14333] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14333/stat : 14333 (java) S 14321 14323 11903 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 807617682 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14334] ppid=14321 vsize=13630592 CPUtime=0.22 cores=1,3,5,7
/proc/14323/task/14334/stat : 14334 (java) S 14321 14323 11903 0 -1 4202560 783 0 0 0 22 0 0 0 16 0 19 0 807617683 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471872 0 0 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14335] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14335/stat : 14335 (java) S 14321 14323 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807617684 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14336] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14336/stat : 14336 (java) S 14321 14323 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807617684 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14337] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14337/stat : 14337 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617686 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051478961 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14338] ppid=14321 vsize=13630592 CPUtime=0.6 cores=1,3,5,7
/proc/14323/task/14338/stat : 14338 (java) S 14321 14323 11903 0 -1 4202560 2836 0 0 0 60 0 0 0 16 0 19 0 807617686 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14339] ppid=14321 vsize=13630592 CPUtime=0.53 cores=1,3,5,7
/proc/14323/task/14339/stat : 14339 (java) S 14321 14323 11903 0 -1 4202560 3739 0 0 0 53 0 0 0 15 0 19 0 807617686 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 5 0 0 0
[pid=14323/tid=14340] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14340/stat : 14340 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807617686 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471257 0 4 0 16800975 18446604460721473664 0 0 -1 3 0 0 0
[pid=14323/tid=14341] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14341/stat : 14341 (java) S 14321 14323 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807617686 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471872 0 4 0 16800975 18446604460721473664 0 0 -1 1 0 0 0
[pid=14323/tid=14360] ppid=14321 vsize=13630592 CPUtime=0 cores=1,3,5,7
/proc/14323/task/14360/stat : 14360 (java) S 14321 14323 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807617718 13957726208 32447 33554432000 1073741824 1073778376 140734695880288 18446744073709551615 212051471872 0 4 0 16800975 18446604460721473664 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.86
Current children cumulated vsize (KiB) 13630592
Child status: 30
Real time (s): 12.7324
CPU time (s): 13.8989
CPU user time (s): 13.8379
CPU system time (s): 0.06099
CPU usage (%): 109.162
Max. virtual memory (cumulated for all children) (KiB): 13630592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8379
system time used= 0.06099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34346
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= 982
involuntary context switches= 280
runsolver used 0.068989 second user time and 0.169974 second system time
The end