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-3453555-1307196153/watcher-3453555-1307196153 -o /tmp/evaluation-result-3453555-1307196153/solver-3453555-1307196153 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453555-1307196153.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.80 3.19 3/542 2607
/proc/meminfo: memFree=20785764/32951124 swapFree=58800704/67111528
[pid=2607] ppid=2605 vsize=24004 CPUtime=0 cores=1,3,5,7
/proc/2607/stat : 2607 (java) S 2605 2607 30263 0 -1 4202496 1127 0 0 0 0 0 0 0 21 0 2 0 812030761 24580096 864 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107253733 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/2607/statm: 6001 864 652 9 0 381 0
[pid=2607/tid=2608] ppid=2605 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2608/stat : 2608 (java) R 2605 2607 30263 0 -1 4202560 7384 0 1 0 0 0 0 0 22 0 2 0 812030762 10694979584 8201 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0652081 s]
/proc/loadavg: 2.16 2.80 3.19 3/542 2607
/proc/meminfo: memFree=20785764/32951124 swapFree=58800704/67111528
[pid=2607] ppid=2605 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/2607/stat : 2607 (java) S 2605 2607 30263 0 -1 4202496 11744 0 1 0 4 1 0 0 21 0 18 0 812030761 10724302848 11440 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2607/statm: 2618238 11440 1741 9 0 2608972 0
[pid=2607/tid=2608] ppid=2605 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/2607/task/2608/stat : 2608 (java) R 2605 2607 30263 0 -1 4202560 10569 0 1 0 4 1 0 0 22 0 18 0 812030762 10724302848 11441 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 47507586395235 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.105222 s]
/proc/loadavg: 2.16 2.80 3.19 3/542 2607
/proc/meminfo: memFree=20785764/32951124 swapFree=58800704/67111528
[pid=2607] ppid=2605 vsize=10540332 CPUtime=0.1 cores=1,3,5,7
/proc/2607/stat : 2607 (java) S 2605 2607 30263 0 -1 4202496 13126 0 1 0 9 1 0 0 21 0 18 0 812030761 10793299968 12822 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2607/statm: 2635083 12822 2093 9 0 2625817 0
[pid=2607/tid=2608] ppid=2605 vsize=10540332 CPUtime=0.09 cores=1,3,5,7
/proc/2607/task/2608/stat : 2608 (java) R 2605 2607 30263 0 -1 4202560 11234 0 1 0 8 1 0 0 22 0 18 0 812030762 10793299968 12822 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540332
[startup+0.301127 s]
/proc/loadavg: 2.16 2.80 3.19 3/542 2607
/proc/meminfo: memFree=20785764/32951124 swapFree=58800704/67111528
[pid=2607] ppid=2605 vsize=10542600 CPUtime=0.48 cores=1,3,5,7
/proc/2607/stat : 2607 (java) S 2605 2607 30263 0 -1 4202496 15988 0 1 0 46 2 0 0 21 0 18 0 812030761 10795622400 15414 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2607/statm: 2635650 15414 2200 9 0 2626384 0
[pid=2607/tid=2608] ppid=2605 vsize=10542600 CPUtime=0.28 cores=1,3,5,7
/proc/2607/task/2608/stat : 2608 (java) R 2605 2607 30263 0 -1 4202560 13070 0 1 0 27 1 0 0 22 0 18 0 812030762 10795622400 15414 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 46912505211293 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542600
[startup+0.701055 s]
/proc/loadavg: 2.16 2.80 3.19 3/542 2607
/proc/meminfo: memFree=20785764/32951124 swapFree=58800704/67111528
[pid=2607] ppid=2605 vsize=10548112 CPUtime=1.16 cores=1,3,5,7
/proc/2607/stat : 2607 (java) S 2605 2607 30263 0 -1 4202496 54345 0 1 0 110 6 0 0 21 0 18 0 812030761 10801266688 52686 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2607/statm: 2637028 52686 2214 9 0 2627762 0
[pid=2607/tid=2608] ppid=2605 vsize=10548112 CPUtime=0.68 cores=1,3,5,7
/proc/2607/task/2608/stat : 2608 (java) R 2605 2607 30263 0 -1 4202560 48820 0 1 0 63 5 0 0 24 0 18 0 812030762 10801266688 52686 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 46912505740079 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10548112
[startup+1.50096 s]
/proc/loadavg: 2.16 2.80 3.19 2/537 2633
/proc/meminfo: memFree=21297560/32951124 swapFree=58800704/67111528
[pid=2607] ppid=2605 vsize=10552116 CPUtime=1.83 cores=1,3,5,7
/proc/2607/stat : 2607 (java) S 2605 2607 30263 0 -1 4202496 62549 0 1 0 175 8 0 0 21 0 19 0 812030761 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2607/statm: 2638029 59639 2241 9 0 2628763 0
[pid=2607/tid=2608] ppid=2605 vsize=10552116 CPUtime=0.73 cores=1,3,5,7
/proc/2607/task/2608/stat : 2608 (java) S 2605 2607 30263 0 -1 4202560 53871 0 1 0 67 6 0 0 21 0 19 0 812030762 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 1 0 0 0
[pid=2607/tid=2610] ppid=2605 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2610/stat : 2610 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 812030763 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2611] ppid=2605 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2611/stat : 2611 (java) S 2605 2607 30263 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 812030763 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2612] ppid=2605 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2612/stat : 2612 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812030763 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2613] ppid=2605 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2613/stat : 2613 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812030763 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2614] ppid=2605 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2614/stat : 2614 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812030763 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2615] ppid=2605 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2615/stat : 2615 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812030763 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2616] ppid=2605 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2616/stat : 2616 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812030763 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2617] ppid=2605 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2617/stat : 2617 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812030763 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2618] ppid=2605 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2618/stat : 2618 (java) S 2605 2607 30263 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 812030764 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 0 0 16800975 18446604467082459008 0 0 -1 1 0 0 0
[pid=2607/tid=2619] ppid=2605 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2619/stat : 2619 (java) S 2605 2607 30263 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 812030765 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2620] ppid=2605 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2620/stat : 2620 (java) S 2605 2607 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 812030765 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2621] ppid=2605 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2621/stat : 2621 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 812030767 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107274673 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2622] ppid=2605 vsize=10552116 CPUtime=0.43 cores=1,3,5,7
/proc/2607/task/2622/stat : 2622 (java) S 2605 2607 30263 0 -1 4202560 3013 0 0 0 43 0 0 0 16 0 19 0 812030767 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2623] ppid=2605 vsize=10552116 CPUtime=0.44 cores=1,3,5,7
/proc/2607/task/2623/stat : 2623 (java) S 2605 2607 30263 0 -1 4202560 3701 0 0 0 44 0 0 0 16 0 19 0 812030767 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2624] ppid=2605 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2624/stat : 2624 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 812030767 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2625] ppid=2605 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2625/stat : 2625 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 812030767 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2632] ppid=2605 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2632/stat : 2632 (java) S 2605 2607 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 812030837 10805366784 59639 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 10552116
[startup+3.10162 s]
/proc/loadavg: 2.16 2.80 3.19 6/560 2680
/proc/meminfo: memFree=21024780/32951124 swapFree=58800704/67111528
[pid=2607] ppid=2605 vsize=10563820 CPUtime=5.51 cores=1,3,5,7
/proc/2607/stat : 2607 (java) S 2605 2607 30263 0 -1 4202496 121286 0 1 0 536 15 0 0 21 0 22 0 812030761 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2607/statm: 2640955 116748 2270 9 0 2631689 0
[pid=2607/tid=2608] ppid=2605 vsize=10563820 CPUtime=0.74 cores=1,3,5,7
/proc/2607/task/2608/stat : 2608 (java) S 2605 2607 30263 0 -1 4202560 53885 0 1 0 68 6 0 0 15 0 22 0 812030762 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2610] ppid=2605 vsize=10563820 CPUtime=0.01 cores=1,3,5,7
/proc/2607/task/2610/stat : 2610 (java) S 2605 2607 30263 0 -1 4202560 1083 0 0 0 1 0 0 0 15 0 22 0 812030763 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2611] ppid=2605 vsize=10563820 CPUtime=0.01 cores=1,3,5,7
/proc/2607/task/2611/stat : 2611 (java) S 2605 2607 30263 0 -1 4202560 1199 0 0 0 1 0 0 0 15 0 22 0 812030763 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2612] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2612/stat : 2612 (java) S 2605 2607 30263 0 -1 4202560 270 0 0 0 0 0 0 0 16 0 22 0 812030763 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2613] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2613/stat : 2613 (java) S 2605 2607 30263 0 -1 4202560 212 0 0 0 0 0 0 0 16 0 22 0 812030763 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2614] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2614/stat : 2614 (java) S 2605 2607 30263 0 -1 4202560 116 0 0 0 0 0 0 0 16 0 22 0 812030763 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2615] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2615/stat : 2615 (java) S 2605 2607 30263 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 812030763 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2616] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2616/stat : 2616 (java) S 2605 2607 30263 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 22 0 812030763 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2617] ppid=2605 vsize=10563820 CPUtime=0.01 cores=1,3,5,7
/proc/2607/task/2617/stat : 2617 (java) S 2605 2607 30263 0 -1 4202560 1415 0 0 0 1 0 0 0 16 0 22 0 812030763 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2618] ppid=2605 vsize=10563820 CPUtime=0.09 cores=1,3,5,7
/proc/2607/task/2618/stat : 2618 (java) S 2605 2607 30263 0 -1 4202560 4171 0 0 0 9 0 0 0 16 0 22 0 812030764 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 0 0 16800975 18446604467082459008 0 0 -1 1 0 0 0
[pid=2607/tid=2619] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2619/stat : 2619 (java) S 2605 2607 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812030765 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2620] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2620/stat : 2620 (java) S 2605 2607 30263 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812030765 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2621] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2621/stat : 2621 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 812030767 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107274673 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2622] ppid=2605 vsize=10563820 CPUtime=1.02 cores=1,3,5,7
/proc/2607/task/2622/stat : 2622 (java) S 2605 2607 30263 0 -1 4202560 5895 0 0 0 102 0 0 0 15 0 22 0 812030767 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2623] ppid=2605 vsize=10563820 CPUtime=0.95 cores=1,3,5,7
/proc/2607/task/2623/stat : 2623 (java) S 2605 2607 30263 0 -1 4202560 6949 0 0 0 95 0 0 0 16 0 22 0 812030767 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2624] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2624/stat : 2624 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 812030767 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2625] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2625/stat : 2625 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812030767 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2632] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2632/stat : 2632 (java) S 2605 2607 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812030837 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2678] ppid=2605 vsize=10563820 CPUtime=1.2 cores=1,3,5,7
/proc/2607/task/2678/stat : 2678 (java) R 2605 2607 30263 0 -1 4202560 308 0 0 0 120 0 0 0 18 0 22 0 812030938 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 46912505835193 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2607/tid=2679] ppid=2605 vsize=10563820 CPUtime=1.18 cores=1,3,5,7
/proc/2607/task/2679/stat : 2679 (java) R 2605 2607 30263 0 -1 4202560 43793 0 0 0 113 5 0 0 19 0 22 0 812030938 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 46912505989632 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2607/tid=2680] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2680/stat : 2680 (java) S 2605 2607 30263 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 812030938 10817351680 116748 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 10563820
[startup+6.30106 s]
/proc/loadavg: 2.15 2.79 3.18 3/561 2702
/proc/meminfo: memFree=20700760/32951124 swapFree=58800704/67111528
[pid=2607] ppid=2605 vsize=10563820 CPUtime=11.74 cores=1,3,5,7
/proc/2607/stat : 2607 (java) S 2605 2607 30263 0 -1 4202496 163412 0 1 0 1154 20 0 0 21 0 22 0 812030761 10817351680 158837 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2607/statm: 2640955 158837 2270 9 0 2631689 0
[pid=2607/tid=2608] ppid=2605 vsize=10563820 CPUtime=0.74 cores=1,3,5,7
/proc/2607/task/2608/stat : 2608 (java) S 2605 2607 30263 0 -1 4202560 53886 0 1 0 68 6 0 0 15 0 22 0 812030762 10817351680 158837 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2610] ppid=2605 vsize=10563820 CPUtime=0.02 cores=1,3,5,7
/proc/2607/task/2610/stat : 2610 (java) S 2605 2607 30263 0 -1 4202560 1088 0 0 0 2 0 0 0 16 0 22 0 812030763 10817351680 158837 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2611] ppid=2605 vsize=10563820 CPUtime=0.02 cores=1,3,5,7
/proc/2607/task/2611/stat : 2611 (java) S 2605 2607 30263 0 -1 4202560 1205 0 0 0 2 0 0 0 15 0 22 0 812030763 10817351680 158837 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2612] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2612/stat : 2612 (java) S 2605 2607 30263 0 -1 4202560 271 0 0 0 0 0 0 0 16 0 22 0 812030763 10817351680 158837 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2613] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2613/stat : 2613 (java) S 2605 2607 30263 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 22 0 812030763 10817351680 158837 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2614] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2614/stat : 2614 (java) S 2605 2607 30263 0 -1 4202560 120 0 0 0 0 0 0 0 15 0 22 0 812030763 10817351680 158837 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2615] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2615/stat : 2615 (java) S 2605 2607 30263 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 812030763 10817351680 158837 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2616] ppid=2605 vsize=10563820 CPUtime=0.01 cores=1,3,5,7
/proc/2607/task/2616/stat : 2616 (java) S 2605 2607 30263 0 -1 4202560 45 0 0 0 1 0 0 0 16 0 22 0 812030763 10817351680 158837 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2617] ppid=2605 vsize=10563820 CPUtime=0.01 cores=1,3,5,7
/proc/2607/task/2617/stat : 2617 (java) S 2605 2607 30263 0 -1 4202560 1415 0 0 0 1 0 0 0 15 0 22 0 812030763 10817351680 158837 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2618] ppid=2605 vsize=10563820 CPUtime=0.37 cores=1,3,5,7
/proc/2607/task/2618/stat : 2618 (java) S 2605 2607 30263 0 -1 4202560 6462 0 0 0 37 0 0 0 15 0 22 0 812030764 10817351680 158837 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 0 0 16800975 18446604467082459008 0 0 -1 1 0 0 0
[pid=2607/tid=2619] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2619/stat : 2619 (java) S 2605 2607 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812030765 10817351680 158837 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2620] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2620/stat : 2620 (java) S 2605 2607 30263 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812030765 10817351680 158837 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/2607/task/2761/stat : 2761 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 812032877 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1679.32
Current children cumulated vsize (KiB) 10563820
[startup+1722.3 s]
/proc/loadavg: 1.06 1.20 1.92 2/536 3137
/proc/meminfo: memFree=17566672/32951124 swapFree=58800704/67111528
[pid=2607] ppid=2605 vsize=10563820 CPUtime=1739.32 cores=1,3,5,7
/proc/2607/stat : 2607 (java) S 2605 2607 30263 0 -1 4202496 1001986 0 1 0 173811 121 0 0 21 0 21 0 812030761 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2607/statm: 2640955 989106 2270 9 0 2631689 0
[pid=2607/tid=2608] ppid=2605 vsize=10563820 CPUtime=0.74 cores=1,3,5,7
/proc/2607/task/2608/stat : 2608 (java) S 2605 2607 30263 0 -1 4202560 53899 0 1 0 68 6 0 0 15 0 21 0 812030762 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2610] ppid=2605 vsize=10563820 CPUtime=0.34 cores=1,3,5,7
/proc/2607/task/2610/stat : 2610 (java) S 2605 2607 30263 0 -1 4202560 19621 0 0 0 32 2 0 0 15 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2611] ppid=2605 vsize=10563820 CPUtime=0.34 cores=1,3,5,7
/proc/2607/task/2611/stat : 2611 (java) S 2605 2607 30263 0 -1 4202560 17747 0 0 0 32 2 0 0 16 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2612] ppid=2605 vsize=10563820 CPUtime=0.32 cores=1,3,5,7
/proc/2607/task/2612/stat : 2612 (java) S 2605 2607 30263 0 -1 4202560 17980 0 0 0 30 2 0 0 15 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2613] ppid=2605 vsize=10563820 CPUtime=0.35 cores=1,3,5,7
/proc/2607/task/2613/stat : 2613 (java) S 2605 2607 30263 0 -1 4202560 20531 0 0 0 32 3 0 0 15 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2614] ppid=2605 vsize=10563820 CPUtime=0.35 cores=1,3,5,7
/proc/2607/task/2614/stat : 2614 (java) S 2605 2607 30263 0 -1 4202560 17843 0 0 0 33 2 0 0 15 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2615] ppid=2605 vsize=10563820 CPUtime=0.37 cores=1,3,5,7
/proc/2607/task/2615/stat : 2615 (java) S 2605 2607 30263 0 -1 4202560 20817 0 0 0 34 3 0 0 15 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2616] ppid=2605 vsize=10563820 CPUtime=0.32 cores=1,3,5,7
/proc/2607/task/2616/stat : 2616 (java) S 2605 2607 30263 0 -1 4202560 13680 0 0 0 30 2 0 0 16 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2617] ppid=2605 vsize=10563820 CPUtime=0.39 cores=1,3,5,7
/proc/2607/task/2617/stat : 2617 (java) S 2605 2607 30263 0 -1 4202560 21253 0 0 0 37 2 0 0 16 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2618] ppid=2605 vsize=10563820 CPUtime=1.93 cores=1,3,5,7
/proc/2607/task/2618/stat : 2618 (java) S 2605 2607 30263 0 -1 4202560 14402 0 0 0 190 3 0 0 15 0 21 0 812030764 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 0 0 16800975 18446604467082459008 0 0 -1 1 0 0 0
[pid=2607/tid=2619] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2619/stat : 2619 (java) S 2605 2607 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 21 0 812030765 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2620] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2620/stat : 2620 (java) S 2605 2607 30263 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 21 0 812030765 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 1 0 0 0
[pid=2607/tid=2621] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2621/stat : 2621 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 812030767 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107274673 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2622] ppid=2605 vsize=10563820 CPUtime=1.33 cores=1,3,5,7
/proc/2607/task/2622/stat : 2622 (java) S 2605 2607 30263 0 -1 4202560 5959 0 0 0 133 0 0 0 15 0 21 0 812030767 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2623] ppid=2605 vsize=10563820 CPUtime=1.19 cores=1,3,5,7
/proc/2607/task/2623/stat : 2623 (java) S 2605 2607 30263 0 -1 4202560 7643 0 0 0 118 1 0 0 15 0 21 0 812030767 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2624] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2624/stat : 2624 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 21 0 812030767 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2625] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2625/stat : 2625 (java) S 2605 2607 30263 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 21 0 812030767 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2632] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2632/stat : 2632 (java) S 2605 2607 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 812030837 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2760] ppid=2605 vsize=10563820 CPUtime=1700.18 cores=1,3,5,7
/proc/2607/task/2760/stat : 2760 (java) R 2605 2607 30263 0 -1 4202560 666784 0 0 0 169943 75 0 0 25 0 21 0 812032876 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 46912505717640 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2607/tid=2761] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2761/stat : 2761 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 812032877 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1739.32
Current children cumulated vsize (KiB) 10563820
[startup+1782.3 s]
/proc/loadavg: 1.02 1.16 1.86 2/536 3138
/proc/meminfo: memFree=17566164/32951124 swapFree=58800704/67111528
[pid=2607] ppid=2605 vsize=10563820 CPUtime=1799.32 cores=1,3,5,7
/proc/2607/stat : 2607 (java) S 2605 2607 30263 0 -1 4202496 1001990 0 1 0 179811 121 0 0 21 0 21 0 812030761 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2607/statm: 2640955 989106 2270 9 0 2631689 0
[pid=2607/tid=2608] ppid=2605 vsize=10563820 CPUtime=0.74 cores=1,3,5,7
/proc/2607/task/2608/stat : 2608 (java) S 2605 2607 30263 0 -1 4202560 53899 0 1 0 68 6 0 0 15 0 21 0 812030762 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2610] ppid=2605 vsize=10563820 CPUtime=0.34 cores=1,3,5,7
/proc/2607/task/2610/stat : 2610 (java) S 2605 2607 30263 0 -1 4202560 19621 0 0 0 32 2 0 0 15 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2611] ppid=2605 vsize=10563820 CPUtime=0.34 cores=1,3,5,7
/proc/2607/task/2611/stat : 2611 (java) S 2605 2607 30263 0 -1 4202560 17747 0 0 0 32 2 0 0 16 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2612] ppid=2605 vsize=10563820 CPUtime=0.32 cores=1,3,5,7
/proc/2607/task/2612/stat : 2612 (java) S 2605 2607 30263 0 -1 4202560 17980 0 0 0 30 2 0 0 15 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2613] ppid=2605 vsize=10563820 CPUtime=0.35 cores=1,3,5,7
/proc/2607/task/2613/stat : 2613 (java) S 2605 2607 30263 0 -1 4202560 20531 0 0 0 32 3 0 0 15 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2614] ppid=2605 vsize=10563820 CPUtime=0.35 cores=1,3,5,7
/proc/2607/task/2614/stat : 2614 (java) S 2605 2607 30263 0 -1 4202560 17843 0 0 0 33 2 0 0 15 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2615] ppid=2605 vsize=10563820 CPUtime=0.37 cores=1,3,5,7
/proc/2607/task/2615/stat : 2615 (java) S 2605 2607 30263 0 -1 4202560 20817 0 0 0 34 3 0 0 15 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2616] ppid=2605 vsize=10563820 CPUtime=0.32 cores=1,3,5,7
/proc/2607/task/2616/stat : 2616 (java) S 2605 2607 30263 0 -1 4202560 13680 0 0 0 30 2 0 0 16 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2617] ppid=2605 vsize=10563820 CPUtime=0.39 cores=1,3,5,7
/proc/2607/task/2617/stat : 2617 (java) S 2605 2607 30263 0 -1 4202560 21253 0 0 0 37 2 0 0 16 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2618] ppid=2605 vsize=10563820 CPUtime=1.93 cores=1,3,5,7
/proc/2607/task/2618/stat : 2618 (java) S 2605 2607 30263 0 -1 4202560 14402 0 0 0 190 3 0 0 15 0 21 0 812030764 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 0 0 16800975 18446604467082459008 0 0 -1 1 0 0 0
[pid=2607/tid=2619] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2619/stat : 2619 (java) S 2605 2607 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 21 0 812030765 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2620] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2620/stat : 2620 (java) S 2605 2607 30263 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 21 0 812030765 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 1 0 0 0
[pid=2607/tid=2621] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2621/stat : 2621 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 812030767 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107274673 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2622] ppid=2605 vsize=10563820 CPUtime=1.33 cores=1,3,5,7
/proc/2607/task/2622/stat : 2622 (java) S 2605 2607 30263 0 -1 4202560 5959 0 0 0 133 0 0 0 15 0 21 0 812030767 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2623] ppid=2605 vsize=10563820 CPUtime=1.19 cores=1,3,5,7
/proc/2607/task/2623/stat : 2623 (java) S 2605 2607 30263 0 -1 4202560 7643 0 0 0 118 1 0 0 15 0 21 0 812030767 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2624] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2624/stat : 2624 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 21 0 812030767 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2625] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2625/stat : 2625 (java) S 2605 2607 30263 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 21 0 812030767 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2632] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2632/stat : 2632 (java) S 2605 2607 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 812030837 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2760] ppid=2605 vsize=10563820 CPUtime=1760.18 cores=1,3,5,7
/proc/2607/task/2760/stat : 2760 (java) R 2605 2607 30263 0 -1 4202560 666784 0 0 0 175943 75 0 0 25 0 21 0 812032876 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 46912506433713 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2607/tid=2761] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2761/stat : 2761 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 812032877 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1799.32
Current children cumulated vsize (KiB) 10563820
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1783 s]
/proc/loadavg: 1.02 1.16 1.86 3/536 3138
/proc/meminfo: memFree=17566164/32951124 swapFree=58800704/67111528
[pid=2607] ppid=2605 vsize=10563820 CPUtime=1800.05 cores=1,3,5,7
/proc/2607/stat : 2607 (java) S 2605 2607 30263 0 -1 4202496 1001990 0 1 0 179884 121 0 0 21 0 21 0 812030761 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2607/statm: 2640955 989106 2270 9 0 2631689 0
[pid=2607/tid=2608] ppid=2605 vsize=10563820 CPUtime=0.74 cores=1,3,5,7
/proc/2607/task/2608/stat : 2608 (java) S 2605 2607 30263 0 -1 4202560 53899 0 1 0 68 6 0 0 15 0 21 0 812030762 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2610] ppid=2605 vsize=10563820 CPUtime=0.34 cores=1,3,5,7
/proc/2607/task/2610/stat : 2610 (java) S 2605 2607 30263 0 -1 4202560 19621 0 0 0 32 2 0 0 15 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2611] ppid=2605 vsize=10563820 CPUtime=0.34 cores=1,3,5,7
/proc/2607/task/2611/stat : 2611 (java) S 2605 2607 30263 0 -1 4202560 17747 0 0 0 32 2 0 0 16 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2612] ppid=2605 vsize=10563820 CPUtime=0.32 cores=1,3,5,7
/proc/2607/task/2612/stat : 2612 (java) S 2605 2607 30263 0 -1 4202560 17980 0 0 0 30 2 0 0 15 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2613] ppid=2605 vsize=10563820 CPUtime=0.35 cores=1,3,5,7
/proc/2607/task/2613/stat : 2613 (java) S 2605 2607 30263 0 -1 4202560 20531 0 0 0 32 3 0 0 15 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2614] ppid=2605 vsize=10563820 CPUtime=0.35 cores=1,3,5,7
/proc/2607/task/2614/stat : 2614 (java) S 2605 2607 30263 0 -1 4202560 17843 0 0 0 33 2 0 0 15 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2615] ppid=2605 vsize=10563820 CPUtime=0.37 cores=1,3,5,7
/proc/2607/task/2615/stat : 2615 (java) S 2605 2607 30263 0 -1 4202560 20817 0 0 0 34 3 0 0 15 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2616] ppid=2605 vsize=10563820 CPUtime=0.32 cores=1,3,5,7
/proc/2607/task/2616/stat : 2616 (java) S 2605 2607 30263 0 -1 4202560 13680 0 0 0 30 2 0 0 16 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2617] ppid=2605 vsize=10563820 CPUtime=0.39 cores=1,3,5,7
/proc/2607/task/2617/stat : 2617 (java) S 2605 2607 30263 0 -1 4202560 21253 0 0 0 37 2 0 0 16 0 21 0 812030763 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2618] ppid=2605 vsize=10563820 CPUtime=1.93 cores=1,3,5,7
/proc/2607/task/2618/stat : 2618 (java) S 2605 2607 30263 0 -1 4202560 14402 0 0 0 190 3 0 0 15 0 21 0 812030764 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 0 0 16800975 18446604467082459008 0 0 -1 1 0 0 0
[pid=2607/tid=2619] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2619/stat : 2619 (java) S 2605 2607 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 21 0 812030765 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2620] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2620/stat : 2620 (java) S 2605 2607 30263 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 21 0 812030765 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 1 0 0 0
[pid=2607/tid=2621] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2621/stat : 2621 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 812030767 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107274673 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2622] ppid=2605 vsize=10563820 CPUtime=1.33 cores=1,3,5,7
/proc/2607/task/2622/stat : 2622 (java) S 2605 2607 30263 0 -1 4202560 5959 0 0 0 133 0 0 0 15 0 21 0 812030767 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2623] ppid=2605 vsize=10563820 CPUtime=1.19 cores=1,3,5,7
/proc/2607/task/2623/stat : 2623 (java) S 2605 2607 30263 0 -1 4202560 7643 0 0 0 118 1 0 0 15 0 21 0 812030767 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2624] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2624/stat : 2624 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 21 0 812030767 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107266969 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
[pid=2607/tid=2625] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2625/stat : 2625 (java) S 2605 2607 30263 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 21 0 812030767 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 5 0 0 0
[pid=2607/tid=2632] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2632/stat : 2632 (java) S 2605 2607 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 812030837 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 7 0 0 0
[pid=2607/tid=2760] ppid=2605 vsize=10563820 CPUtime=1760.92 cores=1,3,5,7
/proc/2607/task/2760/stat : 2760 (java) R 2605 2607 30263 0 -1 4202560 666784 0 0 0 176017 75 0 0 25 0 21 0 812032876 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 46912506048286 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2607/tid=2761] ppid=2605 vsize=10563820 CPUtime=0 cores=1,3,5,7
/proc/2607/task/2761/stat : 2761 (java) S 2605 2607 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 812032877 10817351680 989106 33554432000 1073741824 1073778376 140736701599168 18446744073709551615 228107267584 0 4 0 16800975 18446604467082459008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10563820
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1783.2 s]
/proc/loadavg: 1.02 1.16 1.86 3/536 3138
/proc/meminfo: memFree=17566164/32951124 swapFree=58800704/67111528
[pid=2607] ppid=2605 vsize=0 CPUtime=1800.29 cores=1,3,5,7
/proc/2607/stat : 2607 (java) Z 2605 2607 30263 0 -1 4203548 1002012 0 1 0 179895 134 0 0 17 0 2 0 812030761 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2607/statm: 0 0 0 0 0 0 0
[pid=2607/tid=2617] ppid=2605 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/2607/task/2617/stat : 2617 (java) R 2605 2607 30263 0 -1 4203588 21253 0 0 0 37 11 0 0 15 0 2 0 812030763 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1783.26
CPU time (s): 1800.36
CPU user time (s): 1798.96
CPU system time (s): 1.40879
CPU usage (%): 100.959
Max. virtual memory (cumulated for all children) (KiB): 10563820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.40878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1002012
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= 73042
involuntary context switches= 42478
runsolver used 8.70368 second user time and 21.7727 second system time
The end