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 5a (2017-08-18)	SAT	1.61648	0.84562498

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 (8781 MiB free)
  memory of node 1: 16384 MiB (12135 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283666-1503222682/watcher-4283666-1503222682 -o /tmp/evaluation-result-4283666-1503222682/solver-4283666-1503222682 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503215340-8906 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1822483572 HOME/instance-4283666-1503222682.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=9834, runsolver pid=9831

[startup+0.100235 s]*
/proc/loadavg: 1.64 1.57 1.50 4/217 9850
/proc/meminfo: memFree=21400260/32770624 swapFree=67108860/67108860
[pid=9834] ppid=9831 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9834/stat : 9834 (xcsp3-exec) S 9831 9834 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155355948 9740288 346 33554432000 4194304 5098028 140733872957440 140733872955544 139704245076604 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30539776 140733872960622 140733872960827 140733872960827 140733872963563 0
/proc/9834/statm: 2378 346 289 221 0 87 0
[pid=9836] ppid=9834 vsize=13978596 memory=29916 CPUtime=0.12 cores=1,3,5,7
/proc/9836/stat : 9836 (java) S 9834 9834 3809 0 -1 1077944320 5393 0 0 0 11 1 0 0 20 0 15 0 155355948 14314082304 7479 33554432000 4194304 4196468 140727661134096 140727661116640 140632699752183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
/proc/9836/statm: 3494649 7479 2841 1 0 3482966 0
[pid=9836/tid=9837] ppid=9834 vsize=13978596 memory=8044457662392537947 CPUtime=0.09 cores=1,3,5,7
/proc/9836/task/9837/stat : 9837 (java) R 9834 9834 3809 0 -1 4202560 3406 0 0 0 8 1 0 0 20 0 15 0 155355948 14314082304 7479 33554432000 4194304 4196468 140727661134096 140632703984112 140632683887988 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9838] ppid=9834 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9838/stat : 9838 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355949 14314082304 7479 33554432000 4194304 4196468 140727661134096 140632295324304 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9839] ppid=9834 vsize=13978596 memory=140075951867520 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9839/stat : 9839 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355949 14314082304 7479 33554432000 4194304 4196468 140727661134096 140632294271504 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9840] ppid=9834 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9840/stat : 9840 (java) S 9834 9834 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155355949 14314082304 7479 33554432000 4194304 4196468 140727661134096 140632293218704 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9841] ppid=9834 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9841/stat : 9841 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355949 14314082304 7479 33554432000 4194304 4196468 140727661134096 140632292165904 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9842] ppid=9834 vsize=13978596 memory=140075951867520 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9842/stat : 9842 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355951 14314082304 7479 33554432000 4194304 4196468 140727661134096 140631813344112 140632699763330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9843] ppid=9834 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9843/stat : 9843 (java) S 9834 9834 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155355951 14314082304 7479 33554432000 4194304 4196468 140727661134096 140631812290080 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9844] ppid=9834 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9844/stat : 9844 (java) S 9834 9834 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155355951 14314082304 7479 33554432000 4194304 4196468 140727661134096 140631811237232 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9845] ppid=9834 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9845/stat : 9845 (java) S 9834 9834 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155355954 14314082304 7479 33554432000 4194304 4196468 140727661134096 140631810185552 140632699770779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9846] ppid=9834 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9846/stat : 9846 (java) S 9834 9834 3809 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 155355954 14314082304 7479 33554432000 4194304 4196468 140727661134096 140631809132912 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9847] ppid=9834 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9847/stat : 9847 (java) S 9834 9834 3809 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 155355954 14314082304 7479 33554432000 4194304 4196468 140727661134096 140631808080112 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9848] ppid=9834 vsize=13978596 memory=140075951867520 CPUtime=0.01 cores=1,3,5,7
/proc/9836/task/9848/stat : 9848 (java) R 9834 9834 3809 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 15 0 155355954 14314082304 7544 33554432000 4194304 4196468 140727661134096 140631807027312 140632692469335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9849] ppid=9834 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9849/stat : 9849 (java) S 9834 9834 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155355954 14314082304 7544 33554432000 4194304 4196468 140727661134096 140631805974752 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9850] ppid=9834 vsize=13978596 memory=140075951867520 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9850/stat : 9850 (java) S 9834 9834 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155355954 14314082304 7544 33554432000 4194304 4196468 140727661134096 140631804923056 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 31300 KiB

