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

Solver Name	Answer	CPU time	Wall clock time
R1: Concrete 3.4	SAT	7.94901	3.68825

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-4250008-1500776047/watcher-4250008-1500776047 -o /tmp/evaluation-result-4250008-1500776047/solver-4250008-1500776047 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500775267-32564 --watchdog 2560 bin/concrete HOME/instance-4250008-1500776047.xml 

pid=706
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.75 1.72 1.48 3/262 711
/proc/meminfo: memFree=26761180/32770624 swapFree=5932/356432
[pid=711] ppid=706 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/711/stat : 711 (bash) S 706 711 27482 0 -1 4202496 654 0 0 0 0 0 0 0 20 0 1 0 12874822 9736192 350 33554432000 4194304 5098028 140732875829776 140732875827416 140392547322880 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 33378304 140732875838734 140732875838819 140732875838819 140732875841518 0
/proc/711/statm: 2377 350 277 221 0 86 0

[startup+0.100095 s]
/proc/loadavg: 1.75 1.72 1.48 3/262 711
/proc/meminfo: memFree=26761180/32770624 swapFree=5932/356432
[pid=711] ppid=706 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/711/stat : 711 (bash) S 706 711 27482 0 -1 4202496 879 6416 0 0 0 0 0 1 20 0 1 0 12874822 9871360 378 33554432000 4194304 5098028 140732875829776 140732875823784 140392547322880 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 0 0 0 7196144 7232144 33378304 140732875838734 140732875838819 140732875838819 140732875841518 0
/proc/711/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200343 s]
/proc/loadavg: 1.75 1.72 1.48 3/262 711
/proc/meminfo: memFree=26761180/32770624 swapFree=5932/356432
[pid=711] ppid=706 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/711/stat : 711 (java) S 706 711 27482 0 -1 1077944320 5007 12519 0 0 5 1 9 4 20 0 13 0 12874822 10686320640 5346 33554432000 4194304 4196468 140724109521008 140724109503552 140425839460087 0 0 0 16800971 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
/proc/711/statm: 2608965 5346 2137 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860

[startup+0.300276 s]
/proc/loadavg: 1.75 1.72 1.48 3/262 711
/proc/meminfo: memFree=26761180/32770624 swapFree=5932/356432
[pid=711] ppid=706 vsize=10902292 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/711/stat : 711 (java) S 706 711 27482 0 -1 1077944320 8315 12519 0 0 21 2 9 4 20 0 20 0 12874822 11163947008 9395 33554432000 4194304 4196468 140724109521008 140724109503552 140425839460087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
/proc/711/statm: 2725573 9395 2970 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292

[startup+0.700202 s]
/proc/loadavg: 1.75 1.72 1.48 3/262 711
/proc/meminfo: memFree=26761180/32770624 swapFree=5932/356432
[pid=711] ppid=706 vsize=10902720 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/711/stat : 711 (java) S 706 711 27482 0 -1 1077944320 12015 12519 0 0 67 4 9 4 20 0 20 0 12874822 11164385280 14843 33554432000 4194304 4196468 140724109521008 140724109503552 140425839460087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
/proc/711/statm: 2725680 14843 3157 1 0 2713890 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 10902720

