2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Concrete 3.4	SAT	15.205	7.50353
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-4262619-1502432631/watcher-4262619-1502432631 -o /tmp/evaluation-result-4262619-1502432631/solver-4262619-1502432631 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7498 --watchdog 2580 bin/concrete HOME/instance-4262619-1502432631.xml 

pid=14601
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 2.37 1.86 1.65 3/195 14604
/proc/meminfo: memFree=28800652/32770624 swapFree=0/382080
[pid=14604] ppid=14601 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14604/stat : 14604 (runsolver) D 14601 14604 7434 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 31603752 24240128 107 18446744073709551615 4194304 4338465 140733724504752 140733724502392 140704503100119 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 25174016 140733724512465 140733724512841 140733724512841 140733724516298 0
/proc/14604/statm: 5918 107 54 36 0 2156 0

[startup+0.100161 s]
/proc/loadavg: 2.37 1.86 1.65 3/195 14604
/proc/meminfo: memFree=28800652/32770624 swapFree=0/382080
[pid=14604] ppid=14601 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14604/stat : 14604 (runsolver) D 14601 14604 7434 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 31603752 24240128 107 18446744073709551615 4194304 4338465 140733724504752 140733724502392 140704503100119 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 25174016 140733724512465 140733724512841 140733724512841 140733724516298 0
/proc/14604/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200331 s]
/proc/loadavg: 2.37 1.86 1.65 3/195 14604
/proc/meminfo: memFree=28800652/32770624 swapFree=0/382080
[pid=14604] ppid=14601 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/14604/stat : 14604 (bash) S 14601 14604 7434 0 -1 4202496 895 6487 0 0 0 0 0 1 20 0 1 0 31603752 9867264 377 18446744073709551615 4194304 5098028 140736790079872 140736790073880 140620398771200 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 10 0 0 7196144 7232144 36483072 140736790082068 140736790082153 140736790082153 140736790085610 0
/proc/14604/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300325 s]
/proc/loadavg: 2.37 1.86 1.65 3/195 14604
/proc/meminfo: memFree=28800652/32770624 swapFree=0/382080
[pid=14604] ppid=14601 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/14604/stat : 14604 (java) S 14601 14604 7434 0 -1 1077944320 5488 12470 0 0 5 1 5 3 20 0 14 0 31603752 14241083392 5172 18446744073709551615 4194304 4196468 140730855273664 140730855256208 140381558968055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
/proc/14604/statm: 3476827 5172 2562 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.700285 s]
/proc/loadavg: 2.37 1.86 1.65 3/195 14604
/proc/meminfo: memFree=28800652/32770624 swapFree=0/382080
[pid=14604] ppid=14601 vsize=13974784 CPUtime=0.61 cores=1,3,5,7
/proc/14604/stat : 14604 (java) S 14601 14604 7434 0 -1 1077944320 13632 12470 0 0 50 3 5 3 20 0 15 0 31603752 14310178816 14038 18446744073709551615 4194304 4196468 140730855273664 140730855256208 140381558968055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
/proc/14604/statm: 3493696 14038 3074 1 0 3482965 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 13974784