[startup+0.210751 s]*
/proc/loadavg: 1.64 1.57 1.50 3/217 9850
/proc/meminfo: memFree=21388848/32770624 swapFree=67108860/67108860
[pid=9834] ppid=9831 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9834/stat : 9834 (xcsp3-exec) S 9831 9834 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155355948 9740288 346 33554432000 4194304 5098028 140733872957440 140733872955544 139704245076604 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30539776 140733872960622 140733872960827 140733872960827 140733872963563 0
/proc/9834/statm: 2378 346 289 221 0 87 0
[pid=9836] ppid=9834 vsize=13982884 memory=42060 CPUtime=0.34 cores=1,3,5,7
/proc/9836/stat : 9836 (java) S 9834 9834 3809 0 -1 1077944320 8097 0 0 0 32 2 0 0 20 0 15 0 155355948 14318473216 10515 33554432000 4194304 4196468 140727661134096 140727661116640 140632699752183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
/proc/9836/statm: 3495721 10515 3067 1 0 3482974 0
[pid=9836/tid=9837] ppid=9834 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9836/task/9837/stat : 9837 (java) R 9834 9834 3809 0 -1 4202560 5353 0 0 0 18 2 0 0 20 0 15 0 155355948 14318440448 10515 33554432000 4194304 4196468 140727661134096 140632703963088 140632692469287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9838] ppid=9834 vsize=13982852 memory=8944 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9838/stat : 9838 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355949 14318440448 10515 33554432000 4194304 4196468 140727661134096 140632295324304 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9839] ppid=9834 vsize=13982852 memory=140075952600247 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9839/stat : 9839 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355949 14318440448 10515 33554432000 4194304 4196468 140727661134096 140632294271504 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9840] ppid=9834 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9840/stat : 9840 (java) S 9834 9834 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155355949 14318440448 10515 33554432000 4194304 4196468 140727661134096 140632293218704 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9841] ppid=9834 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9841/stat : 9841 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355949 14318440448 10515 33554432000 4194304 4196468 140727661134096 140632292165904 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9842] ppid=9834 vsize=13982852 memory=140075951867520 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9842/stat : 9842 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355951 14318440448 10515 33554432000 4194304 4196468 140727661134096 140631813344112 140632699763330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9843] ppid=9834 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9843/stat : 9843 (java) S 9834 9834 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155355951 14318440448 10515 33554432000 4194304 4196468 140727661134096 140631812290080 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9844] ppid=9834 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9844/stat : 9844 (java) S 9834 9834 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155355951 14318440448 10515 33554432000 4194304 4196468 140727661134096 140631811237232 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9845] ppid=9834 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9845/stat : 9845 (java) S 9834 9834 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155355954 14318440448 10515 33554432000 4194304 4196468 140727661134096 140631810185552 140632699770779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9846] ppid=9834 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9836/task/9846/stat : 9846 (java) R 9834 9834 3809 0 -1 1077944384 501 0 0 0 2 0 0 0 20 0 15 0 155355954 14318440448 10515 33554432000 4194304 4196468 140727661134096 140631809132912 140632699763330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9847] ppid=9834 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9836/task/9847/stat : 9847 (java) S 9834 9834 3809 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 15 0 155355954 14318440448 10515 33554432000 4194304 4196468 140727661134096 140631808080112 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9848] ppid=9834 vsize=13982852 memory=140075951867520 CPUtime=0.08 cores=1,3,5,7
/proc/9836/task/9848/stat : 9848 (java) R 9834 9834 3809 0 -1 4202560 714 0 0 0 8 0 0 0 20 0 15 0 155355954 14318440448 10515 33554432000 4194304 4196468 140727661134096 140631807027312 140632679945133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9849] ppid=9834 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9849/stat : 9849 (java) S 9834 9834 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155355954 14318440448 10515 33554432000 4194304 4196468 140727661134096 140631805974752 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9850] ppid=9834 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9850/stat : 9850 (java) S 9834 9834 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155355954 14318440448 10515 33554432000 4194304 4196468 140727661134096 140631804923056 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 43444 KiB