[startup+1.50075 s]
/proc/loadavg: 1.75 1.72 1.48 4/282 785
/proc/meminfo: memFree=26656024/32770624 swapFree=5932/356492
[pid=711] ppid=706 vsize=10913344 CPUtime=2.23 cores=1,3,5,7,9,11,13,15
/proc/711/stat : 711 (java) S 706 711 27482 0 -1 1077944320 28467 12519 0 0 196 14 9 4 20 0 20 0 12874822 11175264256 44620 33554432000 4194304 4196468 140724109521008 140724109503552 140425839460087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
/proc/711/statm: 2728336 44620 3408 1 0 2716450 0
[pid=711/tid=767] ppid=706 vsize=10913344 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/711/task/767/stat : 767 (java) R 706 711 27482 0 -1 4202560 19788 12519 0 0 119 7 9 4 20 0 20 0 12874836 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425843673344 140425839481434 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=768] ppid=706 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/768/stat : 768 (java) S 706 711 27482 0 -1 1077944384 27 12519 0 0 0 0 9 4 20 0 20 0 12874837 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425776150800 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=769] ppid=706 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/769/stat : 769 (java) S 706 711 27482 0 -1 1077944384 13 12519 0 0 1 0 9 4 20 0 20 0 12874837 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425775098256 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=770] ppid=706 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/770/stat : 770 (java) S 706 711 27482 0 -1 1077944384 21 12519 0 0 1 0 9 4 20 0 20 0 12874837 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425774045712 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=771] ppid=706 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/771/stat : 771 (java) S 706 711 27482 0 -1 1077944384 25 12519 0 0 1 0 9 4 20 0 20 0 12874837 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425772993168 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=772] ppid=706 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/772/stat : 772 (java) S 706 711 27482 0 -1 1077944384 48 12519 0 0 1 0 9 4 20 0 20 0 12874837 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425771940624 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=773] ppid=706 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/773/stat : 773 (java) S 706 711 27482 0 -1 1077944384 139 12519 0 0 1 0 9 4 20 0 20 0 12874837 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425770888080 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=774] ppid=706 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/774/stat : 774 (java) S 706 711 27482 0 -1 1077944384 32 12519 0 0 1 0 9 4 20 0 20 0 12874837 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425769835536 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=775] ppid=706 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/775/stat : 775 (java) S 706 711 27482 0 -1 1077944384 27 12519 0 0 1 0 9 4 20 0 20 0 12874837 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425768782992 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=776] ppid=706 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/776/stat : 776 (java) S 706 711 27482 0 -1 1077944384 1470 12519 0 0 1 0 9 4 20 0 20 0 12874839 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425179768816 140425839471234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=777] ppid=706 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/777/stat : 777 (java) S 706 711 27482 0 -1 1077944384 56 12519 0 0 0 0 9 4 20 0 20 0 12874840 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425178715104 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=778] ppid=706 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/778/stat : 778 (java) S 706 711 27482 0 -1 1077944384 43 12519 0 0 0 0 9 4 20 0 20 0 12874840 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425177662464 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=779] ppid=706 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/779/stat : 779 (java) S 706 711 27482 0 -1 1077944384 1 12519 0 0 0 0 9 4 20 0 20 0 12874844 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425176611024 140425839478683 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=780] ppid=706 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/711/task/780/stat : 780 (java) R 706 711 27482 0 -1 4202560 1072 12519 0 0 12 0 9 4 20 0 20 0 12874844 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425175544928 140425818706359 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=781] ppid=706 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/711/task/781/stat : 781 (java) S 706 711 27482 0 -1 1077944384 1098 12519 0 0 10 0 9 4 20 0 20 0 12874844 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425174506096 140425839471234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=782] ppid=706 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/711/task/782/stat : 782 (java) R 706 711 27482 0 -1 4202560 616 12519 0 0 14 0 9 4 20 0 20 0 12874844 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425173442704 140425819124614 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=783] ppid=706 vsize=10913344 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/711/task/783/stat : 783 (java) R 706 711 27482 0 -1 4202560 1856 12519 0 0 25 0 9 4 20 0 20 0 12874844 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425172401008 140425839481434 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=784] ppid=706 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/784/stat : 784 (java) S 706 711 27482 0 -1 1077944384 3 12519 0 0 0 0 9 4 20 0 20 0 12874844 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425171347680 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=785] ppid=706 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/785/stat : 785 (java) S 706 711 27482 0 -1 1077944384 9 12519 0 0 0 0 9 4 20 0 20 0 12874844 11175264256 44620 33554432000 4194304 4196468 140724109521008 140425170295216 140425839471234 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 2 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 10913344