[startup+1.50056 s]
/proc/loadavg: 2.34 1.87 1.65 3/210 14667
/proc/meminfo: memFree=28712192/32770624 swapFree=0/382092
[pid=14604] ppid=14601 vsize=13985408 CPUtime=1.81 cores=1,3,5,7
/proc/14604/stat : 14604 (java) S 14601 14604 7434 0 -1 1077944320 27824 12470 0 0 165 8 5 3 20 0 15 0 31603752 14321057792 33894 18446744073709551615 4194304 4196468 140730855273664 140730855256208 140381558968055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
/proc/14604/statm: 3496352 33894 3342 1 0 3485525 0
[pid=14604/tid=14654] ppid=14601 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/14604/task/14654/stat : 14654 (java) R 14601 14604 7434 0 -1 4202560 22489 12470 0 0 114 6 5 3 20 0 15 0 31603775 14321057792 33894 18446744073709551615 4194304 4196468 140730855273664 140381563201024 140381558979990 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14655] ppid=14601 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14655/stat : 14655 (java) S 14601 14604 7434 0 -1 1077944384 1 12470 0 0 0 0 5 3 20 0 15 0 31603776 14321057792 33894 18446744073709551615 4194304 4196468 140730855273664 140381478382224 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14656] ppid=14601 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14656/stat : 14656 (java) S 14601 14604 7434 0 -1 1077944384 1 12470 0 0 0 0 5 3 20 0 15 0 31603776 14321057792 33894 18446744073709551615 4194304 4196468 140730855273664 140381477329424 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14657] ppid=14601 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14657/stat : 14657 (java) S 14601 14604 7434 0 -1 1077944384 1 12470 0 0 0 0 5 3 20 0 15 0 31603776 14321057792 33894 18446744073709551615 4194304 4196468 140730855273664 140381157058960 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14658] ppid=14601 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14658/stat : 14658 (java) S 14601 14604 7434 0 -1 1077944384 2 12470 0 0 0 0 5 3 20 0 15 0 31603776 14321057792 33894 18446744073709551615 4194304 4196468 140730855273664 140381156006160 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14659] ppid=14601 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14659/stat : 14659 (java) S 14601 14604 7434 0 -1 1077944384 5 12470 0 0 0 0 5 3 20 0 15 0 31603777 14321057792 33894 18446744073709551615 4194304 4196468 140730855273664 140381037607792 140381558979202 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14660] ppid=14601 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14660/stat : 14660 (java) S 14601 14604 7434 0 -1 1077944384 33 12470 0 0 0 0 5 3 20 0 15 0 31603778 14321057792 33894 18446744073709551615 4194304 4196468 140730855273664 140381036553760 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14661] ppid=14601 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14661/stat : 14661 (java) S 14601 14604 7434 0 -1 1077944384 21 12470 0 0 0 0 5 3 20 0 15 0 31603778 14321057792 33894 18446744073709551615 4194304 4196468 140730855273664 140381035500912 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14662] ppid=14601 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14662/stat : 14662 (java) S 14601 14604 7434 0 -1 1077944384 3 12470 0 0 0 0 5 3 20 0 15 0 31603781 14321057792 33894 18446744073709551615 4194304 4196468 140730855273664 140381034449232 140381558986651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14663] ppid=14601 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/14604/task/14663/stat : 14663 (java) R 14601 14604 7434 0 -1 1077944384 892 12470 0 0 13 0 5 3 20 0 15 0 31603781 14321057792 33894 18446744073709551615 4194304 4196468 140730855273664 140381033396592 140381558979202 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14664] ppid=14601 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/14604/task/14664/stat : 14664 (java) S 14601 14604 7434 0 -1 1077944384 867 12470 0 0 14 0 5 3 20 0 15 0 31603781 14321057792 33894 18446744073709551615 4194304 4196468 140730855273664 140381032343792 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14665] ppid=14601 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/14604/task/14665/stat : 14665 (java) R 14601 14604 7434 0 -1 4202560 1347 12470 0 0 22 0 5 3 20 0 15 0 31603781 14321057792 33894 18446744073709551615 4194304 4196468 140730855273664 140381031290992 140381543048542 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14666] ppid=14601 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14666/stat : 14666 (java) S 14601 14604 7434 0 -1 1077944384 3 12470 0 0 0 0 5 3 20 0 15 0 31603781 14321057792 33894 18446744073709551615 4194304 4196468 140730855273664 140381030238432 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14667] ppid=14601 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14667/stat : 14667 (java) S 14601 14604 7434 0 -1 1077944384 8 12470 0 0 0 0 5 3 20 0 15 0 31603786 14321057792 33894 18446744073709551615 4194304 4196468 140730855273664 140381029186736 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 13985408

