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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT	2.3698599	1.24368

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15116 MiB free)
  memory of node 1: 16384 MiB (15410 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282518-1503116777/watcher-4282518-1503116777 -o /tmp/evaluation-result-4282518-1503116777/solver-4282518-1503116777 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503095780-14041 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1016211235 HOME/instance-4282518-1503116777.xml 

running on 4 cores: 0,2,4,6

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18341, runsolver pid=18338
Current StackSize limit: 8192 KiB


[startup+0.1002 s]*
/proc/loadavg: 1.80 1.58 1.53 3/202 18348
/proc/meminfo: memFree=31253128/32770624 swapFree=67108860/67108860
[pid=18341] ppid=18338 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18341/stat : 18341 (xcsp3-exec) S 18338 18341 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100018363 9740288 345 18446744073709551615 4194304 5098028 140724934777504 140724934775608 140576083169916 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 36515840 140724934783352 140724934783557 140724934783557 140724934787051 0
/proc/18341/statm: 2378 345 289 221 0 87 0
[pid=18343] ppid=18341 vsize=13507920 memory=16216 CPUtime=0.02 cores=0,2,4,6
/proc/18343/stat : 18343 (java) S 18341 18341 13977 0 -1 1077944320 3857 0 0 0 2 0 0 0 20 0 8 0 100018370 13832110080 4054 18446744073709551615 4194304 4196468 140722285974784 140722285957328 139818353643255 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
/proc/18343/statm: 3376980 4054 2049 1 0 3366477 0
[pid=18343/tid=18344] ppid=18341 vsize=13507920 memory=4206989191851631162 CPUtime=0.01 cores=0,2,4,6
/proc/18343/task/18344/stat : 18344 (java) R 18341 18341 13977 0 -1 4202560 2589 0 0 0 1 0 0 0 20 0 8 0 100018371 13832110080 4054 18446744073709551615 4194304 4196468 140722285974784 139818357876392 139818335292334 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18345] ppid=18341 vsize=13508948 memory=3461491150226994825 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18345/stat : 18345 (java) S 18341 18341 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 100018371 13833162752 4054 18446744073709551615 4194304 4196468 140722285974784 139818310609168 139818353653461 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18346] ppid=18341 vsize=13508948 memory=140545597310592 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18346/stat : 18346 (java) S 18341 18341 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 100018371 13833162752 4054 18446744073709551615 4194304 4196468 140722285974784 139818309556624 139818353653461 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18347] ppid=18341 vsize=13508948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18347/stat : 18347 (java) S 18341 18341 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 100018372 13833162752 4054 18446744073709551615 4194304 4196468 140722285974784 139818308504080 139818353653461 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18348] ppid=18341 vsize=13508948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18348/stat : 18348 (java) S 18341 18341 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 100018372 13833162752 4054 18446744073709551615 4194304 4196468 140722285974784 139818307451536 139818353653461 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18349] ppid=18341 vsize=13508948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18349/stat : 18349 (java) S 18341 18341 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 100018373 13833162752 4054 18446744073709551615 4194304 4196468 140722285974784 139817899289072 139818353654402 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18350] ppid=18341 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18350/stat : 18350 (java) S 18341 18341 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 100018373 13900271616 4055 18446744073709551615 4194304 4196468 140722285974784 139817898235296 139818353653461 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18351] ppid=18341 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18351/stat : 18351 (java) R 18341 18341 13977 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 9 0 100018374 13900271616 4055 18446744073709551615 4194304 4196468 140722285974784 139817897184608 139817979555628 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 17596 KiB

