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-3454913-1307187587/watcher-3454913-1307187587 -o /tmp/evaluation-result-3454913-1307187587/solver-3454913-1307187587 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454913-1307187587.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.00 1.05 1.29 2/453 17927
/proc/meminfo: memFree=26077372/32951124 swapFree=60688864/67111528
[pid=17927] ppid=17925 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17925 17927 14960 0 -1 4202496 1238 0 0 0 0 0 0 0 21 0 2 0 830357117 31260672 957 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17927/statm: 7632 957 730 9 0 383 0
[pid=17927/tid=17929] ppid=17925 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17929/stat : 17929 (java) R 17925 17927 14960 0 -1 4202560 4834 0 1 0 0 0 0 0 22 0 2 0 830357118 10694979584 5650 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0999539 s]
/proc/loadavg: 1.00 1.05 1.29 2/453 17927
/proc/meminfo: memFree=26077372/32951124 swapFree=60688864/67111528
[pid=17927] ppid=17925 vsize=10539484 CPUtime=0.09 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17925 17927 14960 0 -1 4202496 12810 0 1 0 8 1 0 0 21 0 18 0 830357117 10792431616 12506 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17927/statm: 2634871 12506 2092 9 0 2625605 0
[pid=17927/tid=17929] ppid=17925 vsize=10539484 CPUtime=0.07 cores=0,2,4,6
/proc/17927/task/17929/stat : 17929 (java) R 17925 17927 14960 0 -1 4202560 11070 0 1 0 6 1 0 0 22 0 18 0 830357118 10792431616 12506 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 46912496218450 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539484
[startup+0.100951 s]
/proc/loadavg: 1.00 1.05 1.29 2/453 17927
/proc/meminfo: memFree=26077372/32951124 swapFree=60688864/67111528
[pid=17927] ppid=17925 vsize=10539484 CPUtime=0.09 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17925 17927 14960 0 -1 4202496 12817 0 1 0 8 1 0 0 21 0 18 0 830357117 10792431616 12513 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17927/statm: 2634871 12514 2092 9 0 2625605 0
[pid=17927/tid=17929] ppid=17925 vsize=10539484 CPUtime=0.08 cores=0,2,4,6
/proc/17927/task/17929/stat : 17929 (java) R 17925 17927 14960 0 -1 4202560 11078 0 1 0 7 1 0 0 22 0 18 0 830357118 10792431616 12514 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 47033775104771 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539484
[startup+0.303665 s]
/proc/loadavg: 1.00 1.05 1.29 2/453 17927
/proc/meminfo: memFree=26077372/32951124 swapFree=60688864/67111528
[pid=17927] ppid=17925 vsize=10541696 CPUtime=0.43 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17925 17927 14960 0 -1 4202496 15399 0 1 0 41 2 0 0 21 0 18 0 830357117 10794696704 14985 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17927/statm: 2635424 14986 2198 9 0 2626158 0
[pid=17927/tid=17929] ppid=17925 vsize=10541696 CPUtime=0.25 cores=0,2,4,6
/proc/17927/task/17929/stat : 17929 (java) R 17925 17927 14960 0 -1 4202560 12748 0 1 0 24 1 0 0 22 0 18 0 830357118 10794696704 14986 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 46912505567718 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10541696
[startup+0.700932 s]
/proc/loadavg: 1.00 1.05 1.29 2/453 17927
/proc/meminfo: memFree=26077372/32951124 swapFree=60688864/67111528
[pid=17927] ppid=17925 vsize=10545876 CPUtime=1.09 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17925 17927 14960 0 -1 4202496 53302 0 1 0 102 7 0 0 21 0 18 0 830357117 10798977024 51331 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17927/statm: 2636469 51333 2213 9 0 2627203 0
[pid=17927/tid=17929] ppid=17925 vsize=10545876 CPUtime=0.65 cores=0,2,4,6
/proc/17927/task/17929/stat : 17929 (java) R 17925 17927 14960 0 -1 4202560 47680 0 1 0 59 6 0 0 18 0 18 0 830357118 10798977024 51335 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 46912505567718 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 10545876
[startup+1.50074 s]
/proc/loadavg: 1.00 1.05 1.29 3/493 17981
/proc/meminfo: memFree=25381484/32951124 swapFree=60688864/67111528
[pid=17927] ppid=17925 vsize=10545876 CPUtime=1.89 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17925 17927 14960 0 -1 4202496 151925 0 1 0 170 19 0 0 21 0 18 0 830357117 10798977024 149954 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17927/statm: 2636469 149959 2213 9 0 2627203 0
[pid=17927/tid=17929] ppid=17925 vsize=10545876 CPUtime=1.45 cores=0,2,4,6
/proc/17927/task/17929/stat : 17929 (java) R 17925 17927 14960 0 -1 4202560 146306 0 1 0 128 17 0 0 19 0 18 0 830357118 10798977024 149961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 46912505546690 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17927/tid=17939] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17939/stat : 17939 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 830357119 10798977024 149965 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
[pid=17927/tid=17940] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17940/stat : 17940 (java) S 17925 17927 14960 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 830357119 10798977024 149968 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
[pid=17927/tid=17942] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17942/stat : 17942 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357119 10798977024 149971 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17943] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17943/stat : 17943 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357119 10798977024 149974 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17945] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17945/stat : 17945 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357119 10798977024 149977 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17946] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17946/stat : 17946 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357119 10798977024 149980 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17948] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17948/stat : 17948 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357119 10798977024 149983 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17949] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17949/stat : 17949 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357119 10798977024 149986 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17961] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17961/stat : 17961 (java) S 17925 17927 14960 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830357121 10798977024 149989 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708928 0 0 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17963] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17963/stat : 17963 (java) S 17925 17927 14960 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830357121 10798977024 149992 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17964] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17964/stat : 17964 (java) S 17925 17927 14960 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830357121 10798977024 149995 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17969] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17969/stat : 17969 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830357123 10798977024 149998 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347716017 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17971] ppid=17925 vsize=10545876 CPUtime=0.17 cores=0,2,4,6
/proc/17927/task/17971/stat : 17971 (java) S 17925 17927 14960 0 -1 4202560 2042 0 0 0 17 0 0 0 19 0 18 0 830357123 10798977024 150001 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
[pid=17927/tid=17972] ppid=17925 vsize=10545876 CPUtime=0.24 cores=0,2,4,6
/proc/17927/task/17972/stat : 17972 (java) S 17925 17927 14960 0 -1 4202560 2432 0 0 0 24 0 0 0 16 0 18 0 830357123 10798977024 150005 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17973] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17973/stat : 17973 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830357123 10798977024 150008 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17975] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17975/stat : 17975 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830357123 10798977024 150011 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708928 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 10545876
[startup+3.10147 s]
/proc/loadavg: 1.08 1.06 1.30 3/493 17981
/proc/meminfo: memFree=24312108/32951124 swapFree=60688864/67111528
[pid=17927] ppid=17925 vsize=10545876 CPUtime=3.49 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17925 17927 14960 0 -1 4202496 349928 0 1 0 304 45 0 0 21 0 18 0 830357117 10798977024 347957 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17927/statm: 2636469 347962 2213 9 0 2627203 0
[pid=17927/tid=17929] ppid=17925 vsize=10545876 CPUtime=3.06 cores=0,2,4,6
/proc/17927/task/17929/stat : 17929 (java) R 17925 17927 14960 0 -1 4202560 344309 0 1 0 262 44 0 0 23 0 18 0 830357118 10798977024 347964 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 46912505628528 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17927/tid=17939] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17939/stat : 17939 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 830357119 10798977024 347967 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
[pid=17927/tid=17940] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17940/stat : 17940 (java) S 17925 17927 14960 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 830357119 10798977024 347970 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
[pid=17927/tid=17942] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17942/stat : 17942 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357119 10798977024 347973 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17943] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17943/stat : 17943 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357119 10798977024 347976 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17945] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17945/stat : 17945 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357119 10798977024 347979 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17946] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17946/stat : 17946 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357119 10798977024 347982 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17948] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17948/stat : 17948 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357119 10798977024 347985 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17949] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17949/stat : 17949 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357119 10798977024 347988 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17961] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17961/stat : 17961 (java) S 17925 17927 14960 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830357121 10798977024 347991 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708928 0 0 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17963] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17963/stat : 17963 (java) S 17925 17927 14960 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830357121 10798977024 347994 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17964] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17964/stat : 17964 (java) S 17925 17927 14960 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830357121 10798977024 347997 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17969] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17969/stat : 17969 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830357123 10798977024 348000 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347716017 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17971] ppid=17925 vsize=10545876 CPUtime=0.17 cores=0,2,4,6
/proc/17927/task/17971/stat : 17971 (java) S 17925 17927 14960 0 -1 4202560 2042 0 0 0 17 0 0 0 19 0 18 0 830357123 10798977024 348003 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
[pid=17927/tid=17972] ppid=17925 vsize=10545876 CPUtime=0.24 cores=0,2,4,6
/proc/17927/task/17972/stat : 17972 (java) S 17925 17927 14960 0 -1 4202560 2432 0 0 0 24 0 0 0 15 0 18 0 830357123 10798977024 348006 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17973] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17973/stat : 17973 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830357123 10798977024 348009 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17975] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17975/stat : 17975 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830357123 10798977024 348012 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708928 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 10545876
[startup+6.3009 s]
/proc/loadavg: 1.08 1.06 1.30 7/493 17981
/proc/meminfo: memFree=20577172/32951124 swapFree=60688864/67111528
[pid=17927] ppid=17925 vsize=10545876 CPUtime=7.1 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17925 17927 14960 0 -1 4202496 692601 0 1 0 625 85 0 0 21 0 18 0 830357117 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17927/statm: 2636469 690524 2231 9 0 2627203 0
[pid=17927/tid=17929] ppid=17925 vsize=10545876 CPUtime=6.04 cores=0,2,4,6
/proc/17927/task/17929/stat : 17929 (java) R 17925 17927 14960 0 -1 4202560 651010 0 1 0 526 78 0 0 18 0 18 0 830357118 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 46912505559371 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17927/tid=17939] ppid=17925 vsize=10545876 CPUtime=0.2 cores=0,2,4,6
/proc/17927/task/17939/stat : 17939 (java) S 17925 17927 14960 0 -1 4202560 12309 0 0 0 19 1 0 0 18 0 18 0 830357119 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 4 0 0 0
[pid=17927/tid=17940] ppid=17925 vsize=10545876 CPUtime=0.19 cores=0,2,4,6
/proc/17927/task/17940/stat : 17940 (java) S 17925 17927 14960 0 -1 4202560 13998 0 0 0 17 2 0 0 18 0 18 0 830357119 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17942] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17942/stat : 17942 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 830357119 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17943] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17943/stat : 17943 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 830357119 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17945] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17945/stat : 17945 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 830357119 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17946] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17946/stat : 17946 (java) S 17925 17927 14960 0 -1 4202560 38 0 0 0 0 0 0 0 18 0 18 0 830357119 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17948] ppid=17925 vsize=10545876 CPUtime=0.04 cores=0,2,4,6
/proc/17927/task/17948/stat : 17948 (java) S 17925 17927 14960 0 -1 4202560 2372 0 0 0 4 0 0 0 18 0 18 0 830357119 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 4 0 0 0
[pid=17927/tid=17949] ppid=17925 vsize=10545876 CPUtime=0.14 cores=0,2,4,6
/proc/17927/task/17949/stat : 17949 (java) S 17925 17927 14960 0 -1 4202560 7240 0 0 0 13 1 0 0 18 0 18 0 830357119 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 4 0 0 0
[pid=17927/tid=17961] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17961/stat : 17961 (java) S 17925 17927 14960 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 830357121 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708928 0 0 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17963] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17963/stat : 17963 (java) S 17925 17927 14960 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 18 0 830357121 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17964] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17964/stat : 17964 (java) S 17925 17927 14960 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 830357121 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17969] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17969/stat : 17969 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830357123 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347716017 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17971] ppid=17925 vsize=10545876 CPUtime=0.17 cores=0,2,4,6
/proc/17927/task/17971/stat : 17971 (java) S 17925 17927 14960 0 -1 4202560 2042 0 0 0 17 0 0 0 19 0 18 0 830357123 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
[pid=17927/tid=17972] ppid=17925 vsize=10545876 CPUtime=0.24 cores=0,2,4,6
/proc/17927/task/17972/stat : 17972 (java) S 17925 17927 14960 0 -1 4202560 2434 0 0 0 24 0 0 0 15 0 18 0 830357123 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17973] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17973/stat : 17973 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830357123 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17975] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17975/stat : 17975 (java) S 17925 17927 14960 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 830357123 10798977024 690524 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708928 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 10545876
[startup+12.7008 s]
/proc/loadavg: 1.29 1.11 1.31 3/493 17981
/proc/meminfo: memFree=19967392/32951124 swapFree=60688864/67111528
[pid=17927] ppid=17925 vsize=10545876 CPUtime=14.32 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17925 17927 14960 0 -1 4202496 766060 0 1 0 1336 96 0 0 21 0 18 0 830357117 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17927/statm: 2636469 763961 2231 9 0 2627203 0
[pid=17927/tid=17929] ppid=17925 vsize=10545876 CPUtime=12.14 cores=0,2,4,6
/proc/17927/task/17929/stat : 17929 (java) R 17925 17927 14960 0 -1 4202560 651013 0 1 0 1134 80 0 0 18 0 18 0 830357118 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 46912505504196 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17927/tid=17939] ppid=17925 vsize=10545876 CPUtime=0.29 cores=0,2,4,6
/proc/17927/task/17939/stat : 17939 (java) S 17925 17927 14960 0 -1 4202560 17602 0 0 0 28 1 0 0 18 0 18 0 830357119 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 4 0 0 0
[pid=17927/tid=17940] ppid=17925 vsize=10545876 CPUtime=0.19 cores=0,2,4,6
/proc/17927/task/17940/stat : 17940 (java) S 17925 17927 14960 0 -1 4202560 13998 0 0 0 17 2 0 0 18 0 18 0 830357119 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 0 0 0 0
[pid=17927/tid=17942] ppid=17925 vsize=10545876 CPUtime=0.29 cores=0,2,4,6
/proc/17927/task/17942/stat : 17942 (java) S 17925 17927 14960 0 -1 4202560 20569 0 0 0 26 3 0 0 16 0 18 0 830357119 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17943] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17943/stat : 17943 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830357119 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
[pid=17927/tid=17945] ppid=17925 vsize=10545876 CPUtime=0.18 cores=0,2,4,6
/proc/17927/task/17945/stat : 17945 (java) S 17925 17927 14960 0 -1 4202560 10273 0 0 0 18 0 0 0 16 0 18 0 830357119 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 0 0 0 0
[pid=17927/tid=17946] ppid=17925 vsize=10545876 CPUtime=0.28 cores=0,2,4,6
/proc/17927/task/17946/stat : 17946 (java) S 17925 17927 14960 0 -1 4202560 20556 0 0 0 26 2 0 0 16 0 18 0 830357119 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
[pid=17927/tid=17948] ppid=17925 vsize=10545876 CPUtime=0.04 cores=0,2,4,6
/proc/17927/task/17948/stat : 17948 (java) S 17925 17927 14960 0 -1 4202560 2372 0 0 0 4 0 0 0 18 0 18 0 830357119 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 4 0 0 0
[pid=17927/tid=17949] ppid=17925 vsize=10545876 CPUtime=0.33 cores=0,2,4,6
/proc/17927/task/17949/stat : 17949 (java) S 17925 17927 14960 0 -1 4202560 24037 0 0 0 31 2 0 0 18 0 18 0 830357119 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 4 0 0 0
[pid=17927/tid=17961] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17961/stat : 17961 (java) S 17925 17927 14960 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 830357121 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708928 0 0 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17963] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17963/stat : 17963 (java) S 17925 17927 14960 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 18 0 830357121 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17964] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17964/stat : 17964 (java) S 17925 17927 14960 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 830357121 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17969] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17969/stat : 17969 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830357123 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347716017 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17971] ppid=17925 vsize=10545876 CPUtime=0.21 cores=0,2,4,6
/proc/17927/task/17971/stat : 17971 (java) S 17925 17927 14960 0 -1 4202560 2050 0 0 0 21 0 0 0 15 0 18 0 830357123 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17972] ppid=17925 vsize=10545876 CPUtime=0.24 cores=0,2,4,6
/proc/17927/task/17972/stat : 17972 (java) S 17925 17927 14960 0 -1 4202560 2434 0 0 0 24 0 0 0 15 0 18 0 830357123 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 0 0 0 0
[pid=17927/tid=17973] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17973/stat : 17973 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830357123 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17975] ppid=17925 vsize=10545876 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17975/stat : 17975 (java) S 17925 17927 14960 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 830357123 10798977024 763961 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708928 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 14.32
Current children cumulated vsize (KiB) 10545876
Solver just ended. Dumping a history of the last processes samples
[startup+13.3236 s]
/proc/loadavg: 1.29 1.11 1.31 3/493 17981
/proc/meminfo: memFree=19967392/32951124 swapFree=60688864/67111528
[pid=17927] ppid=17925 vsize=10548544 CPUtime=15.7 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17925 17927 14960 0 -1 4202496 773062 0 1 0 1473 97 0 0 21 0 18 0 830357117 10801709056 768693 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17927/statm: 2637136 768703 2239 9 0 2627870 0
[pid=17927/tid=17929] ppid=17925 vsize=10548544 CPUtime=12.65 cores=0,2,4,6
/proc/17927/task/17929/stat : 17929 (java) S 17925 17927 14960 0 -1 4202560 651042 0 1 0 1185 80 0 0 18 0 18 0 830357118 10801709056 768707 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
[pid=17927/tid=17939] ppid=17925 vsize=10548544 CPUtime=0.29 cores=0,2,4,6
/proc/17927/task/17939/stat : 17939 (java) R 17925 17927 14960 0 -1 4202560 17602 0 0 0 28 1 0 0 18 0 18 0 830357119 10801709056 768714 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347718325 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17927/tid=17940] ppid=17925 vsize=10548544 CPUtime=0.3 cores=0,2,4,6
/proc/17927/task/17940/stat : 17940 (java) R 17925 17927 14960 0 -1 4202560 14568 0 0 0 28 2 0 0 15 0 18 0 830357119 10801709056 768720 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 47033774307059 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17927/tid=17942] ppid=17925 vsize=10548544 CPUtime=0.4 cores=0,2,4,6
/proc/17927/task/17942/stat : 17942 (java) R 17925 17927 14960 0 -1 4202560 20899 0 0 0 37 3 0 0 16 0 18 0 830357119 10801709056 768724 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 47033776011439 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17927/tid=17943] ppid=17925 vsize=10548544 CPUtime=0.11 cores=0,2,4,6
/proc/17927/task/17943/stat : 17943 (java) R 17925 17927 14960 0 -1 4202560 405 0 0 0 11 0 0 0 16 0 18 0 830357119 10801709056 768730 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 47033774307017 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17927/tid=17945] ppid=17925 vsize=10548544 CPUtime=0.19 cores=0,2,4,6
/proc/17927/task/17945/stat : 17945 (java) R 17925 17927 14960 0 -1 4202560 10273 0 0 0 19 0 0 0 15 0 18 0 830357119 10801709056 768734 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 47033778731758 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17927/tid=17946] ppid=17925 vsize=10548544 CPUtime=0.28 cores=0,2,4,6
/proc/17927/task/17946/stat : 17946 (java) S 17925 17927 14960 0 -1 4202560 20556 0 0 0 26 2 0 0 16 0 18 0 830357119 10801709056 768741 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
[pid=17927/tid=17948] ppid=17925 vsize=10548544 CPUtime=0.16 cores=0,2,4,6
/proc/17927/task/17948/stat : 17948 (java) R 17925 17927 14960 0 -1 4202560 2752 0 0 0 16 0 0 0 15 0 18 0 830357119 10801709056 768747 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 47033774307009 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17927/tid=17949] ppid=17925 vsize=10548544 CPUtime=0.33 cores=0,2,4,6
/proc/17927/task/17949/stat : 17949 (java) R 17925 17927 14960 0 -1 4202560 24037 0 0 0 31 2 0 0 18 0 18 0 830357119 10801709056 768752 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17927/tid=17961] ppid=17925 vsize=10548544 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17961/stat : 17961 (java) S 17925 17927 14960 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 830357121 10801709056 768758 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 0 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17963] ppid=17925 vsize=10548544 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17963/stat : 17963 (java) S 17925 17927 14960 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 18 0 830357121 10801709056 768764 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17964] ppid=17925 vsize=10548544 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17964/stat : 17964 (java) S 17925 17927 14960 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 830357121 10801709056 768766 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17969] ppid=17925 vsize=10548544 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17969/stat : 17969 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830357123 10801709056 768772 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347716017 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17971] ppid=17925 vsize=10548544 CPUtime=0.38 cores=0,2,4,6
/proc/17927/task/17971/stat : 17971 (java) S 17925 17927 14960 0 -1 4202560 2813 0 0 0 38 0 0 0 16 0 18 0 830357123 10801709056 768776 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17972] ppid=17925 vsize=10548544 CPUtime=0.48 cores=0,2,4,6
/proc/17927/task/17972/stat : 17972 (java) S 17925 17927 14960 0 -1 4202560 6998 0 0 0 47 1 0 0 16 0 18 0 830357123 10801709056 768783 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 0 0 0 0
[pid=17927/tid=17973] ppid=17925 vsize=10548544 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17973/stat : 17973 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830357123 10801709056 768788 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17975] ppid=17925 vsize=10548544 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17975/stat : 17975 (java) S 17925 17927 14960 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 830357123 10801709056 768795 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708928 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 15.7
Current children cumulated vsize (KiB) 10548544
[startup+14.1015 s]
/proc/loadavg: 1.29 1.11 1.31 9/493 17981
/proc/meminfo: memFree=19838928/32951124 swapFree=60688864/67111528
[pid=17927] ppid=17925 vsize=10553604 CPUtime=17.85 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17925 17927 14960 0 -1 4202496 841061 0 1 0 1680 105 0 0 21 0 22 0 830357117 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17927/statm: 2638401 836660 2247 9 0 2629135 0
[pid=17927/tid=17929] ppid=17925 vsize=10553604 CPUtime=12.96 cores=0,2,4,6
/proc/17927/task/17929/stat : 17929 (java) S 17925 17927 14960 0 -1 4202560 651062 0 1 0 1215 81 0 0 17 0 22 0 830357118 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708928 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17939] ppid=17925 vsize=10553604 CPUtime=0.29 cores=0,2,4,6
/proc/17927/task/17939/stat : 17939 (java) S 17925 17927 14960 0 -1 4202560 17602 0 0 0 28 1 0 0 18 0 22 0 830357119 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17940] ppid=17925 vsize=10553604 CPUtime=0.41 cores=0,2,4,6
/proc/17927/task/17940/stat : 17940 (java) S 17925 17927 14960 0 -1 4202560 20508 0 0 0 38 3 0 0 16 0 22 0 830357119 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 0 0 0 0
[pid=17927/tid=17942] ppid=17925 vsize=10553604 CPUtime=0.65 cores=0,2,4,6
/proc/17927/task/17942/stat : 17942 (java) S 17925 17927 14960 0 -1 4202560 40261 0 0 0 60 5 0 0 16 0 22 0 830357119 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17943] ppid=17925 vsize=10553604 CPUtime=0.37 cores=0,2,4,6
/proc/17927/task/17943/stat : 17943 (java) S 17925 17927 14960 0 -1 4202560 14014 0 0 0 37 0 0 0 16 0 22 0 830357119 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 4 0 0 0
[pid=17927/tid=17945] ppid=17925 vsize=10553604 CPUtime=0.35 cores=0,2,4,6
/proc/17927/task/17945/stat : 17945 (java) S 17925 17927 14960 0 -1 4202560 20953 0 0 0 33 2 0 0 16 0 22 0 830357119 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 0 0 0 0
[pid=17927/tid=17946] ppid=17925 vsize=10553604 CPUtime=0.28 cores=0,2,4,6
/proc/17927/task/17946/stat : 17946 (java) S 17925 17927 14960 0 -1 4202560 20556 0 0 0 26 2 0 0 15 0 22 0 830357119 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
[pid=17927/tid=17948] ppid=17925 vsize=10553604 CPUtime=0.42 cores=0,2,4,6
/proc/17927/task/17948/stat : 17948 (java) S 17925 17927 14960 0 -1 4202560 20553 0 0 0 40 2 0 0 16 0 22 0 830357119 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 4 0 0 0
[pid=17927/tid=17949] ppid=17925 vsize=10553604 CPUtime=0.33 cores=0,2,4,6
/proc/17927/task/17949/stat : 17949 (java) S 17925 17927 14960 0 -1 4202560 24037 0 0 0 31 2 0 0 18 0 22 0 830357119 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 4 0 0 0
[pid=17927/tid=17961] ppid=17925 vsize=10553604 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17961/stat : 17961 (java) S 17925 17927 14960 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 830357121 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708928 0 0 0 16800975 18446604444075095232 0 0 -1 2 0 0 0
[pid=17927/tid=17963] ppid=17925 vsize=10553604 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17963/stat : 17963 (java) S 17925 17927 14960 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 830357121 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17964] ppid=17925 vsize=10553604 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17964/stat : 17964 (java) S 17925 17927 14960 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830357121 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17969] ppid=17925 vsize=10553604 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17969/stat : 17969 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830357123 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347716017 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17971] ppid=17925 vsize=10553604 CPUtime=0.58 cores=0,2,4,6
/proc/17927/task/17971/stat : 17971 (java) R 17925 17927 14960 0 -1 4202560 2853 0 0 0 58 0 0 0 16 0 22 0 830357123 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 47033778817605 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17927/tid=17972] ppid=17925 vsize=10553604 CPUtime=0.68 cores=0,2,4,6
/proc/17927/task/17972/stat : 17972 (java) R 17925 17927 14960 0 -1 4202560 7428 0 0 0 67 1 0 0 16 0 22 0 830357123 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 47033775360528 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17927/tid=17973] ppid=17925 vsize=10553604 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17973/stat : 17973 (java) S 17925 17927 14960 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830357123 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708313 0 4 0 16800975 18446604444075095232 0 0 -1 6 0 0 0
[pid=17927/tid=17975] ppid=17925 vsize=10553604 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17975/stat : 17975 (java) S 17925 17927 14960 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830357123 10806890496 836660 33554432000 1073741824 1073778376 140734538796096 18446744073709551615 232347708928 0 4 0 16800975 18446604444075095232 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 17.85
Current children cumulated vsize (KiB) 10553604
[startup+14.5015 s]
/proc/loadavg: 1.29 1.11 1.31 4/478 17991
/proc/meminfo: memFree=21239748/32951124 swapFree=60688864/67111528
[pid=17927] ppid=17925 vsize=0 CPUtime=18.54 cores=0,2,4,6
/proc/17927/stat : 17927 (java) Z 17925 17927 14960 0 -1 4203548 841581 0 1 0 1741 113 0 0 18 0 2 0 830357117 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17927/statm: 0 0 0 0 0 0 0
[pid=17927/tid=17949] ppid=17925 vsize=0 CPUtime=0.42 cores=0,2,4,6
/proc/17927/task/17949/stat : 17949 (java) R 17925 17927 14960 0 -1 4203588 24037 0 0 0 31 11 0 0 15 0 2 0 830357119 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) 18.54
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 14.5567
CPU time (s): 18.6052
CPU user time (s): 17.4174
CPU system time (s): 1.18782
CPU usage (%): 127.812
Max. virtual memory (cumulated for all children) (KiB): 10553604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.4174
system time used= 1.18782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 841581
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= 771
involuntary context switches= 535
runsolver used 0.075988 second user time and 0.145977 second system time
The end