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-3459173-1307134167/watcher-3459173-1307134167 -o /tmp/evaluation-result-3459173-1307134167/solver-3459173-1307134167 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459173-1307134167.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.40 2.51 3.07 3/464 17190
/proc/meminfo: memFree=31336700/32950928 swapFree=34365992/67111528
[pid=17190] ppid=17188 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/17190/stat : 17190 (java) S 17188 17190 12983 0 -1 4202496 2997 0 1 0 0 0 0 0 25 0 2 0 825015424 13833195520 2700 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/17190/statm: 3377245 2714 906 9 0 3368401 0
[pid=17190/tid=17191] ppid=17188 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17191/stat : 17191 (java) R 17188 17190 12983 0 -1 4202560 6260 0 1 0 0 0 0 0 25 0 2 0 825015424 13850947584 7077 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0646481 s]
/proc/loadavg: 2.40 2.51 3.07 3/464 17190
/proc/meminfo: memFree=31336700/32950928 swapFree=34365992/67111528
[pid=17190] ppid=17188 vsize=13620460 CPUtime=0.06 cores=1,3,5,7
/proc/17190/stat : 17190 (java) S 17188 17190 12983 0 -1 4202496 14197 0 1 0 4 2 0 0 25 0 18 0 825015424 13947351040 13895 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17190/statm: 3405115 13896 1733 9 0 3395856 0
[pid=17190/tid=17191] ppid=17188 vsize=13620460 CPUtime=0.04 cores=1,3,5,7
/proc/17190/task/17191/stat : 17191 (java) R 17188 17190 12983 0 -1 4202560 13024 0 1 0 3 1 0 0 25 0 18 0 825015424 13947351040 13896 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 47668776939427 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13620460
[startup+0.100643 s]
/proc/loadavg: 2.40 2.51 3.07 3/464 17190
/proc/meminfo: memFree=31336700/32950928 swapFree=34365992/67111528
[pid=17190] ppid=17188 vsize=13621948 CPUtime=0.1 cores=1,3,5,7
/proc/17190/stat : 17190 (java) S 17188 17190 12983 0 -1 4202496 15595 0 1 0 8 2 0 0 25 0 18 0 825015424 13948874752 15255 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17190/statm: 3405487 15255 2093 9 0 3396221 0
[pid=17190/tid=17191] ppid=17188 vsize=13621948 CPUtime=0.09 cores=1,3,5,7
/proc/17190/task/17191/stat : 17191 (java) R 17188 17190 12983 0 -1 4202560 13640 0 1 0 7 2 0 0 25 0 18 0 825015424 13948874752 15255 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621948
[startup+0.300608 s]
/proc/loadavg: 2.40 2.51 3.07 3/464 17190
/proc/meminfo: memFree=31336700/32950928 swapFree=34365992/67111528
[pid=17190] ppid=17188 vsize=13626168 CPUtime=0.54 cores=1,3,5,7
/proc/17190/stat : 17190 (java) S 17188 17190 12983 0 -1 4202496 18714 0 1 0 52 2 0 0 25 0 19 0 825015424 13953196032 17187 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17190/statm: 3406542 17187 2215 9 0 3397276 0
[pid=17190/tid=17191] ppid=17188 vsize=13626168 CPUtime=0.29 cores=1,3,5,7
/proc/17190/task/17191/stat : 17191 (java) R 17188 17190 12983 0 -1 4202560 14216 0 1 0 27 2 0 0 25 0 19 0 825015424 13953196032 17187 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 46912505329132 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13626168
[startup+0.700536 s]
/proc/loadavg: 2.40 2.51 3.07 3/464 17190
/proc/meminfo: memFree=31336700/32950928 swapFree=34365992/67111528
[pid=17190] ppid=17188 vsize=13626168 CPUtime=1.04 cores=1,3,5,7
/proc/17190/stat : 17190 (java) S 17188 17190 12983 0 -1 4202496 20016 0 1 0 102 2 0 0 25 0 19 0 825015424 13953196032 18157 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17190/statm: 3406542 18157 2247 9 0 3397276 0
[pid=17190/tid=17191] ppid=17188 vsize=13626168 CPUtime=0.66 cores=1,3,5,7
/proc/17190/task/17191/stat : 17191 (java) R 17188 17190 12983 0 -1 4202560 14417 0 1 0 64 2 0 0 25 0 19 0 825015424 13953196032 18157 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 46912505585995 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 13626168
[startup+1.50146 s]
/proc/loadavg: 2.40 2.51 3.07 3/483 17209
/proc/meminfo: memFree=31265408/32950928 swapFree=34365992/67111528
[pid=17190] ppid=17188 vsize=13626168 CPUtime=1.87 cores=1,3,5,7
/proc/17190/stat : 17190 (java) S 17188 17190 12983 0 -1 4202496 20457 0 1 0 185 2 0 0 25 0 19 0 825015424 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17190/statm: 3406542 18385 2248 9 0 3397276 0
[pid=17190/tid=17191] ppid=17188 vsize=13626168 CPUtime=1.43 cores=1,3,5,7
/proc/17190/task/17191/stat : 17191 (java) R 17188 17190 12983 0 -1 4202560 14418 0 1 0 141 2 0 0 25 0 19 0 825015424 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 46912505526635 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17190/tid=17193] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17193/stat : 17193 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17194] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17194/stat : 17194 (java) S 17188 17190 12983 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17195] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17195/stat : 17195 (java) S 17188 17190 12983 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17196] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17196/stat : 17196 (java) S 17188 17190 12983 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17197] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17197/stat : 17197 (java) S 17188 17190 12983 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17198] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17198/stat : 17198 (java) S 17188 17190 12983 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17199] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17199/stat : 17199 (java) S 17188 17190 12983 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17200] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17200/stat : 17200 (java) S 17188 17190 12983 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17201] ppid=17188 vsize=13626168 CPUtime=0.05 cores=1,3,5,7
/proc/17190/task/17201/stat : 17201 (java) S 17188 17190 12983 0 -1 4202560 411 0 0 0 5 0 0 0 15 0 19 0 825015427 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 0 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17202] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17202/stat : 17202 (java) S 17188 17190 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825015428 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17203] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17203/stat : 17203 (java) S 17188 17190 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825015428 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17204] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17204/stat : 17204 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015430 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606690225 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17205] ppid=17188 vsize=13626168 CPUtime=0.17 cores=1,3,5,7
/proc/17190/task/17205/stat : 17205 (java) S 17188 17190 12983 0 -1 4202560 1829 0 0 0 17 0 0 0 16 0 19 0 825015430 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17206] ppid=17188 vsize=13626168 CPUtime=0.2 cores=1,3,5,7
/proc/17190/task/17206/stat : 17206 (java) S 17188 17190 12983 0 -1 4202560 2095 0 0 0 20 0 0 0 17 0 19 0 825015430 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17207] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17207/stat : 17207 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015430 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17208] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17208/stat : 17208 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015430 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17209] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17209/stat : 17209 (java) S 17188 17190 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825015440 13953196032 18385 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 13626168
[startup+3.10117 s]
/proc/loadavg: 2.37 2.50 3.07 3/483 17209
/proc/meminfo: memFree=31262184/32950928 swapFree=34365992/67111528
[pid=17190] ppid=17188 vsize=13626168 CPUtime=3.47 cores=1,3,5,7
/proc/17190/stat : 17190 (java) S 17188 17190 12983 0 -1 4202496 20696 0 1 0 345 2 0 0 25 0 19 0 825015424 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17190/statm: 3406542 18620 2248 9 0 3397276 0
[pid=17190/tid=17191] ppid=17188 vsize=13626168 CPUtime=2.96 cores=1,3,5,7
/proc/17190/task/17191/stat : 17191 (java) R 17188 17190 12983 0 -1 4202560 14422 0 1 0 294 2 0 0 25 0 19 0 825015424 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 46912505617319 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17190/tid=17193] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17193/stat : 17193 (java) S 17188 17190 12983 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17194] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17194/stat : 17194 (java) S 17188 17190 12983 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17195] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17195/stat : 17195 (java) S 17188 17190 12983 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17196] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17196/stat : 17196 (java) S 17188 17190 12983 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17197] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17197/stat : 17197 (java) S 17188 17190 12983 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17198] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17198/stat : 17198 (java) S 17188 17190 12983 0 -1 4202560 107 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17199] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17199/stat : 17199 (java) S 17188 17190 12983 0 -1 4202560 98 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17200] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17200/stat : 17200 (java) S 17188 17190 12983 0 -1 4202560 92 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17201] ppid=17188 vsize=13626168 CPUtime=0.11 cores=1,3,5,7
/proc/17190/task/17201/stat : 17201 (java) S 17188 17190 12983 0 -1 4202560 622 0 0 0 11 0 0 0 15 0 19 0 825015427 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 0 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17202] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17202/stat : 17202 (java) S 17188 17190 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825015428 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17203] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17203/stat : 17203 (java) S 17188 17190 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825015428 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17204] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17204/stat : 17204 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015430 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606690225 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17205] ppid=17188 vsize=13626168 CPUtime=0.17 cores=1,3,5,7
/proc/17190/task/17205/stat : 17205 (java) S 17188 17190 12983 0 -1 4202560 1829 0 0 0 17 0 0 0 16 0 19 0 825015430 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17206] ppid=17188 vsize=13626168 CPUtime=0.2 cores=1,3,5,7
/proc/17190/task/17206/stat : 17206 (java) S 17188 17190 12983 0 -1 4202560 2095 0 0 0 20 0 0 0 17 0 19 0 825015430 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17207] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17207/stat : 17207 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015430 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17208] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17208/stat : 17208 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015430 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17209] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17209/stat : 17209 (java) S 17188 17190 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825015440 13953196032 18620 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 13626168
Solver just ended. Dumping a history of the last processes samples
[startup+3.90097 s]
/proc/loadavg: 2.37 2.50 3.07 3/483 17209
/proc/meminfo: memFree=31262032/32950928 swapFree=34365992/67111528
[pid=17190] ppid=17188 vsize=13626168 CPUtime=4.29 cores=1,3,5,7
/proc/17190/stat : 17190 (java) S 17188 17190 12983 0 -1 4202496 20751 0 1 0 426 3 0 0 25 0 19 0 825015424 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17190/statm: 3406542 18672 2248 9 0 3397276 0
[pid=17190/tid=17191] ppid=17188 vsize=13626168 CPUtime=3.71 cores=1,3,5,7
/proc/17190/task/17191/stat : 17191 (java) R 17188 17190 12983 0 -1 4202560 14425 0 1 0 369 2 0 0 25 0 19 0 825015424 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 46912505600635 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17190/tid=17193] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17193/stat : 17193 (java) S 17188 17190 12983 0 -1 4202560 13 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17194] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17194/stat : 17194 (java) S 17188 17190 12983 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17195] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17195/stat : 17195 (java) S 17188 17190 12983 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17196] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17196/stat : 17196 (java) S 17188 17190 12983 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17197] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17197/stat : 17197 (java) S 17188 17190 12983 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17198] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17198/stat : 17198 (java) S 17188 17190 12983 0 -1 4202560 107 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17199] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17199/stat : 17199 (java) S 17188 17190 12983 0 -1 4202560 98 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17200] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17200/stat : 17200 (java) S 17188 17190 12983 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17201] ppid=17188 vsize=13626168 CPUtime=0.15 cores=1,3,5,7
/proc/17190/task/17201/stat : 17201 (java) S 17188 17190 12983 0 -1 4202560 671 0 0 0 15 0 0 0 15 0 19 0 825015427 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 0 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17202] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17202/stat : 17202 (java) S 17188 17190 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825015428 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17203] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17203/stat : 17203 (java) S 17188 17190 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825015428 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17204] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17204/stat : 17204 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015430 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606690225 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17205] ppid=17188 vsize=13626168 CPUtime=0.17 cores=1,3,5,7
/proc/17190/task/17205/stat : 17205 (java) S 17188 17190 12983 0 -1 4202560 1829 0 0 0 17 0 0 0 16 0 19 0 825015430 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17206] ppid=17188 vsize=13626168 CPUtime=0.2 cores=1,3,5,7
/proc/17190/task/17206/stat : 17206 (java) S 17188 17190 12983 0 -1 4202560 2095 0 0 0 20 0 0 0 17 0 19 0 825015430 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17207] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17207/stat : 17207 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015430 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17208] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17208/stat : 17208 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015430 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17209] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17209/stat : 17209 (java) S 17188 17190 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825015440 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 13626168
[startup+4.3009 s]
/proc/loadavg: 2.37 2.50 3.07 3/483 17209
/proc/meminfo: memFree=31261536/32950928 swapFree=34365992/67111528
[pid=17190] ppid=17188 vsize=13626168 CPUtime=4.7 cores=1,3,5,7
/proc/17190/stat : 17190 (java) S 17188 17190 12983 0 -1 4202496 20753 0 1 0 467 3 0 0 25 0 19 0 825015424 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17190/statm: 3406542 18672 2248 9 0 3397276 0
[pid=17190/tid=17191] ppid=17188 vsize=13626168 CPUtime=4.11 cores=1,3,5,7
/proc/17190/task/17191/stat : 17191 (java) R 17188 17190 12983 0 -1 4202560 14427 0 1 0 409 2 0 0 17 0 19 0 825015424 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 46912505617319 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17190/tid=17193] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17193/stat : 17193 (java) S 17188 17190 12983 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17194] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17194/stat : 17194 (java) S 17188 17190 12983 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17195] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17195/stat : 17195 (java) S 17188 17190 12983 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17196] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17196/stat : 17196 (java) S 17188 17190 12983 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17197] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17197/stat : 17197 (java) S 17188 17190 12983 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17198] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17198/stat : 17198 (java) S 17188 17190 12983 0 -1 4202560 107 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17199] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17199/stat : 17199 (java) S 17188 17190 12983 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17200] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17200/stat : 17200 (java) S 17188 17190 12983 0 -1 4202560 94 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17201] ppid=17188 vsize=13626168 CPUtime=0.16 cores=1,3,5,7
/proc/17190/task/17201/stat : 17201 (java) S 17188 17190 12983 0 -1 4202560 671 0 0 0 16 0 0 0 15 0 19 0 825015427 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 0 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17202] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17202/stat : 17202 (java) S 17188 17190 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825015428 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17203] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17203/stat : 17203 (java) S 17188 17190 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825015428 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17204] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17204/stat : 17204 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015430 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606690225 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17205] ppid=17188 vsize=13626168 CPUtime=0.17 cores=1,3,5,7
/proc/17190/task/17205/stat : 17205 (java) S 17188 17190 12983 0 -1 4202560 1829 0 0 0 17 0 0 0 16 0 19 0 825015430 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17206] ppid=17188 vsize=13626168 CPUtime=0.2 cores=1,3,5,7
/proc/17190/task/17206/stat : 17206 (java) S 17188 17190 12983 0 -1 4202560 2095 0 0 0 20 0 0 0 17 0 19 0 825015430 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17207] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17207/stat : 17207 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015430 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17208] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17208/stat : 17208 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015430 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17209] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17209/stat : 17209 (java) S 17188 17190 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825015440 13953196032 18672 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 13626168
[startup+4.70684 s]
/proc/loadavg: 2.37 2.50 3.07 3/483 17209
/proc/meminfo: memFree=31261536/32950928 swapFree=34365992/67111528
[pid=17190] ppid=17188 vsize=13626168 CPUtime=5.18 cores=1,3,5,7
/proc/17190/stat : 17190 (java) S 17188 17190 12983 0 -1 4202496 25844 0 1 0 515 3 0 0 25 0 19 0 825015424 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17190/statm: 3406542 22017 2249 9 0 3397276 0
[pid=17190/tid=17191] ppid=17188 vsize=13626168 CPUtime=4.49 cores=1,3,5,7
/proc/17190/task/17191/stat : 17191 (java) R 17188 17190 12983 0 -1 4202560 14430 0 1 0 447 2 0 0 18 0 19 0 825015424 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 46912505526946 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17190/tid=17193] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17193/stat : 17193 (java) S 17188 17190 12983 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17194] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17194/stat : 17194 (java) S 17188 17190 12983 0 -1 4202560 139 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17195] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17195/stat : 17195 (java) S 17188 17190 12983 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17196] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17196/stat : 17196 (java) S 17188 17190 12983 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17197] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17197/stat : 17197 (java) S 17188 17190 12983 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17198] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17198/stat : 17198 (java) S 17188 17190 12983 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17199] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17199/stat : 17199 (java) S 17188 17190 12983 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17200] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17200/stat : 17200 (java) S 17188 17190 12983 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17201] ppid=17188 vsize=13626168 CPUtime=0.18 cores=1,3,5,7
/proc/17190/task/17201/stat : 17201 (java) S 17188 17190 12983 0 -1 4202560 671 0 0 0 18 0 0 0 15 0 19 0 825015427 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 0 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17202] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17202/stat : 17202 (java) S 17188 17190 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825015428 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17203] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17203/stat : 17203 (java) S 17188 17190 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825015428 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17204] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17204/stat : 17204 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015430 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606690225 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17205] ppid=17188 vsize=13626168 CPUtime=0.18 cores=1,3,5,7
/proc/17190/task/17205/stat : 17205 (java) S 17188 17190 12983 0 -1 4202560 1829 0 0 0 18 0 0 0 15 0 19 0 825015430 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17206] ppid=17188 vsize=13626168 CPUtime=0.28 cores=1,3,5,7
/proc/17190/task/17206/stat : 17206 (java) R 17188 17190 12983 0 -1 4202560 7181 0 0 0 28 0 0 0 15 0 19 0 825015430 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235594559184 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17190/tid=17207] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17207/stat : 17207 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015430 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17208] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17208/stat : 17208 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015430 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17209] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17209/stat : 17209 (java) S 17188 17190 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825015440 13953196032 22017 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 13626168
[startup+4.80088 s]
/proc/loadavg: 2.37 2.50 3.07 3/483 17209
/proc/meminfo: memFree=31261536/32950928 swapFree=34365992/67111528
[pid=17190] ppid=17188 vsize=13626168 CPUtime=5.37 cores=1,3,5,7
/proc/17190/stat : 17190 (java) S 17188 17190 12983 0 -1 4202496 26644 0 1 0 534 3 0 0 25 0 19 0 825015424 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17190/statm: 3406542 22303 2249 9 0 3397276 0
[pid=17190/tid=17191] ppid=17188 vsize=13626168 CPUtime=4.58 cores=1,3,5,7
/proc/17190/task/17191/stat : 17191 (java) R 17188 17190 12983 0 -1 4202560 14430 0 1 0 456 2 0 0 18 0 19 0 825015424 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 46912505582749 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17190/tid=17193] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17193/stat : 17193 (java) S 17188 17190 12983 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 7 0 0 0
[pid=17190/tid=17194] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17194/stat : 17194 (java) S 17188 17190 12983 0 -1 4202560 139 0 0 0 0 0 0 0 16 0 19 0 825015426 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17195] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17195/stat : 17195 (java) S 17188 17190 12983 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17196] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17196/stat : 17196 (java) S 17188 17190 12983 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17197] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17197/stat : 17197 (java) S 17188 17190 12983 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17198] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17198/stat : 17198 (java) S 17188 17190 12983 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17199] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17199/stat : 17199 (java) S 17188 17190 12983 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17200] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17200/stat : 17200 (java) S 17188 17190 12983 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 825015426 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 3 0 0 0
[pid=17190/tid=17201] ppid=17188 vsize=13626168 CPUtime=0.18 cores=1,3,5,7
/proc/17190/task/17201/stat : 17201 (java) S 17188 17190 12983 0 -1 4202560 671 0 0 0 18 0 0 0 15 0 19 0 825015427 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 0 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17202] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17202/stat : 17202 (java) S 17188 17190 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825015428 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17203] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17203/stat : 17203 (java) S 17188 17190 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825015428 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17204] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17204/stat : 17204 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015430 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606690225 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17205] ppid=17188 vsize=13626168 CPUtime=0.18 cores=1,3,5,7
/proc/17190/task/17205/stat : 17205 (java) S 17188 17190 12983 0 -1 4202560 1830 0 0 0 18 0 0 0 15 0 19 0 825015430 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17206] ppid=17188 vsize=13626168 CPUtime=0.37 cores=1,3,5,7
/proc/17190/task/17206/stat : 17206 (java) R 17188 17190 12983 0 -1 4202560 7980 0 0 0 37 0 0 0 16 0 19 0 825015430 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 47668777497766 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17190/tid=17207] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17207/stat : 17207 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015430 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606682521 0 4 0 16800975 18446604466600908864 0 0 -1 1 0 0 0
[pid=17190/tid=17208] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17208/stat : 17208 (java) S 17188 17190 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015430 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
[pid=17190/tid=17209] ppid=17188 vsize=13626168 CPUtime=0 cores=1,3,5,7
/proc/17190/task/17209/stat : 17209 (java) S 17188 17190 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825015440 13953196032 22303 33554432000 1073741824 1073778376 140734330900624 18446744073709551615 235606683136 0 4 0 16800975 18446604466600908864 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 13626168
Child status: 20
Real time (s): 4.86707
CPU time (s): 5.47917
CPU user time (s): 5.43717
CPU system time (s): 0.041993
CPU usage (%): 112.576
Max. virtual memory (cumulated for all children) (KiB): 13626596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.43717
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26691
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= 593
involuntary context switches= 258
runsolver used 0.021996 second user time and 0.06099 second system time
The end