[startup+3.10078 s]
/proc/loadavg: 1.75 1.72 1.48 5/282 785
/proc/meminfo: memFree=26579512/32770624 swapFree=5932/356504
[pid=711] ppid=706 vsize=10927868 CPUtime=5.89 cores=1,3,5,7,9,11,13,15
/proc/711/stat : 711 (java) S 706 711 27482 0 -1 1077944320 49044 12519 0 0 553 23 9 4 20 0 20 0 12874822 11190136832 58197 33554432000 4194304 4196468 140724109521008 140724109503552 140425839460087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
/proc/711/statm: 2731967 58197 3475 1 0 2719522 0
[pid=711/tid=767] ppid=706 vsize=10927868 CPUtime=2.98 cores=1,3,5,7,9,11,13,15
/proc/711/task/767/stat : 767 (java) S 706 711 27482 0 -1 1077944384 32441 12519 0 0 275 10 9 4 20 0 20 0 12874836 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425843658816 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=768] ppid=706 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/768/stat : 768 (java) S 706 711 27482 0 -1 1077944384 33 12519 0 0 1 0 9 4 20 0 20 0 12874837 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425776150800 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=769] ppid=706 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/769/stat : 769 (java) S 706 711 27482 0 -1 1077944384 27 12519 0 0 1 0 9 4 20 0 20 0 12874837 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425775098256 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=770] ppid=706 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/770/stat : 770 (java) S 706 711 27482 0 -1 1077944384 28 12519 0 0 1 0 9 4 20 0 20 0 12874837 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425774045712 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=771] ppid=706 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/771/stat : 771 (java) S 706 711 27482 0 -1 1077944384 32 12519 0 0 1 0 9 4 20 0 20 0 12874837 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425772993168 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=772] ppid=706 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/772/stat : 772 (java) S 706 711 27482 0 -1 1077944384 55 12519 0 0 1 0 9 4 20 0 20 0 12874837 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425771940624 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=773] ppid=706 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/773/stat : 773 (java) S 706 711 27482 0 -1 1077944384 142 12519 0 0 1 0 9 4 20 0 20 0 12874837 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425770888080 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=774] ppid=706 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/774/stat : 774 (java) S 706 711 27482 0 -1 1077944384 97 12519 0 0 1 0 9 4 20 0 20 0 12874837 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425769835536 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=775] ppid=706 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/775/stat : 775 (java) S 706 711 27482 0 -1 1077944384 31 12519 0 0 1 0 9 4 20 0 20 0 12874837 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425768782992 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=776] ppid=706 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/776/stat : 776 (java) R 706 711 27482 0 -1 4202560 1483 12519 0 0 1 0 9 4 20 0 20 0 12874839 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425179767296 140425832556923 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=777] ppid=706 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/777/stat : 777 (java) S 706 711 27482 0 -1 1077944384 56 12519 0 0 0 0 9 4 20 0 20 0 12874840 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425178715104 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=778] ppid=706 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/778/stat : 778 (java) S 706 711 27482 0 -1 1077944384 43 12519 0 0 0 0 9 4 20 0 20 0 12874840 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425177662464 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=779] ppid=706 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/779/stat : 779 (java) S 706 711 27482 0 -1 1077944384 1 12519 0 0 0 0 9 4 20 0 20 0 12874844 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425176611024 140425839478683 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=780] ppid=706 vsize=10927868 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/711/task/780/stat : 780 (java) S 706 711 27482 0 -1 1077944384 1904 12519 0 0 44 1 9 4 20 0 20 0 12874844 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425175558640 140425839471234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=781] ppid=706 vsize=10927868 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/711/task/781/stat : 781 (java) S 706 711 27482 0 -1 1077944384 2343 12519 0 0 49 2 9 4 20 0 20 0 12874844 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425174506096 140425839471234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=782] ppid=706 vsize=10927868 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/711/task/782/stat : 782 (java) S 706 711 27482 0 -1 1077944384 4335 12519 0 0 77 1 9 4 20 0 20 0 12874844 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425173453552 140425839471234 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=783] ppid=706 vsize=10927868 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/711/task/783/stat : 783 (java) S 706 711 27482 0 -1 1077944384 3852 12519 0 0 92 1 9 4 20 0 20 0 12874844 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425172401008 140425839471234 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=784] ppid=706 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/784/stat : 784 (java) S 706 711 27482 0 -1 1077944384 3 12519 0 0 0 0 9 4 20 0 20 0 12874844 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425171347680 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=785] ppid=706 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/785/stat : 785 (java) S 706 711 27482 0 -1 1077944384 10 12519 0 0 0 0 9 4 20 0 20 0 12874844 11190136832 58197 33554432000 4194304 4196468 140724109521008 140425170295216 140425839471234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 10927868

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