[startup+0.310971 s]*
/proc/loadavg: 1.64 1.57 1.50 4/217 9850
/proc/meminfo: memFree=21381776/32770624 swapFree=67108860/67108860
[pid=9834] ppid=9831 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9834/stat : 9834 (xcsp3-exec) S 9831 9834 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155355948 9740288 346 33554432000 4194304 5098028 140733872957440 140733872955544 139704245076604 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30539776 140733872960622 140733872960827 140733872960827 140733872963563 0
/proc/9834/statm: 2378 346 289 221 0 87 0
[pid=9836] ppid=9834 vsize=13982928 memory=49592 CPUtime=0.5 cores=1,3,5,7
/proc/9836/stat : 9836 (java) S 9834 9834 3809 0 -1 1077944320 9007 0 0 0 47 3 0 0 20 0 15 0 155355948 14318518272 12398 33554432000 4194304 4196468 140727661134096 140727661116640 140632699752183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
/proc/9836/statm: 3495732 12398 3128 1 0 3482966 0
[pid=9836/tid=9837] ppid=9834 vsize=13982928 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/9836/task/9837/stat : 9837 (java) R 9834 9834 3809 0 -1 4202560 6062 0 0 0 27 2 0 0 20 0 15 0 155355948 14318518272 12398 33554432000 4194304 4196468 140727661134096 140632703984016 140632699774109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9838] ppid=9834 vsize=13982928 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9838/stat : 9838 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355949 14318518272 12398 33554432000 4194304 4196468 140727661134096 140632295324304 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9839] ppid=9834 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9839/stat : 9839 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355949 14318518272 12398 33554432000 4194304 4196468 140727661134096 140632294271504 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9840] ppid=9834 vsize=13982928 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9840/stat : 9840 (java) S 9834 9834 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155355949 14318518272 12398 33554432000 4194304 4196468 140727661134096 140632293218704 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9841] ppid=9834 vsize=13982928 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9841/stat : 9841 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355949 14318518272 12398 33554432000 4194304 4196468 140727661134096 140632292165904 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9842] ppid=9834 vsize=13982928 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9842/stat : 9842 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355951 14318518272 12398 33554432000 4194304 4196468 140727661134096 140631813344112 140632699763330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9843] ppid=9834 vsize=13982928 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9843/stat : 9843 (java) S 9834 9834 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155355951 14318518272 12398 33554432000 4194304 4196468 140727661134096 140631812290080 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9844] ppid=9834 vsize=13982928 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9844/stat : 9844 (java) S 9834 9834 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155355951 14318518272 12398 33554432000 4194304 4196468 140727661134096 140631811237232 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9845] ppid=9834 vsize=13982928 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9845/stat : 9845 (java) S 9834 9834 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155355954 14318518272 12398 33554432000 4194304 4196468 140727661134096 140631810185552 140632699770779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9846] ppid=9834 vsize=13982928 memory=7100839887185294217 CPUtime=0.04 cores=1,3,5,7
/proc/9836/task/9846/stat : 9846 (java) S 9834 9834 3809 0 -1 1077944384 568 0 0 0 4 0 0 0 20 0 15 0 155355954 14318518272 12398 33554432000 4194304 4196468 140727661134096 140631809132912 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9847] ppid=9834 vsize=13982928 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9836/task/9847/stat : 9847 (java) S 9834 9834 3809 0 -1 1077944384 275 0 0 0 3 0 0 0 20 0 15 0 155355954 14318518272 12398 33554432000 4194304 4196468 140727661134096 140631808080112 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9848] ppid=9834 vsize=13982928 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9836/task/9848/stat : 9848 (java) S 9834 9834 3809 0 -1 1077944384 802 0 0 0 12 0 0 0 20 0 15 0 155355954 14318518272 12398 33554432000 4194304 4196468 140727661134096 140631807027312 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9849] ppid=9834 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9849/stat : 9849 (java) S 9834 9834 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155355954 14318518272 12398 33554432000 4194304 4196468 140727661134096 140631805974752 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9850] ppid=9834 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9850/stat : 9850 (java) S 9834 9834 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155355954 14318518272 12398 33554432000 4194304 4196468 140727661134096 140631804923056 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 50976 KiB