[startup+0.209989 s]*
/proc/loadavg: 1.80 1.58 1.53 4/211 18357
/proc/meminfo: memFree=31243368/32770624 swapFree=67108860/67108860
[pid=18341] ppid=18338 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18341/stat : 18341 (xcsp3-exec) S 18338 18341 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100018363 9740288 345 18446744073709551615 4194304 5098028 140724934777504 140724934775608 140576083169916 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 36515840 140724934783352 140724934783557 140724934783557 140724934787051 0
/proc/18341/statm: 2378 345 289 221 0 87 0
[pid=18343] ppid=18341 vsize=13974352 memory=27700 CPUtime=0.11 cores=0,2,4,6
/proc/18343/stat : 18343 (java) S 18341 18341 13977 0 -1 1077944320 5424 0 0 0 10 1 0 0 20 0 15 0 100018370 14309736448 6925 18446744073709551615 4194304 4196468 140722285974784 140722285957328 139818353643255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
/proc/18343/statm: 3493588 6925 2812 1 0 3482964 0
[pid=18343/tid=18344] ppid=18341 vsize=13974352 memory=-6442228213513032038 CPUtime=0.09 cores=0,2,4,6
/proc/18343/task/18344/stat : 18344 (java) R 18341 18341 13977 0 -1 4202560 3442 0 0 0 8 1 0 0 20 0 15 0 100018371 14309736448 6925 18446744073709551615 4194304 4196468 140722285974784 139818357864064 139817979583047 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18345] ppid=18341 vsize=13974352 memory=3461491150226994825 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18345/stat : 18345 (java) S 18341 18341 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100018371 14309736448 6925 18446744073709551615 4194304 4196468 140722285974784 139818310609168 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18346] ppid=18341 vsize=13974352 memory=140545597310592 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18346/stat : 18346 (java) S 18341 18341 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100018371 14309736448 6925 18446744073709551615 4194304 4196468 140722285974784 139818309556624 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18347] ppid=18341 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18347/stat : 18347 (java) S 18341 18341 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100018372 14309736448 6925 18446744073709551615 4194304 4196468 140722285974784 139818308504080 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18348] ppid=18341 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18348/stat : 18348 (java) S 18341 18341 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100018372 14309736448 6925 18446744073709551615 4194304 4196468 140722285974784 139818307451536 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18349] ppid=18341 vsize=13974352 memory=140545597310592 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18349/stat : 18349 (java) S 18341 18341 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100018373 14309736448 6925 18446744073709551615 4194304 4196468 140722285974784 139817899289072 139818353654402 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18350] ppid=18341 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18350/stat : 18350 (java) S 18341 18341 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100018373 14309736448 6925 18446744073709551615 4194304 4196468 140722285974784 139817898235296 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18351] ppid=18341 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18351/stat : 18351 (java) S 18341 18341 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100018374 14309736448 6925 18446744073709551615 4194304 4196468 140722285974784 139817897182704 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18352] ppid=18341 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18352/stat : 18352 (java) S 18341 18341 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100018376 14309736448 6925 18446744073709551615 4194304 4196468 140722285974784 139817828477648 139818353661851 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18353] ppid=18341 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18353/stat : 18353 (java) S 18341 18341 13977 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 100018376 14309736448 6925 18446744073709551615 4194304 4196468 140722285974784 139817827424240 139818353654402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18354] ppid=18341 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18354/stat : 18354 (java) S 18341 18341 13977 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 100018376 14309736448 6925 18446744073709551615 4194304 4196468 140722285974784 139817826371696 139818353654402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18355] ppid=18341 vsize=13974352 memory=140545597310592 CPUtime=0.01 cores=0,2,4,6
/proc/18343/task/18355/stat : 18355 (java) R 18341 18341 13977 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 15 0 100018376 14309736448 6925 18446744073709551615 4194304 4196468 140722285974784 139817825319152 139818353654402 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18356] ppid=18341 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18356/stat : 18356 (java) S 18341 18341 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100018376 14309736448 6925 18446744073709551615 4194304 4196468 140722285974784 139817824266848 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18357] ppid=18341 vsize=13974352 memory=140545597310592 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18357/stat : 18357 (java) S 18341 18341 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100018380 14309736448 6925 18446744073709551615 4194304 4196468 140722285974784 139817823214384 139818353654402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29080 KiB