[startup+3.20106 s]
/proc/loadavg: 1.75 1.72 1.48 5/282 785
/proc/meminfo: memFree=26579512/32770624 swapFree=5932/356504
[pid=711] ppid=706 vsize=10927868 CPUtime=6.2 cores=1,3,5,7,9,11,13,15
/proc/711/stat : 711 (java) S 706 711 27482 0 -1 1077944320 50048 12519 0 0 584 23 9 4 20 0 20 0 12874822 11190136832 61668 33554432000 4194304 4196468 140724109521008 140724109503552 140425839460087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
/proc/711/statm: 2731967 61668 3476 1 0 2719522 0
[pid=711/tid=767] ppid=706 vsize=10927868 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/711/task/767/stat : 767 (java) R 706 711 27482 0 -1 4202560 32518 12519 0 0 281 10 9 4 20 0 20 0 12874836 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425843695184 140425839472022 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=768] ppid=706 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/711/task/768/stat : 768 (java) S 706 711 27482 0 -1 1077944384 35 12519 0 0 2 0 9 4 20 0 20 0 12874837 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425776150800 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=769] ppid=706 vsize=10927868 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/711/task/769/stat : 769 (java) S 706 711 27482 0 -1 1077944384 43 12519 0 0 3 0 9 4 20 0 20 0 12874837 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425775098256 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=770] ppid=706 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/711/task/770/stat : 770 (java) S 706 711 27482 0 -1 1077944384 28 12519 0 0 2 0 9 4 20 0 20 0 12874837 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425774045712 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=771] ppid=706 vsize=10927868 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/711/task/771/stat : 771 (java) S 706 711 27482 0 -1 1077944384 36 12519 0 0 3 1 9 4 20 0 20 0 12874837 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425772993168 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=772] ppid=706 vsize=10927868 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/711/task/772/stat : 772 (java) S 706 711 27482 0 -1 1077944384 62 12519 0 0 3 0 9 4 20 0 20 0 12874837 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425771940624 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=773] ppid=706 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/711/task/773/stat : 773 (java) S 706 711 27482 0 -1 1077944384 142 12519 0 0 2 0 9 4 20 0 20 0 12874837 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425770888080 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=774] ppid=706 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/711/task/774/stat : 774 (java) S 706 711 27482 0 -1 1077944384 104 12519 0 0 2 0 9 4 20 0 20 0 12874837 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425769835536 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=775] ppid=706 vsize=10927868 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/711/task/775/stat : 775 (java) S 706 711 27482 0 -1 1077944384 44 12519 0 0 3 0 9 4 20 0 20 0 12874837 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425768782992 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=776] ppid=706 vsize=10927868 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/711/task/776/stat : 776 (java) S 706 711 27482 0 -1 1077944384 2248 12519 0 0 3 0 9 4 20 0 20 0 12874839 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425179768816 140425839471234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=777] ppid=706 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/777/stat : 777 (java) S 706 711 27482 0 -1 1077944384 56 12519 0 0 0 0 9 4 20 0 20 0 12874840 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425178715104 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=778] ppid=706 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/778/stat : 778 (java) S 706 711 27482 0 -1 1077944384 43 12519 0 0 0 0 9 4 20 0 20 0 12874840 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425177662464 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=779] ppid=706 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/779/stat : 779 (java) S 706 711 27482 0 -1 1077944384 1 12519 0 0 0 0 9 4 20 0 20 0 12874844 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425176611024 140425839478683 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=780] ppid=706 vsize=10927868 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/711/task/780/stat : 780 (java) S 706 711 27482 0 -1 1077944384 1918 12519 0 0 45 1 9 4 20 0 20 0 12874844 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425175558640 140425839471234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=781] ppid=706 vsize=10927868 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/711/task/781/stat : 781 (java) R 706 711 27482 0 -1 4202560 2354 12519 0 0 51 2 9 4 20 0 20 0 12874844 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425174506096 140425817054992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=782] ppid=706 vsize=10927868 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/711/task/782/stat : 782 (java) S 706 711 27482 0 -1 1077944384 4345 12519 0 0 81 1 9 4 20 0 20 0 12874844 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425173453552 140425839471234 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=783] ppid=706 vsize=10927868 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/711/task/783/stat : 783 (java) R 706 711 27482 0 -1 4202560 3930 12519 0 0 96 1 9 4 20 0 20 0 12874844 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425172393984 140425818413992 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=784] ppid=706 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/784/stat : 784 (java) S 706 711 27482 0 -1 1077944384 3 12519 0 0 0 0 9 4 20 0 20 0 12874844 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425171347680 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=785] ppid=706 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/785/stat : 785 (java) S 706 711 27482 0 -1 1077944384 10 12519 0 0 0 0 9 4 20 0 20 0 12874844 11190136832 61668 33554432000 4194304 4196468 140724109521008 140425170295216 140425839471234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 10927868

