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-3458062-1307157838/watcher-3458062-1307157838 -o /tmp/evaluation-result-3458062-1307157838/solver-3458062-1307157838 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458062-1307157838.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.87 1.97 1.91 2/535 14301
/proc/meminfo: memFree=21465420/32950928 swapFree=34259960/67111528
[pid=14301] ppid=14299 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/14301/stat : 14301 (java) S 14299 14301 7151 0 -1 4202496 4649 0 1 0 0 0 0 0 25 0 2 0 827380505 13850947584 4351 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/14301/statm: 3381579 4365 917 9 0 3372735 0
[pid=14301/tid=14302] ppid=14299 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/14301/task/14302/stat : 14302 (java) R 14299 14301 7151 0 -1 4202560 8108 0 1 0 0 1 0 0 25 0 2 0 827380505 13850947584 8924 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0400639 s]
/proc/loadavg: 1.87 1.97 1.91 2/535 14301
/proc/meminfo: memFree=21465420/32950928 swapFree=34259960/67111528
[pid=14301] ppid=14299 vsize=13549480 CPUtime=0.02 cores=1,3,5,7
/proc/14301/stat : 14301 (java) S 14299 14301 7151 0 -1 4202496 13611 0 1 0 1 1 0 0 25 0 13 0 827380505 13874667520 13308 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/14301/statm: 3387370 13308 1644 9 0 3378118 0
[pid=14301/tid=14302] ppid=14299 vsize=13549480 CPUtime=0.02 cores=1,3,5,7
/proc/14301/task/14302/stat : 14302 (java) R 14299 14301 7151 0 -1 4202560 12465 0 1 0 1 1 0 0 25 0 13 0 827380505 13874667520 13309 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 47185725007603 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13549480
[startup+0.100926 s]
/proc/loadavg: 1.87 1.97 1.91 2/535 14301
/proc/meminfo: memFree=21465420/32950928 swapFree=34259960/67111528
[pid=14301] ppid=14299 vsize=13622440 CPUtime=0.1 cores=1,3,5,7
/proc/14301/stat : 14301 (java) S 14299 14301 7151 0 -1 4202496 15618 0 1 0 8 2 0 0 25 0 18 0 827380505 13949378560 15294 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14301/statm: 3405610 15294 2092 9 0 3396344 0
[pid=14301/tid=14302] ppid=14299 vsize=13622440 CPUtime=0.08 cores=1,3,5,7
/proc/14301/task/14302/stat : 14302 (java) R 14299 14301 7151 0 -1 4202560 13663 0 1 0 6 2 0 0 18 0 18 0 827380505 13949378560 15294 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 46912496197408 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) 13622440
[startup+0.302089 s]
/proc/loadavg: 1.87 1.97 1.91 2/535 14301
/proc/meminfo: memFree=21465420/32950928 swapFree=34259960/67111528
[pid=14301] ppid=14299 vsize=13628368 CPUtime=0.55 cores=1,3,5,7
/proc/14301/stat : 14301 (java) S 14299 14301 7151 0 -1 4202496 18135 0 1 0 52 3 0 0 25 0 19 0 827380505 13955448832 17249 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14301/statm: 3407092 17249 2204 9 0 3397826 0
[pid=14301/tid=14302] ppid=14299 vsize=13628368 CPUtime=0.29 cores=1,3,5,7
/proc/14301/task/14302/stat : 14302 (java) R 14299 14301 7151 0 -1 4202560 14241 0 1 0 27 2 0 0 19 0 19 0 827380505 13955448832 17249 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 46912505520306 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13628368
[startup+0.700879 s]
/proc/loadavg: 1.87 1.97 1.91 2/535 14301
/proc/meminfo: memFree=21465420/32950928 swapFree=34259960/67111528
[pid=14301] ppid=14299 vsize=13628368 CPUtime=1.03 cores=1,3,5,7
/proc/14301/stat : 14301 (java) S 14299 14301 7151 0 -1 4202496 19597 0 1 0 100 3 0 0 25 0 19 0 827380505 13955448832 18365 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14301/statm: 3407092 18365 2237 9 0 3397826 0
[pid=14301/tid=14302] ppid=14299 vsize=13628368 CPUtime=0.67 cores=1,3,5,7
/proc/14301/task/14302/stat : 14302 (java) R 14299 14301 7151 0 -1 4202560 14599 0 1 0 65 2 0 0 19 0 19 0 827380505 13955448832 18365 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 46912505580724 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 13628368
[startup+1.50065 s]
/proc/loadavg: 1.87 1.97 1.91 3/554 14320
/proc/meminfo: memFree=21397264/32950928 swapFree=34259960/67111528
[pid=14301] ppid=14299 vsize=13645656 CPUtime=1.99 cores=1,3,5,7
/proc/14301/stat : 14301 (java) S 14299 14301 7151 0 -1 4202496 25938 0 1 0 195 4 0 0 25 0 19 0 827380505 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14301/statm: 3411414 23046 2239 9 0 3402148 0
[pid=14301/tid=14302] ppid=14299 vsize=13645656 CPUtime=1.44 cores=1,3,5,7
/proc/14301/task/14302/stat : 14302 (java) R 14299 14301 7151 0 -1 4202560 14606 0 1 0 142 2 0 0 20 0 19 0 827380505 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 46912505574530 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14301/tid=14304] ppid=14299 vsize=13645656 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14304/stat : 14304 (java) S 14299 14301 7151 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 19 0 827380507 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14305] ppid=14299 vsize=13645656 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14305/stat : 14305 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827380507 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14306] ppid=14299 vsize=13645656 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14306/stat : 14306 (java) S 14299 14301 7151 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827380507 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14307] ppid=14299 vsize=13645656 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14307/stat : 14307 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827380507 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14308] ppid=14299 vsize=13645656 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14308/stat : 14308 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827380507 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14309] ppid=14299 vsize=13645656 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14309/stat : 14309 (java) S 14299 14301 7151 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 827380507 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14310] ppid=14299 vsize=13645656 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14310/stat : 14310 (java) S 14299 14301 7151 0 -1 4202560 105 0 0 0 0 0 0 0 16 0 19 0 827380507 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14311] ppid=14299 vsize=13645656 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14311/stat : 14311 (java) S 14299 14301 7151 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 19 0 827380507 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14312] ppid=14299 vsize=13645656 CPUtime=0.03 cores=1,3,5,7
/proc/14301/task/14312/stat : 14312 (java) S 14299 14301 7151 0 -1 4202560 739 0 0 0 3 0 0 0 15 0 19 0 827380508 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512508416 0 0 0 16800975 18446604467652650112 0 0 -1 3 0 0 0
[pid=14301/tid=14313] ppid=14299 vsize=13645656 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14313/stat : 14313 (java) S 14299 14301 7151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827380509 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 3 0 0 0
[pid=14301/tid=14314] ppid=14299 vsize=13645656 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14314/stat : 14314 (java) S 14299 14301 7151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 827380509 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 3 0 0 0
[pid=14301/tid=14315] ppid=14299 vsize=13645656 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14315/stat : 14315 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827380511 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512515505 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14316] ppid=14299 vsize=13645656 CPUtime=0.27 cores=1,3,5,7
/proc/14301/task/14316/stat : 14316 (java) R 14299 14301 7151 0 -1 4202560 6294 0 0 0 26 1 0 0 15 0 19 0 827380511 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 47185725144089 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14301/tid=14317] ppid=14299 vsize=13645656 CPUtime=0.21 cores=1,3,5,7
/proc/14301/task/14317/stat : 14317 (java) S 14299 14301 7151 0 -1 4202560 2419 0 0 0 21 0 0 0 15 0 19 0 827380511 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14318] ppid=14299 vsize=13645656 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14318/stat : 14318 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827380511 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14319] ppid=14299 vsize=13645656 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14319/stat : 14319 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827380511 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512508416 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14320] ppid=14299 vsize=13645656 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14320/stat : 14320 (java) S 14299 14301 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827380521 13973151744 23046 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512508416 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 13645656
[startup+3.10141 s]
/proc/loadavg: 1.87 1.97 1.91 5/554 14320
/proc/meminfo: memFree=21370488/32950928 swapFree=34259960/67111528
[pid=14301] ppid=14299 vsize=13646816 CPUtime=4.14 cores=1,3,5,7
/proc/14301/stat : 14301 (java) S 14299 14301 7151 0 -1 4202496 30919 0 1 0 409 5 0 0 25 0 19 0 827380505 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14301/statm: 3411704 24028 2249 9 0 3402438 0
[pid=14301/tid=14302] ppid=14299 vsize=13646816 CPUtime=3 cores=1,3,5,7
/proc/14301/task/14302/stat : 14302 (java) R 14299 14301 7151 0 -1 4202560 14609 0 1 0 298 2 0 0 25 0 19 0 827380505 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 46912505520147 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14301/tid=14304] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14304/stat : 14304 (java) S 14299 14301 7151 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 19 0 827380507 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14305] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14305/stat : 14305 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827380507 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14306] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14306/stat : 14306 (java) S 14299 14301 7151 0 -1 4202560 103 0 0 0 0 0 0 0 16 0 19 0 827380507 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14307] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14307/stat : 14307 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827380507 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14308] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14308/stat : 14308 (java) S 14299 14301 7151 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 19 0 827380507 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14309] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14309/stat : 14309 (java) S 14299 14301 7151 0 -1 4202560 108 0 0 0 0 0 0 0 16 0 19 0 827380507 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14310] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14310/stat : 14310 (java) S 14299 14301 7151 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 19 0 827380507 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14311] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14311/stat : 14311 (java) S 14299 14301 7151 0 -1 4202560 280 0 0 0 0 0 0 0 15 0 19 0 827380507 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14312] ppid=14299 vsize=13646816 CPUtime=0.06 cores=1,3,5,7
/proc/14301/task/14312/stat : 14312 (java) S 14299 14301 7151 0 -1 4202560 931 0 0 0 6 0 0 0 16 0 19 0 827380508 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512508416 0 0 0 16800975 18446604467652650112 0 0 -1 3 0 0 0
[pid=14301/tid=14313] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14313/stat : 14313 (java) S 14299 14301 7151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827380509 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 3 0 0 0
[pid=14301/tid=14314] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14314/stat : 14314 (java) S 14299 14301 7151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 827380509 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 3 0 0 0
[pid=14301/tid=14315] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14315/stat : 14315 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827380511 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512515505 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14316] ppid=14299 vsize=13646816 CPUtime=0.58 cores=1,3,5,7
/proc/14301/task/14316/stat : 14316 (java) S 14299 14301 7151 0 -1 4202560 6870 0 0 0 57 1 0 0 15 0 19 0 827380511 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14317] ppid=14299 vsize=13646816 CPUtime=0.46 cores=1,3,5,7
/proc/14301/task/14317/stat : 14317 (java) S 14299 14301 7151 0 -1 4202560 6511 0 0 0 45 1 0 0 15 0 19 0 827380511 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14318] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14318/stat : 14318 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827380511 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14319] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14319/stat : 14319 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827380511 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512508416 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14320] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14320/stat : 14320 (java) S 14299 14301 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827380521 13974339584 24028 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512508416 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 13646816
Solver just ended. Dumping a history of the last processes samples
[startup+4.70111 s]
/proc/loadavg: 1.88 1.97 1.91 3/554 14320
/proc/meminfo: memFree=21364768/32950928 swapFree=34259960/67111528
[pid=14301] ppid=14299 vsize=13646816 CPUtime=6.12 cores=1,3,5,7
/proc/14301/stat : 14301 (java) S 14299 14301 7151 0 -1 4202496 35511 0 1 0 607 5 0 0 25 0 19 0 827380505 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14301/statm: 3411704 26525 2249 9 0 3402438 0
[pid=14301/tid=14302] ppid=14299 vsize=13646816 CPUtime=4.52 cores=1,3,5,7
/proc/14301/task/14302/stat : 14302 (java) R 14299 14301 7151 0 -1 4202560 14620 0 1 0 450 2 0 0 25 0 19 0 827380505 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 46912505574674 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14301/tid=14304] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14304/stat : 14304 (java) S 14299 14301 7151 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 19 0 827380507 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14305] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14305/stat : 14305 (java) S 14299 14301 7151 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 827380507 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14306] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14306/stat : 14306 (java) S 14299 14301 7151 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827380507 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14307] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14307/stat : 14307 (java) S 14299 14301 7151 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 827380507 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14308] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14308/stat : 14308 (java) S 14299 14301 7151 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 827380507 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14309] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14309/stat : 14309 (java) S 14299 14301 7151 0 -1 4202560 111 0 0 0 0 0 0 0 16 0 19 0 827380507 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14310] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14310/stat : 14310 (java) S 14299 14301 7151 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 19 0 827380507 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14311] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14311/stat : 14311 (java) S 14299 14301 7151 0 -1 4202560 280 0 0 0 0 0 0 0 15 0 19 0 827380507 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14312] ppid=14299 vsize=13646816 CPUtime=0.12 cores=1,3,5,7
/proc/14301/task/14312/stat : 14312 (java) S 14299 14301 7151 0 -1 4202560 1208 0 0 0 12 0 0 0 16 0 19 0 827380508 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512508416 0 0 0 16800975 18446604467652650112 0 0 -1 3 0 0 0
[pid=14301/tid=14313] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14313/stat : 14313 (java) S 14299 14301 7151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827380509 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 3 0 0 0
[pid=14301/tid=14314] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14314/stat : 14314 (java) S 14299 14301 7151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 827380509 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 3 0 0 0
[pid=14301/tid=14315] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14315/stat : 14315 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827380511 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512515505 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14316] ppid=14299 vsize=13646816 CPUtime=0.58 cores=1,3,5,7
/proc/14301/task/14316/stat : 14316 (java) S 14299 14301 7151 0 -1 4202560 6870 0 0 0 57 1 0 0 15 0 19 0 827380511 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14317] ppid=14299 vsize=13646816 CPUtime=0.83 cores=1,3,5,7
/proc/14301/task/14317/stat : 14317 (java) S 14299 14301 7151 0 -1 4202560 10801 0 0 0 82 1 0 0 16 0 19 0 827380511 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14318] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14318/stat : 14318 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827380511 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14319] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14319/stat : 14319 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827380511 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512508416 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14320] ppid=14299 vsize=13646816 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14320/stat : 14320 (java) S 14299 14301 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827380521 13974339584 26525 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512508416 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 13646816
[startup+5.51993 s]
/proc/loadavg: 1.88 1.97 1.91 3/554 14320
/proc/meminfo: memFree=21372828/32950928 swapFree=34259960/67111528
[pid=14301] ppid=14299 vsize=13642852 CPUtime=6.94 cores=1,3,5,7
/proc/14301/stat : 14301 (java) S 14299 14301 7151 0 -1 4202496 35513 0 1 0 689 5 0 0 25 0 19 0 827380505 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14301/statm: 3410713 24214 2249 9 0 3401447 0
[pid=14301/tid=14302] ppid=14299 vsize=13642852 CPUtime=5.31 cores=1,3,5,7
/proc/14301/task/14302/stat : 14302 (java) R 14299 14301 7151 0 -1 4202560 14622 0 1 0 529 2 0 0 25 0 19 0 827380505 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 46912505509496 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14301/tid=14304] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14304/stat : 14304 (java) S 14299 14301 7151 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14305] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14305/stat : 14305 (java) S 14299 14301 7151 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14306] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14306/stat : 14306 (java) S 14299 14301 7151 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14307] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14307/stat : 14307 (java) S 14299 14301 7151 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14308] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14308/stat : 14308 (java) S 14299 14301 7151 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14309] ppid=14299 vsize=13642852 CPUtime=0.01 cores=1,3,5,7
/proc/14301/task/14309/stat : 14309 (java) S 14299 14301 7151 0 -1 4202560 111 0 0 0 1 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14310] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14310/stat : 14310 (java) S 14299 14301 7151 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14311] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14311/stat : 14311 (java) S 14299 14301 7151 0 -1 4202560 280 0 0 0 0 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14312] ppid=14299 vsize=13642852 CPUtime=0.15 cores=1,3,5,7
/proc/14301/task/14312/stat : 14312 (java) S 14299 14301 7151 0 -1 4202560 1208 0 0 0 15 0 0 0 16 0 19 0 827380508 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512508416 0 0 0 16800975 18446604467652650112 0 0 -1 3 0 0 0
[pid=14301/tid=14313] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14313/stat : 14313 (java) S 14299 14301 7151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827380509 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 3 0 0 0
[pid=14301/tid=14314] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14314/stat : 14314 (java) S 14299 14301 7151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 827380509 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 3 0 0 0
[pid=14301/tid=14315] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14315/stat : 14315 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827380511 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512515505 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14316] ppid=14299 vsize=13642852 CPUtime=0.58 cores=1,3,5,7
/proc/14301/task/14316/stat : 14316 (java) S 14299 14301 7151 0 -1 4202560 6870 0 0 0 57 1 0 0 15 0 19 0 827380511 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14317] ppid=14299 vsize=13642852 CPUtime=0.83 cores=1,3,5,7
/proc/14301/task/14317/stat : 14317 (java) S 14299 14301 7151 0 -1 4202560 10801 0 0 0 82 1 0 0 16 0 19 0 827380511 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14318] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14318/stat : 14318 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827380511 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14319] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14319/stat : 14319 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827380511 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512508416 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14320] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14320/stat : 14320 (java) S 14299 14301 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827380521 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512508416 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 13642852
[startup+5.90085 s]
/proc/loadavg: 1.88 1.97 1.91 3/554 14320
/proc/meminfo: memFree=21372828/32950928 swapFree=34259960/67111528
[pid=14301] ppid=14299 vsize=13642852 CPUtime=7.33 cores=1,3,5,7
/proc/14301/stat : 14301 (java) S 14299 14301 7151 0 -1 4202496 35513 0 1 0 728 5 0 0 25 0 19 0 827380505 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14301/statm: 3410713 24214 2249 9 0 3401447 0
[pid=14301/tid=14302] ppid=14299 vsize=13642852 CPUtime=5.69 cores=1,3,5,7
/proc/14301/task/14302/stat : 14302 (java) R 14299 14301 7151 0 -1 4202560 14622 0 1 0 567 2 0 0 25 0 19 0 827380505 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 46912505520600 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14301/tid=14304] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14304/stat : 14304 (java) S 14299 14301 7151 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14305] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14305/stat : 14305 (java) S 14299 14301 7151 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14306] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14306/stat : 14306 (java) S 14299 14301 7151 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14307] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14307/stat : 14307 (java) S 14299 14301 7151 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14308] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14308/stat : 14308 (java) S 14299 14301 7151 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14309] ppid=14299 vsize=13642852 CPUtime=0.01 cores=1,3,5,7
/proc/14301/task/14309/stat : 14309 (java) S 14299 14301 7151 0 -1 4202560 111 0 0 0 1 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14310] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14310/stat : 14310 (java) S 14299 14301 7151 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14311] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14311/stat : 14311 (java) S 14299 14301 7151 0 -1 4202560 280 0 0 0 0 0 0 0 15 0 19 0 827380507 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
[pid=14301/tid=14312] ppid=14299 vsize=13642852 CPUtime=0.15 cores=1,3,5,7
/proc/14301/task/14312/stat : 14312 (java) S 14299 14301 7151 0 -1 4202560 1208 0 0 0 15 0 0 0 16 0 19 0 827380508 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512508416 0 0 0 16800975 18446604467652650112 0 0 -1 3 0 0 0
[pid=14301/tid=14313] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14313/stat : 14313 (java) S 14299 14301 7151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827380509 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 3 0 0 0
[pid=14301/tid=14314] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14314/stat : 14314 (java) S 14299 14301 7151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 827380509 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 3 0 0 0
[pid=14301/tid=14315] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14315/stat : 14315 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827380511 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512515505 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14316] ppid=14299 vsize=13642852 CPUtime=0.58 cores=1,3,5,7
/proc/14301/task/14316/stat : 14316 (java) S 14299 14301 7151 0 -1 4202560 6870 0 0 0 57 1 0 0 15 0 19 0 827380511 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14317] ppid=14299 vsize=13642852 CPUtime=0.83 cores=1,3,5,7
/proc/14301/task/14317/stat : 14317 (java) S 14299 14301 7151 0 -1 4202560 10801 0 0 0 82 1 0 0 16 0 19 0 827380511 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14318] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14318/stat : 14318 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827380511 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512507801 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14319] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14319/stat : 14319 (java) S 14299 14301 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827380511 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512508416 0 4 0 16800975 18446604467652650112 0 0 -1 5 0 0 0
[pid=14301/tid=14320] ppid=14299 vsize=13642852 CPUtime=0 cores=1,3,5,7
/proc/14301/task/14320/stat : 14320 (java) S 14299 14301 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827380521 13970280448 24214 33554432000 1073741824 1073778376 140733522691472 18446744073709551615 254512508416 0 4 0 16800975 18446604467652650112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.33
Current children cumulated vsize (KiB) 13642852
[startup+6.00079 s]
/proc/loadavg: 1.88 1.97 1.91 3/554 14320
/proc/meminfo: memFree=21372828/32950928 swapFree=34259960/67111528
[pid=14301] ppid=14299 vsize=0 CPUtime=7.43 cores=1,3,5,7
/proc/14301/stat : 14301 (java) Z 14299 14301 7151 0 -1 4203548 35532 0 1 0 737 6 0 0 18 0 2 0 827380505 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14301/statm: 0 0 0 0 0 0 0
[pid=14301/tid=14302] ppid=14299 vsize=0 CPUtime=5.78 cores=1,3,5,7
/proc/14301/task/14302/stat : 14302 (java) R 14299 14301 7151 0 -1 4203588 14627 0 1 0 576 2 0 0 25 0 2 0 827380505 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 6.0021
CPU time (s): 7.44187
CPU user time (s): 7.37888
CPU system time (s): 0.06299
CPU usage (%): 123.988
Max. virtual memory (cumulated for all children) (KiB): 13646816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.37888
system time used= 0.06299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35532
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= 623
involuntary context switches= 306
runsolver used 0.024996 second user time and 0.090986 second system time
The end