[startup+0.700879 s]
/proc/loadavg: 1.64 1.57 1.50 4/217 9850
/proc/meminfo: memFree=21364592/32770624 swapFree=67108860/67108860
[pid=9834] ppid=9831 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9834/stat : 9834 (xcsp3-exec) S 9831 9834 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155355948 9740288 346 33554432000 4194304 5098028 140733872957440 140733872955544 139704245076604 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30539776 140733872960622 140733872960827 140733872960827 140733872963563 0
/proc/9834/statm: 2378 346 289 221 0 87 0
[pid=9836] ppid=9834 vsize=13984976 memory=74956 CPUtime=1.44 cores=1,3,5,7
/proc/9836/stat : 9836 (java) S 9834 9834 3809 0 -1 1077944320 10836 0 0 0 140 4 0 0 20 0 15 0 155355948 14320615424 18739 33554432000 4194304 4196468 140727661134096 140727661116640 140632699752183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
/proc/9836/statm: 3496244 18739 3205 1 0 3483478 0
[pid=9836/tid=9837] ppid=9834 vsize=13984976 memory=1728 CPUtime=0.68 cores=1,3,5,7
/proc/9836/task/9837/stat : 9837 (java) R 9834 9834 3809 0 -1 4202560 6596 0 0 0 65 3 0 0 20 0 15 0 155355948 14320615424 18739 33554432000 4194304 4196468 140727661134096 140632703989272 140632340056062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9838] ppid=9834 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9838/stat : 9838 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355949 14320615424 18739 33554432000 4194304 4196468 140727661134096 140632295324304 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9839] ppid=9834 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9839/stat : 9839 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355949 14320615424 18739 33554432000 4194304 4196468 140727661134096 140632294271504 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9840] ppid=9834 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9840/stat : 9840 (java) S 9834 9834 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155355949 14320615424 18739 33554432000 4194304 4196468 140727661134096 140632293218704 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9841] ppid=9834 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9841/stat : 9841 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355949 14320615424 18739 33554432000 4194304 4196468 140727661134096 140632292165904 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9842] ppid=9834 vsize=13984976 memory=8616 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9842/stat : 9842 (java) S 9834 9834 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155355951 14320615424 18739 33554432000 4194304 4196468 140727661134096 140631813344112 140632699763330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9843] ppid=9834 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9843/stat : 9843 (java) S 9834 9834 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155355951 14320615424 18739 33554432000 4194304 4196468 140727661134096 140631812290080 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9844] ppid=9834 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9844/stat : 9844 (java) S 9834 9834 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155355951 14320615424 18739 33554432000 4194304 4196468 140727661134096 140631811237232 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9845] ppid=9834 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9845/stat : 9845 (java) S 9834 9834 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155355954 14320615424 18739 33554432000 4194304 4196468 140727661134096 140631810185552 140632699770779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9846] ppid=9834 vsize=13984976 memory=11112 CPUtime=0.25 cores=1,3,5,7
/proc/9836/task/9846/stat : 9846 (java) S 9834 9834 3809 0 -1 1077944384 1076 0 0 0 25 0 0 0 20 0 15 0 155355954 14320615424 18739 33554432000 4194304 4196468 140727661134096 140631809132912 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9847] ppid=9834 vsize=13984976 memory=1228 CPUtime=0.24 cores=1,3,5,7
/proc/9836/task/9847/stat : 9847 (java) S 9834 9834 3809 0 -1 1077944384 691 0 0 0 24 0 0 0 20 0 15 0 155355954 14320615424 18739 33554432000 4194304 4196468 140727661134096 140631808080112 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9848] ppid=9834 vsize=13984976 memory=1420 CPUtime=0.24 cores=1,3,5,7
/proc/9836/task/9848/stat : 9848 (java) S 9834 9834 3809 0 -1 1077944384 1163 0 0 0 24 0 0 0 20 0 15 0 155355954 14320615424 18739 33554432000 4194304 4196468 140727661134096 140631807027312 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9849] ppid=9834 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9849/stat : 9849 (java) S 9834 9834 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155355954 14320615424 18739 33554432000 4194304 4196468 140727661134096 140631805974752 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9850] ppid=9834 vsize=13984976 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9850/stat : 9850 (java) S 9834 9834 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155355954 14320615424 18739 33554432000 4194304 4196468 140727661134096 140631804923056 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 76340 KiB

