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-3454910-1307187576/watcher-3454910-1307187576 -o /tmp/evaluation-result-3454910-1307187576/solver-3454910-1307187576 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454910-1307187576.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.12 1.05 1.25 3/532 18776
/proc/meminfo: memFree=22877792/32950928 swapFree=58671692/67111528
[pid=18776] ppid=18774 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/18776/stat : 18776 (java) S 18774 18776 16455 0 -1 4202496 2515 0 1 0 0 0 0 0 21 0 2 0 908988400 10681323520 2217 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/18776/statm: 2607745 2231 906 9 0 2598901 0
[pid=18776/tid=18777] ppid=18774 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18777/stat : 18777 (java) R 18774 18776 16455 0 -1 4202560 5714 0 1 0 0 0 0 0 23 0 2 0 908988401 10694979584 6530 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.050902 s]
/proc/loadavg: 1.12 1.05 1.25 3/532 18776
/proc/meminfo: memFree=22877792/32950928 swapFree=58671692/67111528
[pid=18776] ppid=18774 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/18776/stat : 18776 (java) S 18774 18776 16455 0 -1 4202496 11386 0 1 0 3 0 0 0 21 0 13 0 908988400 10718699520 11083 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427194341 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/18776/statm: 2616870 11084 1682 9 0 2607618 0
[pid=18776/tid=18777] ppid=18774 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/18776/task/18777/stat : 18777 (java) R 18774 18776 16455 0 -1 4202560 10239 0 1 0 3 0 0 0 25 0 13 0 908988401 10718699520 11084 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 47139755975427 0 4 0 16800971 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100887 s]
/proc/loadavg: 1.12 1.05 1.25 3/532 18776
/proc/meminfo: memFree=22877792/32950928 swapFree=58671692/67111528
[pid=18776] ppid=18774 vsize=10539640 CPUtime=0.1 cores=0,2,4,6
/proc/18776/stat : 18776 (java) S 18774 18776 16455 0 -1 4202496 12930 0 1 0 9 1 0 0 21 0 18 0 908988400 10792591360 12627 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18776/statm: 2634910 12627 2092 9 0 2625644 0
[pid=18776/tid=18777] ppid=18774 vsize=10539640 CPUtime=0.08 cores=0,2,4,6
/proc/18776/task/18777/stat : 18777 (java) R 18774 18776 16455 0 -1 4202560 11152 0 1 0 7 1 0 0 18 0 18 0 908988401 10792591360 12627 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427218379 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539640
[startup+0.300833 s]
/proc/loadavg: 1.12 1.05 1.25 3/532 18776
/proc/meminfo: memFree=22877792/32950928 swapFree=58671692/67111528
[pid=18776] ppid=18774 vsize=10542616 CPUtime=0.47 cores=0,2,4,6
/proc/18776/stat : 18776 (java) S 18774 18776 16455 0 -1 4202496 15697 0 1 0 46 1 0 0 21 0 18 0 908988400 10795638784 15374 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18776/statm: 2635654 15375 2199 9 0 2626388 0
[pid=18776/tid=18777] ppid=18774 vsize=10542616 CPUtime=0.28 cores=0,2,4,6
/proc/18776/task/18777/stat : 18777 (java) R 18774 18776 16455 0 -1 4202560 13051 0 1 0 27 1 0 0 18 0 18 0 908988401 10795638784 15375 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 46912505573805 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542616
[startup+0.700779 s]
/proc/loadavg: 1.12 1.05 1.25 3/532 18776
/proc/meminfo: memFree=22877792/32950928 swapFree=58671692/67111528
[pid=18776] ppid=18774 vsize=10546852 CPUtime=1.25 cores=0,2,4,6
/proc/18776/stat : 18776 (java) S 18774 18776 16455 0 -1 4202496 55683 0 1 0 119 6 0 0 21 0 18 0 908988400 10799976448 53934 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18776/statm: 2636713 53939 2214 9 0 2627447 0
[pid=18776/tid=18777] ppid=18774 vsize=10546852 CPUtime=0.68 cores=0,2,4,6
/proc/18776/task/18777/stat : 18777 (java) R 18774 18776 16455 0 -1 4202560 49534 0 1 0 62 6 0 0 18 0 18 0 908988401 10799976448 53942 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 46912505621970 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 10546852
[startup+1.50163 s]
/proc/loadavg: 1.12 1.05 1.25 3/550 18794
/proc/meminfo: memFree=21923088/32950928 swapFree=58671692/67111528
[pid=18776] ppid=18774 vsize=10546852 CPUtime=2.05 cores=0,2,4,6
/proc/18776/stat : 18776 (java) S 18774 18776 16455 0 -1 4202496 155325 0 1 0 185 20 0 0 21 0 18 0 908988400 10799976448 153577 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18776/statm: 2636713 153581 2214 9 0 2627447 0
[pid=18776/tid=18777] ppid=18774 vsize=10546852 CPUtime=1.48 cores=0,2,4,6
/proc/18776/task/18777/stat : 18777 (java) R 18774 18776 16455 0 -1 4202560 149176 0 1 0 128 20 0 0 19 0 18 0 908988401 10799976448 153584 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 46912505600331 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18776/tid=18779] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18779/stat : 18779 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 908988402 10799976448 153587 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18780] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18780/stat : 18780 (java) S 18774 18776 16455 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 908988402 10799976448 153591 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18781] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18781/stat : 18781 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988402 10799976448 153594 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18782] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18782/stat : 18782 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988402 10799976448 153597 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18783] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18783/stat : 18783 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988402 10799976448 153600 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18784] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18784/stat : 18784 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988402 10799976448 153603 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18785] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18785/stat : 18785 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988402 10799976448 153607 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18786] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18786/stat : 18786 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988402 10799976448 153609 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18787] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18787/stat : 18787 (java) S 18774 18776 16455 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 908988403 10799976448 153613 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427208192 0 0 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18788] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18788/stat : 18788 (java) S 18774 18776 16455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 908988404 10799976448 153616 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18789] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18789/stat : 18789 (java) S 18774 18776 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 908988404 10799976448 153619 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18790] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18790/stat : 18790 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988406 10799976448 153622 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427215281 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18791] ppid=18774 vsize=10546852 CPUtime=0.3 cores=0,2,4,6
/proc/18776/task/18791/stat : 18791 (java) S 18774 18776 16455 0 -1 4202560 2639 0 0 0 30 0 0 0 25 0 18 0 908988406 10799976448 153625 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 0 0 0 0
[pid=18776/tid=18792] ppid=18774 vsize=10546852 CPUtime=0.25 cores=0,2,4,6
/proc/18776/task/18792/stat : 18792 (java) S 18774 18776 16455 0 -1 4202560 2367 0 0 0 25 0 0 0 16 0 18 0 908988406 10799976448 153628 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18793] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18793/stat : 18793 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988406 10799976448 153632 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18794] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18794/stat : 18794 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 908988406 10799976448 153635 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427208192 0 4 0 16800975 18446604446298003264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 10546852
[startup+3.10133 s]
/proc/loadavg: 1.12 1.05 1.25 2/551 18798
/proc/meminfo: memFree=20999520/32950928 swapFree=58671692/67111528
[pid=18776] ppid=18774 vsize=10546852 CPUtime=3.65 cores=0,2,4,6
/proc/18776/stat : 18776 (java) S 18774 18776 16455 0 -1 4202496 354858 0 1 0 319 46 0 0 21 0 18 0 908988400 10799976448 353109 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18776/statm: 2636713 353114 2214 9 0 2627447 0
[pid=18776/tid=18777] ppid=18774 vsize=10546852 CPUtime=3.08 cores=0,2,4,6
/proc/18776/task/18777/stat : 18777 (java) R 18774 18776 16455 0 -1 4202560 348709 0 1 0 263 45 0 0 23 0 18 0 908988401 10799976448 353117 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 46912505642173 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18776/tid=18779] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18779/stat : 18779 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 908988402 10799976448 353120 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18780] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18780/stat : 18780 (java) S 18774 18776 16455 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 908988402 10799976448 353123 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18781] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18781/stat : 18781 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988402 10799976448 353126 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18782] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18782/stat : 18782 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988402 10799976448 353130 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18783] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18783/stat : 18783 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988402 10799976448 353133 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18784] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18784/stat : 18784 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988402 10799976448 353136 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18785] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18785/stat : 18785 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988402 10799976448 353139 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18786] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18786/stat : 18786 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988402 10799976448 353142 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18787] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18787/stat : 18787 (java) S 18774 18776 16455 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 908988403 10799976448 353145 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427208192 0 0 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18788] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18788/stat : 18788 (java) S 18774 18776 16455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 908988404 10799976448 353148 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18789] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18789/stat : 18789 (java) S 18774 18776 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 908988404 10799976448 353151 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18790] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18790/stat : 18790 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988406 10799976448 353154 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427215281 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18791] ppid=18774 vsize=10546852 CPUtime=0.3 cores=0,2,4,6
/proc/18776/task/18791/stat : 18791 (java) S 18774 18776 16455 0 -1 4202560 2639 0 0 0 30 0 0 0 25 0 18 0 908988406 10799976448 353157 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 0 0 0 0
[pid=18776/tid=18792] ppid=18774 vsize=10546852 CPUtime=0.26 cores=0,2,4,6
/proc/18776/task/18792/stat : 18792 (java) S 18774 18776 16455 0 -1 4202560 2367 0 0 0 26 0 0 0 15 0 18 0 908988406 10799976448 353160 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18793] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18793/stat : 18793 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988406 10799976448 353163 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18794] ppid=18774 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18794/stat : 18794 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 908988406 10799976448 353166 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427208192 0 4 0 16800975 18446604446298003264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 10546852
[startup+6.30071 s]
/proc/loadavg: 1.27 1.08 1.26 7/530 18820
/proc/meminfo: memFree=20337668/32950928 swapFree=58671692/67111528
[pid=18776] ppid=18774 vsize=10547956 CPUtime=7.75 cores=0,2,4,6
/proc/18776/stat : 18776 (java) S 18774 18776 16455 0 -1 4202496 697441 0 1 0 684 91 0 0 21 0 18 0 908988400 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18776/statm: 2636989 693303 2239 9 0 2627723 0
[pid=18776/tid=18777] ppid=18774 vsize=10547956 CPUtime=6.09 cores=0,2,4,6
/proc/18776/task/18777/stat : 18777 (java) R 18774 18776 16455 0 -1 4202560 651034 0 1 0 525 84 0 0 18 0 18 0 908988401 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 47139755991942 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18776/tid=18779] ppid=18774 vsize=10547956 CPUtime=0.18 cores=0,2,4,6
/proc/18776/task/18779/stat : 18779 (java) S 18774 18776 16455 0 -1 4202560 11461 0 0 0 17 1 0 0 18 0 18 0 908988402 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 4 0 0 0
[pid=18776/tid=18780] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18780/stat : 18780 (java) S 18774 18776 16455 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 908988402 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18781] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18781/stat : 18781 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 908988402 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18782] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18782/stat : 18782 (java) S 18774 18776 16455 0 -1 4202560 208 0 0 0 0 0 0 0 18 0 18 0 908988402 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18783] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18783/stat : 18783 (java) S 18774 18776 16455 0 -1 4202560 135 0 0 0 0 0 0 0 18 0 18 0 908988402 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 4 0 0 0
[pid=18776/tid=18784] ppid=18774 vsize=10547956 CPUtime=0.1 cores=0,2,4,6
/proc/18776/task/18784/stat : 18784 (java) S 18774 18776 16455 0 -1 4202560 5406 0 0 0 10 0 0 0 18 0 18 0 908988402 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 4 0 0 0
[pid=18776/tid=18785] ppid=18774 vsize=10547956 CPUtime=0.15 cores=0,2,4,6
/proc/18776/task/18785/stat : 18785 (java) S 18774 18776 16455 0 -1 4202560 7730 0 0 0 14 1 0 0 18 0 18 0 908988402 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 0 0 0 0
[pid=18776/tid=18786] ppid=18774 vsize=10547956 CPUtime=0.15 cores=0,2,4,6
/proc/18776/task/18786/stat : 18786 (java) S 18774 18776 16455 0 -1 4202560 10372 0 0 0 14 1 0 0 18 0 18 0 908988402 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18787] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18787/stat : 18787 (java) S 18774 18776 16455 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 908988403 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427208192 0 0 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18788] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18788/stat : 18788 (java) S 18774 18776 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 908988404 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18789] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18789/stat : 18789 (java) S 18774 18776 16455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 908988404 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18790] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18790/stat : 18790 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988406 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427215281 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18791] ppid=18774 vsize=10547956 CPUtime=0.52 cores=0,2,4,6
/proc/18776/task/18791/stat : 18791 (java) R 18774 18776 16455 0 -1 4202560 7037 0 0 0 52 0 0 0 17 0 18 0 908988406 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 47139758549805 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18776/tid=18792] ppid=18774 vsize=10547956 CPUtime=0.47 cores=0,2,4,6
/proc/18776/task/18792/stat : 18792 (java) R 18774 18776 16455 0 -1 4202560 2904 0 0 0 47 0 0 0 16 0 18 0 908988406 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 47139758692531 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18776/tid=18793] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18793/stat : 18793 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988406 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18794] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18794/stat : 18794 (java) S 18774 18776 16455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 908988406 10801106944 693303 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427208192 0 4 0 16800975 18446604446298003264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.75
Current children cumulated vsize (KiB) 10547956
Solver just ended. Dumping a history of the last processes samples
[startup+6.4017 s]
/proc/loadavg: 1.27 1.08 1.26 7/530 18820
/proc/meminfo: memFree=20337668/32950928 swapFree=58671692/67111528
[pid=18776] ppid=18774 vsize=10547956 CPUtime=7.9 cores=0,2,4,6
/proc/18776/stat : 18776 (java) S 18774 18776 16455 0 -1 4202496 697476 0 1 0 699 91 0 0 21 0 18 0 908988400 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18776/statm: 2636989 692898 2239 9 0 2627723 0
[pid=18776/tid=18777] ppid=18774 vsize=10547956 CPUtime=6.19 cores=0,2,4,6
/proc/18776/task/18777/stat : 18777 (java) R 18774 18776 16455 0 -1 4202560 651034 0 1 0 535 84 0 0 18 0 18 0 908988401 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427218379 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18776/tid=18779] ppid=18774 vsize=10547956 CPUtime=0.18 cores=0,2,4,6
/proc/18776/task/18779/stat : 18779 (java) S 18774 18776 16455 0 -1 4202560 11461 0 0 0 17 1 0 0 18 0 18 0 908988402 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 4 0 0 0
[pid=18776/tid=18780] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18780/stat : 18780 (java) S 18774 18776 16455 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 908988402 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18781] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18781/stat : 18781 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 908988402 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18782] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18782/stat : 18782 (java) S 18774 18776 16455 0 -1 4202560 208 0 0 0 0 0 0 0 18 0 18 0 908988402 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18783] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18783/stat : 18783 (java) S 18774 18776 16455 0 -1 4202560 135 0 0 0 0 0 0 0 18 0 18 0 908988402 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 4 0 0 0
[pid=18776/tid=18784] ppid=18774 vsize=10547956 CPUtime=0.1 cores=0,2,4,6
/proc/18776/task/18784/stat : 18784 (java) S 18774 18776 16455 0 -1 4202560 5406 0 0 0 10 0 0 0 18 0 18 0 908988402 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 4 0 0 0
[pid=18776/tid=18785] ppid=18774 vsize=10547956 CPUtime=0.15 cores=0,2,4,6
/proc/18776/task/18785/stat : 18785 (java) S 18774 18776 16455 0 -1 4202560 7730 0 0 0 14 1 0 0 18 0 18 0 908988402 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 0 0 0 0
[pid=18776/tid=18786] ppid=18774 vsize=10547956 CPUtime=0.15 cores=0,2,4,6
/proc/18776/task/18786/stat : 18786 (java) S 18774 18776 16455 0 -1 4202560 10372 0 0 0 14 1 0 0 18 0 18 0 908988402 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18787] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18787/stat : 18787 (java) S 18774 18776 16455 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 908988403 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427208192 0 0 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18788] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18788/stat : 18788 (java) S 18774 18776 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 908988404 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18789] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18789/stat : 18789 (java) S 18774 18776 16455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 908988404 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18790] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18790/stat : 18790 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988406 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427215281 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18791] ppid=18774 vsize=10547956 CPUtime=0.55 cores=0,2,4,6
/proc/18776/task/18791/stat : 18791 (java) S 18774 18776 16455 0 -1 4202560 7061 0 0 0 55 0 0 0 17 0 18 0 908988406 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 0 0 0 0
[pid=18776/tid=18792] ppid=18774 vsize=10547956 CPUtime=0.5 cores=0,2,4,6
/proc/18776/task/18792/stat : 18792 (java) S 18774 18776 16455 0 -1 4202560 2915 0 0 0 50 0 0 0 16 0 18 0 908988406 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 4 0 0 0
[pid=18776/tid=18793] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18793/stat : 18793 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 908988406 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18794] ppid=18774 vsize=10547956 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18794/stat : 18794 (java) S 18774 18776 16455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 908988406 10801106944 692898 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427208192 0 4 0 16800975 18446604446298003264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.9
Current children cumulated vsize (KiB) 10547956
[startup+6.80164 s]
/proc/loadavg: 1.27 1.08 1.26 4/551 18847
/proc/meminfo: memFree=20010212/32950928 swapFree=58671692/67111528
[pid=18776] ppid=18774 vsize=10552656 CPUtime=8.74 cores=0,2,4,6
/proc/18776/stat : 18776 (java) S 18774 18776 16455 0 -1 4202496 697907 0 1 0 783 91 0 0 21 0 19 0 908988400 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18776/statm: 2638164 693221 2251 9 0 2628898 0
[pid=18776/tid=18777] ppid=18774 vsize=10552656 CPUtime=6.21 cores=0,2,4,6
/proc/18776/task/18777/stat : 18777 (java) S 18774 18776 16455 0 -1 4202560 651052 0 1 0 537 84 0 0 19 0 19 0 908988401 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427208192 0 4 0 16800975 18446604446298003264 0 0 -1 4 0 0 0
[pid=18776/tid=18779] ppid=18774 vsize=10552656 CPUtime=0.18 cores=0,2,4,6
/proc/18776/task/18779/stat : 18779 (java) S 18774 18776 16455 0 -1 4202560 11461 0 0 0 17 1 0 0 18 0 19 0 908988402 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 4 0 0 0
[pid=18776/tid=18780] ppid=18774 vsize=10552656 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18780/stat : 18780 (java) S 18774 18776 16455 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 908988402 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18781] ppid=18774 vsize=10552656 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18781/stat : 18781 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 908988402 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18782] ppid=18774 vsize=10552656 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18782/stat : 18782 (java) S 18774 18776 16455 0 -1 4202560 208 0 0 0 0 0 0 0 18 0 19 0 908988402 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18783] ppid=18774 vsize=10552656 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18783/stat : 18783 (java) S 18774 18776 16455 0 -1 4202560 135 0 0 0 0 0 0 0 18 0 19 0 908988402 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 4 0 0 0
[pid=18776/tid=18784] ppid=18774 vsize=10552656 CPUtime=0.1 cores=0,2,4,6
/proc/18776/task/18784/stat : 18784 (java) S 18774 18776 16455 0 -1 4202560 5406 0 0 0 10 0 0 0 18 0 19 0 908988402 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 4 0 0 0
[pid=18776/tid=18785] ppid=18774 vsize=10552656 CPUtime=0.15 cores=0,2,4,6
/proc/18776/task/18785/stat : 18785 (java) S 18774 18776 16455 0 -1 4202560 7730 0 0 0 14 1 0 0 18 0 19 0 908988402 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 0 0 0 0
[pid=18776/tid=18786] ppid=18774 vsize=10552656 CPUtime=0.15 cores=0,2,4,6
/proc/18776/task/18786/stat : 18786 (java) S 18774 18776 16455 0 -1 4202560 10372 0 0 0 14 1 0 0 18 0 19 0 908988402 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18787] ppid=18774 vsize=10552656 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18787/stat : 18787 (java) S 18774 18776 16455 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 908988403 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427208192 0 0 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18788] ppid=18774 vsize=10552656 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18788/stat : 18788 (java) S 18774 18776 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 908988404 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18789] ppid=18774 vsize=10552656 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18789/stat : 18789 (java) S 18774 18776 16455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 908988404 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
[pid=18776/tid=18790] ppid=18774 vsize=10552656 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18790/stat : 18790 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 908988406 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427215281 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18791] ppid=18774 vsize=10552656 CPUtime=0.79 cores=0,2,4,6
/proc/18776/task/18791/stat : 18791 (java) S 18774 18776 16455 0 -1 4202560 7213 0 0 0 79 0 0 0 17 0 19 0 908988406 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 0 0 0 0
[pid=18776/tid=18792] ppid=18774 vsize=10552656 CPUtime=0.75 cores=0,2,4,6
/proc/18776/task/18792/stat : 18792 (java) S 18774 18776 16455 0 -1 4202560 3085 0 0 0 75 0 0 0 16 0 19 0 908988406 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 4 0 0 0
[pid=18776/tid=18793] ppid=18774 vsize=10552656 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18793/stat : 18793 (java) S 18774 18776 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 908988406 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427207577 0 4 0 16800975 18446604446298003264 0 0 -1 2 0 0 0
[pid=18776/tid=18794] ppid=18774 vsize=10552656 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18794/stat : 18794 (java) S 18774 18776 16455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 908988406 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427208192 0 4 0 16800975 18446604446298003264 0 0 -1 0 0 0 0
[pid=18776/tid=18846] ppid=18774 vsize=10552656 CPUtime=0 cores=0,2,4,6
/proc/18776/task/18846/stat : 18846 (java) S 18774 18776 16455 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 908989042 10805919744 693221 33554432000 1073741824 1073778376 140735589105168 18446744073709551615 256427208192 0 4 0 16800975 18446604446298003264 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.74
Current children cumulated vsize (KiB) 10552656
[startup+7.00159 s]
/proc/loadavg: 1.27 1.08 1.26 4/551 18847
/proc/meminfo: memFree=20010212/32950928 swapFree=58671692/67111528
[pid=18776] ppid=18774 vsize=0 CPUtime=8.83 cores=0,2,4,6
/proc/18776/stat : 18776 (java) Z 18774 18776 16455 0 -1 4203548 697914 0 1 0 787 96 0 0 18 0 2 0 908988400 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18776/statm: 0 0 0 0 0 0 0
[pid=18776/tid=18784] ppid=18774 vsize=0 CPUtime=0.15 cores=0,2,4,6
/proc/18776/task/18784/stat : 18784 (java) R 18774 18776 16455 0 -1 4203588 5406 0 0 0 10 5 0 0 18 0 2 0 908988402 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.83
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 7.07062
CPU time (s): 8.90365
CPU user time (s): 7.8718
CPU system time (s): 1.03184
CPU usage (%): 125.925
Max. virtual memory (cumulated for all children) (KiB): 10552656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.8718
system time used= 1.03184
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 697914
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= 455
involuntary context switches= 184
runsolver used 0.041993 second user time and 0.092985 second system time
The end