3.21/2.18 c Concrete v3.4 running
6.06/3.49 % 05:34:42.195 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 417. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 1951500432, 3 edges, 4 vertices, 1 tuples
6.06/3.50 % 05:34:42.198 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 423. 'extension(false, x[1][3]: {[0?1]}, x[2][3]: {[0?1]}) :: init: true :: relation: MDD 348148678, 3 edges, 4 vertices, 1 tuples
6.37/3.51 % 05:34:42.209 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 428. 'extension(x[2][1]: {[0?1]}, x[3][1]: {[0?1]}, false) :: init: true :: relation: MDD 1951500432, 3 edges, 4 vertices, 1 tuples
6.37/3.51 % 05:34:42.210 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 434. 'extension(x[2][3]: {[0?1]}, x[3][3]: {[0?1]}, false) :: init: true :: relation: MDD 348148678, 3 edges, 4 vertices, 1 tuples
6.37/3.51 % 05:34:42.213 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 438. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 670084377, 3 edges, 4 vertices, 1 tuples
6.37/3.51 % 05:34:42.215 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 444. 'extension(false, x[3][1]: {[0?1]}, x[3][2]: {[0?1]}) :: init: true :: relation: MDD 653515020, 3 edges, 4 vertices, 1 tuples
6.37/3.53 % 05:34:42.219 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 447. 'extension(x[1][2]: {[0?1]}, x[1][3]: {[0?1]}, false) :: init: true :: relation: MDD 670084377, 3 edges, 4 vertices, 1 tuples
6.37/3.53 % 05:34:42.221 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 453. 'extension(x[3][2]: {[0?1]}, x[3][3]: {[0?1]}, false) :: init: true :: relation: MDD 653515020, 3 edges, 4 vertices, 1 tuples
6.37/3.53 % 05:34:42.224 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 457. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
6.37/3.53 % 05:34:42.225 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 459. 'extension(x[1][3]: {[0?1]}, x[2][3]: {[0?1]}) :: init: true :: relation: Empty MDD
6.37/3.53 % 05:34:42.226 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 463. 'extension(x[2][1]: {[0?1]}, x[3][1]: {[0?1]}) :: init: true :: relation: Empty MDD
6.37/3.53 % 05:34:42.227 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 465. 'extension(x[2][3]: {[0?1]}, x[3][3]: {[0?1]}) :: init: true :: relation: Empty MDD
6.37/3.53 % 05:34:42.228 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 469. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
6.37/3.53 % 05:34:42.230 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 473. 'extension(x[3][1]: {[0?1]}, x[3][2]: {[0?1]}) :: init: true :: relation: Empty MDD
6.37/3.53 % 05:34:42.231 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 479. 'extension(x[1][2]: {[0?1]}, x[1][3]: {[0?1]}) :: init: true :: relation: Empty MDD
6.37/3.53 % 05:34:42.232 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 483. 'extension(x[3][2]: {[0?1]}, x[3][3]: {[0?1]}) :: init: true :: relation: Empty MDD
8.45/4.20 o 0
8.45/4.22 o 2
8.45/4.24 o 4
8.45/4.27 o 6
8.45/4.27 v <instantiation cost="6">
8.45/4.27 v <list>
8.45/4.27 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] ws[0] ws[1] ws[2] ws[3] ws[4] z
8.45/4.27 v </list>
8.45/4.27 v <values>
8.45/4.27 v 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 1 0 1 2 4 5 6 6
8.45/4.27 v </values>
8.45/4.27 v </instantiation>
8.45/4.27 s OPTIMUM FOUND
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4259804-1501645719/watcher-4259804-1501645719 -o /tmp/evaluation-result-4259804-1501645719/solver-4259804-1501645719 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300 bin/concrete HOME/instance-4259804-1501645719.xml
pid=1662
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.72 1.78 1.74 3/198 1665
/proc/meminfo: memFree=29332728/32770624 swapFree=0/242124
[pid=1665] ppid=1662 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/1665/stat : 1665 (runsolver) D 1662 1665 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 6482485 24240128 106 18446744073709551615 4194304 4338465 140736748369440 140736748367080 140424631444183 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 22687744 140736748372177 140736748372551 140736748372551 140736748376010 0
/proc/1665/statm: 5918 106 53 36 0 2156 0
[startup+0.1001 s]
/proc/loadavg: 1.72 1.78 1.74 3/198 1665
/proc/meminfo: memFree=29332728/32770624 swapFree=0/242124
[pid=1665] ppid=1662 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/1665/stat : 1665 (bash) S 1662 1665 3187 0 -1 4202496 715 3542 0 0 0 0 0 0 20 0 1 0 6482485 9736192 355 18446744073709551615 4194304 5098028 140737374740448 140737374738088 139629538786304 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 11083776 140737374745106 140737374745191 140737374745191 140737374748650 0
/proc/1665/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200256 s]
/proc/loadavg: 1.72 1.78 1.74 3/198 1665
/proc/meminfo: memFree=29332728/32770624 swapFree=0/242124
[pid=1665] ppid=1662 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/1665/stat : 1665 (bash) S 1662 1665 3187 0 -1 4202496 892 6493 0 0 0 0 0 1 20 0 1 0 6482485 9867264 377 18446744073709551615 4194304 5098028 140737374740448 140737374734456 139629538786304 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 11083776 140737374745106 140737374745191 140737374745191 140737374748650 0
/proc/1665/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300297 s]
/proc/loadavg: 1.72 1.78 1.74 3/198 1665
/proc/meminfo: memFree=29332728/32770624 swapFree=0/242124
[pid=1665] ppid=1662 vsize=13973936 CPUtime=0.15 cores=0,2,4,6
/proc/1665/stat : 1665 (java) S 1662 1665 3187 0 -1 1077944320 5961 12652 0 0 6 1 5 3 20 0 15 0 6482485 14309310464 6130 18446744073709551615 4194304 4196468 140720799179616 140720799162160 139668998078199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
/proc/1665/statm: 3493484 6130 2672 1 0 3482973 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 13973936
[startup+0.700301 s]
/proc/loadavg: 1.72 1.78 1.74 3/198 1665
/proc/meminfo: memFree=29332728/32770624 swapFree=0/242124
[pid=1665] ppid=1662 vsize=13974784 CPUtime=0.72 cores=0,2,4,6
/proc/1665/stat : 1665 (java) S 1662 1665 3187 0 -1 1077944320 13932 12652 0 0 60 4 5 3 20 0 15 0 6482485 14310178816 14836 18446744073709551615 4194304 4196468 140720799179616 140720799162160 139668998078199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
/proc/1665/statm: 3493696 14836 3106 1 0 3482973 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 13974784
[startup+1.50122 s]
/proc/loadavg: 1.72 1.78 1.74 4/213 1728
/proc/meminfo: memFree=29238188/32770624 swapFree=0/242092
[pid=1665] ppid=1662 vsize=13985408 CPUtime=1.94 cores=0,2,4,6
/proc/1665/stat : 1665 (java) S 1662 1665 3187 0 -1 1077944320 29890 12652 0 0 176 10 5 3 20 0 15 0 6482485 14321057792 43191 18446744073709551615 4194304 4196468 140720799179616 140720799162160 139668998078199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
/proc/1665/statm: 3496352 43191 3363 1 0 3485533 0
[pid=1665/tid=1715] ppid=1662 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/1665/task/1715/stat : 1715 (java) S 1662 1665 3187 0 -1 1077944384 22729 12652 0 0 116 5 5 3 20 0 15 0 6482506 14321057792 43191 18446744073709551615 4194304 4196468 140720799179616 139669002304992 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1716] ppid=1662 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1716/stat : 1716 (java) S 1662 1665 3187 0 -1 1077944384 205 12652 0 0 0 0 5 3 20 0 15 0 6482506 14321057792 43191 18446744073709551615 4194304 4196468 140720799179616 139668917492752 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1717] ppid=1662 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/1665/task/1717/stat : 1717 (java) S 1662 1665 3187 0 -1 1077944384 56 12652 0 0 1 0 5 3 20 0 15 0 6482506 14321057792 43191 18446744073709551615 4194304 4196468 140720799179616 139668916440208 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1718] ppid=1662 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/1665/task/1718/stat : 1718 (java) S 1662 1665 3187 0 -1 1077944384 39 12652 0 0 1 0 5 3 20 0 15 0 6482506 14321057792 43191 18446744073709551615 4194304 4196468 140720799179616 139668915387152 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1719] ppid=1662 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1719/stat : 1719 (java) S 1662 1665 3187 0 -1 1077944384 61 12652 0 0 0 0 5 3 20 0 15 0 6482506 14321057792 43191 18446744073709551615 4194304 4196468 140720799179616 139668595141520 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1720] ppid=1662 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/1665/task/1720/stat : 1720 (java) S 1662 1665 3187 0 -1 1077944384 1327 12652 0 0 1 0 5 3 20 0 15 0 6482508 14321057792 43191 18446744073709551615 4194304 4196468 140720799179616 139668476606704 139668998089346 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1721] ppid=1662 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1721/stat : 1721 (java) S 1662 1665 3187 0 -1 1077944384 55 12652 0 0 0 0 5 3 20 0 15 0 6482508 14321057792 43191 18446744073709551615 4194304 4196468 140720799179616 139668475552992 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1722] ppid=1662 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1722/stat : 1722 (java) S 1662 1665 3187 0 -1 1077944384 45 12652 0 0 0 0 5 3 20 0 15 0 6482508 14321057792 43191 18446744073709551615 4194304 4196468 140720799179616 139668474499840 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1723] ppid=1662 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1723/stat : 1723 (java) S 1662 1665 3187 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 6482511 14321057792 43191 18446744073709551615 4194304 4196468 140720799179616 139668473448400 139668998096795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1724] ppid=1662 vsize=13985408 CPUtime=0.26 cores=0,2,4,6
/proc/1665/task/1724/stat : 1724 (java) S 1662 1665 3187 0 -1 1077944384 1292 12652 0 0 18 0 5 3 20 0 15 0 6482511 14321057792 43191 18446744073709551615 4194304 4196468 140720799179616 139668472396528 139668998089346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1725] ppid=1662 vsize=13985408 CPUtime=0.19 cores=0,2,4,6
/proc/1665/task/1725/stat : 1725 (java) S 1662 1665 3187 0 -1 1077944384 481 12652 0 0 11 0 5 3 20 0 15 0 6482511 14321057792 43191 18446744073709551615 4194304 4196468 140720799179616 139668471343984 139668998089346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1726] ppid=1662 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/1665/task/1726/stat : 1726 (java) R 1662 1665 3187 0 -1 4202560 1448 12652 0 0 23 0 5 3 20 0 15 0 6482511 14321057792 43191 18446744073709551615 4194304 4196468 140720799179616 139668470285696 139668977792996 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1727] ppid=1662 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1727/stat : 1727 (java) S 1662 1665 3187 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 6482511 14321057792 43191 18446744073709551615 4194304 4196468 140720799179616 139668469238624 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1728] ppid=1662 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1728/stat : 1728 (java) S 1662 1665 3187 0 -1 1077944384 10 12652 0 0 0 0 5 3 20 0 15 0 6482514 14321057792 43191 18446744073709551615 4194304 4196468 140720799179616 139668468185648 139668998089346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 13985408
[startup+3.10496 s]
/proc/loadavg: 1.72 1.78 1.74 3/213 1728
/proc/meminfo: memFree=29162184/32770624 swapFree=0/242092
[pid=1665] ppid=1662 vsize=13999932 CPUtime=5.16 cores=0,2,4,6
/proc/1665/stat : 1665 (java) S 1662 1665 3187 0 -1 1077944320 48448 12652 0 0 493 15 5 3 20 0 15 0 6482485 14335930368 55670 18446744073709551615 4194304 4196468 140720799179616 140720799162160 139668998078199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
/proc/1665/statm: 3499983 55670 3435 1 0 3488605 0
[pid=1665/tid=1715] ppid=1662 vsize=13999932 CPUtime=2.9 cores=0,2,4,6
/proc/1665/task/1715/stat : 1715 (java) S 1662 1665 3187 0 -1 1077944384 37486 12652 0 0 273 9 5 3 20 0 15 0 6482506 14335930368 55670 18446744073709551615 4194304 4196468 140720799179616 139669002307408 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1716] ppid=1662 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1716/stat : 1716 (java) S 1662 1665 3187 0 -1 1077944384 205 12652 0 0 0 0 5 3 20 0 15 0 6482506 14335930368 55670 18446744073709551615 4194304 4196468 140720799179616 139668917492752 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1717] ppid=1662 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/1665/task/1717/stat : 1717 (java) S 1662 1665 3187 0 -1 1077944384 56 12652 0 0 1 0 5 3 20 0 15 0 6482506 14335930368 55670 18446744073709551615 4194304 4196468 140720799179616 139668916440208 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1718] ppid=1662 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/1665/task/1718/stat : 1718 (java) S 1662 1665 3187 0 -1 1077944384 39 12652 0 0 1 0 5 3 20 0 15 0 6482506 14335930368 55670 18446744073709551615 4194304 4196468 140720799179616 139668915387152 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1719] ppid=1662 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1719/stat : 1719 (java) S 1662 1665 3187 0 -1 1077944384 61 12652 0 0 0 0 5 3 20 0 15 0 6482506 14335930368 55670 18446744073709551615 4194304 4196468 140720799179616 139668595141520 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1720] ppid=1662 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/1665/task/1720/stat : 1720 (java) S 1662 1665 3187 0 -1 1077944384 1347 12652 0 0 1 0 5 3 20 0 15 0 6482508 14335930368 55670 18446744073709551615 4194304 4196468 140720799179616 139668476606704 139668998089346 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1721] ppid=1662 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1721/stat : 1721 (java) S 1662 1665 3187 0 -1 1077944384 55 12652 0 0 0 0 5 3 20 0 15 0 6482508 14335930368 55670 18446744073709551615 4194304 4196468 140720799179616 139668475552992 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1722] ppid=1662 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1722/stat : 1722 (java) S 1662 1665 3187 0 -1 1077944384 45 12652 0 0 0 0 5 3 20 0 15 0 6482508 14335930368 55670 18446744073709551615 4194304 4196468 140720799179616 139668474499840 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1723] ppid=1662 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1723/stat : 1723 (java) S 1662 1665 3187 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 6482511 14335930368 55670 18446744073709551615 4194304 4196468 140720799179616 139668473448400 139668998096795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1724] ppid=1662 vsize=13999932 CPUtime=0.63 cores=0,2,4,6
/proc/1665/task/1724/stat : 1724 (java) S 1662 1665 3187 0 -1 1077944384 1699 12652 0 0 55 0 5 3 20 0 15 0 6482511 14335930368 55670 18446744073709551615 4194304 4196468 140720799179616 139668472396528 139668998089346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1725] ppid=1662 vsize=13999932 CPUtime=0.72 cores=0,2,4,6
/proc/1665/task/1725/stat : 1725 (java) R 1662 1665 3187 0 -1 4202560 1345 12652 0 0 63 1 5 3 20 0 15 0 6482511 14335930368 55670 18446744073709551615 4194304 4196468 140720799179616 139668471333904 139668983198350 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1726] ppid=1662 vsize=13999932 CPUtime=1.04 cores=0,2,4,6
/proc/1665/task/1726/stat : 1726 (java) R 1662 1665 3187 0 -1 4202560 3942 12652 0 0 95 1 5 3 20 0 15 0 6482511 14335930368 55670 18446744073709551615 4194304 4196468 140720799179616 139668470284992 139668977422892 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1727] ppid=1662 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1727/stat : 1727 (java) S 1662 1665 3187 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 6482511 14335930368 55670 18446744073709551615 4194304 4196468 140720799179616 139668469238624 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1728] ppid=1662 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1728/stat : 1728 (java) S 1662 1665 3187 0 -1 1077944384 11 12652 0 0 0 0 5 3 20 0 15 0 6482514 14335930368 55670 18446744073709551615 4194304 4196468 140720799179616 139668468185648 139668998089346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
Current children cumulated CPU time (s) 5.16
Current children cumulated vsize (KiB) 13999932
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1665 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.26847 s]
/proc/loadavg: 1.72 1.78 1.74 3/213 1728
/proc/meminfo: memFree=29162184/32770624 swapFree=0/242092
[pid=1665] ppid=1662 vsize=13999932 CPUtime=5.6 cores=0,2,4,6
/proc/1665/stat : 1665 (java) S 1662 1665 3187 0 -1 1077944320 48935 12652 0 0 537 15 5 3 20 0 15 0 6482485 14335930368 59194 18446744073709551615 4194304 4196468 140720799179616 140720799162160 139668998078199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
/proc/1665/statm: 3499983 59194 3437 1 0 3488605 0
[pid=1665/tid=1715] ppid=1662 vsize=13999932 CPUtime=3.06 cores=0,2,4,6
/proc/1665/task/1715/stat : 1715 (java) R 1662 1665 3187 0 -1 4202560 37605 12652 0 0 289 9 5 3 20 0 15 0 6482506 14335930368 59194 18446744073709551615 4194304 4196468 140720799179616 139669002301480 139668602663543 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1716] ppid=1662 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1716/stat : 1716 (java) S 1662 1665 3187 0 -1 1077944384 205 12652 0 0 0 0 5 3 20 0 15 0 6482506 14335930368 59194 18446744073709551615 4194304 4196468 140720799179616 139668917492752 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1717] ppid=1662 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/1665/task/1717/stat : 1717 (java) S 1662 1665 3187 0 -1 1077944384 56 12652 0 0 1 0 5 3 20 0 15 0 6482506 14335930368 59194 18446744073709551615 4194304 4196468 140720799179616 139668916440208 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1718] ppid=1662 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/1665/task/1718/stat : 1718 (java) S 1662 1665 3187 0 -1 1077944384 39 12652 0 0 1 0 5 3 20 0 15 0 6482506 14335930368 59194 18446744073709551615 4194304 4196468 140720799179616 139668915387152 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1719] ppid=1662 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1719/stat : 1719 (java) S 1662 1665 3187 0 -1 1077944384 61 12652 0 0 0 0 5 3 20 0 15 0 6482506 14335930368 59194 18446744073709551615 4194304 4196468 140720799179616 139668595141520 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1720] ppid=1662 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/1665/task/1720/stat : 1720 (java) S 1662 1665 3187 0 -1 1077944384 1347 12652 0 0 1 0 5 3 20 0 15 0 6482508 14335930368 59194 18446744073709551615 4194304 4196468 140720799179616 139668476606704 139668998089346 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1721] ppid=1662 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1721/stat : 1721 (java) S 1662 1665 3187 0 -1 1077944384 55 12652 0 0 0 0 5 3 20 0 15 0 6482508 14335930368 59194 18446744073709551615 4194304 4196468 140720799179616 139668475552992 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1722] ppid=1662 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1722/stat : 1722 (java) S 1662 1665 3187 0 -1 1077944384 45 12652 0 0 0 0 5 3 20 0 15 0 6482508 14335930368 59194 18446744073709551615 4194304 4196468 140720799179616 139668474499840 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1723] ppid=1662 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1723/stat : 1723 (java) S 1662 1665 3187 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 6482511 14335930368 59194 18446744073709551615 4194304 4196468 140720799179616 139668473448400 139668998096795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1724] ppid=1662 vsize=13999932 CPUtime=0.71 cores=0,2,4,6
/proc/1665/task/1724/stat : 1724 (java) R 1662 1665 3187 0 -1 4202560 1744 12652 0 0 63 0 5 3 20 0 15 0 6482511 14335930368 59194 18446744073709551615 4194304 4196468 140720799179616 139668472384080 139668981578516 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1725] ppid=1662 vsize=13999932 CPUtime=0.79 cores=0,2,4,6
/proc/1665/task/1725/stat : 1725 (java) R 1662 1665 3187 0 -1 4202560 1406 12652 0 0 70 1 5 3 20 0 15 0 6482511 14335930368 59194 18446744073709551615 4194304 4196468 140720799179616 139668471325280 139668978812427 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1726] ppid=1662 vsize=13999932 CPUtime=1.16 cores=0,2,4,6
/proc/1665/task/1726/stat : 1726 (java) S 1662 1665 3187 0 -1 1077944384 4203 12652 0 0 107 1 5 3 20 0 15 0 6482511 14335930368 59194 18446744073709551615 4194304 4196468 140720799179616 139668470290928 139668998089346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1727] ppid=1662 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1727/stat : 1727 (java) S 1662 1665 3187 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 6482511 14335930368 59194 18446744073709551615 4194304 4196468 140720799179616 139668469238624 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1728] ppid=1662 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1728/stat : 1728 (java) S 1662 1665 3187 0 -1 1077944384 11 12652 0 0 0 0 5 3 20 0 15 0 6482514 14335930368 59194 18446744073709551615 4194304 4196468 140720799179616 139668468185648 139668998089346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 13999932
[startup+4.00059 s]
/proc/loadavg: 1.83 1.80 1.74 5/213 1728
/proc/meminfo: memFree=29107256/32770624 swapFree=0/242092
[pid=1665] ppid=1662 vsize=14069564 CPUtime=7.83 cores=0,2,4,6
/proc/1665/stat : 1665 (java) S 1662 1665 3187 0 -1 1077944320 64226 12652 0 0 756 19 5 3 20 0 15 0 6482485 14407233536 78223 18446744073709551615 4194304 4196468 140720799179616 140720799162160 139668998078199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
/proc/1665/statm: 3517391 78223 3449 1 0 3506013 0
[pid=1665/tid=1715] ppid=1662 vsize=14069564 CPUtime=3.7 cores=0,2,4,6
/proc/1665/task/1715/stat : 1715 (java) S 1662 1665 3187 0 -1 1077944384 47869 12652 0 0 352 10 5 3 20 0 15 0 6482506 14407233536 78223 18446744073709551615 4194304 4196468 140720799179616 139669002315984 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1716] ppid=1662 vsize=14069564 CPUtime=0.12 cores=0,2,4,6
/proc/1665/task/1716/stat : 1716 (java) R 1662 1665 3187 0 -1 4202560 241 12652 0 0 4 0 5 3 20 0 15 0 6482506 14407233536 78223 18446744073709551615 4194304 4196468 140720799179616 139668917492752 139668990706407 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1717] ppid=1662 vsize=14069564 CPUtime=0.12 cores=0,2,4,6
/proc/1665/task/1717/stat : 1717 (java) R 1662 1665 3187 0 -1 4202560 136 12652 0 0 4 0 5 3 20 0 15 0 6482506 14407233536 78223 18446744073709551615 4194304 4196468 140720799179616 139668916440208 139668982778846 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1718] ppid=1662 vsize=14069564 CPUtime=0.12 cores=0,2,4,6
/proc/1665/task/1718/stat : 1718 (java) R 1662 1665 3187 0 -1 4202560 63 12652 0 0 4 0 5 3 20 0 15 0 6482506 14407233536 78223 18446744073709551615 4194304 4196468 140720799179616 139668915387272 139668990706407 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1719] ppid=1662 vsize=14069564 CPUtime=0.12 cores=0,2,4,6
/proc/1665/task/1719/stat : 1719 (java) R 1662 1665 3187 0 -1 4202560 73 12652 0 0 4 0 5 3 20 0 15 0 6482506 14407233536 78223 18446744073709551615 4194304 4196468 140720799179616 139668595141520 139668990706407 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1720] ppid=1662 vsize=14069564 CPUtime=0.13 cores=0,2,4,6
/proc/1665/task/1720/stat : 1720 (java) S 1662 1665 3187 0 -1 1077944384 2227 12652 0 0 5 0 5 3 20 0 15 0 6482508 14407233536 78223 18446744073709551615 4194304 4196468 140720799179616 139668476605328 139668998088405 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1721] ppid=1662 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1721/stat : 1721 (java) S 1662 1665 3187 0 -1 1077944384 55 12652 0 0 0 0 5 3 20 0 15 0 6482508 14407233536 78223 18446744073709551615 4194304 4196468 140720799179616 139668475552992 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1722] ppid=1662 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1722/stat : 1722 (java) S 1662 1665 3187 0 -1 1077944384 45 12652 0 0 0 0 5 3 20 0 15 0 6482508 14407233536 78223 18446744073709551615 4194304 4196468 140720799179616 139668474499840 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1723] ppid=1662 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1723/stat : 1723 (java) S 1662 1665 3187 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 6482511 14407233536 78223 18446744073709551615 4194304 4196468 140720799179616 139668473448400 139668998096795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1724] ppid=1662 vsize=14069564 CPUtime=1.28 cores=0,2,4,6
/proc/1665/task/1724/stat : 1724 (java) S 1662 1665 3187 0 -1 1077944384 3498 12652 0 0 120 0 5 3 20 0 15 0 6482511 14407233536 78223 18446744073709551615 4194304 4196468 140720799179616 139668472380720 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1725] ppid=1662 vsize=14069564 CPUtime=1.39 cores=0,2,4,6
/proc/1665/task/1725/stat : 1725 (java) S 1662 1665 3187 0 -1 1077944384 3182 12652 0 0 130 1 5 3 20 0 15 0 6482511 14407233536 78223 18446744073709551615 4194304 4196468 140720799179616 139668471328080 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1726] ppid=1662 vsize=14069564 CPUtime=1.39 cores=0,2,4,6
/proc/1665/task/1726/stat : 1726 (java) S 1662 1665 3187 0 -1 1077944384 4668 12652 0 0 129 2 5 3 20 0 15 0 6482511 14407233536 78223 18446744073709551615 4194304 4196468 140720799179616 139668470290928 139668998089346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1727] ppid=1662 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1727/stat : 1727 (java) S 1662 1665 3187 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 6482511 14407233536 78223 18446744073709551615 4194304 4196468 140720799179616 139668469238624 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1728] ppid=1662 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1728/stat : 1728 (java) S 1662 1665 3187 0 -1 1077944384 11 12652 0 0 0 0 5 3 20 0 15 0 6482514 14407233536 78223 18446744073709551615 4194304 4196468 140720799179616 139668468185648 139668998089346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 14069564
[startup+4.20127 s]
/proc/loadavg: 1.83 1.80 1.74 5/213 1728
/proc/meminfo: memFree=29107256/32770624 swapFree=0/242092
[pid=1665] ppid=1662 vsize=14071668 CPUtime=8.45 cores=0,2,4,6
/proc/1665/stat : 1665 (java) S 1662 1665 3187 0 -1 1077944320 65066 12652 0 0 817 20 5 3 20 0 15 0 6482485 14409388032 79573 18446744073709551615 4194304 4196468 140720799179616 140720799162160 139668998078199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
/proc/1665/statm: 3517917 79573 3455 1 0 3506539 0
[pid=1665/tid=1715] ppid=1662 vsize=14071668 CPUtime=3.75 cores=0,2,4,6
/proc/1665/task/1715/stat : 1715 (java) R 1662 1665 3187 0 -1 4202560 47988 12652 0 0 357 10 5 3 20 0 15 0 6482506 14409388032 79573 18446744073709551615 4194304 4196468 140720799179616 139669002311152 139668983447761 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1716] ppid=1662 vsize=14071668 CPUtime=0.19 cores=0,2,4,6
/proc/1665/task/1716/stat : 1716 (java) S 1662 1665 3187 0 -1 1077944384 244 12652 0 0 11 0 5 3 20 0 15 0 6482506 14409388032 79573 18446744073709551615 4194304 4196468 140720799179616 139668917492752 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1717] ppid=1662 vsize=14071668 CPUtime=0.19 cores=0,2,4,6
/proc/1665/task/1717/stat : 1717 (java) S 1662 1665 3187 0 -1 1077944384 137 12652 0 0 11 0 5 3 20 0 15 0 6482506 14409388032 79573 18446744073709551615 4194304 4196468 140720799179616 139668916440208 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1718] ppid=1662 vsize=14071668 CPUtime=0.19 cores=0,2,4,6
/proc/1665/task/1718/stat : 1718 (java) S 1662 1665 3187 0 -1 1077944384 75 12652 0 0 11 0 5 3 20 0 15 0 6482506 14409388032 79573 18446744073709551615 4194304 4196468 140720799179616 139668915387152 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1719] ppid=1662 vsize=14071668 CPUtime=0.17 cores=0,2,4,6
/proc/1665/task/1719/stat : 1719 (java) S 1662 1665 3187 0 -1 1077944384 74 12652 0 0 9 0 5 3 20 0 15 0 6482506 14409388032 79573 18446744073709551615 4194304 4196468 140720799179616 139668595141520 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1720] ppid=1662 vsize=14071668 CPUtime=0.19 cores=0,2,4,6
/proc/1665/task/1720/stat : 1720 (java) S 1662 1665 3187 0 -1 1077944384 2236 12652 0 0 11 0 5 3 20 0 15 0 6482508 14409388032 79573 18446744073709551615 4194304 4196468 140720799179616 139668476606704 139668998089346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1721] ppid=1662 vsize=14071668 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1721/stat : 1721 (java) S 1662 1665 3187 0 -1 1077944384 55 12652 0 0 0 0 5 3 20 0 15 0 6482508 14409388032 79573 18446744073709551615 4194304 4196468 140720799179616 139668475552992 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1722] ppid=1662 vsize=14071668 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1722/stat : 1722 (java) S 1662 1665 3187 0 -1 1077944384 46 12652 0 0 0 0 5 3 20 0 15 0 6482508 14409388032 79573 18446744073709551615 4194304 4196468 140720799179616 139668474499840 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1723] ppid=1662 vsize=14071668 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1723/stat : 1723 (java) S 1662 1665 3187 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 6482511 14409388032 79573 18446744073709551615 4194304 4196468 140720799179616 139668473448400 139668998096795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1724] ppid=1662 vsize=14071668 CPUtime=1.34 cores=0,2,4,6
/proc/1665/task/1724/stat : 1724 (java) R 1662 1665 3187 0 -1 4202560 3796 12652 0 0 126 0 5 3 20 0 15 0 6482511 14409388032 79573 18446744073709551615 4194304 4196468 140720799179616 139668472382552 139668979622312 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1725] ppid=1662 vsize=14071668 CPUtime=1.55 cores=0,2,4,6
/proc/1665/task/1725/stat : 1725 (java) R 1662 1665 3187 0 -1 4202560 3539 12652 0 0 146 1 5 3 20 0 15 0 6482511 14409388032 79573 18446744073709551615 4194304 4196468 140720799179616 139668471328080 139668979599599 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1726] ppid=1662 vsize=14071668 CPUtime=1.4 cores=0,2,4,6
/proc/1665/task/1726/stat : 1726 (java) R 1662 1665 3187 0 -1 1077944384 4707 12652 0 0 130 2 5 3 20 0 15 0 6482511 14409388032 79573 18446744073709551615 4194304 4196468 140720799179616 139668470290928 139668998089346 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1727] ppid=1662 vsize=14071668 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1727/stat : 1727 (java) S 1662 1665 3187 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 6482511 14409388032 79573 18446744073709551615 4194304 4196468 140720799179616 139668469238624 139668998088405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
[pid=1665/tid=1728] ppid=1662 vsize=14071668 CPUtime=0.08 cores=0,2,4,6
/proc/1665/task/1728/stat : 1728 (java) S 1662 1665 3187 0 -1 1077944384 11 12652 0 0 0 0 5 3 20 0 15 0 6482514 14409388032 79573 18446744073709551615 4194304 4196468 140720799179616 139668468185648 139668998089346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140720799180750 140720799183535 140720799183535 140720799186895 0
Current children cumulated CPU time (s) 8.45
Current children cumulated vsize (KiB) 14071668
[startup+4.30991 s]
/proc/loadavg: 1.83 1.80 1.74 5/213 1728
/proc/meminfo: memFree=29107256/32770624 swapFree=0/242092
[pid=1665] ppid=1662 vsize=0 CPUtime=8.76 cores=0,2,4,6
/proc/1665/stat : 1665 (java) Z 1662 1665 3187 0 -1 4227084 65546 12652 0 0 847 21 5 3 20 0 1 0 6482485 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/1665/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.76
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 4.31008
CPU time (s): 8.77144
CPU user time (s): 8.52478
CPU system time (s): 0.246662
CPU usage (%): 203.51
Max. virtual memory (cumulated for all children) (KiB): 14071668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.52478
system time used= 0.246662
maximum resident set size= 320720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6831
involuntary context switches= 111
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024687 second user time and 0.028577 second system time
The end