[startup+3.1013 s]
/proc/loadavg: 2.34 1.87 1.65 3/210 14667
/proc/meminfo: memFree=28640236/32770624 swapFree=0/382092
[pid=14604] ppid=14601 vsize=13995836 CPUtime=5.58 cores=1,3,5,7
/proc/14604/stat : 14604 (java) S 14601 14604 7434 0 -1 1077944320 39619 12470 0 0 535 15 5 3 20 0 15 0 31603752 14331736064 55119 18446744073709551615 4194304 4196468 140730855273664 140730855256208 140381558968055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
/proc/14604/statm: 3498959 55119 3447 1 0 3487573 0
[pid=14604/tid=14654] ppid=14601 vsize=13995836 CPUtime=2.84 cores=1,3,5,7
/proc/14604/task/14654/stat : 14654 (java) R 14601 14604 7434 0 -1 4202560 26957 12470 0 0 267 9 5 3 20 0 15 0 31603775 14331736064 55119 18446744073709551615 4194304 4196468 140730855273664 140381563196656 140381166490490 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14655] ppid=14601 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/14604/task/14655/stat : 14655 (java) S 14601 14604 7434 0 -1 1077944384 51 12470 0 0 1 0 5 3 20 0 15 0 31603776 14331736064 55119 18446744073709551615 4194304 4196468 140730855273664 140381478382224 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14656] ppid=14601 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/14604/task/14656/stat : 14656 (java) S 14601 14604 7434 0 -1 1077944384 41 12470 0 0 1 0 5 3 20 0 15 0 31603776 14331736064 55119 18446744073709551615 4194304 4196468 140730855273664 140381477329424 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14657] ppid=14601 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/14604/task/14657/stat : 14657 (java) S 14601 14604 7434 0 -1 1077944384 208 12470 0 0 1 0 5 3 20 0 15 0 31603776 14331736064 55119 18446744073709551615 4194304 4196468 140730855273664 140381157058960 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14658] ppid=14601 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/14604/task/14658/stat : 14658 (java) S 14601 14604 7434 0 -1 1077944384 59 12470 0 0 1 0 5 3 20 0 15 0 31603776 14331736064 55119 18446744073709551615 4194304 4196468 140730855273664 140381156006160 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14659] ppid=14601 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/14604/task/14659/stat : 14659 (java) S 14601 14604 7434 0 -1 1077944384 1346 12470 0 0 1 0 5 3 20 0 15 0 31603777 14331736064 55119 18446744073709551615 4194304 4196468 140730855273664 140381037607792 140381558979202 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14660] ppid=14601 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14660/stat : 14660 (java) S 14601 14604 7434 0 -1 1077944384 55 12470 0 0 0 0 5 3 20 0 15 0 31603778 14331736064 55119 18446744073709551615 4194304 4196468 140730855273664 140381036553824 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14661] ppid=14601 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14661/stat : 14661 (java) S 14601 14604 7434 0 -1 1077944384 43 12470 0 0 0 0 5 3 20 0 15 0 31603778 14331736064 55119 18446744073709551615 4194304 4196468 140730855273664 140381035500928 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14662] ppid=14601 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14662/stat : 14662 (java) S 14601 14604 7434 0 -1 1077944384 3 12470 0 0 0 0 5 3 20 0 15 0 31603781 14331736064 55119 18446744073709551615 4194304 4196468 140730855273664 140381034449232 140381558986651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14663] ppid=14601 vsize=13995836 CPUtime=0.86 cores=1,3,5,7
/proc/14604/task/14663/stat : 14663 (java) R 14601 14604 7434 0 -1 4202560 2196 12470 0 0 78 0 5 3 20 0 15 0 31603781 14331736064 55119 18446744073709551615 4194304 4196468 140730855273664 140381033389784 140381543877118 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14664] ppid=14601 vsize=13995836 CPUtime=0.89 cores=1,3,5,7
/proc/14604/task/14664/stat : 14664 (java) R 14601 14604 7434 0 -1 4202560 1954 12470 0 0 80 1 5 3 20 0 15 0 31603781 14331736064 55119 18446744073709551615 4194304 4196468 140730855273664 140381032327872 140381536993924 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14665] ppid=14601 vsize=13995836 CPUtime=1.11 cores=1,3,5,7
/proc/14604/task/14665/stat : 14665 (java) R 14601 14604 7434 0 -1 1077944384 4540 12470 0 0 101 2 5 3 20 0 15 0 31603781 14331736064 55119 18446744073709551615 4194304 4196468 140730855273664 140381031290992 140381558979202 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14666] ppid=14601 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14666/stat : 14666 (java) S 14601 14604 7434 0 -1 1077944384 3 12470 0 0 0 0 5 3 20 0 15 0 31603781 14331736064 55119 18446744073709551615 4194304 4196468 140730855273664 140381030238432 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14667] ppid=14601 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14667/stat : 14667 (java) S 14601 14604 7434 0 -1 1077944384 11 12470 0 0 0 0 5 3 20 0 15 0 31603786 14331736064 55119 18446744073709551615 4194304 4196468 140730855273664 140381029186736 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 13995836

