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-3453643-1307195886/watcher-3453643-1307195886 -o /tmp/evaluation-result-3453643-1307195886/solver-3453643-1307195886 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453643-1307195886.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: 2.31 3.12 3.36 3/494 2513
/proc/meminfo: memFree=26435256/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 426 0 0 0 0 0 0 0 25 0 1 0 909819279 9318400 173 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251362623111 0 2147483391 4096 0 18446744071699199166 0 0 17 4 0 0 0
/proc/2513/statm: 2275 173 132 9 0 67 0
[pid=2513/tid=2518] ppid=2511 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) R 2511 2513 2480 0 -1 4202560 6021 0 1 0 0 0 0 0 17 0 2 0 909819280 10694979584 6837 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251367240763 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.026817 s]
/proc/loadavg: 2.31 3.12 3.36 3/494 2513
/proc/meminfo: memFree=26435256/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 10114 0 1 0 1 0 0 0 25 0 10 0 909819279 10703900672 9815 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2613257 9815 1057 9 0 2604413 0
[pid=2513/tid=2518] ppid=2511 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 2480 0 -1 4202560 8992 0 1 0 1 0 0 0 19 0 10 0 909819280 10703900672 9815 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379376095 0 2147483391 0 16784584 18446744071699199166 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.100831 s]
/proc/loadavg: 2.31 3.12 3.36 3/494 2513
/proc/meminfo: memFree=26435256/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10539820 CPUtime=0.1 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 13012 0 1 0 9 1 0 0 25 0 18 0 909819279 10792775680 12702 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2634955 12702 2092 9 0 2625689 0
[pid=2513/tid=2518] ppid=2511 vsize=10539820 CPUtime=0.07 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) R 2511 2513 2480 0 -1 4202560 11092 0 1 0 7 0 0 0 18 0 18 0 909819280 10792775680 12702 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46947408947938 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539820
[startup+0.300769 s]
/proc/loadavg: 2.31 3.12 3.36 3/494 2513
/proc/meminfo: memFree=26435256/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10541580 CPUtime=0.46 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 15861 0 1 0 45 1 0 0 25 0 18 0 909819279 10794577920 15410 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2635395 15411 2207 9 0 2626129 0
[pid=2513/tid=2518] ppid=2511 vsize=10541580 CPUtime=0.27 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) R 2511 2513 2480 0 -1 4202560 12989 0 1 0 27 0 0 0 18 0 18 0 909819280 10794577920 15411 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912505591486 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541580
[startup+0.700688 s]
/proc/loadavg: 2.31 3.12 3.36 3/494 2513
/proc/meminfo: memFree=26435256/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10564632 CPUtime=1.57 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 39874 0 1 0 152 5 0 0 25 0 18 0 909819279 10818183168 35762 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2641158 35763 2224 9 0 2631892 0
[pid=2513/tid=2518] ppid=2511 vsize=10564632 CPUtime=0.67 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) R 2511 2513 2480 0 -1 4202560 24810 0 1 0 65 2 0 0 18 0 18 0 909819280 10818183168 35764 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912505549424 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10564632
[startup+1.50148 s]
/proc/loadavg: 2.31 3.12 3.36 9/541 2562
/proc/meminfo: memFree=26054472/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10568744 CPUtime=4.3 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 74724 0 1 0 420 10 0 0 25 0 22 0 909819279 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2642186 70351 2241 9 0 2632920 0
[pid=2513/tid=2518] ppid=2511 vsize=10568744 CPUtime=0.88 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 2480 0 -1 4202560 53633 0 1 0 82 6 0 0 15 0 22 0 909819280 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 2480 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2538] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2538/stat : 2538 (java) S 2511 2513 2480 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 22 0 909819282 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 0 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2540] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2540/stat : 2540 (java) S 2511 2513 2480 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 909819283 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2541] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2541/stat : 2541 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909819283 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2544] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2544/stat : 2544 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 909819285 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379370417 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2545] ppid=2511 vsize=10568744 CPUtime=1.17 cores=0,2,4,6
/proc/2513/task/2545/stat : 2545 (java) S 2511 2513 2480 0 -1 4202560 5228 0 0 0 116 1 0 0 17 0 22 0 909819285 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2546] ppid=2511 vsize=10568744 CPUtime=1.08 cores=0,2,4,6
/proc/2513/task/2546/stat : 2546 (java) S 2511 2513 2480 0 -1 4202560 9267 0 0 0 107 1 0 0 16 0 22 0 909819285 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2548] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2548/stat : 2548 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909819285 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2550] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2550/stat : 2550 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909819285 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2559] ppid=2511 vsize=10568744 CPUtime=0.58 cores=0,2,4,6
/proc/2513/task/2559/stat : 2559 (java) R 2511 2513 2480 0 -1 4202560 546 0 0 0 58 0 0 0 22 0 22 0 909819370 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506252022 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2513/tid=2560] ppid=2511 vsize=10568744 CPUtime=0.55 cores=0,2,4,6
/proc/2513/task/2560/stat : 2560 (java) R 2511 2513 2480 0 -1 4202560 4883 0 0 0 55 0 0 0 23 0 22 0 909819370 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506331510 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2513/tid=2561] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2561/stat : 2561 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909819374 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2562] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2562/stat : 2562 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909819374 10822393856 70351 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10568744
[startup+3.10119 s]
/proc/loadavg: 2.60 3.16 3.37 5/541 2562
/proc/meminfo: memFree=25902072/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10568744 CPUtime=7.68 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 98554 0 1 0 756 12 0 0 25 0 22 0 909819279 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2642186 94062 2242 9 0 2632920 0
[pid=2513/tid=2518] ppid=2511 vsize=10568744 CPUtime=0.88 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 2480 0 -1 4202560 53633 0 1 0 82 6 0 0 15 0 22 0 909819280 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 2480 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2538] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2538/stat : 2538 (java) S 2511 2513 2480 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 909819282 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 0 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2540] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2540/stat : 2540 (java) S 2511 2513 2480 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 909819283 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2541] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2541/stat : 2541 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909819283 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2544] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2544/stat : 2544 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 909819285 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379370417 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2545] ppid=2511 vsize=10568744 CPUtime=1.25 cores=0,2,4,6
/proc/2513/task/2545/stat : 2545 (java) S 2511 2513 2480 0 -1 4202560 5235 0 0 0 124 1 0 0 15 0 22 0 909819285 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2546] ppid=2511 vsize=10568744 CPUtime=1.18 cores=0,2,4,6
/proc/2513/task/2546/stat : 2546 (java) S 2511 2513 2480 0 -1 4202560 9398 0 0 0 117 1 0 0 15 0 22 0 909819285 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2548] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2548/stat : 2548 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909819285 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2550] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2550/stat : 2550 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909819285 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2559] ppid=2511 vsize=10568744 CPUtime=2.18 cores=0,2,4,6
/proc/2513/task/2559/stat : 2559 (java) R 2511 2513 2480 0 -1 4202560 820 0 0 0 218 0 0 0 25 0 22 0 909819370 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506252114 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2513/tid=2560] ppid=2511 vsize=10568744 CPUtime=2.15 cores=0,2,4,6
/proc/2513/task/2560/stat : 2560 (java) R 2511 2513 2480 0 -1 4202560 28300 0 0 0 213 2 0 0 25 0 22 0 909819370 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506341974 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2513/tid=2561] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2561/stat : 2561 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909819374 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2562] ppid=2511 vsize=10568744 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2562/stat : 2562 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909819374 10822393856 94062 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.68
Current children cumulated vsize (KiB) 10568744
[startup+6.30165 s]
/proc/loadavg: 2.60 3.16 3.37 5/541 2562
/proc/meminfo: memFree=25471436/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10565404 CPUtime=14.11 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 158615 0 1 0 1392 19 0 0 25 0 22 0 909819279 10818973696 153403 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2641351 153404 2243 9 0 2632085 0
[pid=2513/tid=2518] ppid=2511 vsize=10565404 CPUtime=0.88 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 2480 0 -1 4202560 53633 0 1 0 82 6 0 0 15 0 22 0 909819280 10818973696 153404 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909819281 10818973696 153404 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10818973696 153405 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10818973696 153405 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10818973696 153405 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10818973696 153405 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10818973696 153405 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 2480 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 909819281 10818973696 153405 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909819281 10818973696 153405 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=19039644/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10565404 CPUtime=1643.91 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 927868 0 1 0 164276 115 0 0 25 0 22 0 909819279 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2641351 922329 2270 9 0 2632085 0
[pid=2513/tid=2518] ppid=2511 vsize=10565404 CPUtime=0.88 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 2480 0 -1 4202560 53637 0 1 0 82 6 0 0 15 0 22 0 909819280 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=10565404 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 2480 0 -1 4202560 16462 0 0 0 19 2 0 0 15 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=10565404 CPUtime=0.23 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 2480 0 -1 4202560 12516 0 0 0 21 2 0 0 16 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=10565404 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 2480 0 -1 4202560 21869 0 0 0 17 4 0 0 16 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=10565404 CPUtime=0.26 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 2480 0 -1 4202560 31089 0 0 0 21 5 0 0 16 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=10565404 CPUtime=0.19 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 2480 0 -1 4202560 9565 0 0 0 18 1 0 0 15 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=10565404 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 2480 0 -1 4202560 11007 0 0 0 19 2 0 0 15 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=10565404 CPUtime=0.26 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 2480 0 -1 4202560 25114 0 0 0 22 4 0 0 15 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=10565404 CPUtime=0.16 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 2480 0 -1 4202560 12687 0 0 0 14 2 0 0 15 0 22 0 909819281 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2538] ppid=2511 vsize=10565404 CPUtime=3.26 cores=0,2,4,6
/proc/2513/task/2538/stat : 2538 (java) S 2511 2513 2480 0 -1 4202560 216986 0 0 0 302 24 0 0 15 0 22 0 909819282 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 0 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2540] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2540/stat : 2540 (java) S 2511 2513 2480 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909819283 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2541] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2541/stat : 2541 (java) S 2511 2513 2480 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909819283 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2544] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2544/stat : 2544 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 909819285 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379370417 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2545] ppid=2511 vsize=10565404 CPUtime=1.41 cores=0,2,4,6
/proc/2513/task/2545/stat : 2545 (java) S 2511 2513 2480 0 -1 4202560 5255 0 0 0 139 2 0 0 15 0 22 0 909819285 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2546] ppid=2511 vsize=10565404 CPUtime=1.29 cores=0,2,4,6
/proc/2513/task/2546/stat : 2546 (java) S 2511 2513 2480 0 -1 4202560 9411 0 0 0 128 1 0 0 15 0 22 0 909819285 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2548] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2548/stat : 2548 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909819285 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2550] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2550/stat : 2550 (java) S 2511 2513 2480 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 909819285 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2559] ppid=2511 vsize=10565404 CPUtime=817.6 cores=0,2,4,6
/proc/2513/task/2559/stat : 2559 (java) R 2511 2513 2480 0 -1 4202560 10983 0 0 0 81757 3 0 0 25 0 22 0 909819370 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506514187 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2513/tid=2560] ppid=2511 vsize=10565404 CPUtime=817.61 cores=0,2,4,6
/proc/2513/task/2560/stat : 2560 (java) R 2511 2513 2480 0 -1 4202560 490083 0 0 0 81709 52 0 0 25 0 22 0 909819370 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506442847 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2513/tid=2561] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2561/stat : 2561 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909819374 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2562] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2562/stat : 2562 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909819374 10818973696 922329 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1643.91
Current children cumulated vsize (KiB) 10565404
[startup+882.302 s]
/proc/loadavg: 3.94 3.91 3.72 5/541 2594
/proc/meminfo: memFree=18787516/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10565404 CPUtime=1763.71 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 990016 0 1 0 176250 121 0 0 25 0 22 0 909819279 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2641351 984470 2270 9 0 2632085 0
[pid=2513/tid=2518] ppid=2511 vsize=10565404 CPUtime=0.88 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 2480 0 -1 4202560 53637 0 1 0 82 6 0 0 15 0 22 0 909819280 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=10565404 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 2480 0 -1 4202560 16462 0 0 0 19 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=10565404 CPUtime=0.23 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 2480 0 -1 4202560 12516 0 0 0 21 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=10565404 CPUtime=0.28 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 2480 0 -1 4202560 21882 0 0 0 24 4 0 0 16 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=10565404 CPUtime=0.33 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 2480 0 -1 4202560 31089 0 0 0 28 5 0 0 16 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=10565404 CPUtime=0.26 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 2480 0 -1 4202560 9568 0 0 0 25 1 0 0 16 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=10565404 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 2480 0 -1 4202560 11007 0 0 0 19 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=10565404 CPUtime=0.26 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 2480 0 -1 4202560 25114 0 0 0 22 4 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=10565404 CPUtime=0.16 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 2480 0 -1 4202560 12687 0 0 0 14 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2538] ppid=2511 vsize=10565404 CPUtime=3.54 cores=0,2,4,6
/proc/2513/task/2538/stat : 2538 (java) S 2511 2513 2480 0 -1 4202560 279113 0 0 0 324 30 0 0 15 0 22 0 909819282 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 0 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2540] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2540/stat : 2540 (java) S 2511 2513 2480 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909819283 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2541] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2541/stat : 2541 (java) S 2511 2513 2480 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909819283 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2544] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2544/stat : 2544 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379370417 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2545] ppid=2511 vsize=10565404 CPUtime=1.41 cores=0,2,4,6
/proc/2513/task/2545/stat : 2545 (java) S 2511 2513 2480 0 -1 4202560 5255 0 0 0 139 2 0 0 15 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2546] ppid=2511 vsize=10565404 CPUtime=1.29 cores=0,2,4,6
/proc/2513/task/2546/stat : 2546 (java) S 2511 2513 2480 0 -1 4202560 9411 0 0 0 128 1 0 0 15 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2548] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2548/stat : 2548 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2550] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2550/stat : 2550 (java) S 2511 2513 2480 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2559] ppid=2511 vsize=10565404 CPUtime=877.26 cores=0,2,4,6
/proc/2513/task/2559/stat : 2559 (java) R 2511 2513 2480 0 -1 4202560 10984 0 0 0 87723 3 0 0 25 0 22 0 909819370 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506381607 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2513/tid=2560] ppid=2511 vsize=10565404 CPUtime=877.27 cores=0,2,4,6
/proc/2513/task/2560/stat : 2560 (java) R 2511 2513 2480 0 -1 4202560 490083 0 0 0 87675 52 0 0 25 0 22 0 909819370 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506442832 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2513/tid=2561] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2561/stat : 2561 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909819374 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2562] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2562/stat : 2562 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909819374 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1763.71
Current children cumulated vsize (KiB) 10565404
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.501 s]
/proc/loadavg: 3.96 3.92 3.73 5/541 2595
/proc/meminfo: memFree=18786764/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=10565404 CPUtime=1800.12 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 2480 0 -1 4202496 990016 0 1 0 179891 121 0 0 25 0 22 0 909819279 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 2641351 984470 2270 9 0 2632085 0
[pid=2513/tid=2518] ppid=2511 vsize=10565404 CPUtime=0.88 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 2480 0 -1 4202560 53637 0 1 0 82 6 0 0 15 0 22 0 909819280 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=10565404 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 2480 0 -1 4202560 16462 0 0 0 19 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=10565404 CPUtime=0.23 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 2480 0 -1 4202560 12516 0 0 0 21 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=10565404 CPUtime=0.28 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 2480 0 -1 4202560 21882 0 0 0 24 4 0 0 16 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=10565404 CPUtime=0.33 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 2480 0 -1 4202560 31089 0 0 0 28 5 0 0 16 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=10565404 CPUtime=0.26 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 2480 0 -1 4202560 9568 0 0 0 25 1 0 0 16 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=10565404 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 2480 0 -1 4202560 11007 0 0 0 19 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=10565404 CPUtime=0.26 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 2480 0 -1 4202560 25114 0 0 0 22 4 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=10565404 CPUtime=0.16 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 2480 0 -1 4202560 12687 0 0 0 14 2 0 0 15 0 22 0 909819281 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2538] ppid=2511 vsize=10565404 CPUtime=3.54 cores=0,2,4,6
/proc/2513/task/2538/stat : 2538 (java) S 2511 2513 2480 0 -1 4202560 279113 0 0 0 324 30 0 0 15 0 22 0 909819282 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 0 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2540] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2540/stat : 2540 (java) S 2511 2513 2480 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909819283 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2541] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2541/stat : 2541 (java) S 2511 2513 2480 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909819283 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2544] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2544/stat : 2544 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379370417 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2545] ppid=2511 vsize=10565404 CPUtime=1.41 cores=0,2,4,6
/proc/2513/task/2545/stat : 2545 (java) S 2511 2513 2480 0 -1 4202560 5255 0 0 0 139 2 0 0 15 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 2 0 0 0
[pid=2513/tid=2546] ppid=2511 vsize=10565404 CPUtime=1.29 cores=0,2,4,6
/proc/2513/task/2546/stat : 2546 (java) S 2511 2513 2480 0 -1 4202560 9411 0 0 0 128 1 0 0 15 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 0 0 0 0
[pid=2513/tid=2548] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2548/stat : 2548 (java) S 2511 2513 2480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379362713 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2550] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2550/stat : 2550 (java) S 2511 2513 2480 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909819285 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2559] ppid=2511 vsize=10565404 CPUtime=895.48 cores=0,2,4,6
/proc/2513/task/2559/stat : 2559 (java) R 2511 2513 2480 0 -1 4202560 10984 0 0 0 89545 3 0 0 25 0 22 0 909819370 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506514231 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2513/tid=2560] ppid=2511 vsize=10565404 CPUtime=895.49 cores=0,2,4,6
/proc/2513/task/2560/stat : 2560 (java) R 2511 2513 2480 0 -1 4202560 490083 0 0 0 89497 52 0 0 25 0 22 0 909819370 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 46912506442907 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2513/tid=2561] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2561/stat : 2561 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909819374 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 4 0 0 0
[pid=2513/tid=2562] ppid=2511 vsize=10565404 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2562/stat : 2562 (java) S 2511 2513 2480 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909819374 10818973696 984470 33554432000 1073741824 1073778376 140736836023168 18446744073709551615 251379363328 0 4 0 16800975 18446604444373227392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10565404
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.626 s]
/proc/loadavg: 3.96 3.92 3.73 5/541 2595
/proc/meminfo: memFree=18786764/32950928 swapFree=34421304/67111528
[pid=2513] ppid=2511 vsize=0 CPUtime=1800.33 cores=0,2,4,6
/proc/2513/stat : 2513 (java) Z 2511 2513 2480 0 -1 4203548 990050 0 1 0 179904 129 0 0 17 0 2 0 909819279 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2513/statm: 0 0 0 0 0 0 0
[pid=2513/tid=2560] ppid=2511 vsize=0 CPUtime=895.59 cores=0,2,4,6
/proc/2513/task/2560/stat : 2560 (java) R 2511 2513 2480 0 -1 4203588 490083 0 0 0 89500 59 0 0 25 0 2 0 909819370 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 900.701
CPU time (s): 1800.41
CPU user time (s): 1799.04
CPU system time (s): 1.36679
CPU usage (%): 199.89
Max. virtual memory (cumulated for all children) (KiB): 10568744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.36679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 990050
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= 21252
involuntary context switches= 19660
runsolver used 4.93625 second user time and 10.6354 second system time
The end