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-3454848-1307187273/watcher-3454848-1307187273 -o /tmp/evaluation-result-3454848-1307187273/solver-3454848-1307187273 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454848-1307187273.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.07 1.04 1.26 2/482 25950
/proc/meminfo: memFree=24793068/32950928 swapFree=61542356/67111528
[pid=25949] ppid=25946 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/25949/stat : 25949 (java) S 25946 25949 22562 0 -1 4202496 1613 0 1 0 0 0 0 0 20 0 2 0 908957941 10681323520 1316 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/25949/statm: 2607745 1328 906 9 0 2598901 0
[pid=25949/tid=25951] ppid=25946 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25951/stat : 25951 (java) R 25946 25949 22562 0 -1 4202560 5076 0 1 0 0 0 0 0 21 0 2 0 908957942 10694979584 5892 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0854209 s]
/proc/loadavg: 1.07 1.04 1.26 2/482 25950
/proc/meminfo: memFree=24793068/32950928 swapFree=61542356/67111528
[pid=25949] ppid=25946 vsize=10473488 CPUtime=0.07 cores=1,3,5,7
/proc/25949/stat : 25949 (java) S 25946 25949 22562 0 -1 4202496 12284 0 1 0 5 2 0 0 20 0 18 0 908957941 10724851712 11982 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25949/statm: 2618372 11982 1914 9 0 2609106 0
[pid=25949/tid=25951] ppid=25946 vsize=10473488 CPUtime=0.06 cores=1,3,5,7
/proc/25949/task/25951/stat : 25951 (java) R 25946 25949 22562 0 -1 4202560 10900 0 1 0 5 1 0 0 18 0 18 0 908957942 10724851712 11982 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 47904799135763 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473488
[startup+0.100371 s]
/proc/loadavg: 1.07 1.04 1.26 2/482 25950
/proc/meminfo: memFree=24793068/32950928 swapFree=61542356/67111528
[pid=25949] ppid=25946 vsize=10540404 CPUtime=0.1 cores=1,3,5,7
/proc/25949/stat : 25949 (java) S 25946 25949 22562 0 -1 4202496 13054 0 1 0 8 2 0 0 20 0 18 0 908957941 10793373696 12717 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25949/statm: 2635101 12717 2093 9 0 2625835 0
[pid=25949/tid=25951] ppid=25946 vsize=10540404 CPUtime=0.09 cores=1,3,5,7
/proc/25949/task/25951/stat : 25951 (java) R 25946 25949 22562 0 -1 4202560 11109 0 1 0 7 2 0 0 18 0 18 0 908957942 10793373696 12717 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 47904800549474 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540404
[startup+0.300323 s]
/proc/loadavg: 1.07 1.04 1.26 2/482 25950
/proc/meminfo: memFree=24793068/32950928 swapFree=61542356/67111528
[pid=25949] ppid=25946 vsize=10541344 CPUtime=0.47 cores=1,3,5,7
/proc/25949/stat : 25949 (java) S 25946 25949 22562 0 -1 4202496 15878 0 1 0 44 3 0 0 20 0 18 0 908957941 10794336256 15060 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25949/statm: 2635336 15061 2199 9 0 2626070 0
[pid=25949/tid=25951] ppid=25946 vsize=10541344 CPUtime=0.28 cores=1,3,5,7
/proc/25949/task/25951/stat : 25951 (java) R 25946 25949 22562 0 -1 4202560 12942 0 1 0 26 2 0 0 18 0 18 0 908957942 10794336256 15061 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 46912505605715 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541344
[startup+0.700251 s]
/proc/loadavg: 1.07 1.04 1.26 2/482 25950
/proc/meminfo: memFree=24793068/32950928 swapFree=61542356/67111528
[pid=25949] ppid=25946 vsize=10549956 CPUtime=1.61 cores=1,3,5,7
/proc/25949/stat : 25949 (java) S 25946 25949 22562 0 -1 4202496 26729 0 1 0 157 4 0 0 20 0 22 0 908957941 10803154944 23044 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25949/statm: 2637489 23051 2228 9 0 2628223 0
[pid=25949/tid=25951] ppid=25946 vsize=10549956 CPUtime=0.3 cores=1,3,5,7
/proc/25949/task/25951/stat : 25951 (java) S 25946 25949 22562 0 -1 4202560 13420 0 1 0 28 2 0 0 19 0 22 0 908957942 10803154944 23054 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10549956
[startup+1.5011 s]
/proc/loadavg: 1.07 1.04 1.26 10/526 25994
/proc/meminfo: memFree=24445220/32950928 swapFree=61542356/67111528
[pid=25949] ppid=25946 vsize=10558904 CPUtime=3.96 cores=1,3,5,7
/proc/25949/stat : 25949 (java) S 25946 25949 22562 0 -1 4202496 83935 0 1 0 384 12 0 0 20 0 22 0 908957941 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25949/statm: 2639726 73493 2256 9 0 2630460 0
[pid=25949/tid=25951] ppid=25946 vsize=10558904 CPUtime=0.3 cores=1,3,5,7
/proc/25949/task/25951/stat : 25951 (java) S 25946 25949 22562 0 -1 4202560 13420 0 1 0 28 2 0 0 15 0 22 0 908957942 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25956] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25956/stat : 25956 (java) S 25946 25949 22562 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25958] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25958/stat : 25958 (java) S 25946 25949 22562 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25959] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25959/stat : 25959 (java) S 25946 25949 22562 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25961] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25961/stat : 25961 (java) S 25946 25949 22562 0 -1 4202560 240 0 0 0 0 0 0 0 16 0 22 0 908957944 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25964] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25964/stat : 25964 (java) S 25946 25949 22562 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25966] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25966/stat : 25966 (java) S 25946 25949 22562 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25968] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25968/stat : 25968 (java) S 25946 25949 22562 0 -1 4202560 169 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25970] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25970/stat : 25970 (java) S 25946 25949 22562 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 22 0 908957944 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25972] ppid=25946 vsize=10558904 CPUtime=0.03 cores=1,3,5,7
/proc/25949/task/25972/stat : 25972 (java) R 25946 25949 22562 0 -1 4202560 802 0 0 0 3 0 0 0 15 0 22 0 908957945 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 47904799592857 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=25949/tid=25974] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25974/stat : 25974 (java) S 25946 25949 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 908957945 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25976] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25976/stat : 25976 (java) S 25946 25949 22562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 908957945 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25977] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25977/stat : 25977 (java) S 25946 25949 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 908957947 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917217713 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25979] ppid=25946 vsize=10558904 CPUtime=0.85 cores=1,3,5,7
/proc/25949/task/25979/stat : 25979 (java) S 25946 25949 22562 0 -1 4202560 12558 0 0 0 84 1 0 0 17 0 22 0 908957947 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25981] ppid=25946 vsize=10558904 CPUtime=0.7 cores=1,3,5,7
/proc/25949/task/25981/stat : 25981 (java) S 25946 25949 22562 0 -1 4202560 4652 0 0 0 70 0 0 0 16 0 22 0 908957948 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25983] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25983/stat : 25983 (java) S 25946 25949 22562 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 908957948 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25985] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25985/stat : 25985 (java) S 25946 25949 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 908957948 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25987] ppid=25946 vsize=10558904 CPUtime=1.13 cores=1,3,5,7
/proc/25949/task/25987/stat : 25987 (java) S 25946 25949 22562 0 -1 4202560 325 0 0 0 113 0 0 0 24 0 22 0 908957974 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25988] ppid=25946 vsize=10558904 CPUtime=0.88 cores=1,3,5,7
/proc/25949/task/25988/stat : 25988 (java) S 25946 25949 22562 0 -1 4202560 49880 0 0 0 82 6 0 0 18 0 22 0 908957974 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 3 0 0 0
[pid=25949/tid=25989] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25989/stat : 25989 (java) S 25946 25949 22562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 908957974 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25990] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25990/stat : 25990 (java) S 25946 25949 22562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 908957974 10812317696 73493 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 10558904
[startup+3.10081 s]
/proc/loadavg: 1.07 1.04 1.26 6/526 25994
/proc/meminfo: memFree=24121828/32950928 swapFree=61542356/67111528
[pid=25949] ppid=25946 vsize=10558904 CPUtime=7.22 cores=1,3,5,7
/proc/25949/stat : 25949 (java) S 25946 25949 22562 0 -1 4202496 119774 0 1 0 706 16 0 0 20 0 22 0 908957941 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25949/statm: 2639726 109135 2257 9 0 2630460 0
[pid=25949/tid=25951] ppid=25946 vsize=10558904 CPUtime=0.3 cores=1,3,5,7
/proc/25949/task/25951/stat : 25951 (java) S 25946 25949 22562 0 -1 4202560 13420 0 1 0 28 2 0 0 15 0 22 0 908957942 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25956] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25956/stat : 25956 (java) S 25946 25949 22562 0 -1 4202560 192 0 0 0 0 0 0 0 16 0 22 0 908957944 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25958] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25958/stat : 25958 (java) S 25946 25949 22562 0 -1 4202560 206 0 0 0 0 0 0 0 16 0 22 0 908957944 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25959] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25959/stat : 25959 (java) S 25946 25949 22562 0 -1 4202560 242 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25961] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25961/stat : 25961 (java) S 25946 25949 22562 0 -1 4202560 282 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25964] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25964/stat : 25964 (java) S 25946 25949 22562 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25966] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25966/stat : 25966 (java) S 25946 25949 22562 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25968] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25968/stat : 25968 (java) S 25946 25949 22562 0 -1 4202560 262 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25970] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25970/stat : 25970 (java) S 25946 25949 22562 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25972] ppid=25946 vsize=10558904 CPUtime=0.12 cores=1,3,5,7
/proc/25949/task/25972/stat : 25972 (java) S 25946 25949 22562 0 -1 4202560 2340 0 0 0 12 0 0 0 15 0 22 0 908957945 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 0 0 16800975 18446604466118967616 0 0 -1 3 0 0 0
[pid=25949/tid=25974] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25974/stat : 25974 (java) S 25946 25949 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 908957945 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25976] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25976/stat : 25976 (java) S 25946 25949 22562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 908957945 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25977] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25977/stat : 25977 (java) S 25946 25949 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 908957947 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917217713 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25979] ppid=25946 vsize=10558904 CPUtime=0.9 cores=1,3,5,7
/proc/25949/task/25979/stat : 25979 (java) S 25946 25949 22562 0 -1 4202560 12757 0 0 0 89 1 0 0 15 0 22 0 908957947 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25981] ppid=25946 vsize=10558904 CPUtime=0.81 cores=1,3,5,7
/proc/25949/task/25981/stat : 25981 (java) S 25946 25949 22562 0 -1 4202560 4672 0 0 0 81 0 0 0 15 0 22 0 908957948 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25983] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25983/stat : 25983 (java) S 25946 25949 22562 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 908957948 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25985] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25985/stat : 25985 (java) S 25946 25949 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 908957948 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25987] ppid=25946 vsize=10558904 CPUtime=2.62 cores=1,3,5,7
/proc/25949/task/25987/stat : 25987 (java) R 25946 25949 22562 0 -1 4202560 327 0 0 0 262 0 0 0 25 0 22 0 908957974 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 46912505638235 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25949/tid=25988] ppid=25946 vsize=10558904 CPUtime=2.37 cores=1,3,5,7
/proc/25949/task/25988/stat : 25988 (java) R 25946 25949 22562 0 -1 4202560 83696 0 0 0 227 10 0 0 19 0 22 0 908957974 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 46912505843308 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25949/tid=25989] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25989/stat : 25989 (java) S 25946 25949 22562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 908957974 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25990] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25990/stat : 25990 (java) S 25946 25949 22562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 908957974 10812317696 109135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 10558904
[startup+6.30131 s]
/proc/loadavg: 1.31 1.09 1.27 6/526 25994
/proc/meminfo: memFree=23959444/32950928 swapFree=61542356/67111528
[pid=25949] ppid=25946 vsize=10558904 CPUtime=13.47 cores=1,3,5,7
/proc/25949/stat : 25949 (java) S 25946 25949 22562 0 -1 4202496 120790 0 1 0 1330 17 0 0 20 0 22 0 908957941 10812317696 110135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25949/statm: 2639726 110135 2257 9 0 2630460 0
[pid=25949/tid=25951] ppid=25946 vsize=10558904 CPUtime=0.3 cores=1,3,5,7
/proc/25949/task/25951/stat : 25951 (java) S 25946 25949 22562 0 -1 4202560 13421 0 1 0 28 2 0 0 15 0 22 0 908957942 10812317696 110135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25956] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25956/stat : 25956 (java) S 25946 25949 22562 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 110135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25958] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25958/stat : 25958 (java) S 25946 25949 22562 0 -1 4202560 206 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 110135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25959] ppid=25946 vsize=10558904 CPUtime=0.01 cores=1,3,5,7
/proc/25949/task/25959/stat : 25959 (java) S 25946 25949 22562 0 -1 4202560 243 0 0 0 1 0 0 0 16 0 22 0 908957944 10812317696 110135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25961] ppid=25946 vsize=10558904 CPUtime=0.01 cores=1,3,5,7
/proc/25949/task/25961/stat : 25961 (java) S 25946 25949 22562 0 -1 4202560 284 0 0 0 1 0 0 0 16 0 22 0 908957944 10812317696 110135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25964] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25964/stat : 25964 (java) S 25946 25949 22562 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 110135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25966] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25966/stat : 25966 (java) S 25946 25949 22562 0 -1 4202560 110 0 0 0 0 0 0 0 16 0 22 0 908957944 10812317696 110135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25968] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25968/stat : 25968 (java) S 25946 25949 22562 0 -1 4202560 262 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 110135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25970] ppid=25946 vsize=10558904 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25970/stat : 25970 (java) S 25946 25949 22562 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 908957944 10812317696 110135 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/25949/task/25972/stat : 25972 (java) S 25946 25949 22562 0 -1 4202560 14495 0 0 0 2354 3 0 0 16 0 22 0 908957945 10814038016 122099 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 0 0 16800975 18446604466118967616 0 0 -1 3 0 0 0
[pid=25949/tid=25974] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25974/stat : 25974 (java) S 25946 25949 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 908957945 10814038016 122099 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25976] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25976/stat : 25976 (java) S 25946 25949 22562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 908957945 10814038016 122099 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25977] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25977/stat : 25977 (java) S 25946 25949 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 908957947 10814038016 122099 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917217713 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25979] ppid=25946 vsize=10560584 CPUtime=0.99 cores=1,3,5,7
/proc/25949/task/25979/stat : 25979 (java) S 25946 25949 22562 0 -1 4202560 12766 0 0 0 98 1 0 0 15 0 22 0 908957947 10814038016 122099 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25981] ppid=25946 vsize=10560584 CPUtime=1.36 cores=1,3,5,7
/proc/25949/task/25981/stat : 25981 (java) S 25946 25949 22562 0 -1 4202560 5747 0 0 0 136 0 0 0 15 0 22 0 908957948 10814038016 122099 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25983] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25983/stat : 25983 (java) S 25946 25949 22562 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 908957948 10814038016 122099 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25985] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25985/stat : 25985 (java) S 25946 25949 22562 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 908957948 10814038016 122099 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25987] ppid=25946 vsize=10560584 CPUtime=137.41 cores=1,3,5,7
/proc/25949/task/25987/stat : 25987 (java) R 25946 25949 22562 0 -1 4202560 560 0 0 0 13740 1 0 0 25 0 22 0 908957974 10814038016 122099 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 46912505835278 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25949/tid=25988] ppid=25946 vsize=10560584 CPUtime=137.14 cores=1,3,5,7
/proc/25949/task/25988/stat : 25988 (java) R 25946 25949 22562 0 -1 4202560 83710 0 0 0 13703 11 0 0 25 0 22 0 908957974 10814038016 122099 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 46912505844833 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25949/tid=25989] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25989/stat : 25989 (java) S 25946 25949 22562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 908957974 10814038016 122099 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25990] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25990/stat : 25990 (java) S 25946 25949 22562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 908957974 10814038016 122099 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 303.74
Current children cumulated vsize (KiB) 10560584
Solver just ended. Dumping a history of the last processes samples
[startup+162.702 s]
/proc/loadavg: 3.59 2.21 1.67 3/526 26047
/proc/meminfo: memFree=23814212/32950928 swapFree=61542356/67111528
[pid=25949] ppid=25946 vsize=10560584 CPUtime=304.4 cores=1,3,5,7
/proc/25949/stat : 25949 (java) S 25946 25949 22562 0 -1 4202496 133609 0 1 0 30416 24 0 0 20 0 22 0 908957941 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25949/statm: 2640146 122102 2260 9 0 2630880 0
[pid=25949/tid=25951] ppid=25946 vsize=10560584 CPUtime=0.3 cores=1,3,5,7
/proc/25949/task/25951/stat : 25951 (java) S 25946 25949 22562 0 -1 4202560 13433 0 1 0 28 2 0 0 15 0 22 0 908957942 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25956] ppid=25946 vsize=10560584 CPUtime=0.4 cores=1,3,5,7
/proc/25949/task/25956/stat : 25956 (java) S 25946 25949 22562 0 -1 4202560 237 0 0 0 40 0 0 0 15 0 22 0 908957944 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25958] ppid=25946 vsize=10560584 CPUtime=0.36 cores=1,3,5,7
/proc/25949/task/25958/stat : 25958 (java) S 25946 25949 22562 0 -1 4202560 243 0 0 0 36 0 0 0 15 0 22 0 908957944 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25959] ppid=25946 vsize=10560584 CPUtime=0.39 cores=1,3,5,7
/proc/25949/task/25959/stat : 25959 (java) S 25946 25949 22562 0 -1 4202560 294 0 0 0 39 0 0 0 16 0 22 0 908957944 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25961] ppid=25946 vsize=10560584 CPUtime=0.32 cores=1,3,5,7
/proc/25949/task/25961/stat : 25961 (java) S 25946 25949 22562 0 -1 4202560 323 0 0 0 32 0 0 0 15 0 22 0 908957944 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25964] ppid=25946 vsize=10560584 CPUtime=0.32 cores=1,3,5,7
/proc/25949/task/25964/stat : 25964 (java) S 25946 25949 22562 0 -1 4202560 150 0 0 0 32 0 0 0 16 0 22 0 908957944 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25966] ppid=25946 vsize=10560584 CPUtime=0.35 cores=1,3,5,7
/proc/25949/task/25966/stat : 25966 (java) S 25946 25949 22562 0 -1 4202560 148 0 0 0 35 0 0 0 16 0 22 0 908957944 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25968] ppid=25946 vsize=10560584 CPUtime=0.36 cores=1,3,5,7
/proc/25949/task/25968/stat : 25968 (java) S 25946 25949 22562 0 -1 4202560 294 0 0 0 36 0 0 0 16 0 22 0 908957944 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25970] ppid=25946 vsize=10560584 CPUtime=0.33 cores=1,3,5,7
/proc/25949/task/25970/stat : 25970 (java) S 25946 25949 22562 0 -1 4202560 42 0 0 0 33 0 0 0 15 0 22 0 908957944 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25972] ppid=25946 vsize=10560584 CPUtime=23.74 cores=1,3,5,7
/proc/25949/task/25972/stat : 25972 (java) S 25946 25949 22562 0 -1 4202560 14495 0 0 0 2371 3 0 0 16 0 22 0 908957945 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 0 0 16800975 18446604466118967616 0 0 -1 3 0 0 0
[pid=25949/tid=25974] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25974/stat : 25974 (java) S 25946 25949 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 908957945 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25976] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25976/stat : 25976 (java) S 25946 25949 22562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 908957945 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25977] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25977/stat : 25977 (java) S 25946 25949 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 908957947 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917217713 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25979] ppid=25946 vsize=10560584 CPUtime=0.99 cores=1,3,5,7
/proc/25949/task/25979/stat : 25979 (java) S 25946 25949 22562 0 -1 4202560 12766 0 0 0 98 1 0 0 15 0 22 0 908957947 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25981] ppid=25946 vsize=10560584 CPUtime=1.36 cores=1,3,5,7
/proc/25949/task/25981/stat : 25981 (java) S 25946 25949 22562 0 -1 4202560 5747 0 0 0 136 0 0 0 15 0 22 0 908957948 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25983] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25983/stat : 25983 (java) S 25946 25949 22562 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 908957948 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25985] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25985/stat : 25985 (java) S 25946 25949 22562 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 908957948 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25987] ppid=25946 vsize=10560584 CPUtime=137.65 cores=1,3,5,7
/proc/25949/task/25987/stat : 25987 (java) R 25946 25949 22562 0 -1 4202560 561 0 0 0 13764 1 0 0 24 0 22 0 908957974 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 46912505670238 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25949/tid=25988] ppid=25946 vsize=10560584 CPUtime=137.39 cores=1,3,5,7
/proc/25949/task/25988/stat : 25988 (java) R 25946 25949 22562 0 -1 4202560 83710 0 0 0 13728 11 0 0 24 0 22 0 908957974 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 46912505843576 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25949/tid=25989] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25989/stat : 25989 (java) S 25946 25949 22562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 908957974 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25990] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25990/stat : 25990 (java) S 25946 25949 22562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 908957974 10814038016 122102 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 304.4
Current children cumulated vsize (KiB) 10560584
[startup+162.902 s]
/proc/loadavg: 3.59 2.21 1.67 3/526 26047
/proc/meminfo: memFree=23814212/32950928 swapFree=61542356/67111528
[pid=25949] ppid=25946 vsize=10560584 CPUtime=304.68 cores=1,3,5,7
/proc/25949/stat : 25949 (java) S 25946 25949 22562 0 -1 4202496 133610 0 1 0 30444 24 0 0 20 0 20 0 908957941 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25949/statm: 2640146 122103 2261 9 0 2630880 0
[pid=25949/tid=25951] ppid=25946 vsize=10560584 CPUtime=0.3 cores=1,3,5,7
/proc/25949/task/25951/stat : 25951 (java) S 25946 25949 22562 0 -1 4202560 13433 0 1 0 28 2 0 0 15 0 20 0 908957942 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25956] ppid=25946 vsize=10560584 CPUtime=0.4 cores=1,3,5,7
/proc/25949/task/25956/stat : 25956 (java) S 25946 25949 22562 0 -1 4202560 237 0 0 0 40 0 0 0 15 0 20 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25958] ppid=25946 vsize=10560584 CPUtime=0.36 cores=1,3,5,7
/proc/25949/task/25958/stat : 25958 (java) S 25946 25949 22562 0 -1 4202560 243 0 0 0 36 0 0 0 15 0 20 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25959] ppid=25946 vsize=10560584 CPUtime=0.39 cores=1,3,5,7
/proc/25949/task/25959/stat : 25959 (java) S 25946 25949 22562 0 -1 4202560 294 0 0 0 39 0 0 0 16 0 20 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25961] ppid=25946 vsize=10560584 CPUtime=0.32 cores=1,3,5,7
/proc/25949/task/25961/stat : 25961 (java) S 25946 25949 22562 0 -1 4202560 323 0 0 0 32 0 0 0 15 0 20 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25964] ppid=25946 vsize=10560584 CPUtime=0.32 cores=1,3,5,7
/proc/25949/task/25964/stat : 25964 (java) S 25946 25949 22562 0 -1 4202560 150 0 0 0 32 0 0 0 16 0 20 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25966] ppid=25946 vsize=10560584 CPUtime=0.35 cores=1,3,5,7
/proc/25949/task/25966/stat : 25966 (java) S 25946 25949 22562 0 -1 4202560 148 0 0 0 35 0 0 0 16 0 20 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25968] ppid=25946 vsize=10560584 CPUtime=0.36 cores=1,3,5,7
/proc/25949/task/25968/stat : 25968 (java) S 25946 25949 22562 0 -1 4202560 294 0 0 0 36 0 0 0 16 0 20 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25970] ppid=25946 vsize=10560584 CPUtime=0.33 cores=1,3,5,7
/proc/25949/task/25970/stat : 25970 (java) S 25946 25949 22562 0 -1 4202560 42 0 0 0 33 0 0 0 15 0 20 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25972] ppid=25946 vsize=10560584 CPUtime=23.74 cores=1,3,5,7
/proc/25949/task/25972/stat : 25972 (java) S 25946 25949 22562 0 -1 4202560 14495 0 0 0 2371 3 0 0 16 0 20 0 908957945 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 0 0 16800975 18446604466118967616 0 0 -1 3 0 0 0
[pid=25949/tid=25974] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25974/stat : 25974 (java) S 25946 25949 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 20 0 908957945 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25976] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25976/stat : 25976 (java) S 25946 25949 22562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 20 0 908957945 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25977] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25977/stat : 25977 (java) S 25946 25949 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 908957947 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917217713 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25979] ppid=25946 vsize=10560584 CPUtime=0.99 cores=1,3,5,7
/proc/25949/task/25979/stat : 25979 (java) S 25946 25949 22562 0 -1 4202560 12766 0 0 0 98 1 0 0 15 0 20 0 908957947 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25981] ppid=25946 vsize=10560584 CPUtime=1.36 cores=1,3,5,7
/proc/25949/task/25981/stat : 25981 (java) S 25946 25949 22562 0 -1 4202560 5747 0 0 0 136 0 0 0 15 0 20 0 908957948 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25983] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25983/stat : 25983 (java) S 25946 25949 22562 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 908957948 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25985] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25985/stat : 25985 (java) S 25946 25949 22562 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 20 0 908957948 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25988] ppid=25946 vsize=10560584 CPUtime=137.57 cores=1,3,5,7
/proc/25949/task/25988/stat : 25988 (java) R 25946 25949 22562 0 -1 4202560 83710 0 0 0 13746 11 0 0 24 0 20 0 908957974 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 46912505786746 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25949/tid=25990] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25990/stat : 25990 (java) S 25946 25949 22562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 20 0 908957974 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 304.68
Current children cumulated vsize (KiB) 10560584
[startup+163.002 s]
/proc/loadavg: 3.59 2.21 1.67 3/526 26047
/proc/meminfo: memFree=23814212/32950928 swapFree=61542356/67111528
[pid=25949] ppid=25946 vsize=10560584 CPUtime=304.7 cores=1,3,5,7
/proc/25949/stat : 25949 (java) S 25946 25949 22562 0 -1 4202496 133610 0 1 0 30446 24 0 0 20 0 19 0 908957941 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25949/statm: 2640146 122103 2261 9 0 2630880 0
[pid=25949/tid=25951] ppid=25946 vsize=10560584 CPUtime=0.3 cores=1,3,5,7
/proc/25949/task/25951/stat : 25951 (java) S 25946 25949 22562 0 -1 4202560 13433 0 1 0 28 2 0 0 15 0 19 0 908957942 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25956] ppid=25946 vsize=10560584 CPUtime=0.4 cores=1,3,5,7
/proc/25949/task/25956/stat : 25956 (java) S 25946 25949 22562 0 -1 4202560 237 0 0 0 40 0 0 0 15 0 19 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25958] ppid=25946 vsize=10560584 CPUtime=0.36 cores=1,3,5,7
/proc/25949/task/25958/stat : 25958 (java) S 25946 25949 22562 0 -1 4202560 243 0 0 0 36 0 0 0 15 0 19 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25959] ppid=25946 vsize=10560584 CPUtime=0.39 cores=1,3,5,7
/proc/25949/task/25959/stat : 25959 (java) S 25946 25949 22562 0 -1 4202560 294 0 0 0 39 0 0 0 16 0 19 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 7 0 0 0
[pid=25949/tid=25961] ppid=25946 vsize=10560584 CPUtime=0.32 cores=1,3,5,7
/proc/25949/task/25961/stat : 25961 (java) S 25946 25949 22562 0 -1 4202560 323 0 0 0 32 0 0 0 15 0 19 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25964] ppid=25946 vsize=10560584 CPUtime=0.32 cores=1,3,5,7
/proc/25949/task/25964/stat : 25964 (java) S 25946 25949 22562 0 -1 4202560 150 0 0 0 32 0 0 0 16 0 19 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25966] ppid=25946 vsize=10560584 CPUtime=0.35 cores=1,3,5,7
/proc/25949/task/25966/stat : 25966 (java) S 25946 25949 22562 0 -1 4202560 148 0 0 0 35 0 0 0 16 0 19 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25968] ppid=25946 vsize=10560584 CPUtime=0.36 cores=1,3,5,7
/proc/25949/task/25968/stat : 25968 (java) S 25946 25949 22562 0 -1 4202560 294 0 0 0 36 0 0 0 16 0 19 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25970] ppid=25946 vsize=10560584 CPUtime=0.33 cores=1,3,5,7
/proc/25949/task/25970/stat : 25970 (java) S 25946 25949 22562 0 -1 4202560 42 0 0 0 33 0 0 0 15 0 19 0 908957944 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25972] ppid=25946 vsize=10560584 CPUtime=23.74 cores=1,3,5,7
/proc/25949/task/25972/stat : 25972 (java) S 25946 25949 22562 0 -1 4202560 14495 0 0 0 2371 3 0 0 16 0 19 0 908957945 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 0 0 16800975 18446604466118967616 0 0 -1 3 0 0 0
[pid=25949/tid=25974] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25974/stat : 25974 (java) S 25946 25949 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 908957945 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25976] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25976/stat : 25976 (java) S 25946 25949 22562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 908957945 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25977] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25977/stat : 25977 (java) S 25946 25949 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 908957947 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917217713 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25979] ppid=25946 vsize=10560584 CPUtime=0.99 cores=1,3,5,7
/proc/25949/task/25979/stat : 25979 (java) S 25946 25949 22562 0 -1 4202560 12766 0 0 0 98 1 0 0 15 0 19 0 908957947 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
[pid=25949/tid=25981] ppid=25946 vsize=10560584 CPUtime=1.36 cores=1,3,5,7
/proc/25949/task/25981/stat : 25981 (java) S 25946 25949 22562 0 -1 4202560 5747 0 0 0 136 0 0 0 15 0 19 0 908957948 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25983] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25983/stat : 25983 (java) S 25946 25949 22562 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 908957948 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210009 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25985] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25985/stat : 25985 (java) S 25946 25949 22562 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 908957948 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 5 0 0 0
[pid=25949/tid=25990] ppid=25946 vsize=10560584 CPUtime=0 cores=1,3,5,7
/proc/25949/task/25990/stat : 25990 (java) S 25946 25949 22562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 908957974 10814038016 122103 33554432000 1073741824 1073778376 140735393016336 18446744073709551615 260917210624 0 4 0 16800975 18446604466118967616 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 304.7
Current children cumulated vsize (KiB) 10560584
Child status: 20
Real time (s): 163.043
CPU time (s): 304.746
CPU user time (s): 304.48
CPU system time (s): 0.265959
CPU usage (%): 186.911
Max. virtual memory (cumulated for all children) (KiB): 10561512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 304.48
system time used= 0.265959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133624
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= 11962
involuntary context switches= 6763
runsolver used 0.819875 second user time and 1.90071 second system time
The end