[startup+6.30069 s]
/proc/loadavg: 2.34 1.87 1.65 3/210 14667
/proc/meminfo: memFree=28459604/32770624 swapFree=0/382092
[pid=14604] ppid=14601 vsize=14067516 CPUtime=13.09 cores=1,3,5,7
/proc/14604/stat : 14604 (java) S 14601 14604 7434 0 -1 1077944320 69413 12470 0 0 1273 28 5 3 20 0 15 0 31603752 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140730855256208 140381558968055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
/proc/14604/statm: 3516879 134840 3469 1 0 3505493 0
[pid=14604/tid=14654] ppid=14601 vsize=14067516 CPUtime=5.94 cores=1,3,5,7
/proc/14604/task/14654/stat : 14654 (java) R 14601 14604 7434 0 -1 4202560 43393 12470 0 0 571 15 5 3 20 0 15 0 31603775 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381563202416 140381175098068 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14655] ppid=14601 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/14604/task/14655/stat : 14655 (java) S 14601 14604 7434 0 -1 1077944384 78 12470 0 0 5 1 5 3 20 0 15 0 31603776 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381478382224 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14656] ppid=14601 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/14604/task/14656/stat : 14656 (java) S 14601 14604 7434 0 -1 1077944384 105 12470 0 0 5 1 5 3 20 0 15 0 31603776 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381477329424 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14657] ppid=14601 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/14604/task/14657/stat : 14657 (java) S 14601 14604 7434 0 -1 1077944384 230 12470 0 0 5 0 5 3 20 0 15 0 31603776 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381157058960 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14658] ppid=14601 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/14604/task/14658/stat : 14658 (java) S 14601 14604 7434 0 -1 1077944384 151 12470 0 0 5 1 5 3 20 0 15 0 31603776 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381156006160 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14659] ppid=14601 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/14604/task/14659/stat : 14659 (java) S 14601 14604 7434 0 -1 1077944384 2275 12470 0 0 4 0 5 3 20 0 15 0 31603777 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381037607792 140381558979202 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14660] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14660/stat : 14660 (java) S 14601 14604 7434 0 -1 1077944384 55 12470 0 0 0 0 5 3 20 0 15 0 31603778 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381036553888 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14661] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14661/stat : 14661 (java) S 14601 14604 7434 0 -1 1077944384 43 12470 0 0 0 0 5 3 20 0 15 0 31603778 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381035500928 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14662] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14662/stat : 14662 (java) S 14601 14604 7434 0 -1 1077944384 3 12470 0 0 0 0 5 3 20 0 15 0 31603781 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381034449232 140381558986651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14663] ppid=14601 vsize=14067516 CPUtime=2.58 cores=1,3,5,7
/proc/14604/task/14663/stat : 14663 (java) S 14601 14604 7434 0 -1 1077944384 5358 12470 0 0 248 2 5 3 20 0 15 0 31603781 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381033396592 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14664] ppid=14601 vsize=14067516 CPUtime=2.56 cores=1,3,5,7
/proc/14604/task/14664/stat : 14664 (java) S 14601 14604 7434 0 -1 1077944384 7599 12470 0 0 246 2 5 3 20 0 15 0 31603781 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381032343792 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14665] ppid=14601 vsize=14067516 CPUtime=1.88 cores=1,3,5,7
/proc/14604/task/14665/stat : 14665 (java) S 14601 14604 7434 0 -1 1077944384 7954 12470 0 0 177 3 5 3 20 0 15 0 31603781 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381031290992 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14666] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14666/stat : 14666 (java) S 14601 14604 7434 0 -1 1077944384 3 12470 0 0 0 0 5 3 20 0 15 0 31603781 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381030238432 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14667] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14667/stat : 14667 (java) S 14601 14604 7434 0 -1 1077944384 14 12470 0 0 0 0 5 3 20 0 15 0 31603786 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381029186736 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
Current children cumulated CPU time (s) 13.09
Current children cumulated vsize (KiB) 14067516

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14604 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40086 s]
/proc/loadavg: 2.34 1.87 1.65 3/210 14667
/proc/meminfo: memFree=28459604/32770624 swapFree=0/382092
[pid=14604] ppid=14601 vsize=14067516 CPUtime=13.19 cores=1,3,5,7
/proc/14604/stat : 14604 (java) S 14601 14604 7434 0 -1 1077944320 69413 12470 0 0 1283 28 5 3 20 0 15 0 31603752 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140730855256208 140381558968055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
/proc/14604/statm: 3516879 134840 3469 1 0 3505493 0
[pid=14604/tid=14654] ppid=14601 vsize=14067516 CPUtime=6.04 cores=1,3,5,7
/proc/14604/task/14654/stat : 14654 (java) R 14601 14604 7434 0 -1 4202560 43393 12470 0 0 581 15 5 3 20 0 15 0 31603775 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381563202416 140381160600782 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14655] ppid=14601 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/14604/task/14655/stat : 14655 (java) S 14601 14604 7434 0 -1 1077944384 78 12470 0 0 5 1 5 3 20 0 15 0 31603776 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381478382224 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14656] ppid=14601 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/14604/task/14656/stat : 14656 (java) S 14601 14604 7434 0 -1 1077944384 105 12470 0 0 5 1 5 3 20 0 15 0 31603776 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381477329424 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14657] ppid=14601 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/14604/task/14657/stat : 14657 (java) S 14601 14604 7434 0 -1 1077944384 230 12470 0 0 5 0 5 3 20 0 15 0 31603776 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381157058960 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14658] ppid=14601 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/14604/task/14658/stat : 14658 (java) S 14601 14604 7434 0 -1 1077944384 151 12470 0 0 5 1 5 3 20 0 15 0 31603776 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381156006160 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14659] ppid=14601 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/14604/task/14659/stat : 14659 (java) S 14601 14604 7434 0 -1 1077944384 2275 12470 0 0 4 0 5 3 20 0 15 0 31603777 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381037607792 140381558979202 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14660] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14660/stat : 14660 (java) S 14601 14604 7434 0 -1 1077944384 55 12470 0 0 0 0 5 3 20 0 15 0 31603778 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381036553888 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14661] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14661/stat : 14661 (java) S 14601 14604 7434 0 -1 1077944384 43 12470 0 0 0 0 5 3 20 0 15 0 31603778 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381035500928 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14662] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14662/stat : 14662 (java) S 14601 14604 7434 0 -1 1077944384 3 12470 0 0 0 0 5 3 20 0 15 0 31603781 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381034449232 140381558986651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14663] ppid=14601 vsize=14067516 CPUtime=2.58 cores=1,3,5,7
/proc/14604/task/14663/stat : 14663 (java) S 14601 14604 7434 0 -1 1077944384 5358 12470 0 0 248 2 5 3 20 0 15 0 31603781 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381033396592 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14664] ppid=14601 vsize=14067516 CPUtime=2.56 cores=1,3,5,7
/proc/14604/task/14664/stat : 14664 (java) S 14601 14604 7434 0 -1 1077944384 7599 12470 0 0 246 2 5 3 20 0 15 0 31603781 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381032343792 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14665] ppid=14601 vsize=14067516 CPUtime=1.88 cores=1,3,5,7
/proc/14604/task/14665/stat : 14665 (java) S 14601 14604 7434 0 -1 1077944384 7954 12470 0 0 177 3 5 3 20 0 15 0 31603781 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381031290992 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14666] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14666/stat : 14666 (java) S 14601 14604 7434 0 -1 1077944384 3 12470 0 0 0 0 5 3 20 0 15 0 31603781 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381030238432 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14667] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14667/stat : 14667 (java) S 14601 14604 7434 0 -1 1077944384 14 12470 0 0 0 0 5 3 20 0 15 0 31603786 14405136384 134840 18446744073709551615 4194304 4196468 140730855273664 140381029186736 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
Current children cumulated CPU time (s) 13.19
Current children cumulated vsize (KiB) 14067516

