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-3459118-1307134088/watcher-3459118-1307134088 -o /tmp/evaluation-result-3459118-1307134088/solver-3459118-1307134088 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459118-1307134088.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.27 2.55 3.14 3/464 16082
/proc/meminfo: memFree=31330484/32950928 swapFree=34365992/67111528
[pid=16082] ppid=16080 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/16082/stat : 16082 (java) S 16080 16082 12983 0 -1 4202496 2383 0 1 0 0 0 0 0 25 0 2 0 825007547 13833195520 2085 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/16082/statm: 3377245 2098 906 9 0 3368401 0
[pid=16082/tid=16083] ppid=16080 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16083/stat : 16083 (java) R 16080 16082 12983 0 -1 4202560 5609 0 1 0 0 0 0 0 25 0 2 0 825007548 13850947584 6425 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.100439 s]
/proc/loadavg: 2.27 2.55 3.14 3/464 16082
/proc/meminfo: memFree=31330484/32950928 swapFree=34365992/67111528
[pid=16082] ppid=16080 vsize=13621656 CPUtime=0.1 cores=1,3,5,7
/proc/16082/stat : 16082 (java) S 16080 16082 12983 0 -1 4202496 15567 0 1 0 9 1 0 0 25 0 18 0 825007547 13948575744 15234 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16082/statm: 3405414 15235 2093 9 0 3396148 0
[pid=16082/tid=16083] ppid=16080 vsize=13621656 CPUtime=0.08 cores=1,3,5,7
/proc/16082/task/16083/stat : 16083 (java) R 16080 16082 12983 0 -1 4202560 13624 0 1 0 7 1 0 0 25 0 18 0 825007548 13948575744 15236 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235594527777 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) 13621656
[startup+0.200424 s]
/proc/loadavg: 2.27 2.55 3.14 3/464 16082
/proc/meminfo: memFree=31330484/32950928 swapFree=34365992/67111528
[pid=16082] ppid=16080 vsize=13626316 CPUtime=0.28 cores=1,3,5,7
/proc/16082/stat : 16082 (java) S 16080 16082 12983 0 -1 4202496 18098 0 1 0 27 1 0 0 25 0 19 0 825007547 13953347584 17259 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16082/statm: 3406579 17259 2201 9 0 3397313 0
[pid=16082/tid=16083] ppid=16080 vsize=13626316 CPUtime=0.18 cores=1,3,5,7
/proc/16082/task/16083/stat : 16083 (java) R 16080 16082 12983 0 -1 4202560 14147 0 1 0 17 1 0 0 25 0 19 0 825007548 13953347584 17259 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 46912505182415 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13626316
[startup+0.300406 s]
/proc/loadavg: 2.27 2.55 3.14 3/464 16082
/proc/meminfo: memFree=31330484/32950928 swapFree=34365992/67111528
[pid=16082] ppid=16080 vsize=13626072 CPUtime=0.54 cores=1,3,5,7
/proc/16082/stat : 16082 (java) S 16080 16082 12983 0 -1 4202496 18723 0 1 0 53 1 0 0 25 0 19 0 825007547 13953097728 17367 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16082/statm: 3406518 17368 2215 9 0 3397252 0
[pid=16082/tid=16083] ppid=16080 vsize=13626072 CPUtime=0.28 cores=1,3,5,7
/proc/16082/task/16083/stat : 16083 (java) R 16080 16082 12983 0 -1 4202560 14211 0 1 0 27 1 0 0 25 0 19 0 825007548 13953097728 17368 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 46912505578455 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) 13626072
[startup+0.700332 s]
/proc/loadavg: 2.27 2.55 3.14 3/464 16082
/proc/meminfo: memFree=31330484/32950928 swapFree=34365992/67111528
[pid=16082] ppid=16080 vsize=13625880 CPUtime=1.05 cores=1,3,5,7
/proc/16082/stat : 16082 (java) S 16080 16082 12983 0 -1 4202496 19495 0 1 0 103 2 0 0 25 0 19 0 825007547 13952901120 17974 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16082/statm: 3406470 17974 2247 9 0 3397204 0
[pid=16082/tid=16083] ppid=16080 vsize=13625880 CPUtime=0.67 cores=1,3,5,7
/proc/16082/task/16083/stat : 16083 (java) R 16080 16082 12983 0 -1 4202560 14409 0 1 0 66 1 0 0 25 0 19 0 825007548 13952901120 17974 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 46912505538447 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 13625880
[startup+1.50119 s]
/proc/loadavg: 2.32 2.56 3.14 6/482 16146
/proc/meminfo: memFree=31280376/32950928 swapFree=34365992/67111528
[pid=16082] ppid=16080 vsize=13626312 CPUtime=1.88 cores=1,3,5,7
/proc/16082/stat : 16082 (java) S 16080 16082 12983 0 -1 4202496 20162 0 1 0 186 2 0 0 25 0 19 0 825007547 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16082/statm: 3406578 18638 2248 9 0 3397312 0
[pid=16082/tid=16083] ppid=16080 vsize=13626312 CPUtime=1.42 cores=1,3,5,7
/proc/16082/task/16083/stat : 16083 (java) R 16080 16082 12983 0 -1 4202560 14411 0 1 0 141 1 0 0 25 0 19 0 825007548 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 46912505528250 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16082/tid=16085] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16085/stat : 16085 (java) S 16080 16082 12983 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16086] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16086/stat : 16086 (java) S 16080 16082 12983 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16087] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16087/stat : 16087 (java) S 16080 16082 12983 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16088] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16088/stat : 16088 (java) S 16080 16082 12983 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16089] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16089/stat : 16089 (java) S 16080 16082 12983 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16090] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16090/stat : 16090 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16091] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16091/stat : 16091 (java) S 16080 16082 12983 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16092] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16092/stat : 16092 (java) S 16080 16082 12983 0 -1 4202560 153 0 0 0 0 0 0 0 16 0 19 0 825007550 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16093] ppid=16080 vsize=13626312 CPUtime=0.05 cores=1,3,5,7
/proc/16082/task/16093/stat : 16093 (java) S 16080 16082 12983 0 -1 4202560 403 0 0 0 5 0 0 0 15 0 19 0 825007551 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 0 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16094] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16094/stat : 16094 (java) S 16080 16082 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825007551 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16095] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16095/stat : 16095 (java) S 16080 16082 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825007551 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16096] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16096/stat : 16096 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825007554 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606690225 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16097] ppid=16080 vsize=13626312 CPUtime=0.21 cores=1,3,5,7
/proc/16082/task/16097/stat : 16097 (java) S 16080 16082 12983 0 -1 4202560 1842 0 0 0 21 0 0 0 17 0 19 0 825007554 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16098] ppid=16080 vsize=13626312 CPUtime=0.16 cores=1,3,5,7
/proc/16082/task/16098/stat : 16098 (java) S 16080 16082 12983 0 -1 4202560 1791 0 0 0 16 0 0 0 16 0 19 0 825007554 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16099] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16099/stat : 16099 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825007554 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16100] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16100/stat : 16100 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825007554 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16101] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16101/stat : 16101 (java) S 16080 16082 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825007564 13953343488 18638 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13626312
[startup+3.10091 s]
/proc/loadavg: 2.32 2.56 3.14 3/483 16147
/proc/meminfo: memFree=31263880/32950928 swapFree=34365992/67111528
[pid=16082] ppid=16080 vsize=13626312 CPUtime=3.48 cores=1,3,5,7
/proc/16082/stat : 16082 (java) S 16080 16082 12983 0 -1 4202496 20414 0 1 0 346 2 0 0 25 0 19 0 825007547 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16082/statm: 3406578 18885 2248 9 0 3397312 0
[pid=16082/tid=16083] ppid=16080 vsize=13626312 CPUtime=2.94 cores=1,3,5,7
/proc/16082/task/16083/stat : 16083 (java) R 16080 16082 12983 0 -1 4202560 14416 0 1 0 293 1 0 0 25 0 19 0 825007548 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 46912505612316 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16082/tid=16085] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16085/stat : 16085 (java) S 16080 16082 12983 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16086] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16086/stat : 16086 (java) S 16080 16082 12983 0 -1 4202560 90 0 0 0 0 0 0 0 16 0 19 0 825007550 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16087] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16087/stat : 16087 (java) S 16080 16082 12983 0 -1 4202560 15 0 0 0 0 0 0 0 16 0 19 0 825007550 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16088] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16088/stat : 16088 (java) S 16080 16082 12983 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16089] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16089/stat : 16089 (java) S 16080 16082 12983 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16090] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16090/stat : 16090 (java) S 16080 16082 12983 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 19 0 825007550 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16091] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16091/stat : 16091 (java) S 16080 16082 12983 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16092] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16092/stat : 16092 (java) S 16080 16082 12983 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16093] ppid=16080 vsize=13626312 CPUtime=0.12 cores=1,3,5,7
/proc/16082/task/16093/stat : 16093 (java) S 16080 16082 12983 0 -1 4202560 619 0 0 0 12 0 0 0 15 0 19 0 825007551 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 0 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16094] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16094/stat : 16094 (java) S 16080 16082 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825007551 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16095] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16095/stat : 16095 (java) S 16080 16082 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825007551 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16096] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16096/stat : 16096 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825007554 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606690225 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16097] ppid=16080 vsize=13626312 CPUtime=0.21 cores=1,3,5,7
/proc/16082/task/16097/stat : 16097 (java) S 16080 16082 12983 0 -1 4202560 1842 0 0 0 21 0 0 0 17 0 19 0 825007554 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16098] ppid=16080 vsize=13626312 CPUtime=0.16 cores=1,3,5,7
/proc/16082/task/16098/stat : 16098 (java) S 16080 16082 12983 0 -1 4202560 1791 0 0 0 16 0 0 0 15 0 19 0 825007554 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16099] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16099/stat : 16099 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825007554 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16100] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16100/stat : 16100 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825007554 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16101] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16101/stat : 16101 (java) S 16080 16082 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825007564 13953343488 18885 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 13626312
[startup+6.30141 s]
/proc/loadavg: 2.38 2.57 3.14 3/483 16148
/proc/meminfo: memFree=31261576/32950928 swapFree=34365992/67111528
[pid=16082] ppid=16080 vsize=13626312 CPUtime=6.69 cores=1,3,5,7
/proc/16082/stat : 16082 (java) S 16080 16082 12983 0 -1 4202496 20460 0 1 0 667 2 0 0 25 0 19 0 825007547 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16082/statm: 3406578 18921 2248 9 0 3397312 0
[pid=16082/tid=16083] ppid=16080 vsize=13626312 CPUtime=6.01 cores=1,3,5,7
/proc/16082/task/16083/stat : 16083 (java) R 16080 16082 12983 0 -1 4202560 14426 0 1 0 600 1 0 0 20 0 19 0 825007548 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 46912505514849 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16082/tid=16085] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16085/stat : 16085 (java) S 16080 16082 12983 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16086] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16086/stat : 16086 (java) S 16080 16082 12983 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16087] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16087/stat : 16087 (java) S 16080 16082 12983 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16088] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16088/stat : 16088 (java) S 16080 16082 12983 0 -1 4202560 108 0 0 0 0 0 0 0 16 0 19 0 825007550 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16089] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16089/stat : 16089 (java) S 16080 16082 12983 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 19 0 825007550 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16090] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16090/stat : 16090 (java) S 16080 16082 12983 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16091] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16091/stat : 16091 (java) S 16080 16082 12983 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16092] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16092/stat : 16092 (java) S 16080 16082 12983 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16093] ppid=16080 vsize=13626312 CPUtime=0.24 cores=1,3,5,7
/proc/16082/task/16093/stat : 16093 (java) S 16080 16082 12983 0 -1 4202560 644 0 0 0 24 0 0 0 15 0 19 0 825007551 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 0 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16094] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16094/stat : 16094 (java) S 16080 16082 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825007551 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16095] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16095/stat : 16095 (java) S 16080 16082 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825007551 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16096] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16096/stat : 16096 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825007554 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606690225 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16097] ppid=16080 vsize=13626312 CPUtime=0.21 cores=1,3,5,7
/proc/16082/task/16097/stat : 16097 (java) S 16080 16082 12983 0 -1 4202560 1842 0 0 0 21 0 0 0 17 0 19 0 825007554 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16098] ppid=16080 vsize=13626312 CPUtime=0.16 cores=1,3,5,7
/proc/16082/task/16098/stat : 16098 (java) S 16080 16082 12983 0 -1 4202560 1791 0 0 0 16 0 0 0 15 0 19 0 825007554 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16099] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16099/stat : 16099 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825007554 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16100] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16100/stat : 16100 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825007554 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16101] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16101/stat : 16101 (java) S 16080 16082 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825007564 13953343488 18921 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.69
Current children cumulated vsize (KiB) 13626312
[startup+12.7012 s]
/proc/loadavg: 2.35 2.56 3.13 3/483 16194
/proc/meminfo: memFree=31259748/32950928 swapFree=34365992/67111528
[pid=16082] ppid=16080 vsize=13626312 CPUtime=13.12 cores=1,3,5,7
/proc/16082/stat : 16082 (java) S 16080 16082 12983 0 -1 4202496 20551 0 1 0 1309 3 0 0 25 0 19 0 825007547 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16082/statm: 3406578 18994 2248 9 0 3397312 0
[pid=16082/tid=16083] ppid=16080 vsize=13626312 CPUtime=12.12 cores=1,3,5,7
/proc/16082/task/16083/stat : 16083 (java) R 16080 16082 12983 0 -1 4202560 14444 0 1 0 1211 1 0 0 25 0 19 0 825007548 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 46912505556172 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16082/tid=16085] ppid=16080 vsize=13626312 CPUtime=0.01 cores=1,3,5,7
/proc/16082/task/16085/stat : 16085 (java) S 16080 16082 12983 0 -1 4202560 114 0 0 0 1 0 0 0 16 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16086] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16086/stat : 16086 (java) S 16080 16082 12983 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16087] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16087/stat : 16087 (java) S 16080 16082 12983 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16088] ppid=16080 vsize=13626312 CPUtime=0.01 cores=1,3,5,7
/proc/16082/task/16088/stat : 16088 (java) S 16080 16082 12983 0 -1 4202560 109 0 0 0 1 0 0 0 16 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16089] ppid=16080 vsize=13626312 CPUtime=0.01 cores=1,3,5,7
/proc/16082/task/16089/stat : 16089 (java) S 16080 16082 12983 0 -1 4202560 41 0 0 0 1 0 0 0 15 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16090] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16090/stat : 16090 (java) S 16080 16082 12983 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16091] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16091/stat : 16091 (java) S 16080 16082 12983 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16092] ppid=16080 vsize=13626312 CPUtime=0.01 cores=1,3,5,7
/proc/16082/task/16092/stat : 16092 (java) S 16080 16082 12983 0 -1 4202560 156 0 0 0 1 0 0 0 15 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16093] ppid=16080 vsize=13626312 CPUtime=0.5 cores=1,3,5,7
/proc/16082/task/16093/stat : 16093 (java) S 16080 16082 12983 0 -1 4202560 711 0 0 0 50 0 0 0 15 0 19 0 825007551 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 0 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16094] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16094/stat : 16094 (java) S 16080 16082 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825007551 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16095] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16095/stat : 16095 (java) S 16080 16082 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825007551 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16096] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16096/stat : 16096 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825007554 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606690225 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16097] ppid=16080 vsize=13626312 CPUtime=0.21 cores=1,3,5,7
/proc/16082/task/16097/stat : 16097 (java) S 16080 16082 12983 0 -1 4202560 1842 0 0 0 21 0 0 0 17 0 19 0 825007554 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16098] ppid=16080 vsize=13626312 CPUtime=0.17 cores=1,3,5,7
/proc/16082/task/16098/stat : 16098 (java) S 16080 16082 12983 0 -1 4202560 1791 0 0 0 17 0 0 0 15 0 19 0 825007554 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16099] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16099/stat : 16099 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825007554 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16100] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16100/stat : 16100 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825007554 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16101] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16101/stat : 16101 (java) S 16080 16082 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825007564 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.12
Current children cumulated vsize (KiB) 13626312
Solver just ended. Dumping a history of the last processes samples
[startup+12.8012 s]
/proc/loadavg: 2.35 2.56 3.13 3/483 16194
/proc/meminfo: memFree=31259748/32950928 swapFree=34365992/67111528
[pid=16082] ppid=16080 vsize=13626312 CPUtime=13.22 cores=1,3,5,7
/proc/16082/stat : 16082 (java) S 16080 16082 12983 0 -1 4202496 20551 0 1 0 1319 3 0 0 25 0 19 0 825007547 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16082/statm: 3406578 18994 2248 9 0 3397312 0
[pid=16082/tid=16083] ppid=16080 vsize=13626312 CPUtime=12.22 cores=1,3,5,7
/proc/16082/task/16083/stat : 16083 (java) R 16080 16082 12983 0 -1 4202560 14444 0 1 0 1221 1 0 0 25 0 19 0 825007548 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 46912505538428 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16082/tid=16085] ppid=16080 vsize=13626312 CPUtime=0.01 cores=1,3,5,7
/proc/16082/task/16085/stat : 16085 (java) S 16080 16082 12983 0 -1 4202560 114 0 0 0 1 0 0 0 16 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16086] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16086/stat : 16086 (java) S 16080 16082 12983 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16087] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16087/stat : 16087 (java) S 16080 16082 12983 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16088] ppid=16080 vsize=13626312 CPUtime=0.01 cores=1,3,5,7
/proc/16082/task/16088/stat : 16088 (java) S 16080 16082 12983 0 -1 4202560 109 0 0 0 1 0 0 0 16 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16089] ppid=16080 vsize=13626312 CPUtime=0.01 cores=1,3,5,7
/proc/16082/task/16089/stat : 16089 (java) S 16080 16082 12983 0 -1 4202560 41 0 0 0 1 0 0 0 15 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16090] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16090/stat : 16090 (java) S 16080 16082 12983 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16091] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16091/stat : 16091 (java) S 16080 16082 12983 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16092] ppid=16080 vsize=13626312 CPUtime=0.01 cores=1,3,5,7
/proc/16082/task/16092/stat : 16092 (java) S 16080 16082 12983 0 -1 4202560 156 0 0 0 1 0 0 0 15 0 19 0 825007550 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16093] ppid=16080 vsize=13626312 CPUtime=0.5 cores=1,3,5,7
/proc/16082/task/16093/stat : 16093 (java) S 16080 16082 12983 0 -1 4202560 711 0 0 0 50 0 0 0 15 0 19 0 825007551 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 0 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16094] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16094/stat : 16094 (java) S 16080 16082 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825007551 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16095] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16095/stat : 16095 (java) S 16080 16082 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825007551 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16096] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16096/stat : 16096 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825007554 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606690225 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16097] ppid=16080 vsize=13626312 CPUtime=0.21 cores=1,3,5,7
/proc/16082/task/16097/stat : 16097 (java) S 16080 16082 12983 0 -1 4202560 1842 0 0 0 21 0 0 0 17 0 19 0 825007554 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16098] ppid=16080 vsize=13626312 CPUtime=0.17 cores=1,3,5,7
/proc/16082/task/16098/stat : 16098 (java) S 16080 16082 12983 0 -1 4202560 1791 0 0 0 17 0 0 0 15 0 19 0 825007554 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16099] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16099/stat : 16099 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825007554 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16100] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16100/stat : 16100 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825007554 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16101] ppid=16080 vsize=13626312 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16101/stat : 16101 (java) S 16080 16082 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825007564 13953343488 18994 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.22
Current children cumulated vsize (KiB) 13626312
[startup+13.2012 s]
/proc/loadavg: 2.35 2.56 3.13 3/483 16194
/proc/meminfo: memFree=31259640/32950928 swapFree=34365992/67111528
[pid=16082] ppid=16080 vsize=13626312 CPUtime=13.65 cores=1,3,5,7
/proc/16082/stat : 16082 (java) S 16080 16082 12983 0 -1 4202496 20566 0 1 0 1362 3 0 0 25 0 19 0 825007547 13953343488 19008 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16082/statm: 3406578 19008 2248 9 0 3397312 0
[pid=16082/tid=16083] ppid=16080 vsize=13627340 CPUtime=12.63 cores=1,3,5,7
/proc/16082/task/16083/stat : 16083 (java) S 16080 16082 12983 0 -1 4202560 14451 0 1 0 1262 1 0 0 25 0 20 0 825007548 13954396160 19021 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16085] ppid=16080 vsize=13627340 CPUtime=0.01 cores=1,3,5,7
/proc/16082/task/16085/stat : 16085 (java) S 16080 16082 12983 0 -1 4202560 114 0 0 0 1 0 0 0 15 0 20 0 825007550 13954396160 19021 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16086] ppid=16080 vsize=13627340 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16086/stat : 16086 (java) S 16080 16082 12983 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 20 0 825007550 13954396160 19021 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16087] ppid=16080 vsize=13627340 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16087/stat : 16087 (java) S 16080 16082 12983 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 20 0 825007550 13954396160 19021 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16088] ppid=16080 vsize=13627340 CPUtime=0.01 cores=1,3,5,7
/proc/16082/task/16088/stat : 16088 (java) S 16080 16082 12983 0 -1 4202560 109 0 0 0 1 0 0 0 16 0 20 0 825007550 13954396160 19021 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16089] ppid=16080 vsize=13627340 CPUtime=0.01 cores=1,3,5,7
/proc/16082/task/16089/stat : 16089 (java) S 16080 16082 12983 0 -1 4202560 41 0 0 0 1 0 0 0 15 0 20 0 825007550 13954396160 19021 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16090] ppid=16080 vsize=13627340 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16090/stat : 16090 (java) S 16080 16082 12983 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 20 0 825007550 13954396160 19022 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16091] ppid=16080 vsize=13627340 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16091/stat : 16091 (java) S 16080 16082 12983 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 20 0 825007550 13954396160 19022 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 5 0 0 0
[pid=16082/tid=16092] ppid=16080 vsize=13627340 CPUtime=0.01 cores=1,3,5,7
/proc/16082/task/16092/stat : 16092 (java) S 16080 16082 12983 0 -1 4202560 157 0 0 0 1 0 0 0 15 0 20 0 825007550 13954396160 19022 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16093] ppid=16080 vsize=13627340 CPUtime=0.51 cores=1,3,5,7
/proc/16082/task/16093/stat : 16093 (java) S 16080 16082 12983 0 -1 4202560 711 0 0 0 51 0 0 0 15 0 20 0 825007551 13954396160 19022 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 0 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16094] ppid=16080 vsize=13627340 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16094/stat : 16094 (java) S 16080 16082 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 20 0 825007551 13954396160 19022 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16095] ppid=16080 vsize=13627340 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16095/stat : 16095 (java) S 16080 16082 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 20 0 825007551 13954396160 19022 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16096] ppid=16080 vsize=13627340 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16096/stat : 16096 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 825007554 13954396160 19022 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606690225 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16097] ppid=16080 vsize=13627340 CPUtime=0.22 cores=1,3,5,7
/proc/16082/task/16097/stat : 16097 (java) S 16080 16082 12983 0 -1 4202560 1844 0 0 0 22 0 0 0 15 0 20 0 825007554 13954396160 19022 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16098] ppid=16080 vsize=13627340 CPUtime=0.18 cores=1,3,5,7
/proc/16082/task/16098/stat : 16098 (java) S 16080 16082 12983 0 -1 4202560 1800 0 0 0 18 0 0 0 15 0 20 0 825007554 13954396160 19022 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 3 0 0 0
[pid=16082/tid=16099] ppid=16080 vsize=13627340 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16099/stat : 16099 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 825007554 13954396160 19022 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606682521 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16100] ppid=16080 vsize=13627340 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16100/stat : 16100 (java) S 16080 16082 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 825007554 13954396160 19022 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 4 0 16800975 18446604463385615424 0 0 -1 1 0 0 0
[pid=16082/tid=16101] ppid=16080 vsize=13627340 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16101/stat : 16101 (java) S 16080 16082 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 825007564 13954396160 19022 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606683136 0 4 0 16800975 18446604463385615424 0 0 -1 7 0 0 0
[pid=16082/tid=16195] ppid=16080 vsize=13627340 CPUtime=0 cores=1,3,5,7
/proc/16082/task/16195/stat : 16195 (java) R 16080 16082 12983 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 20 0 825008869 13954396160 19022 33554432000 1073741824 1073778376 140735865432640 18446744073709551615 235606693195 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 13.65
Current children cumulated vsize (KiB) 13626312
Child status: 20
Real time (s): 13.2311
CPU time (s): 13.6819
CPU user time (s): 13.6459
CPU system time (s): 0.035994
CPU usage (%): 103.407
Max. virtual memory (cumulated for all children) (KiB): 13626316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.6459
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20589
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= 1335
involuntary context switches= 389
runsolver used 0.074988 second user time and 0.135979 second system time
The end