[startup+0.310361 s]*
/proc/loadavg: 1.80 1.58 1.53 5/211 18357
/proc/meminfo: memFree=31230352/32770624 swapFree=67108860/67108860
[pid=18341] ppid=18338 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18341/stat : 18341 (xcsp3-exec) S 18338 18341 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100018363 9740288 345 18446744073709551615 4194304 5098028 140724934777504 140724934775608 140576083169916 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 36515840 140724934783352 140724934783557 140724934783557 140724934787051 0
/proc/18341/statm: 2378 345 289 221 0 87 0
[pid=18343] ppid=18341 vsize=13974352 memory=39752 CPUtime=0.31 cores=0,2,4,6
/proc/18343/stat : 18343 (java) S 18341 18341 13977 0 -1 1077944320 9015 0 0 0 28 3 0 0 20 0 15 0 100018370 14309736448 9938 18446744073709551615 4194304 4196468 140722285974784 140722285957328 139818353643255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
/proc/18343/statm: 3493588 9938 3027 1 0 3482964 0
[pid=18343/tid=18344] ppid=18341 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/18343/task/18344/stat : 18344 (java) R 18341 18341 13977 0 -1 4202560 6137 0 0 0 16 2 0 0 20 0 15 0 100018371 14309736448 10003 18446744073709551615 4194304 4196468 140722285974784 139818357881312 139818337723742 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18345] ppid=18341 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18345/stat : 18345 (java) S 18341 18341 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100018371 14309736448 10003 18446744073709551615 4194304 4196468 140722285974784 139818310609168 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18346] ppid=18341 vsize=13974352 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18346/stat : 18346 (java) S 18341 18341 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100018371 14309736448 10003 18446744073709551615 4194304 4196468 140722285974784 139818309556624 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18347] ppid=18341 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18347/stat : 18347 (java) S 18341 18341 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100018372 14309736448 10003 18446744073709551615 4194304 4196468 140722285974784 139818308504080 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18348] ppid=18341 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18348/stat : 18348 (java) S 18341 18341 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100018372 14309736448 10003 18446744073709551615 4194304 4196468 140722285974784 139818307451536 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18349] ppid=18341 vsize=13974352 memory=140545597317585 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18349/stat : 18349 (java) S 18341 18341 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100018373 14309736448 10003 18446744073709551615 4194304 4196468 140722285974784 139817899289072 139818353654402 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18350] ppid=18341 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18350/stat : 18350 (java) S 18341 18341 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100018373 14309736448 10003 18446744073709551615 4194304 4196468 140722285974784 139817898235296 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18351] ppid=18341 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18351/stat : 18351 (java) S 18341 18341 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100018374 14309736448 10003 18446744073709551615 4194304 4196468 140722285974784 139817897182704 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18352] ppid=18341 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18352/stat : 18352 (java) S 18341 18341 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100018376 14309736448 10003 18446744073709551615 4194304 4196468 140722285974784 139817828477648 139818353661851 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18353] ppid=18341 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18343/task/18353/stat : 18353 (java) S 18341 18341 13977 0 -1 1077944384 465 0 0 0 2 0 0 0 20 0 15 0 100018376 14309736448 10003 18446744073709551615 4194304 4196468 140722285974784 139817827424240 139818353654402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18354] ppid=18341 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18343/task/18354/stat : 18354 (java) S 18341 18341 13977 0 -1 1077944384 378 0 0 0 2 0 0 0 20 0 15 0 100018376 14309736448 10003 18446744073709551615 4194304 4196468 140722285974784 139817826371696 139818353654402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18355] ppid=18341 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/18343/task/18355/stat : 18355 (java) R 18341 18341 13977 0 -1 1077944384 733 0 0 0 6 0 0 0 20 0 15 0 100018376 14309736448 10003 18446744073709551615 4194304 4196468 140722285974784 139817825319152 139818353654402 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18356] ppid=18341 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18356/stat : 18356 (java) S 18341 18341 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100018376 14309736448 10003 18446744073709551615 4194304 4196468 140722285974784 139817824266848 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18357] ppid=18341 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18357/stat : 18357 (java) S 18341 18341 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100018380 14309736448 10003 18446744073709551615 4194304 4196468 140722285974784 139817823214384 139818353654402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41132 KiB