[startup+7.20068 s]
/proc/loadavg: 2.23 1.85 1.64 3/210 14667
/proc/meminfo: memFree=28246332/32770624 swapFree=0/382092
[pid=14604] ppid=14601 vsize=14067516 CPUtime=14.35 cores=1,3,5,7
/proc/14604/stat : 14604 (java) S 14601 14604 7434 0 -1 1077944320 69623 12470 0 0 1397 30 5 3 20 0 15 0 31603752 14405136384 158511 18446744073709551615 4194304 4196468 140730855273664 140730855256208 140381558968055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
/proc/14604/statm: 3516879 158511 3469 1 0 3505493 0
[pid=14604/tid=14654] ppid=14601 vsize=14067516 CPUtime=6.81 cores=1,3,5,7
/proc/14604/task/14654/stat : 14654 (java) S 14601 14604 7434 0 -1 1077944384 43471 12470 0 0 657 16 5 3 20 0 15 0 31603775 14405136384 158511 18446744073709551615 4194304 4196468 140730855273664 140381563205776 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14655] ppid=14601 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/14604/task/14655/stat : 14655 (java) S 14601 14604 7434 0 -1 1077944384 84 12470 0 0 6 1 5 3 20 0 15 0 31603776 14405136384 158511 18446744073709551615 4194304 4196468 140730855273664 140381478382224 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14656] ppid=14601 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/14604/task/14656/stat : 14656 (java) S 14601 14604 7434 0 -1 1077944384 112 12470 0 0 6 1 5 3 20 0 15 0 31603776 14405136384 158511 18446744073709551615 4194304 4196468 140730855273664 140381477329424 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14657] ppid=14601 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/14604/task/14657/stat : 14657 (java) S 14601 14604 7434 0 -1 1077944384 240 12470 0 0 6 1 5 3 20 0 15 0 31603776 14405136384 158511 18446744073709551615 4194304 4196468 140730855273664 140381157058960 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14658] ppid=14601 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/14604/task/14658/stat : 14658 (java) S 14601 14604 7434 0 -1 1077944384 162 12470 0 0 6 1 5 3 20 0 15 0 31603776 14405136384 158511 18446744073709551615 4194304 4196468 140730855273664 140381156006160 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14659] ppid=14601 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/14604/task/14659/stat : 14659 (java) R 14601 14604 7434 0 -1 4202560 2316 12470 0 0 6 0 5 3 20 0 15 0 31603777 14405136384 158511 18446744073709551615 4194304 4196468 140730855273664 140381037606192 140381543322704 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14660] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14660/stat : 14660 (java) S 14601 14604 7434 0 -1 1077944384 55 12470 0 0 0 0 5 3 20 0 15 0 31603778 14405136384 158511 18446744073709551615 4194304 4196468 140730855273664 140381036553888 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14661] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14661/stat : 14661 (java) S 14601 14604 7434 0 -1 1077944384 43 12470 0 0 0 0 5 3 20 0 15 0 31603778 14405136384 158511 18446744073709551615 4194304 4196468 140730855273664 140381035500928 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14662] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14662/stat : 14662 (java) S 14601 14604 7434 0 -1 1077944384 3 12470 0 0 0 0 5 3 20 0 15 0 31603781 14405136384 158511 18446744073709551615 4194304 4196468 140730855273664 140381034449232 140381558986651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14663] ppid=14601 vsize=14067516 CPUtime=2.75 cores=1,3,5,7
/proc/14604/task/14663/stat : 14663 (java) S 14601 14604 7434 0 -1 1077944384 5382 12470 0 0 265 2 5 3 20 0 15 0 31603781 14405136384 158511 18446744073709551615 4194304 4196468 140730855273664 140381033376832 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14664] ppid=14601 vsize=14067516 CPUtime=2.71 cores=1,3,5,7
/proc/14604/task/14664/stat : 14664 (java) S 14601 14604 7434 0 -1 1077944384 7623 12470 0 0 261 2 5 3 20 0 15 0 31603781 14405136384 158511 18446744073709551615 4194304 4196468 140730855273664 140381032343792 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14665] ppid=14601 vsize=14067516 CPUtime=1.89 cores=1,3,5,7
/proc/14604/task/14665/stat : 14665 (java) S 14601 14604 7434 0 -1 1077944384 7963 12470 0 0 178 3 5 3 20 0 15 0 31603781 14405136384 158511 18446744073709551615 4194304 4196468 140730855273664 140381031290992 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14666] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14666/stat : 14666 (java) S 14601 14604 7434 0 -1 1077944384 3 12470 0 0 0 0 5 3 20 0 15 0 31603781 14405136384 158511 18446744073709551615 4194304 4196468 140730855273664 140381030238432 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14667] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14667/stat : 14667 (java) S 14601 14604 7434 0 -1 1077944384 14 12470 0 0 0 0 5 3 20 0 15 0 31603786 14405136384 158511 18446744073709551615 4194304 4196468 140730855273664 140381029186736 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
Current children cumulated CPU time (s) 14.35
Current children cumulated vsize (KiB) 14067516