[startup+3.60076 s]
/proc/loadavg: 1.69 1.70 1.48 5/282 785
/proc/meminfo: memFree=26524060/32770624 swapFree=5932/356504
[pid=711] ppid=706 vsize=10995452 CPUtime=7.72 cores=1,3,5,7,9,11,13,15
/proc/711/stat : 711 (java) S 706 711 27482 0 -1 1077944320 59308 12519 0 0 733 26 9 4 20 0 20 0 12874822 11259342848 70887 33554432000 4194304 4196468 140724109521008 140724109503552 140425839460087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
/proc/711/statm: 2748863 70887 3477 1 0 2736418 0
[pid=711/tid=767] ppid=706 vsize=10995452 CPUtime=3.25 cores=1,3,5,7,9,11,13,15
/proc/711/task/767/stat : 767 (java) R 706 711 27482 0 -1 4202560 39567 12519 0 0 301 11 9 4 20 0 20 0 12874836 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425843687760 140425839472022 0 4 0 16800975 0 0 0 -1 11 0 0 3 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=768] ppid=706 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/711/task/768/stat : 768 (java) S 706 711 27482 0 -1 1077944384 44 12519 0 0 12 0 9 4 20 0 20 0 12874837 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425776150800 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=769] ppid=706 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/711/task/769/stat : 769 (java) S 706 711 27482 0 -1 1077944384 52 12519 0 0 12 0 9 4 20 0 20 0 12874837 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425775098256 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=770] ppid=706 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/711/task/770/stat : 770 (java) S 706 711 27482 0 -1 1077944384 33 12519 0 0 12 0 9 4 20 0 20 0 12874837 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425774045712 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=771] ppid=706 vsize=10995452 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/711/task/771/stat : 771 (java) S 706 711 27482 0 -1 1077944384 44 12519 0 0 12 1 9 4 20 0 20 0 12874837 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425772993168 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=772] ppid=706 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/711/task/772/stat : 772 (java) S 706 711 27482 0 -1 1077944384 64 12519 0 0 12 0 9 4 20 0 20 0 12874837 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425771940624 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=773] ppid=706 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/711/task/773/stat : 773 (java) S 706 711 27482 0 -1 1077944384 155 12519 0 0 11 0 9 4 20 0 20 0 12874837 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425770888080 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=774] ppid=706 vsize=10995452 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/711/task/774/stat : 774 (java) S 706 711 27482 0 -1 1077944384 104 12519 0 0 12 1 9 4 20 0 20 0 12874837 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425769835536 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=775] ppid=706 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/711/task/775/stat : 775 (java) S 706 711 27482 0 -1 1077944384 49 12519 0 0 12 0 9 4 20 0 20 0 12874837 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425768782992 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=776] ppid=706 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/711/task/776/stat : 776 (java) S 706 711 27482 0 -1 1077944384 2260 12519 0 0 11 0 9 4 20 0 20 0 12874839 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425179768816 140425839471234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=777] ppid=706 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/777/stat : 777 (java) S 706 711 27482 0 -1 1077944384 56 12519 0 0 0 0 9 4 20 0 20 0 12874840 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425178715168 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=778] ppid=706 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/778/stat : 778 (java) S 706 711 27482 0 -1 1077944384 44 12519 0 0 0 0 9 4 20 0 20 0 12874840 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425177662464 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=779] ppid=706 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/779/stat : 779 (java) S 706 711 27482 0 -1 1077944384 1 12519 0 0 0 0 9 4 20 0 20 0 12874844 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425176611024 140425839478683 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=780] ppid=706 vsize=10995452 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/711/task/780/stat : 780 (java) S 706 711 27482 0 -1 1077944384 1923 12519 0 0 45 1 9 4 20 0 20 0 12874844 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425175558640 140425839471234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=781] ppid=706 vsize=10995452 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/711/task/781/stat : 781 (java) S 706 711 27482 0 -1 1077944384 3103 12519 0 0 65 2 9 4 20 0 20 0 12874844 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425174506096 140425839471234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=782] ppid=706 vsize=10995452 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/711/task/782/stat : 782 (java) R 706 711 27482 0 -1 4202560 5656 12519 0 0 106 1 9 4 20 0 20 0 12874844 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425173439264 140425823366092 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=783] ppid=706 vsize=10995452 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/711/task/783/stat : 783 (java) R 706 711 27482 0 -1 4202560 4015 12519 0 0 100 1 9 4 20 0 20 0 12874844 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425172400816 140425823813328 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=784] ppid=706 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/784/stat : 784 (java) S 706 711 27482 0 -1 1077944384 3 12519 0 0 0 0 9 4 20 0 20 0 12874844 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425171347680 140425839470293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
[pid=711/tid=785] ppid=706 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/711/task/785/stat : 785 (java) S 706 711 27482 0 -1 1077944384 10 12519 0 0 0 0 9 4 20 0 20 0 12874844 11259342848 70887 33554432000 4194304 4196468 140724109521008 140425170295216 140425839471234 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 2 0 0 6293624 6294260 11841536 140724109523649 140724109526423 140724109526423 140724109529039 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 10995452