[startup+0.845583 s]
# the end of solver process 9834 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1.56704 s, system=0.049438 s

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

[startup+0.800957 s]
/proc/loadavg: 1.64 1.57 1.50 4/217 9850
/proc/meminfo: memFree=21364592/32770624 swapFree=67108860/67108860
[pid=9834] ppid=9831 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9834/stat : 9834 (xcsp3-exec) S 9831 9834 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155355948 9740288 346 33554432000 4194304 5098028 140733872957440 140733872955544 139704245076604 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30539776 140733872960622 140733872960827 140733872960827 140733872963563 0
/proc/9834/statm: 2378 346 289 221 0 87 0
[pid=9836] ppid=9834 vsize=13984976 memory=79052 CPUtime=1.55 cores=1,3,5,7
/proc/9836/stat : 9836 (java) S 9834 9834 3809 0 -1 1077944320 10846 0 0 0 151 4 0 0 20 0 15 0 155355948 14320615424 19763 33554432000 4194304 4196468 140727661134096 140727661116640 140632699752183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
/proc/9836/statm: 3496244 19763 3205 1 0 3483478 0
[pid=9836/tid=9837] ppid=9834 vsize=13984976 memory=8112282956445269571 CPUtime=0.78 cores=1,3,5,7
/proc/9836/task/9837/stat : 9837 (java) R 9834 9834 3809 0 -1 4202560 6598 0 0 0 75 3 0 0 20 0 15 0 155355948 14320615424 19763 33554432000 4194304 4196468 140727661134096 140632703989272 140632340167940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9838] ppid=9834 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9838/stat : 9838 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355949 14320615424 19763 33554432000 4194304 4196468 140727661134096 140632295324304 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9839] ppid=9834 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9839/stat : 9839 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355949 14320615424 19763 33554432000 4194304 4196468 140727661134096 140632294271504 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9840] ppid=9834 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9840/stat : 9840 (java) S 9834 9834 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155355949 14320615424 19763 33554432000 4194304 4196468 140727661134096 140632293218704 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9841] ppid=9834 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9841/stat : 9841 (java) S 9834 9834 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155355949 14320615424 19763 33554432000 4194304 4196468 140727661134096 140632292165904 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9842] ppid=9834 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9842/stat : 9842 (java) S 9834 9834 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155355951 14320615424 19763 33554432000 4194304 4196468 140727661134096 140631813344112 140632699763330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9843] ppid=9834 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9843/stat : 9843 (java) S 9834 9834 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155355951 14320615424 19763 33554432000 4194304 4196468 140727661134096 140631812290080 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9844] ppid=9834 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9844/stat : 9844 (java) S 9834 9834 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155355951 14320615424 19763 33554432000 4194304 4196468 140727661134096 140631811237232 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9845] ppid=9834 vsize=13984976 memory=8616 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9845/stat : 9845 (java) S 9834 9834 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155355954 14320615424 19763 33554432000 4194304 4196468 140727661134096 140631810185552 140632699770779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9846] ppid=9834 vsize=13984976 memory=5784 CPUtime=0.25 cores=1,3,5,7
/proc/9836/task/9846/stat : 9846 (java) S 9834 9834 3809 0 -1 1077944384 1077 0 0 0 25 0 0 0 20 0 15 0 155355954 14320615424 19763 33554432000 4194304 4196468 140727661134096 140631809132912 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9847] ppid=9834 vsize=13984976 memory=4616 CPUtime=0.24 cores=1,3,5,7
/proc/9836/task/9847/stat : 9847 (java) S 9834 9834 3809 0 -1 1077944384 691 0 0 0 24 0 0 0 20 0 15 0 155355954 14320615424 19763 33554432000 4194304 4196468 140727661134096 140631808080112 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9848] ppid=9834 vsize=13984976 memory=1008 CPUtime=0.25 cores=1,3,5,7
/proc/9836/task/9848/stat : 9848 (java) S 9834 9834 3809 0 -1 1077944384 1170 0 0 0 25 0 0 0 20 0 15 0 155355954 14320615424 19763 33554432000 4194304 4196468 140727661134096 140631807027312 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9849] ppid=9834 vsize=13984976 memory=11112 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9849/stat : 9849 (java) S 9834 9834 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155355954 14320615424 19763 33554432000 4194304 4196468 140727661134096 140631805974752 140632699762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
[pid=9836/tid=9850] ppid=9834 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/9836/task/9850/stat : 9850 (java) S 9834 9834 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155355954 14320615424 19763 33554432000 4194304 4196468 140727661134096 140631804923056 140632699763330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21778432 140727661139095 140727661139271 140727661139271 140727661141967 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 80436 KiB