[startup+0.700848 s]
/proc/loadavg: 1.80 1.58 1.53 5/211 18357
/proc/meminfo: memFree=31215872/32770624 swapFree=67108860/67108860
[pid=18341] ppid=18338 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18341/stat : 18341 (xcsp3-exec) S 18338 18341 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100018363 9740288 345 18446744073709551615 4194304 5098028 140724934777504 140724934775608 140576083169916 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 36515840 140724934783352 140724934783557 140724934783557 140724934787051 0
/proc/18341/statm: 2378 345 289 221 0 87 0
[pid=18343] ppid=18341 vsize=13980732 memory=74720 CPUtime=1.34 cores=0,2,4,6
/proc/18343/stat : 18343 (java) S 18341 18341 13977 0 -1 1077944320 13717 0 0 0 129 5 0 0 20 0 15 0 100018370 14316269568 18680 18446744073709551615 4194304 4196468 140722285974784 140722285957328 139818353643255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
/proc/18343/statm: 3495183 18680 3166 1 0 3483476 0
[pid=18343/tid=18344] ppid=18341 vsize=13980732 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/18343/task/18344/stat : 18344 (java) R 18341 18341 13977 0 -1 4202560 8384 0 0 0 53 3 0 0 20 0 15 0 100018371 14316269568 18680 18446744073709551615 4194304 4196468 140722285974784 139818357880176 139818353655190 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18345] ppid=18341 vsize=13980732 memory=4572714105107076441 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18345/stat : 18345 (java) S 18341 18341 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100018371 14316269568 18680 18446744073709551615 4194304 4196468 140722285974784 139818310609168 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18346] ppid=18341 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18346/stat : 18346 (java) S 18341 18341 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100018371 14316269568 18680 18446744073709551615 4194304 4196468 140722285974784 139818309556624 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18347] ppid=18341 vsize=13980732 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18347/stat : 18347 (java) S 18341 18341 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100018372 14316269568 18680 18446744073709551615 4194304 4196468 140722285974784 139818308504080 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18348] ppid=18341 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18348/stat : 18348 (java) S 18341 18341 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100018372 14316269568 18680 18446744073709551615 4194304 4196468 140722285974784 139818307451536 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18349] ppid=18341 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18349/stat : 18349 (java) S 18341 18341 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 100018373 14316269568 18680 18446744073709551615 4194304 4196468 140722285974784 139817899289072 139818353654402 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18350] ppid=18341 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18350/stat : 18350 (java) S 18341 18341 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100018373 14316269568 18680 18446744073709551615 4194304 4196468 140722285974784 139817898235296 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18351] ppid=18341 vsize=13980732 memory=2 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18351/stat : 18351 (java) S 18341 18341 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100018374 14316269568 18680 18446744073709551615 4194304 4196468 140722285974784 139817897182704 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18352] ppid=18341 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18352/stat : 18352 (java) S 18341 18341 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100018376 14316269568 18680 18446744073709551615 4194304 4196468 140722285974784 139817828477648 139818353661851 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18353] ppid=18341 vsize=13980732 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/18343/task/18353/stat : 18353 (java) S 18341 18341 13977 0 -1 1077944384 1010 0 0 0 19 0 0 0 20 0 15 0 100018376 14316269568 18680 18446744073709551615 4194304 4196468 140722285974784 139817827424240 139818353654402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18354] ppid=18341 vsize=13980732 memory=22 CPUtime=0.25 cores=0,2,4,6
/proc/18343/task/18354/stat : 18354 (java) S 18341 18341 13977 0 -1 1077944384 1354 0 0 0 25 0 0 0 20 0 15 0 100018376 14316269568 18680 18446744073709551615 4194304 4196468 140722285974784 139817826371696 139818353654402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18355] ppid=18341 vsize=13980732 memory=3 CPUtime=0.3 cores=0,2,4,6
/proc/18343/task/18355/stat : 18355 (java) R 18341 18341 13977 0 -1 4202560 1661 0 0 0 30 0 0 0 20 0 15 0 100018376 14316269568 18680 18446744073709551615 4194304 4196468 140722285974784 139817825319152 139818353655190 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18356] ppid=18341 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18356/stat : 18356 (java) S 18341 18341 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100018376 14316269568 18680 18446744073709551615 4194304 4196468 140722285974784 139817824266848 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18357] ppid=18341 vsize=13980732 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18357/stat : 18357 (java) S 18341 18341 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100018380 14316269568 18680 18446744073709551615 4194304 4196468 140722285974784 139817823214384 139818353654402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 76100 KiB