[startup+7.4014 s]
/proc/loadavg: 2.23 1.85 1.64 3/210 14667
/proc/meminfo: memFree=28246332/32770624 swapFree=0/382092
[pid=14604] ppid=14601 vsize=14067516 CPUtime=14.92 cores=1,3,5,7
/proc/14604/stat : 14604 (java) S 14601 14604 7434 0 -1 1077944320 69655 12470 0 0 1453 31 5 3 20 0 15 0 31603752 14405136384 158513 18446744073709551615 4194304 4196468 140730855273664 140730855256208 140381558968055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
/proc/14604/statm: 3516879 158513 3469 1 0 3505493 0
[pid=14604/tid=14654] ppid=14601 vsize=14067516 CPUtime=6.81 cores=1,3,5,7
/proc/14604/task/14654/stat : 14654 (java) S 14601 14604 7434 0 -1 1077944384 43471 12470 0 0 657 16 5 3 20 0 15 0 31603775 14405136384 158513 18446744073709551615 4194304 4196468 140730855273664 140381563205776 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14655] ppid=14601 vsize=14067516 CPUtime=0.27 cores=1,3,5,7
/proc/14604/task/14655/stat : 14655 (java) R 14601 14604 7434 0 -1 4202560 102 12470 0 0 18 1 5 3 20 0 15 0 31603776 14405136384 158513 18446744073709551615 4194304 4196468 140730855273664 140381478382344 140381551596263 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14656] ppid=14601 vsize=14067516 CPUtime=0.27 cores=1,3,5,7
/proc/14604/task/14656/stat : 14656 (java) R 14601 14604 7434 0 -1 4202560 115 12470 0 0 18 1 5 3 20 0 15 0 31603776 14405136384 158513 18446744073709551615 4194304 4196468 140730855273664 140381477329424 140381551596263 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14657] ppid=14601 vsize=14067516 CPUtime=0.27 cores=1,3,5,7
/proc/14604/task/14657/stat : 14657 (java) R 14601 14604 7434 0 -1 4202560 242 12470 0 0 18 1 5 3 20 0 15 0 31603776 14405136384 158513 18446744073709551615 4194304 4196468 140730855273664 140381157058960 140381551596263 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14658] ppid=14601 vsize=14067516 CPUtime=0.27 cores=1,3,5,7
/proc/14604/task/14658/stat : 14658 (java) R 14601 14604 7434 0 -1 4202560 163 12470 0 0 18 1 5 3 20 0 15 0 31603776 14405136384 158513 18446744073709551615 4194304 4196468 140730855273664 140381156006160 140381543425675 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14659] ppid=14601 vsize=14067516 CPUtime=0.21 cores=1,3,5,7
/proc/14604/task/14659/stat : 14659 (java) S 14601 14604 7434 0 -1 1077944384 2320 12470 0 0 13 0 5 3 20 0 15 0 31603777 14405136384 158513 18446744073709551615 4194304 4196468 140730855273664 140381037606416 140381558978261 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14660] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14660/stat : 14660 (java) S 14601 14604 7434 0 -1 1077944384 56 12470 0 0 0 0 5 3 20 0 15 0 31603778 14405136384 158513 18446744073709551615 4194304 4196468 140730855273664 140381036553968 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14661] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14661/stat : 14661 (java) S 14601 14604 7434 0 -1 1077944384 43 12470 0 0 0 0 5 3 20 0 15 0 31603778 14405136384 158513 18446744073709551615 4194304 4196468 140730855273664 140381035500928 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14662] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14662/stat : 14662 (java) S 14601 14604 7434 0 -1 1077944384 3 12470 0 0 0 0 5 3 20 0 15 0 31603781 14405136384 158513 18446744073709551615 4194304 4196468 140730855273664 140381034449232 140381558986651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14663] ppid=14601 vsize=14067516 CPUtime=2.75 cores=1,3,5,7
/proc/14604/task/14663/stat : 14663 (java) S 14601 14604 7434 0 -1 1077944384 5385 12470 0 0 265 2 5 3 20 0 15 0 31603781 14405136384 158513 18446744073709551615 4194304 4196468 140730855273664 140381033376576 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14664] ppid=14601 vsize=14067516 CPUtime=2.71 cores=1,3,5,7
/proc/14604/task/14664/stat : 14664 (java) S 14601 14604 7434 0 -1 1077944384 7623 12470 0 0 261 2 5 3 20 0 15 0 31603781 14405136384 158513 18446744073709551615 4194304 4196468 140730855273664 140381032343792 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14665] ppid=14601 vsize=14067516 CPUtime=1.89 cores=1,3,5,7
/proc/14604/task/14665/stat : 14665 (java) S 14601 14604 7434 0 -1 1077944384 7963 12470 0 0 178 3 5 3 20 0 15 0 31603781 14405136384 158513 18446744073709551615 4194304 4196468 140730855273664 140381031290992 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14666] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14666/stat : 14666 (java) S 14601 14604 7434 0 -1 1077944384 3 12470 0 0 0 0 5 3 20 0 15 0 31603781 14405136384 158513 18446744073709551615 4194304 4196468 140730855273664 140381030238432 140381558978261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
[pid=14604/tid=14667] ppid=14601 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/14604/task/14667/stat : 14667 (java) S 14601 14604 7434 0 -1 1077944384 14 12470 0 0 0 0 5 3 20 0 15 0 31603786 14405136384 158513 18446744073709551615 4194304 4196468 140730855273664 140381029186736 140381558979202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19841024 140730855278544 140730855281329 140730855281329 140730855284687 0
Current children cumulated CPU time (s) 14.92
Current children cumulated vsize (KiB) 14067516