Child status: 0
Real time (s): 0.845625
CPU time (s): 1.61648
CPU user time (s): 1.56704
CPU system time (s): 0.049438
CPU usage (%): 191.158
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 80436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.56704
system time used= 0.049438
maximum resident set size= 81716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11406
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1517
involuntary context switches= 6


# summary of solver processes directly reported to runsolver:
#   pid: 9834
#   total CPU time (s): 1.61648
#   total CPU user time (s): 1.56704
#   total CPU system time (s): 0.049438

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023667 second user time and 0.053251 second system time

The end

Begin job on node104 at 2017-08-20 11:37:02
IDJOB=4283666
IDBENCH=138725
IDSOLVER=2679
FILE ID=node104/4283666-1503222682
RUNJOBID= node104-1503215340-8906
PBS_JOBID= 20630870
Free space on /tmp= 61720 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Domino/Domino-m1-s1/Domino-700-100.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-4283666-1503222682/watcher-4283666-1503222682 -o /tmp/evaluation-result-4283666-1503222682/solver-4283666-1503222682 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503215340-8906 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1822483572 HOME/instance-4283666-1503222682.xml

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

MD5SUM BENCH= afd68c385e5184dcb31c2a6fba91eaef
RANDOM SEED=1822483572

node104.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.43
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.43
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.43
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.43
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:        21419376 kB
MemAvailable:   29526240 kB
Buffers:          281996 kB
Cached:          8102920 kB
SwapCached:            0 kB
Active:          5748568 kB
Inactive:        5124260 kB
Active(anon):    2490760 kB
Inactive(anon):    33220 kB
Active(file):    3257808 kB
Inactive(file):  5091040 kB
Unevictable:        7800 kB
Mlocked:            7800 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7796 kB
Writeback:             0 kB
AnonPages:       2493360 kB
Mapped:            64236 kB
Shmem:             33420 kB
Slab:             174040 kB
SReclaimable:     147700 kB
SUnreclaim:        26340 kB
KernelStack:        3504 kB
PageTables:        10132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3573628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2375680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61712 MiB
End job on node104 at 2017-08-20 11:37:03

Name	Domino/ Domino-m1-s1/Domino-700-100.xml
MD5SUM	afd68c385e5184dcb31c2a6fba91eaef
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.01282
Satisfiable
(Un)Satisfiability was proved
Number of variables	700
Number of constraints	2
Number of domains	1
Minimum domain size	100
Maximum domain size	100
Distribution of domain sizes	[{"size":100,"count":700}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":698},{"degree":2,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	700
Distribution of constraint arities	[{"arity":2,"count":1},{"arity":700,"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 4283666

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data