[startup+1.24364 s]
# the end of solver process 18341 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.30384 s, system=0.066028 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.800908 s]
/proc/loadavg: 1.80 1.58 1.53 5/211 18357
/proc/meminfo: memFree=31215872/32770624 swapFree=67108860/67108860
[pid=18341] ppid=18338 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18341/stat : 18341 (xcsp3-exec) S 18338 18341 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100018363 9740288 345 18446744073709551615 4194304 5098028 140724934777504 140724934775608 140576083169916 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 36515840 140724934783352 140724934783557 140724934783557 140724934787051 0
/proc/18341/statm: 2378 345 289 221 0 87 0
[pid=18343] ppid=18341 vsize=13980732 memory=84340 CPUtime=1.67 cores=0,2,4,6
/proc/18343/stat : 18343 (java) S 18341 18341 13977 0 -1 1077944320 14088 0 0 0 162 5 0 0 20 0 15 0 100018370 14316269568 21085 18446744073709551615 4194304 4196468 140722285974784 140722285957328 139818353643255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
/proc/18343/statm: 3495183 21085 3169 1 0 3483476 0
[pid=18343/tid=18344] ppid=18341 vsize=13980732 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/18343/task/18344/stat : 18344 (java) R 18341 18341 13977 0 -1 4202560 8419 0 0 0 63 3 0 0 20 0 15 0 100018371 14316269568 21085 18446744073709551615 4194304 4196468 140722285974784 139818357882176 139818337723742 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18345] ppid=18341 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18345/stat : 18345 (java) S 18341 18341 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100018371 14316269568 21085 18446744073709551615 4194304 4196468 140722285974784 139818310609168 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18346] ppid=18341 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18346/stat : 18346 (java) S 18341 18341 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100018371 14316269568 21085 18446744073709551615 4194304 4196468 140722285974784 139818309556624 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18347] ppid=18341 vsize=13980732 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18347/stat : 18347 (java) S 18341 18341 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100018372 14316269568 21085 18446744073709551615 4194304 4196468 140722285974784 139818308504080 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18348] ppid=18341 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18348/stat : 18348 (java) S 18341 18341 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100018372 14316269568 21085 18446744073709551615 4194304 4196468 140722285974784 139818307451536 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18349] ppid=18341 vsize=13980732 memory=-6513752426982809385 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18349/stat : 18349 (java) S 18341 18341 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 100018373 14316269568 21085 18446744073709551615 4194304 4196468 140722285974784 139817899289072 139818353654402 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18350] ppid=18341 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18350/stat : 18350 (java) S 18341 18341 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100018373 14316269568 21085 18446744073709551615 4194304 4196468 140722285974784 139817898235296 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18351] ppid=18341 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18351/stat : 18351 (java) S 18341 18341 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100018374 14316269568 21085 18446744073709551615 4194304 4196468 140722285974784 139817897182704 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18352] ppid=18341 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18352/stat : 18352 (java) S 18341 18341 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100018376 14316269568 21085 18446744073709551615 4194304 4196468 140722285974784 139817828477648 139818353661851 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18353] ppid=18341 vsize=13980732 memory=4068 CPUtime=0.27 cores=0,2,4,6
/proc/18343/task/18353/stat : 18353 (java) R 18341 18341 13977 0 -1 4202560 1037 0 0 0 27 0 0 0 20 0 15 0 100018376 14316269568 21085 18446744073709551615 4194304 4196468 140722285974784 139817827424240 139818334343552 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18354] ppid=18341 vsize=13980732 memory=1152 CPUtime=0.33 cores=0,2,4,6
/proc/18343/task/18354/stat : 18354 (java) S 18341 18341 13977 0 -1 1077944384 1399 0 0 0 33 0 0 0 20 0 15 0 100018376 14316269568 21085 18446744073709551615 4194304 4196468 140722285974784 139817826371696 139818353654402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18355] ppid=18341 vsize=13980732 memory=2880 CPUtime=0.38 cores=0,2,4,6
/proc/18343/task/18355/stat : 18355 (java) R 18341 18341 13977 0 -1 4202560 1930 0 0 0 38 0 0 0 20 0 15 0 100018376 14316269568 21085 18446744073709551615 4194304 4196468 140722285974784 139817825313728 139818337723742 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18356] ppid=18341 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18356/stat : 18356 (java) S 18341 18341 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100018376 14316269568 21085 18446744073709551615 4194304 4196468 140722285974784 139817824266848 139818353653461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
[pid=18343/tid=18357] ppid=18341 vsize=13980732 memory=120172 CPUtime=0 cores=0,2,4,6
/proc/18343/task/18357/stat : 18357 (java) S 18341 18341 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100018380 14316269568 21085 18446744073709551615 4194304 4196468 140722285974784 139817823214384 139818353654402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140722285978033 140722285978209 140722285978209 140722285981647 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 85720 KiB