[startup+7.50326 s]
/proc/loadavg: 2.23 1.85 1.64 3/210 14667
/proc/meminfo: memFree=28246332/32770624 swapFree=0/382092
[pid=14604] ppid=14601 vsize=0 CPUtime=15.19 cores=1,3,5,7
/proc/14604/stat : 14604 (java) Z 14601 14604 7434 0 -1 4227084 69886 12470 0 0 1479 32 5 3 20 0 2 0 31603752 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 0 0 0 0 0 0 0 0
/proc/14604/statm: 0 0 0 0 0 0 0
[pid=14604/tid=14665] ppid=14601 vsize=0 CPUtime=1.94 cores=1,3,5,7
/proc/14604/task/14665/stat : 14665 (java) R 14601 14604 7434 0 -1 4203588 8011 12470 0 0 182 4 5 3 20 0 2 0 31603781 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 15.19
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 7.50353
CPU time (s): 15.205
CPU user time (s): 14.8419
CPU system time (s): 0.363054
CPU usage (%): 202.638
Max. virtual memory (cumulated for all children) (KiB): 14069616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.8419
system time used= 0.363054
maximum resident set size= 635524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8118
involuntary context switches= 61

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032064 second user time and 0.048794 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-37-sum.xml
MD5SUM	069666c245bd9cd0e4e347c297fd6ca1
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.105976
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	3
Maximum variable degree	11
Distribution of variable degrees	[{"degree":3,"count":3},{"degree":4,"count":12},{"degree":5,"count":51},{"degree":6,"count":81},{"degree":7,"count":99},{"degree":8,"count":132},{"degree":9,"count":135},{"degree":10,"count":45},{"degree":11,"count":42}]
Minimum constraint arity	2
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":2,"count":2037},{"arity":3,"count":200}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2237}]
Optimization problem	NO
Type of objective
Trace number 4262619

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
