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-3454230-1307191009/watcher-3454230-1307191009 -o /tmp/evaluation-result-3454230-1307191009/solver-3454230-1307191009 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454230-1307191009.opb
running on 4 cores: 0,2,4,6
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: 3.73 3.91 3.74 3/445 2466
/proc/meminfo: memFree=23114260/32951124 swapFree=44043516/67111528
[pid=2466] ppid=2464 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/2466/stat : 2466 (java) S 2464 2466 31765 0 -1 4202496 1169 0 0 0 0 0 0 0 18 0 2 0 830699088 26714112 897 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528636901 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/2466/statm: 6522 897 682 9 0 381 0
[pid=2466/tid=2467] ppid=2464 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2467/stat : 2467 (java) R 2464 2466 31765 0 -1 4202560 5599 0 1 0 0 0 0 0 19 0 2 0 830699089 10694979584 6415 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0943691 s]
/proc/loadavg: 3.73 3.91 3.74 3/445 2466
/proc/meminfo: memFree=23114260/32951124 swapFree=44043516/67111528
[pid=2466] ppid=2464 vsize=10540104 CPUtime=0.09 cores=0,2,4,6
/proc/2466/stat : 2466 (java) S 2464 2466 31765 0 -1 4202496 13007 0 1 0 8 1 0 0 18 0 18 0 830699088 10793066496 12703 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2466/statm: 2635026 12705 2092 9 0 2625760 0
[pid=2466/tid=2467] ppid=2464 vsize=10540104 CPUtime=0.08 cores=0,2,4,6
/proc/2466/task/2467/stat : 2467 (java) R 2464 2466 31765 0 -1 4202560 11099 0 1 0 7 1 0 0 18 0 18 0 830699089 10793066496 12705 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 47789310065188 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540104
[startup+0.1003 s]
/proc/loadavg: 3.73 3.91 3.74 3/445 2466
/proc/meminfo: memFree=23114260/32951124 swapFree=44043516/67111528
[pid=2466] ppid=2464 vsize=10540104 CPUtime=0.1 cores=0,2,4,6
/proc/2466/stat : 2466 (java) S 2464 2466 31765 0 -1 4202496 13115 0 1 0 9 1 0 0 18 0 18 0 830699088 10793066496 12811 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2466/statm: 2635026 12811 2092 9 0 2625760 0
[pid=2466/tid=2467] ppid=2464 vsize=10540104 CPUtime=0.08 cores=0,2,4,6
/proc/2466/task/2467/stat : 2467 (java) R 2464 2466 31765 0 -1 4202560 11205 0 1 0 7 1 0 0 18 0 18 0 830699089 10793066496 12811 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 46912505121134 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540104
[startup+0.318247 s]
/proc/loadavg: 3.73 3.91 3.74 3/445 2466
/proc/meminfo: memFree=23114260/32951124 swapFree=44043516/67111528
[pid=2466] ppid=2464 vsize=10544328 CPUtime=0.54 cores=0,2,4,6
/proc/2466/stat : 2466 (java) S 2464 2466 31765 0 -1 4202496 20065 0 1 0 51 3 0 0 18 0 18 0 830699088 10797391872 19113 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2466/statm: 2636082 19123 2199 9 0 2626816 0
[pid=2466/tid=2467] ppid=2464 vsize=10544328 CPUtime=0.3 cores=0,2,4,6
/proc/2466/task/2467/stat : 2467 (java) R 2464 2466 31765 0 -1 4202560 15974 0 1 0 28 2 0 0 18 0 18 0 830699089 10797391872 19123 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 46912505219077 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10544328
[startup+0.705188 s]
/proc/loadavg: 3.73 3.91 3.74 3/445 2466
/proc/meminfo: memFree=23114260/32951124 swapFree=44043516/67111528
[pid=2466] ppid=2464 vsize=10559620 CPUtime=1.56 cores=0,2,4,6
/proc/2466/stat : 2466 (java) S 2464 2466 31765 0 -1 4202496 47027 0 1 0 149 7 0 0 18 0 18 0 830699088 10813050880 41705 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2466/statm: 2639905 41709 2219 9 0 2630639 0
[pid=2466/tid=2467] ppid=2464 vsize=10559620 CPUtime=0.69 cores=0,2,4,6
/proc/2466/task/2467/stat : 2467 (java) R 2464 2466 31765 0 -1 4202560 32550 0 1 0 64 5 0 0 18 0 18 0 830699089 10813050880 41711 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 46912505746573 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10559620
[startup+1.50103 s]
/proc/loadavg: 3.73 3.91 3.74 6/467 2488
/proc/meminfo: memFree=22895548/32951124 swapFree=44043516/67111528
[pid=2466] ppid=2464 vsize=10563732 CPUtime=3.57 cores=0,2,4,6
/proc/2466/stat : 2466 (java) S 2464 2466 31765 0 -1 4202496 95840 0 1 0 344 13 0 0 18 0 22 0 830699088 10817261568 90361 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2466/statm: 2640933 90369 2234 9 0 2631667 0
[pid=2466/tid=2467] ppid=2464 vsize=10563732 CPUtime=0.86 cores=0,2,4,6
/proc/2466/task/2467/stat : 2467 (java) S 2464 2466 31765 0 -1 4202560 45042 0 1 0 80 6 0 0 15 0 22 0 830699089 10817261568 90373 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2469] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2469/stat : 2469 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830699090 10817261568 90377 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2470] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2470/stat : 2470 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830699090 10817261568 90382 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2471] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2471/stat : 2471 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830699090 10817261568 90386 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2472] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2472/stat : 2472 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830699090 10817261568 90390 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2473] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2473/stat : 2473 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830699090 10817261568 90394 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2474] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2474/stat : 2474 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830699090 10817261568 90398 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2475] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2475/stat : 2475 (java) S 2464 2466 31765 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 830699090 10817261568 90403 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2476] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2476/stat : 2476 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830699090 10817261568 90407 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2477] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2477/stat : 2477 (java) S 2464 2466 31765 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830699091 10817261568 90411 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 0 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2478] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2478/stat : 2478 (java) S 2464 2466 31765 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 22 0 830699092 10817261568 90415 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2479] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2479/stat : 2479 (java) S 2464 2466 31765 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830699092 10817261568 90419 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2480] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2480/stat : 2480 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830699094 10817261568 90422 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528657841 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2481] ppid=2464 vsize=10563732 CPUtime=0.79 cores=0,2,4,6
/proc/2466/task/2481/stat : 2481 (java) S 2464 2466 31765 0 -1 4202560 7061 0 0 0 79 0 0 0 16 0 22 0 830699094 10817261568 90426 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2482] ppid=2464 vsize=10563732 CPUtime=0.82 cores=0,2,4,6
/proc/2466/task/2482/stat : 2482 (java) S 2464 2466 31765 0 -1 4202560 6579 0 0 0 81 1 0 0 15 0 22 0 830699094 10817261568 90429 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2483] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2483/stat : 2483 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830699094 10817261568 90433 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2484] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2484/stat : 2484 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830699094 10817261568 90436 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2485] ppid=2464 vsize=10563732 CPUtime=0.61 cores=0,2,4,6
/proc/2466/task/2485/stat : 2485 (java) R 2464 2466 31765 0 -1 4202560 717 0 0 0 61 0 0 0 23 0 22 0 830699177 10817261568 90439 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 46912505918207 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2466/tid=2486] ppid=2464 vsize=10563732 CPUtime=0.45 cores=0,2,4,6
/proc/2466/task/2486/stat : 2486 (java) R 2464 2466 31765 0 -1 4202560 35354 0 0 0 41 4 0 0 19 0 22 0 830699177 10817261568 90442 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 46912505871921 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2466/tid=2487] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2487/stat : 2487 (java) S 2464 2466 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830699186 10817261568 90445 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 0 0 0 0
[pid=2466/tid=2488] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2488/stat : 2488 (java) S 2464 2466 31765 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830699192 10817261568 90447 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 10563732
[startup+3.10077 s]
/proc/loadavg: 3.75 3.91 3.74 5/467 2488
/proc/meminfo: memFree=22342880/32951124 swapFree=44043516/67111528
[pid=2466] ppid=2464 vsize=10563732 CPUtime=7.02 cores=0,2,4,6
/proc/2466/stat : 2466 (java) S 2464 2466 31765 0 -1 4202496 339290 0 1 0 663 39 0 0 18 0 22 0 830699088 10817261568 332619 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2466/statm: 2640933 332636 2236 9 0 2631667 0
[pid=2466/tid=2467] ppid=2464 vsize=10563732 CPUtime=0.86 cores=0,2,4,6
/proc/2466/task/2467/stat : 2467 (java) S 2464 2466 31765 0 -1 4202560 45042 0 1 0 80 6 0 0 15 0 22 0 830699089 10817261568 332639 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2469] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2469/stat : 2469 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830699090 10817261568 332642 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2470] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2470/stat : 2470 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830699090 10817261568 332646 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2471] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2471/stat : 2471 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830699090 10817261568 332650 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2472] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2472/stat : 2472 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830699090 10817261568 332655 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2473] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2473/stat : 2473 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830699090 10817261568 332660 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2474] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2474/stat : 2474 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830699090 10817261568 332665 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2475] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2475/stat : 2475 (java) S 2464 2466 31765 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 830699090 10817261568 332670 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2476] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2476/stat : 2476 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830699090 10817261568 332674 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2477] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2477/stat : 2477 (java) S 2464 2466 31765 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830699091 10817261568 332678 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 0 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2478] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2478/stat : 2478 (java) S 2464 2466 31765 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 22 0 830699092 10817261568 332683 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2479] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2479/stat : 2479 (java) S 2464 2466 31765 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830699092 10817261568 332687 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2480] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2480/stat : 2480 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830699094 10817261568 332692 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528657841 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2481] ppid=2464 vsize=10563732 CPUtime=0.83 cores=0,2,4,6
/proc/2466/task/2481/stat : 2481 (java) S 2464 2466 31765 0 -1 4202560 7065 0 0 0 83 0 0 0 15 0 22 0 830699094 10817261568 332697 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2482] ppid=2464 vsize=10563732 CPUtime=1.02 cores=0,2,4,6
/proc/2466/task/2482/stat : 2482 (java) S 2464 2466 31765 0 -1 4202560 7797 0 0 0 101 1 0 0 15 0 22 0 830699094 10817261568 332701 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2483] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2483/stat : 2483 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830699094 10817261568 332706 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2484] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2484/stat : 2484 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830699094 10817261568 332710 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2485] ppid=2464 vsize=10563732 CPUtime=2.21 cores=0,2,4,6
/proc/2466/task/2485/stat : 2485 (java) R 2464 2466 31765 0 -1 4202560 779 0 0 0 221 0 0 0 25 0 22 0 830699177 10817261568 332715 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 46912505917784 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2466/tid=2486] ppid=2464 vsize=10563732 CPUtime=2.05 cores=0,2,4,6
/proc/2466/task/2486/stat : 2486 (java) R 2464 2466 31765 0 -1 4202560 277540 0 0 0 175 30 0 0 18 0 22 0 830699177 10817261568 332719 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 46912505610924 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2466/tid=2487] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2487/stat : 2487 (java) S 2464 2466 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830699186 10817261568 332724 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 0 0 0 0
[pid=2466/tid=2488] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2488/stat : 2488 (java) S 2464 2466 31765 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830699192 10817261568 332729 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 10563732
[startup+6.30183 s]
/proc/loadavg: 3.75 3.91 3.74 5/467 2488
/proc/meminfo: memFree=21113480/32951124 swapFree=44043516/67111528
[pid=2466] ppid=2464 vsize=10563732 CPUtime=13.47 cores=0,2,4,6
/proc/2466/stat : 2466 (java) S 2464 2466 31765 0 -1 4202496 506208 0 1 0 1290 57 0 0 18 0 22 0 830699088 10817261568 499389 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2466/statm: 2640933 499389 2262 9 0 2631667 0
[pid=2466/tid=2467] ppid=2464 vsize=10563732 CPUtime=0.86 cores=0,2,4,6
/proc/2466/task/2467/stat : 2467 (java) S 2464 2466 31765 0 -1 4202560 45042 0 1 0 80 6 0 0 15 0 22 0 830699089 10817261568 499389 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2469] ppid=2464 vsize=10563732 CPUtime=0.02 cores=0,2,4,6
/proc/2466/task/2469/stat : 2469 (java) S 2464 2466 31765 0 -1 4202560 2510 0 0 0 2 0 0 0 18 0 22 0 830699090 10817261568 499389 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 4 0 0 0
[pid=2466/tid=2470] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2470/stat : 2470 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830699090 10817261568 499389 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2471] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2471/stat : 2471 (java) R 2464 2466 31765 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 22 0 830699090 10817261568 499389 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2466/tid=2472] ppid=2464 vsize=10563732 CPUtime=0.02 cores=0,2,4,6
/proc/2466/task/2472/stat : 2472 (java) S 2464 2466 31765 0 -1 4202560 2517 0 0 0 2 0 0 0 17 0 22 0 830699090 10817261568 499389 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2473] ppid=2464 vsize=10563732 CPUtime=0.02 cores=0,2,4,6
/proc/2466/task/2473/stat : 2473 (java) S 2464 2466 31765 0 -1 4202560 2053 0 0 0 2 0 0 0 17 0 22 0 830699090 10817261568 499389 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 4 0 0 0
[pid=2466/tid=2474] ppid=2464 vsize=10563732 CPUtime=0.02 cores=0,2,4,6
/proc/2466/task/2474/stat : 2474 (java) R 2464 2466 31765 0 -1 4202560 2683 0 0 0 2 0 0 0 18 0 22 0 830699090 10817261568 499389 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 47789308502642 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2466/tid=2475] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2475/stat : 2475 (java) R 2464 2466 31765 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 22 0 830699090 10817261568 499389 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 47789309216668 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2466/tid=2476] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2476/stat : 2476 (java) R 2464 2466 31765 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 22 0 830699090 10817261568 499389 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 47789312834476 0 4 0 16800975 0 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=18694532/32951124 swapFree=44043516/67111528
[pid=2466] ppid=2464 vsize=10563732 CPUtime=1601.65 cores=0,2,4,6
/proc/2466/stat : 2466 (java) S 2464 2466 31765 0 -1 4202496 935639 0 1 0 160050 115 0 0 18 0 22 0 830699088 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2466/statm: 2640933 918971 2263 9 0 2631667 0
[pid=2466/tid=2467] ppid=2464 vsize=10563732 CPUtime=0.87 cores=0,2,4,6
/proc/2466/task/2467/stat : 2467 (java) S 2464 2466 31765 0 -1 4202560 45079 0 1 0 81 6 0 0 15 0 22 0 830699089 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2469] ppid=2464 vsize=10563732 CPUtime=0.5 cores=0,2,4,6
/proc/2466/task/2469/stat : 2469 (java) S 2464 2466 31765 0 -1 4202560 3673 0 0 0 50 0 0 0 15 0 22 0 830699090 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2470] ppid=2464 vsize=10563732 CPUtime=0.49 cores=0,2,4,6
/proc/2466/task/2470/stat : 2470 (java) S 2464 2466 31765 0 -1 4202560 2352 0 0 0 49 0 0 0 16 0 22 0 830699090 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 4 0 0 0
[pid=2466/tid=2471] ppid=2464 vsize=10563732 CPUtime=0.54 cores=0,2,4,6
/proc/2466/task/2471/stat : 2471 (java) S 2464 2466 31765 0 -1 4202560 3470 0 0 0 54 0 0 0 15 0 22 0 830699090 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2472] ppid=2464 vsize=10563732 CPUtime=0.49 cores=0,2,4,6
/proc/2466/task/2472/stat : 2472 (java) S 2464 2466 31765 0 -1 4202560 4534 0 0 0 49 0 0 0 15 0 22 0 830699090 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2473] ppid=2464 vsize=10563732 CPUtime=0.52 cores=0,2,4,6
/proc/2466/task/2473/stat : 2473 (java) S 2464 2466 31765 0 -1 4202560 5591 0 0 0 51 1 0 0 15 0 22 0 830699090 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2474] ppid=2464 vsize=10563732 CPUtime=0.53 cores=0,2,4,6
/proc/2466/task/2474/stat : 2474 (java) S 2464 2466 31765 0 -1 4202560 4744 0 0 0 52 1 0 0 15 0 22 0 830699090 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 4 0 0 0
[pid=2466/tid=2475] ppid=2464 vsize=10563732 CPUtime=0.47 cores=0,2,4,6
/proc/2466/task/2475/stat : 2475 (java) S 2464 2466 31765 0 -1 4202560 3299 0 0 0 47 0 0 0 15 0 22 0 830699090 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2476] ppid=2464 vsize=10563732 CPUtime=0.46 cores=0,2,4,6
/proc/2466/task/2476/stat : 2476 (java) S 2464 2466 31765 0 -1 4202560 2269 0 0 0 46 0 0 0 15 0 22 0 830699090 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2477] ppid=2464 vsize=10563732 CPUtime=46.42 cores=0,2,4,6
/proc/2466/task/2477/stat : 2477 (java) S 2464 2466 31765 0 -1 4202560 37985 0 0 0 4634 8 0 0 15 0 22 0 830699091 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 0 0 16800975 18446604442784365440 0 0 -1 0 0 0 0
[pid=2466/tid=2478] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2478/stat : 2478 (java) S 2464 2466 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830699092 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2479] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2479/stat : 2479 (java) S 2464 2466 31765 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830699092 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2480] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2480/stat : 2480 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830699094 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528657841 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2481] ppid=2464 vsize=10563732 CPUtime=1.08 cores=0,2,4,6
/proc/2466/task/2481/stat : 2481 (java) S 2464 2466 31765 0 -1 4202560 7124 0 0 0 108 0 0 0 15 0 22 0 830699094 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 4 0 0 0
[pid=2466/tid=2482] ppid=2464 vsize=10563732 CPUtime=2.2 cores=0,2,4,6
/proc/2466/task/2482/stat : 2482 (java) S 2464 2466 31765 0 -1 4202560 17450 0 0 0 217 3 0 0 15 0 22 0 830699094 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2483] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2483/stat : 2483 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830699094 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2484] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2484/stat : 2484 (java) S 2464 2466 31765 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830699094 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 4 0 0 0
[pid=2466/tid=2485] ppid=2464 vsize=10563732 CPUtime=773.55 cores=0,2,4,6
/proc/2466/task/2485/stat : 2485 (java) R 2464 2466 31765 0 -1 4202560 1456 0 0 0 77353 2 0 0 25 0 22 0 830699177 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 46912506033580 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2466/tid=2486] ppid=2464 vsize=10563732 CPUtime=773.4 cores=0,2,4,6
/proc/2466/task/2486/stat : 2486 (java) R 2464 2466 31765 0 -1 4202560 795408 0 0 0 77252 88 0 0 25 0 22 0 830699177 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 46912506110726 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2466/tid=2487] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2487/stat : 2487 (java) S 2464 2466 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830699186 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 0 0 0 0
[pid=2466/tid=2488] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2488/stat : 2488 (java) S 2464 2466 31765 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830699192 10817261568 918971 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 10563732
[startup+882.317 s]
/proc/loadavg: 3.91 3.92 3.83 5/467 2513
/proc/meminfo: memFree=18676996/32951124 swapFree=44043516/67111528
[pid=2466] ppid=2464 vsize=10563732 CPUtime=1721.13 cores=0,2,4,6
/proc/2466/stat : 2466 (java) S 2464 2466 31765 0 -1 4202496 938749 0 1 0 171998 115 0 0 18 0 22 0 830699088 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2466/statm: 2640933 922043 2263 9 0 2631667 0
[pid=2466/tid=2467] ppid=2464 vsize=10563732 CPUtime=0.87 cores=0,2,4,6
/proc/2466/task/2467/stat : 2467 (java) S 2464 2466 31765 0 -1 4202560 45079 0 1 0 81 6 0 0 15 0 22 0 830699089 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 0 0 0 0
[pid=2466/tid=2469] ppid=2464 vsize=10563732 CPUtime=0.51 cores=0,2,4,6
/proc/2466/task/2469/stat : 2469 (java) S 2464 2466 31765 0 -1 4202560 3742 0 0 0 51 0 0 0 16 0 22 0 830699090 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2470] ppid=2464 vsize=10563732 CPUtime=0.52 cores=0,2,4,6
/proc/2466/task/2470/stat : 2470 (java) S 2464 2466 31765 0 -1 4202560 2607 0 0 0 52 0 0 0 15 0 22 0 830699090 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2471] ppid=2464 vsize=10563732 CPUtime=0.57 cores=0,2,4,6
/proc/2466/task/2471/stat : 2471 (java) S 2464 2466 31765 0 -1 4202560 3531 0 0 0 57 0 0 0 15 0 22 0 830699090 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 0 0 0 0
[pid=2466/tid=2472] ppid=2464 vsize=10563732 CPUtime=0.52 cores=0,2,4,6
/proc/2466/task/2472/stat : 2472 (java) S 2464 2466 31765 0 -1 4202560 4877 0 0 0 52 0 0 0 15 0 22 0 830699090 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2473] ppid=2464 vsize=10563732 CPUtime=0.55 cores=0,2,4,6
/proc/2466/task/2473/stat : 2473 (java) S 2464 2466 31765 0 -1 4202560 5750 0 0 0 54 1 0 0 16 0 22 0 830699090 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2474] ppid=2464 vsize=10563732 CPUtime=0.55 cores=0,2,4,6
/proc/2466/task/2474/stat : 2474 (java) S 2464 2466 31765 0 -1 4202560 5018 0 0 0 54 1 0 0 15 0 22 0 830699090 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 4 0 0 0
[pid=2466/tid=2475] ppid=2464 vsize=10563732 CPUtime=0.48 cores=0,2,4,6
/proc/2466/task/2475/stat : 2475 (java) S 2464 2466 31765 0 -1 4202560 3404 0 0 0 48 0 0 0 16 0 22 0 830699090 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2476] ppid=2464 vsize=10563732 CPUtime=0.49 cores=0,2,4,6
/proc/2466/task/2476/stat : 2476 (java) S 2464 2466 31765 0 -1 4202560 2505 0 0 0 49 0 0 0 16 0 22 0 830699090 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 0 0 0 0
[pid=2466/tid=2477] ppid=2464 vsize=10563732 CPUtime=47.26 cores=0,2,4,6
/proc/2466/task/2477/stat : 2477 (java) S 2464 2466 31765 0 -1 4202560 39532 0 0 0 4717 9 0 0 15 0 22 0 830699091 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 0 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2478] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2478/stat : 2478 (java) S 2464 2466 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830699092 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2479] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2479/stat : 2479 (java) S 2464 2466 31765 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830699092 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2480] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2480/stat : 2480 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830699094 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528657841 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2481] ppid=2464 vsize=10563732 CPUtime=1.28 cores=0,2,4,6
/proc/2466/task/2481/stat : 2481 (java) S 2464 2466 31765 0 -1 4202560 7174 0 0 0 128 0 0 0 15 0 22 0 830699094 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 4 0 0 0
[pid=2466/tid=2482] ppid=2464 vsize=10563732 CPUtime=2.23 cores=0,2,4,6
/proc/2466/task/2482/stat : 2482 (java) S 2464 2466 31765 0 -1 4202560 17452 0 0 0 220 3 0 0 15 0 22 0 830699094 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2483] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2483/stat : 2483 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830699094 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2484] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2484/stat : 2484 (java) S 2464 2466 31765 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830699094 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2485] ppid=2464 vsize=10563732 CPUtime=832.66 cores=0,2,4,6
/proc/2466/task/2485/stat : 2485 (java) R 2464 2466 31765 0 -1 4202560 1460 0 0 0 83264 2 0 0 25 0 22 0 830699177 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 46912506033602 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2466/tid=2486] ppid=2464 vsize=10563732 CPUtime=832.52 cores=0,2,4,6
/proc/2466/task/2486/stat : 2486 (java) R 2464 2466 31765 0 -1 4202560 795411 0 0 0 83164 88 0 0 25 0 22 0 830699177 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 46912505871654 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2466/tid=2487] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2487/stat : 2487 (java) S 2464 2466 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830699186 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 0 0 0 0
[pid=2466/tid=2488] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2488/stat : 2488 (java) S 2464 2466 31765 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830699192 10817261568 922043 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1721.13
Current children cumulated vsize (KiB) 10563732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+921.801 s]
/proc/loadavg: 3.38 3.79 3.79 4/440 2534
/proc/meminfo: memFree=22182012/32951124 swapFree=44043516/67111528
[pid=2466] ppid=2464 vsize=10563732 CPUtime=1800.09 cores=0,2,4,6
/proc/2466/stat : 2466 (java) S 2464 2466 31765 0 -1 4202496 940290 0 1 0 179893 116 0 0 18 0 22 0 830699088 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2466/statm: 2640933 923563 2263 9 0 2631667 0
[pid=2466/tid=2467] ppid=2464 vsize=10563732 CPUtime=0.87 cores=0,2,4,6
/proc/2466/task/2467/stat : 2467 (java) S 2464 2466 31765 0 -1 4202560 45079 0 1 0 81 6 0 0 15 0 22 0 830699089 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2469] ppid=2464 vsize=10563732 CPUtime=0.53 cores=0,2,4,6
/proc/2466/task/2469/stat : 2469 (java) S 2464 2466 31765 0 -1 4202560 3783 0 0 0 53 0 0 0 16 0 22 0 830699090 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 0 0 0 0
[pid=2466/tid=2470] ppid=2464 vsize=10563732 CPUtime=0.56 cores=0,2,4,6
/proc/2466/task/2470/stat : 2470 (java) S 2464 2466 31765 0 -1 4202560 2753 0 0 0 56 0 0 0 16 0 22 0 830699090 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2471] ppid=2464 vsize=10563732 CPUtime=0.59 cores=0,2,4,6
/proc/2466/task/2471/stat : 2471 (java) S 2464 2466 31765 0 -1 4202560 3675 0 0 0 59 0 0 0 15 0 22 0 830699090 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2472] ppid=2464 vsize=10563732 CPUtime=0.54 cores=0,2,4,6
/proc/2466/task/2472/stat : 2472 (java) S 2464 2466 31765 0 -1 4202560 5083 0 0 0 54 0 0 0 15 0 22 0 830699090 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2473] ppid=2464 vsize=10563732 CPUtime=0.57 cores=0,2,4,6
/proc/2466/task/2473/stat : 2473 (java) S 2464 2466 31765 0 -1 4202560 5816 0 0 0 56 1 0 0 15 0 22 0 830699090 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2474] ppid=2464 vsize=10563732 CPUtime=0.56 cores=0,2,4,6
/proc/2466/task/2474/stat : 2474 (java) S 2464 2466 31765 0 -1 4202560 5227 0 0 0 55 1 0 0 16 0 22 0 830699090 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 4 0 0 0
[pid=2466/tid=2475] ppid=2464 vsize=10563732 CPUtime=0.51 cores=0,2,4,6
/proc/2466/task/2475/stat : 2475 (java) S 2464 2466 31765 0 -1 4202560 3436 0 0 0 51 0 0 0 15 0 22 0 830699090 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 4 0 0 0
[pid=2466/tid=2476] ppid=2464 vsize=10563732 CPUtime=0.51 cores=0,2,4,6
/proc/2466/task/2476/stat : 2476 (java) S 2464 2466 31765 0 -1 4202560 2550 0 0 0 51 0 0 0 16 0 22 0 830699090 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2477] ppid=2464 vsize=10563732 CPUtime=47.52 cores=0,2,4,6
/proc/2466/task/2477/stat : 2477 (java) S 2464 2466 31765 0 -1 4202560 40157 0 0 0 4743 9 0 0 15 0 22 0 830699091 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 0 0 16800975 18446604442784365440 0 0 -1 4 0 0 0
[pid=2466/tid=2478] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2478/stat : 2478 (java) S 2464 2466 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830699092 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2479] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2479/stat : 2479 (java) S 2464 2466 31765 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830699092 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2480] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2480/stat : 2480 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830699094 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528657841 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2481] ppid=2464 vsize=10563732 CPUtime=1.42 cores=0,2,4,6
/proc/2466/task/2481/stat : 2481 (java) S 2464 2466 31765 0 -1 4202560 7194 0 0 0 142 0 0 0 15 0 22 0 830699094 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 4 0 0 0
[pid=2466/tid=2482] ppid=2464 vsize=10563732 CPUtime=2.23 cores=0,2,4,6
/proc/2466/task/2482/stat : 2482 (java) S 2464 2466 31765 0 -1 4202560 17452 0 0 0 220 3 0 0 15 0 22 0 830699094 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2483] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2483/stat : 2483 (java) S 2464 2466 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830699094 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650137 0 4 0 16800975 18446604442784365440 0 0 -1 6 0 0 0
[pid=2466/tid=2484] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2484/stat : 2484 (java) S 2464 2466 31765 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830699094 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
[pid=2466/tid=2485] ppid=2464 vsize=10563732 CPUtime=871.85 cores=0,2,4,6
/proc/2466/task/2485/stat : 2485 (java) R 2464 2466 31765 0 -1 4202560 1465 0 0 0 87183 2 0 0 25 0 22 0 830699177 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 46912506033562 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2466/tid=2486] ppid=2464 vsize=10563732 CPUtime=871.71 cores=0,2,4,6
/proc/2466/task/2486/stat : 2486 (java) R 2464 2466 31765 0 -1 4202560 795411 0 0 0 87083 88 0 0 25 0 22 0 830699177 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 46912506049649 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2466/tid=2487] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2487/stat : 2487 (java) S 2464 2466 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830699186 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 0 0 0 0
[pid=2466/tid=2488] ppid=2464 vsize=10563732 CPUtime=0 cores=0,2,4,6
/proc/2466/task/2488/stat : 2488 (java) S 2464 2466 31765 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830699192 10817261568 923563 33554432000 1073741824 1073778376 140735444894496 18446744073709551615 246528650752 0 4 0 16800975 18446604442784365440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10563732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+921.937 s]
/proc/loadavg: 3.38 3.79 3.79 4/440 2534
/proc/meminfo: memFree=22182012/32951124 swapFree=44043516/67111528
[pid=2466] ppid=2464 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/2466/stat : 2466 (java) Z 2464 2466 31765 0 -1 4203548 940322 0 1 0 179900 124 0 0 17 0 2 0 830699088 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2466/statm: 0 0 0 0 0 0 0
[pid=2466/tid=2486] ppid=2464 vsize=0 CPUtime=871.8 cores=0,2,4,6
/proc/2466/task/2486/stat : 2486 (java) R 2464 2466 31765 0 -1 4203588 795411 0 0 0 87084 96 0 0 25 0 2 0 830699177 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 921.995
CPU time (s): 1800.31
CPU user time (s): 1799
CPU system time (s): 1.3068
CPU usage (%): 195.262
Max. virtual memory (cumulated for all children) (KiB): 10563732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.3068
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 940322
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= 31150
involuntary context switches= 20157
runsolver used 4.33934 second user time and 9.06262 second system time
The end