Child status: 0
Real time (s): 3.68825
CPU time (s): 7.94901
CPU user time (s): 7.63029
CPU system time (s): 0.318714
CPU usage (%): 215.523
Max. virtual memory (cumulated for all children) (KiB): 10995452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.63029
system time used= 0.318714
maximum resident set size= 286988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72472
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= 7970
involuntary context switches= 1001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030464 second user time and 0.04032 second system time

The end

Begin job on node102 at 2017-07-23 04:14:07
IDJOB=4250008
IDBENCH=138749
IDSOLVER=2630
FILE ID=node102/4250008-1500776047
RUNJOBID= node102-1500775267-32564
PBS_JOBID= 20624584
Free space on /tmp= 61840 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Domino/Domino-m1-s1/Domino-300-300.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4250008-1500776047/watcher-4250008-1500776047 -o /tmp/evaluation-result-4250008-1500776047/solver-4250008-1500776047 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500775267-32564 --watchdog 2560  bin/concrete HOME/instance-4250008-1500776047.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= f2877c27d9d8eb249e584ffb90778d14
RANDOM SEED=1395393630

node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26761876 kB
MemAvailable:   27217084 kB
Buffers:          163836 kB
Cached:           568272 kB
SwapCached:            0 kB
Active:          5192520 kB
Inactive:         365040 kB
Active(anon):    4828388 kB
Inactive(anon):     8608 kB
Active(file):     364132 kB
Inactive(file):   356432 kB
Unevictable:        5932 kB
Mlocked:            5932 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24700 kB
Writeback:            12 kB
AnonPages:       4939372 kB
Mapped:            45424 kB
Shmem:              8852 kB
Slab:             134324 kB
SReclaimable:     100956 kB
SUnreclaim:        33368 kB
KernelStack:        4896 kB
PageTables:        15112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5079304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4651008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61816 MiB
End job on node102 at 2017-07-23 04:14:11

Name	Domino/ Domino-m1-s1/Domino-300-300.xml
MD5SUM	f2877c27d9d8eb249e584ffb90778d14
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.0095349997
Satisfiable
(Un)Satisfiability was proved
Number of variables	300
Number of constraints	2
Number of domains	1
Minimum domain size	300
Maximum domain size	300
Distribution of domain sizes	[{"size":300,"count":300}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":298},{"degree":2,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	300
Distribution of constraint arities	[{"arity":2,"count":1},{"arity":300,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1
Distribution of constraint types	[{"type":"intension","count":1},{"type":"allEqual","count":1}]
Optimization problem	NO
Type of objective

Trace number 4250008

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data