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-3457479-1307221270/watcher-3457479-1307221270 -o /tmp/evaluation-result-3457479-1307221270/solver-3457479-1307221270 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457479-1307221270.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.85 1.98 1.99 3/506 25968
/proc/meminfo: memFree=20641940/32951124 swapFree=46575304/67111528
[pid=25968] ppid=25966 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/25968/stat : 25968 (java) S 25966 25968 25273 0 -1 4202496 4039 0 1 0 0 0 0 0 25 0 2 0 566318284 10694979584 3740 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/25968/statm: 2611079 3753 917 9 0 2602235 0
[pid=25968/tid=25969] ppid=25966 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 25273 0 -1 4202560 6962 0 1 0 0 0 0 0 25 0 2 0 566318284 10694979584 7778 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.038387 s]
/proc/loadavg: 1.85 1.98 1.99 3/506 25968
/proc/meminfo: memFree=20641940/32951124 swapFree=46575304/67111528
[pid=25968] ppid=25966 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/25968/stat : 25968 (java) S 25966 25968 25273 0 -1 4202496 11171 0 1 0 2 1 0 0 25 0 13 0 566318284 10718699520 10867 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/25968/statm: 2616870 10868 1659 9 0 2607618 0
[pid=25968/tid=25969] ppid=25966 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 25273 0 -1 4202560 10024 0 1 0 2 0 0 0 25 0 13 0 566318284 10718699520 10868 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672490875 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100376 s]
/proc/loadavg: 1.85 1.98 1.99 3/506 25968
/proc/meminfo: memFree=20641940/32951124 swapFree=46575304/67111528
[pid=25968] ppid=25966 vsize=10539628 CPUtime=0.09 cores=0,2,4,6
/proc/25968/stat : 25968 (java) S 25966 25968 25273 0 -1 4202496 13047 0 1 0 8 1 0 0 25 0 18 0 566318284 10792579072 12710 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25968/statm: 2634907 12710 2092 9 0 2625641 0
[pid=25968/tid=25969] ppid=25966 vsize=10539628 CPUtime=0.08 cores=0,2,4,6
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 25273 0 -1 4202560 11096 0 1 0 7 1 0 0 25 0 18 0 566318284 10792579072 12710 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 46912496202850 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) 10539628
[startup+0.366102 s]
/proc/loadavg: 1.85 1.98 1.99 3/506 25968
/proc/meminfo: memFree=20641940/32951124 swapFree=46575304/67111528
[pid=25968] ppid=25966 vsize=10556856 CPUtime=1.63 cores=0,2,4,6
/proc/25968/stat : 25968 (java) S 25966 25968 25273 0 -1 4202496 45170 0 1 0 157 6 0 0 25 0 19 0 566318284 10810220544 41761 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25968/statm: 2639214 41765 2217 9 0 2629948 0
[pid=25968/tid=25969] ppid=25966 vsize=10556856 CPUtime=0.66 cores=0,2,4,6
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 25273 0 -1 4202560 32564 0 1 0 62 4 0 0 18 0 19 0 566318284 10810220544 41768 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 46912505584451 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10556856
[startup+0.717315 s]
/proc/loadavg: 1.85 1.98 1.99 3/506 25968
/proc/meminfo: memFree=20641940/32951124 swapFree=46575304/67111528
[pid=25968] ppid=25966 vsize=10556856 CPUtime=1.7 cores=0,2,4,6
/proc/25968/stat : 25968 (java) S 25966 25968 25273 0 -1 4202496 48423 0 1 0 163 7 0 0 25 0 19 0 566318284 10810220544 45014 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25968/statm: 2639214 45017 2218 9 0 2629948 0
[pid=25968/tid=25969] ppid=25966 vsize=10556856 CPUtime=0.69 cores=0,2,4,6
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 25273 0 -1 4202560 35805 0 1 0 65 4 0 0 18 0 19 0 566318284 10810220544 45019 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 46912505593483 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 10556856
[startup+1.50118 s]
/proc/loadavg: 1.85 1.98 1.99 3/525 25987
/proc/meminfo: memFree=19765052/32951124 swapFree=46575304/67111528
[pid=25968] ppid=25966 vsize=10556856 CPUtime=2.65 cores=0,2,4,6
/proc/25968/stat : 25968 (java) S 25966 25968 25273 0 -1 4202496 128762 0 1 0 249 16 0 0 25 0 19 0 566318284 10810220544 125353 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25968/statm: 2639214 125357 2225 9 0 2629948 0
[pid=25968/tid=25969] ppid=25966 vsize=10556856 CPUtime=1.47 cores=0,2,4,6
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 25273 0 -1 4202560 115860 0 1 0 134 13 0 0 18 0 19 0 566318284 10810220544 125359 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 46912505584140 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25968/tid=25971] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25971/stat : 25971 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 125363 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25972] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25972/stat : 25972 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 125364 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25973] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25973/stat : 25973 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 125367 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25974] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25974/stat : 25974 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 125370 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25975] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25975/stat : 25975 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 125373 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25976] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25976/stat : 25976 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 125376 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25977] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25977/stat : 25977 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 125378 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25978] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25978/stat : 25978 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 125380 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25979] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25979/stat : 25979 (java) S 25966 25968 25273 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 566318287 10810220544 125383 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 0 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25980] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25980/stat : 25980 (java) S 25966 25968 25273 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 566318287 10810220544 125385 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25981] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25981/stat : 25981 (java) S 25966 25968 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 566318287 10810220544 125388 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25982] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25982/stat : 25982 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318290 10810220544 125390 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672485809 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25983] ppid=25966 vsize=10556856 CPUtime=0.59 cores=0,2,4,6
/proc/25968/task/25983/stat : 25983 (java) S 25966 25968 25273 0 -1 4202560 5590 0 0 0 58 1 0 0 15 0 19 0 566318290 10810220544 125393 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25984] ppid=25966 vsize=10556856 CPUtime=0.56 cores=0,2,4,6
/proc/25968/task/25984/stat : 25984 (java) S 25966 25968 25273 0 -1 4202560 6158 0 0 0 55 1 0 0 15 0 19 0 566318290 10810220544 125394 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 4 0 0 0
[pid=25968/tid=25985] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25985/stat : 25985 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318290 10810220544 125395 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25986] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25986/stat : 25986 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 566318290 10810220544 125398 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 4 0 16800975 18446604441505864576 0 0 -1 0 0 0 0
[pid=25968/tid=25987] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25987/stat : 25987 (java) S 25966 25968 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 566318302 10810220544 125400 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 10556856
[startup+3.10089 s]
/proc/loadavg: 1.85 1.98 1.99 3/525 25987
/proc/meminfo: memFree=18907228/32951124 swapFree=46575304/67111528
[pid=25968] ppid=25966 vsize=10556856 CPUtime=4.25 cores=0,2,4,6
/proc/25968/stat : 25968 (java) S 25966 25968 25273 0 -1 4202496 292909 0 1 0 391 34 0 0 25 0 19 0 566318284 10810220544 289498 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25968/statm: 2639214 289502 2225 9 0 2629948 0
[pid=25968/tid=25969] ppid=25966 vsize=10556856 CPUtime=3.07 cores=0,2,4,6
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 25273 0 -1 4202560 280008 0 1 0 276 31 0 0 18 0 19 0 566318284 10810220544 289505 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 46912505576166 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25968/tid=25971] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25971/stat : 25971 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 289508 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25972] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25972/stat : 25972 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 289512 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25973] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25973/stat : 25973 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 289514 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25974] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25974/stat : 25974 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 289517 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25975] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25975/stat : 25975 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 289519 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25976] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25976/stat : 25976 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 289522 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25977] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25977/stat : 25977 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 289524 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25978] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25978/stat : 25978 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10810220544 289527 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25979] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25979/stat : 25979 (java) S 25966 25968 25273 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 566318287 10810220544 289529 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 0 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25980] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25980/stat : 25980 (java) S 25966 25968 25273 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 566318287 10810220544 289531 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25981] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25981/stat : 25981 (java) S 25966 25968 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 566318287 10810220544 289533 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25982] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25982/stat : 25982 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318290 10810220544 289535 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672485809 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25983] ppid=25966 vsize=10556856 CPUtime=0.59 cores=0,2,4,6
/proc/25968/task/25983/stat : 25983 (java) S 25966 25968 25273 0 -1 4202560 5590 0 0 0 58 1 0 0 15 0 19 0 566318290 10810220544 289537 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25984] ppid=25966 vsize=10556856 CPUtime=0.57 cores=0,2,4,6
/proc/25968/task/25984/stat : 25984 (java) S 25966 25968 25273 0 -1 4202560 6158 0 0 0 56 1 0 0 15 0 19 0 566318290 10810220544 289538 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 4 0 0 0
[pid=25968/tid=25985] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25985/stat : 25985 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318290 10810220544 289539 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25986] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25986/stat : 25986 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 566318290 10810220544 289541 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 4 0 16800975 18446604441505864576 0 0 -1 0 0 0 0
[pid=25968/tid=25987] ppid=25966 vsize=10556856 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25987/stat : 25987 (java) S 25966 25968 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 566318302 10810220544 289544 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 10556856
[startup+6.3013 s]
/proc/loadavg: 1.86 1.98 1.99 3/525 25987
/proc/meminfo: memFree=16539668/32951124 swapFree=46575304/67111528
[pid=25968] ppid=25966 vsize=10553464 CPUtime=7.45 cores=0,2,4,6
/proc/25968/stat : 25968 (java) S 25966 25968 25273 0 -1 4202496 606210 0 1 0 680 65 0 0 25 0 19 0 566318284 10806747136 601957 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25968/statm: 2638366 601961 2226 9 0 2629100 0
[pid=25968/tid=25969] ppid=25966 vsize=10553464 CPUtime=6.28 cores=0,2,4,6
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 25273 0 -1 4202560 593307 0 1 0 565 63 0 0 21 0 19 0 566318284 10806747136 601963 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 46912505566101 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25968/tid=25971] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25971/stat : 25971 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 601965 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25972] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25972/stat : 25972 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 601968 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25973] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25973/stat : 25973 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 601970 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25974] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25974/stat : 25974 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 601972 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25975] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25975/stat : 25975 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 601975 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25976] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25976/stat : 25976 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 601977 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25977] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25977/stat : 25977 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 601979 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25978] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25978/stat : 25978 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 601982 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25979] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25979/stat : 25979 (java) S 25966 25968 25273 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 566318287 10806747136 601984 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 0 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25980] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25980/stat : 25980 (java) S 25966 25968 25273 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 566318287 10806747136 601987 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25981] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25981/stat : 25981 (java) S 25966 25968 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 566318287 10806747136 601989 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25982] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25982/stat : 25982 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318290 10806747136 601991 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672485809 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25983] ppid=25966 vsize=10553464 CPUtime=0.59 cores=0,2,4,6
/proc/25968/task/25983/stat : 25983 (java) S 25966 25968 25273 0 -1 4202560 5590 0 0 0 58 1 0 0 15 0 19 0 566318290 10806747136 601994 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25984] ppid=25966 vsize=10553464 CPUtime=0.57 cores=0,2,4,6
/proc/25968/task/25984/stat : 25984 (java) S 25966 25968 25273 0 -1 4202560 6158 0 0 0 56 1 0 0 15 0 19 0 566318290 10806747136 601996 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 4 0 0 0
[pid=25968/tid=25985] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25985/stat : 25985 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318290 10806747136 601998 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25986] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25986/stat : 25986 (java) S 25966 25968 25273 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 566318290 10806747136 602000 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 4 0 16800975 18446604441505864576 0 0 -1 0 0 0 0
[pid=25968/tid=25987] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25987/stat : 25987 (java) S 25966 25968 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 566318302 10806747136 602003 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 10553464
Solver just ended. Dumping a history of the last processes samples
[startup+6.60126 s]
/proc/loadavg: 1.86 1.98 1.99 3/525 25987
/proc/meminfo: memFree=16539668/32951124 swapFree=46575304/67111528
[pid=25968] ppid=25966 vsize=10553464 CPUtime=7.76 cores=0,2,4,6
/proc/25968/stat : 25968 (java) S 25966 25968 25273 0 -1 4202496 634561 0 1 0 707 69 0 0 25 0 19 0 566318284 10806747136 630307 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25968/statm: 2638366 630311 2226 9 0 2629100 0
[pid=25968/tid=25969] ppid=25966 vsize=10553464 CPUtime=6.58 cores=0,2,4,6
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 25273 0 -1 4202560 621658 0 1 0 592 66 0 0 21 0 19 0 566318284 10806747136 630314 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 46912505584451 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25968/tid=25971] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25971/stat : 25971 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 630316 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25972] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25972/stat : 25972 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 630319 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25973] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25973/stat : 25973 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 630321 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25974] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25974/stat : 25974 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 630324 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25975] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25975/stat : 25975 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 630326 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25976] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25976/stat : 25976 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 630328 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25977] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25977/stat : 25977 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 630330 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25978] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25978/stat : 25978 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318286 10806747136 630333 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25979] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25979/stat : 25979 (java) S 25966 25968 25273 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 566318287 10806747136 630336 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 0 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25980] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25980/stat : 25980 (java) S 25966 25968 25273 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 566318287 10806747136 630338 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25981] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25981/stat : 25981 (java) S 25966 25968 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 566318287 10806747136 630341 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25982] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25982/stat : 25982 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318290 10806747136 630344 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672485809 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25983] ppid=25966 vsize=10553464 CPUtime=0.59 cores=0,2,4,6
/proc/25968/task/25983/stat : 25983 (java) S 25966 25968 25273 0 -1 4202560 5590 0 0 0 58 1 0 0 15 0 19 0 566318290 10806747136 630346 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25984] ppid=25966 vsize=10553464 CPUtime=0.57 cores=0,2,4,6
/proc/25968/task/25984/stat : 25984 (java) S 25966 25968 25273 0 -1 4202560 6158 0 0 0 56 1 0 0 15 0 19 0 566318290 10806747136 630348 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 4 0 0 0
[pid=25968/tid=25985] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25985/stat : 25985 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318290 10806747136 630351 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25986] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25986/stat : 25986 (java) S 25966 25968 25273 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 566318290 10806747136 630354 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 4 0 16800975 18446604441505864576 0 0 -1 0 0 0 0
[pid=25968/tid=25987] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25987/stat : 25987 (java) S 25966 25968 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 566318302 10806747136 630356 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 10553464
[startup+8.20098 s]
/proc/loadavg: 1.86 1.98 1.99 3/525 25987
/proc/meminfo: memFree=16069192/32951124 swapFree=46575304/67111528
[pid=25968] ppid=25966 vsize=10553464 CPUtime=9.39 cores=0,2,4,6
/proc/25968/stat : 25968 (java) S 25966 25968 25273 0 -1 4202496 666142 0 1 0 867 72 0 0 25 0 19 0 566318284 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25968/statm: 2638366 661880 2241 9 0 2629100 0
[pid=25968/tid=25969] ppid=25966 vsize=10553464 CPUtime=8.16 cores=0,2,4,6
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 25273 0 -1 4202560 651050 0 1 0 747 69 0 0 25 0 19 0 566318284 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 46912505559870 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25968/tid=25971] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25971/stat : 25971 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 566318286 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25972] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25972/stat : 25972 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 566318286 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25973] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25973/stat : 25973 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 566318286 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25974] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25974/stat : 25974 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 566318286 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 4 0 0 0
[pid=25968/tid=25975] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25975/stat : 25975 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 566318286 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 4 0 0 0
[pid=25968/tid=25976] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25976/stat : 25976 (java) S 25966 25968 25273 0 -1 4202560 26 0 0 0 0 0 0 0 18 0 19 0 566318286 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 4 0 0 0
[pid=25968/tid=25977] ppid=25966 vsize=10553464 CPUtime=0.01 cores=0,2,4,6
/proc/25968/task/25977/stat : 25977 (java) S 25966 25968 25273 0 -1 4202560 1110 0 0 0 1 0 0 0 18 0 19 0 566318286 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25978] ppid=25966 vsize=10553464 CPUtime=0.01 cores=0,2,4,6
/proc/25968/task/25978/stat : 25978 (java) S 25966 25968 25273 0 -1 4202560 1039 0 0 0 1 0 0 0 18 0 19 0 566318286 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25979] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25979/stat : 25979 (java) S 25966 25968 25273 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 566318287 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 0 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25980] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25980/stat : 25980 (java) S 25966 25968 25273 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 566318287 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25981] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25981/stat : 25981 (java) S 25966 25968 25273 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 566318287 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25982] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25982/stat : 25982 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318290 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672485809 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25983] ppid=25966 vsize=10553464 CPUtime=0.59 cores=0,2,4,6
/proc/25968/task/25983/stat : 25983 (java) S 25966 25968 25273 0 -1 4202560 5590 0 0 0 58 1 0 0 15 0 19 0 566318290 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25984] ppid=25966 vsize=10553464 CPUtime=0.6 cores=0,2,4,6
/proc/25968/task/25984/stat : 25984 (java) S 25966 25968 25273 0 -1 4202560 6159 0 0 0 59 1 0 0 16 0 19 0 566318290 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 4 0 0 0
[pid=25968/tid=25985] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25985/stat : 25985 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318290 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25986] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25986/stat : 25986 (java) S 25966 25968 25273 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 566318290 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 4 0 16800975 18446604441505864576 0 0 -1 0 0 0 0
[pid=25968/tid=25987] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25987/stat : 25987 (java) S 25966 25968 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 566318302 10806747136 661880 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.39
Current children cumulated vsize (KiB) 10553464
[startup+9.00084 s]
/proc/loadavg: 2.03 2.02 2.00 3/525 25987
/proc/meminfo: memFree=16068696/32951124 swapFree=46575304/67111528
[pid=25968] ppid=25966 vsize=10553464 CPUtime=10.24 cores=0,2,4,6
/proc/25968/stat : 25968 (java) S 25966 25968 25273 0 -1 4202496 666155 0 1 0 952 72 0 0 25 0 19 0 566318284 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25968/statm: 2638366 661893 2244 9 0 2629100 0
[pid=25968/tid=25969] ppid=25966 vsize=10553464 CPUtime=8.97 cores=0,2,4,6
/proc/25968/task/25969/stat : 25969 (java) R 25966 25968 25273 0 -1 4202560 651050 0 1 0 828 69 0 0 25 0 19 0 566318284 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 46912505583886 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25968/tid=25971] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25971/stat : 25971 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 566318286 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25972] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25972/stat : 25972 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 566318286 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25973] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25973/stat : 25973 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 566318286 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25974] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25974/stat : 25974 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 566318286 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 4 0 0 0
[pid=25968/tid=25975] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25975/stat : 25975 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 566318286 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 4 0 0 0
[pid=25968/tid=25976] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25976/stat : 25976 (java) S 25966 25968 25273 0 -1 4202560 26 0 0 0 0 0 0 0 18 0 19 0 566318286 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 4 0 0 0
[pid=25968/tid=25977] ppid=25966 vsize=10553464 CPUtime=0.01 cores=0,2,4,6
/proc/25968/task/25977/stat : 25977 (java) S 25966 25968 25273 0 -1 4202560 1110 0 0 0 1 0 0 0 18 0 19 0 566318286 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25978] ppid=25966 vsize=10553464 CPUtime=0.01 cores=0,2,4,6
/proc/25968/task/25978/stat : 25978 (java) S 25966 25968 25273 0 -1 4202560 1039 0 0 0 1 0 0 0 18 0 19 0 566318286 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25979] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25979/stat : 25979 (java) S 25966 25968 25273 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 566318287 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 0 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25980] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25980/stat : 25980 (java) S 25966 25968 25273 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 566318287 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25981] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25981/stat : 25981 (java) S 25966 25968 25273 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 566318287 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25982] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25982/stat : 25982 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318290 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672485809 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25983] ppid=25966 vsize=10553464 CPUtime=0.59 cores=0,2,4,6
/proc/25968/task/25983/stat : 25983 (java) S 25966 25968 25273 0 -1 4202560 5590 0 0 0 58 1 0 0 15 0 19 0 566318290 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
[pid=25968/tid=25984] ppid=25966 vsize=10553464 CPUtime=0.64 cores=0,2,4,6
/proc/25968/task/25984/stat : 25984 (java) S 25966 25968 25273 0 -1 4202560 6172 0 0 0 63 1 0 0 15 0 19 0 566318290 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 4 0 0 0
[pid=25968/tid=25985] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25985/stat : 25985 (java) S 25966 25968 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 566318290 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478105 0 4 0 16800975 18446604441505864576 0 0 -1 2 0 0 0
[pid=25968/tid=25986] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25986/stat : 25986 (java) S 25966 25968 25273 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 566318290 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 4 0 16800975 18446604441505864576 0 0 -1 0 0 0 0
[pid=25968/tid=25987] ppid=25966 vsize=10553464 CPUtime=0 cores=0,2,4,6
/proc/25968/task/25987/stat : 25987 (java) S 25966 25968 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 566318302 10806747136 661893 33554432000 1073741824 1073778376 140735230523392 18446744073709551615 268672478720 0 4 0 16800975 18446604441505864576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.24
Current children cumulated vsize (KiB) 10553464
[startup+9.40075 s]
/proc/loadavg: 2.03 2.02 2.00 3/525 25987
/proc/meminfo: memFree=16068696/32951124 swapFree=46575304/67111528
[pid=25968] ppid=25966 vsize=0 CPUtime=10.65 cores=0,2,4,6
/proc/25968/stat : 25968 (java) Z 25966 25968 25273 0 -1 4203548 666174 0 1 0 990 75 0 0 18 0 2 0 566318284 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25968/statm: 0 0 0 0 0 0 0
[pid=25968/tid=25978] ppid=25966 vsize=0 CPUtime=0.03 cores=0,2,4,6
/proc/25968/task/25978/stat : 25978 (java) R 25966 25968 25273 0 -1 4203588 1039 0 0 0 1 2 0 0 18 0 2 0 566318286 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.65
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 9.47776
CPU time (s): 10.7314
CPU user time (s): 9.90149
CPU system time (s): 0.829873
CPU usage (%): 113.227
Max. virtual memory (cumulated for all children) (KiB): 10556856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.90149
system time used= 0.829873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 666174
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= 465
involuntary context switches= 70
runsolver used 0.040993 second user time and 0.123981 second system time
The end