[startup+1.2005 s]
/proc/loadavg: 1.80 1.58 1.53 7/210 18357
/proc/meminfo: memFree=31169488/32770624 swapFree=67108860/67108860
[pid=18341] ppid=18338 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18341/stat : 18341 (xcsp3-exec) S 18338 18341 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100018363 9740288 345 18446744073709551615 4194304 5098028 140724934777504 140724934775608 140576083169916 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 36515840 140724934783352 140724934783557 140724934783557 140724934787051 0
/proc/18341/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

Child status: 0
Real time (s): 1.24368
CPU time (s): 2.36986
CPU user time (s): 2.30384
CPU system time (s): 0.066028
CPU usage (%): 190.553
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 100036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.30384
system time used= 0.066028
maximum resident set size= 99336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17245
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1728
involuntary context switches= 11


# summary of solver processes directly reported to runsolver:
#   pid: 18341
#   total CPU time (s): 2.36986
#   total CPU user time (s): 2.30384
#   total CPU system time (s): 0.066028

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027642 second user time and 0.057411 second system time

The end

Begin job on node124 at 2017-08-19 06:12:01
IDJOB=4282518
IDBENCH=123659
IDSOLVER=2677
FILE ID=node124/4282518-1503116777
RUNJOBID= node124-1503095780-14041
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Sat/Sat-sum-flat200-479/Sat-flat200-23-sum.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4282518-1503116777/watcher-4282518-1503116777 -o /tmp/evaluation-result-4282518-1503116777/solver-4282518-1503116777 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503095780-14041 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1016211235 HOME/instance-4282518-1503116777.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0997a7a078e28dc29749c8fbf3dd0f9a
RANDOM SEED=1016211235

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/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	: 4
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.51
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.51
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.51
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.51
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31259684 kB
MemAvailable:   31865428 kB
Buffers:          287184 kB
Cached:           612248 kB
SwapCached:            0 kB
Active:           700248 kB
Inactive:         359540 kB
Active(anon):     113144 kB
Inactive(anon):    89140 kB
Active(file):     587104 kB
Inactive(file):   270400 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8404 kB
Writeback:             4 kB
AnonPages:        158196 kB
Mapped:            68428 kB
Shmem:             41704 kB
Slab:             155180 kB
SReclaimable:     128152 kB
SUnreclaim:        27028 kB
KernelStack:        3440 kB
PageTables:         6000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1281252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62016 MiB
End job on node124 at 2017-08-19 06:12:02

Name	Sat/ Sat-sum-flat200-479/Sat-flat200-23-sum.xml
MD5SUM	0997a7a078e28dc29749c8fbf3dd0f9a
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.484846
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	4
Maximum variable degree	11
Distribution of variable degrees	[{"degree":4,"count":12},{"degree":5,"count":81},{"degree":6,"count":72},{"degree":7,"count":105},{"degree":8,"count":111},{"degree":9,"count":84},{"degree":10,"count":75},{"degree":11,"count":60}]
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 4282518

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data