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-07-26)	SAT	4.4286199	1.78557
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 (14944 MiB free)
  memory of node 1: 16384 MiB (14707 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272707-1502737066/watcher-4272707-1502737066 -o /tmp/evaluation-result-4272707-1502737066/solver-4272707-1502737066 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 712535667 HOME/instance-4272707-1502737066.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
Current StackSize limit: 8192 KiB

solver pid=25645, runsolver pid=25642

[startup+0.109471 s]*
/proc/loadavg: 2.57 2.09 1.86 4/203 25653
/proc/meminfo: memFree=30356816/32770624 swapFree=67108860/67108860
[pid=25645] ppid=25642 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25645/stat : 25645 (xcsp3-exec) S 25642 25645 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75927279 9740288 345 18446744073709551615 4194304 5098028 140725768906896 140725768905000 140709814293116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 22282240 140725768913273 140725768913477 140725768913477 140725768916971 0
/proc/25645/statm: 2378 345 289 221 0 87 0
[pid=25647] ppid=25645 vsize=13574484 memory=16668 CPUtime=0.02 cores=0,2,4,6
/proc/25647/stat : 25647 (java) S 25645 25645 897 0 -1 1077944320 3973 0 0 0 2 0 0 0 20 0 9 0 75927287 13900271616 4167 18446744073709551615 4194304 4196468 140732222442144 140732222424688 139797003120375 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
/proc/25647/statm: 3393621 4167 2082 1 0 3383118 0
[pid=25647/tid=25648] ppid=25645 vsize=13574484 memory=7311146985107750967 CPUtime=0.02 cores=0,2,4,6
/proc/25647/task/25648/stat : 25648 (java) R 25645 25645 897 0 -1 4202560 2684 0 0 0 2 0 0 0 20 0 9 0 75927287 13900271616 4167 18446744073709551615 4194304 4196468 140732222442144 139797007356424 139797003142301 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25649] ppid=25645 vsize=13574484 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25649/stat : 25649 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 75927288 13900271616 4167 18446744073709551615 4194304 4196468 140732222442144 139796960086288 139797003130581 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25650] ppid=25645 vsize=13574484 memory=140005225173107 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25650/stat : 25650 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75927288 13900271616 4167 18446744073709551615 4194304 4196468 140732222442144 139796959033744 139797003130581 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25651] ppid=25645 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25651/stat : 25651 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75927288 13900271616 4167 18446744073709551615 4194304 4196468 140732222442144 139796601301520 139797003130581 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25652] ppid=25645 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25652/stat : 25652 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 75927288 13900271616 4167 18446744073709551615 4194304 4196468 140732222442144 139796600248976 139797003130581 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25653] ppid=25645 vsize=13574484 memory=140005225150080 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25653/stat : 25653 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 75927289 13900271616 4167 18446744073709551615 4194304 4196468 140732222442144 139796481542640 139797003131522 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25654] ppid=25645 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25654/stat : 25654 (java) S 25645 25645 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 75927290 13900271616 4167 18446744073709551615 4194304 4196468 140732222442144 139796480488864 139797003130581 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25655] ppid=25645 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25655/stat : 25655 (java) S 25645 25645 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 75927290 13900271616 4167 18446744073709551615 4194304 4196468 140732222442144 139796479436336 139797003130581 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18048 KiB

[startup+0.209766 s]*
/proc/loadavg: 2.57 2.09 1.86 4/211 25661
/proc/meminfo: memFree=30347608/32770624 swapFree=67108860/67108860
[pid=25645] ppid=25642 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25645/stat : 25645 (xcsp3-exec) S 25642 25645 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75927279 9740288 345 18446744073709551615 4194304 5098028 140725768906896 140725768905000 140709814293116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 22282240 140725768913273 140725768913477 140725768913477 140725768916971 0
/proc/25645/statm: 2378 345 289 221 0 87 0
[pid=25647] ppid=25645 vsize=13974352 memory=27424 CPUtime=0.1 cores=0,2,4,6
/proc/25647/stat : 25647 (java) S 25645 25645 897 0 -1 1077944320 5278 0 0 0 9 1 0 0 20 0 15 0 75927287 14309736448 6856 18446744073709551615 4194304 4196468 140732222442144 140732222424688 139797003120375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
/proc/25647/statm: 3493588 6856 2747 1 0 3482964 0
[pid=25647/tid=25648] ppid=25645 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=0,2,4,6
/proc/25647/task/25648/stat : 25648 (java) R 25645 25645 897 0 -1 4202560 3417 0 0 0 7 0 0 0 20 0 15 0 75927287 14309736448 6856 18446744073709551615 4194304 4196468 140732222442144 139797007343440 139797003142301 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25649] ppid=25645 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25649/stat : 25649 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927288 14309736448 6856 18446744073709551615 4194304 4196468 140732222442144 139796960086288 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25650] ppid=25645 vsize=13974352 memory=140005225173107 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25650/stat : 25650 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927288 14309736448 6856 18446744073709551615 4194304 4196468 140732222442144 139796959033744 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25651] ppid=25645 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25651/stat : 25651 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927288 14309736448 6856 18446744073709551615 4194304 4196468 140732222442144 139796601301520 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25652] ppid=25645 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25652/stat : 25652 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927288 14309736448 6856 18446744073709551615 4194304 4196468 140732222442144 139796600248976 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25653] ppid=25645 vsize=13974352 memory=140005225150080 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25653/stat : 25653 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927289 14309736448 6856 18446744073709551615 4194304 4196468 140732222442144 139796481542640 139797003131522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25654] ppid=25645 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25654/stat : 25654 (java) S 25645 25645 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927290 14309736448 6856 18446744073709551615 4194304 4196468 140732222442144 139796480488864 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25655] ppid=25645 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25655/stat : 25655 (java) S 25645 25645 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927290 14309736448 6856 18446744073709551615 4194304 4196468 140732222442144 139796479436272 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25656] ppid=25645 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25656/stat : 25656 (java) S 25645 25645 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927293 14309736448 6856 18446744073709551615 4194304 4196468 140732222442144 139796478384848 139797003138971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25657] ppid=25645 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25657/stat : 25657 (java) S 25645 25645 897 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 75927293 14309736448 6856 18446744073709551615 4194304 4196468 140732222442144 139796477331440 139797003131522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25658] ppid=25645 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25658/stat : 25658 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927293 14309736448 6856 18446744073709551615 4194304 4196468 140732222442144 139796476278896 139797003131522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25659] ppid=25645 vsize=13974352 memory=140005225150080 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25659/stat : 25659 (java) S 25645 25645 897 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 15 0 75927293 14309736448 6856 18446744073709551615 4194304 4196468 140732222442144 139796475226352 139797003131522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25660] ppid=25645 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25660/stat : 25660 (java) S 25645 25645 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927293 14309736448 6856 18446744073709551615 4194304 4196468 140732222442144 139796474174048 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25661] ppid=25645 vsize=13974352 memory=140005225150080 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25661/stat : 25661 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927297 14309736448 6856 18446744073709551615 4194304 4196468 140732222442144 139796473121584 139797003131522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28804 KiB

[startup+0.310156 s]*
/proc/loadavg: 2.57 2.09 1.86 4/211 25661
/proc/meminfo: memFree=30336124/32770624 swapFree=67108860/67108860
[pid=25645] ppid=25642 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25645/stat : 25645 (xcsp3-exec) S 25642 25645 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75927279 9740288 345 18446744073709551615 4194304 5098028 140725768906896 140725768905000 140709814293116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 22282240 140725768913273 140725768913477 140725768913477 140725768916971 0
/proc/25645/statm: 2378 345 289 221 0 87 0
[pid=25647] ppid=25645 vsize=13974352 memory=39476 CPUtime=0.29 cores=0,2,4,6
/proc/25647/stat : 25647 (java) S 25645 25645 897 0 -1 1077944320 8963 0 0 0 27 2 0 0 20 0 15 0 75927287 14309736448 9869 18446744073709551615 4194304 4196468 140732222442144 140732222424688 139797003120375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
/proc/25647/statm: 3493588 9869 2992 1 0 3482964 0
[pid=25647/tid=25648] ppid=25645 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/25647/task/25648/stat : 25648 (java) R 25645 25645 897 0 -1 4202560 6117 0 0 0 16 2 0 0 20 0 15 0 75927287 14309736448 9869 18446744073709551615 4194304 4196468 140732222442144 139797007358432 139797003142301 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25649] ppid=25645 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25649/stat : 25649 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927288 14309736448 9869 18446744073709551615 4194304 4196468 140732222442144 139796960086288 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25650] ppid=25645 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25650/stat : 25650 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927288 14309736448 9869 18446744073709551615 4194304 4196468 140732222442144 139796959033744 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25651] ppid=25645 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25651/stat : 25651 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927288 14309736448 9869 18446744073709551615 4194304 4196468 140732222442144 139796601301520 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25652] ppid=25645 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25652/stat : 25652 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927288 14309736448 9869 18446744073709551615 4194304 4196468 140732222442144 139796600248976 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25653] ppid=25645 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25653/stat : 25653 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927289 14309736448 9869 18446744073709551615 4194304 4196468 140732222442144 139796481542640 139797003131522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25654] ppid=25645 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25654/stat : 25654 (java) S 25645 25645 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927290 14309736448 9869 18446744073709551615 4194304 4196468 140732222442144 139796480488864 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25655] ppid=25645 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25655/stat : 25655 (java) S 25645 25645 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927290 14309736448 9869 18446744073709551615 4194304 4196468 140732222442144 139796479436272 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25656] ppid=25645 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25656/stat : 25656 (java) S 25645 25645 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927293 14309736448 9869 18446744073709551615 4194304 4196468 140732222442144 139796478384848 139797003138971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25657] ppid=25645 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25647/task/25657/stat : 25657 (java) R 25645 25645 897 0 -1 1077944384 511 0 0 0 2 0 0 0 20 0 15 0 75927293 14309736448 9869 18446744073709551615 4194304 4196468 140732222442144 139796477331440 139797003131522 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25658] ppid=25645 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25647/task/25658/stat : 25658 (java) R 25645 25645 897 0 -1 4202560 294 0 0 0 2 0 0 0 20 0 15 0 75927293 14309736448 9869 18446744073709551615 4194304 4196468 140732222442144 139796476259912 139796986507612 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25659] ppid=25645 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/25647/task/25659/stat : 25659 (java) R 25645 25645 897 0 -1 4202560 735 0 0 0 6 0 0 0 20 0 15 0 75927293 14309736448 9869 18446744073709551615 4194304 4196468 140732222442144 139796475226352 139796982138649 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25660] ppid=25645 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25660/stat : 25660 (java) S 25645 25645 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927293 14309736448 9869 18446744073709551615 4194304 4196468 140732222442144 139796474174048 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25661] ppid=25645 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25661/stat : 25661 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927297 14309736448 9869 18446744073709551615 4194304 4196468 140732222442144 139796473121584 139797003131522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40856 KiB

[startup+0.701678 s]
/proc/loadavg: 2.57 2.09 1.86 6/211 25661
/proc/meminfo: memFree=30320060/32770624 swapFree=67108860/67108860
[pid=25645] ppid=25642 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25645/stat : 25645 (xcsp3-exec) S 25642 25645 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75927279 9740288 345 18446744073709551615 4194304 5098028 140725768906896 140725768905000 140709814293116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 22282240 140725768913273 140725768913477 140725768913477 140725768916971 0
/proc/25645/statm: 2378 345 289 221 0 87 0
[pid=25647] ppid=25645 vsize=13980732 memory=74820 CPUtime=1.34 cores=0,2,4,6
/proc/25647/stat : 25647 (java) S 25645 25645 897 0 -1 1077944320 13738 0 0 0 129 5 0 0 20 0 15 0 75927287 14316269568 18705 18446744073709551615 4194304 4196468 140732222442144 140732222424688 139797003120375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
/proc/25647/statm: 3495183 18705 3161 1 0 3483476 0
[pid=25647/tid=25648] ppid=25645 vsize=13980732 memory=6935649255759568960 CPUtime=0.56 cores=0,2,4,6
/proc/25647/task/25648/stat : 25648 (java) R 25645 25645 897 0 -1 4202560 8386 0 0 0 53 3 0 0 20 0 15 0 75927287 14316269568 18705 18446744073709551615 4194304 4196468 140732222442144 139797007356800 139796638958695 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25649] ppid=25645 vsize=13980732 memory=6935652631620640832 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25649/stat : 25649 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 18705 18446744073709551615 4194304 4196468 140732222442144 139796960086288 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25650] ppid=25645 vsize=13980732 memory=7100839861566347365 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25650/stat : 25650 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 18705 18446744073709551615 4194304 4196468 140732222442144 139796959033744 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25651] ppid=25645 vsize=13980732 memory=5859278125529317472 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25651/stat : 25651 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 18705 18446744073709551615 4194304 4196468 140732222442144 139796601301520 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25652] ppid=25645 vsize=13980732 memory=6935649255759568981 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25652/stat : 25652 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 18705 18446744073709551615 4194304 4196468 140732222442144 139796600248976 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25653] ppid=25645 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25653/stat : 25653 (java) S 25645 25645 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75927289 14316269568 18705 18446744073709551615 4194304 4196468 140732222442144 139796481542640 139797003131522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25654] ppid=25645 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25654/stat : 25654 (java) S 25645 25645 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927290 14316269568 18705 18446744073709551615 4194304 4196468 140732222442144 139796480488864 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25655] ppid=25645 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25655/stat : 25655 (java) S 25645 25645 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927290 14316269568 18705 18446744073709551615 4194304 4196468 140732222442144 139796479436272 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25656] ppid=25645 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25656/stat : 25656 (java) S 25645 25645 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927293 14316269568 18705 18446744073709551615 4194304 4196468 140732222442144 139796478384848 139797003138971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25657] ppid=25645 vsize=13980732 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/25647/task/25657/stat : 25657 (java) S 25645 25645 897 0 -1 1077944384 1109 0 0 0 20 0 0 0 20 0 15 0 75927293 14316269568 18705 18446744073709551615 4194304 4196468 140732222442144 139796477331440 139797003131522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25658] ppid=25645 vsize=13980732 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/25647/task/25658/stat : 25658 (java) S 25645 25645 897 0 -1 1077944384 1252 0 0 0 24 0 0 0 20 0 15 0 75927293 14316269568 18705 18446744073709551615 4194304 4196468 140732222442144 139796476278896 139797003131522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25659] ppid=25645 vsize=13980732 memory=2529 CPUtime=0.3 cores=0,2,4,6
/proc/25647/task/25659/stat : 25659 (java) R 25645 25645 897 0 -1 4202560 1682 0 0 0 30 0 0 0 20 0 15 0 75927293 14316269568 18705 18446744073709551615 4194304 4196468 140732222442144 139796475226352 139797003132310 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25660] ppid=25645 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25660/stat : 25660 (java) S 25645 25645 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927293 14316269568 18705 18446744073709551615 4194304 4196468 140732222442144 139796474174048 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25661] ppid=25645 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25661/stat : 25661 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927297 14316269568 18705 18446744073709551615 4194304 4196468 140732222442144 139796473121584 139797003131522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 76200 KiB

[startup+1.50079 s]
/proc/loadavg: 2.57 2.09 1.86 5/211 25661
/proc/meminfo: memFree=30283208/32770624 swapFree=67108860/67108860
[pid=25645] ppid=25642 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25645/stat : 25645 (xcsp3-exec) S 25642 25645 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75927279 9740288 345 18446744073709551615 4194304 5098028 140725768906896 140725768905000 140709814293116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 22282240 140725768913273 140725768913477 140725768913477 140725768916971 0
/proc/25645/statm: 2378 345 289 221 0 87 0
[pid=25647] ppid=25645 vsize=13980732 memory=126476 CPUtime=3.95 cores=0,2,4,6
/proc/25647/stat : 25647 (java) S 25645 25645 897 0 -1 1077944320 21480 0 0 0 388 7 0 0 20 0 15 0 75927287 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 140732222424688 139797003120375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
/proc/25647/statm: 3495183 31619 3198 1 0 3483476 0
[pid=25647/tid=25648] ppid=25645 vsize=13980732 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/25647/task/25648/stat : 25648 (java) R 25645 25645 897 0 -1 4202560 9639 0 0 0 131 4 0 0 20 0 15 0 75927287 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139797007357424 139796645290024 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25649] ppid=25645 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25649/stat : 25649 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796960086288 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25650] ppid=25645 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25650/stat : 25650 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796959033744 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25651] ppid=25645 vsize=13980732 memory=74820 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25651/stat : 25651 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796601301520 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25652] ppid=25645 vsize=13980732 memory=220366182074474 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25652/stat : 25652 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796600248976 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25653] ppid=25645 vsize=13980732 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25653/stat : 25653 (java) S 25645 25645 897 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 75927289 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796481542640 139797003131522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25654] ppid=25645 vsize=13980732 memory=280010124449504 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25654/stat : 25654 (java) S 25645 25645 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927290 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796480488864 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25655] ppid=25645 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25655/stat : 25655 (java) S 25645 25645 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927290 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796479436272 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25656] ppid=25645 vsize=13980732 memory=280010124468736 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25656/stat : 25656 (java) S 25645 25645 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927293 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796478384848 139797003138971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25657] ppid=25645 vsize=13980732 memory=6944656592455097440 CPUtime=0.96 cores=0,2,4,6
/proc/25647/task/25657/stat : 25657 (java) R 25645 25645 897 0 -1 4202560 3193 0 0 0 96 0 0 0 20 0 15 0 75927293 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796477323392 139796987016387 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25658] ppid=25645 vsize=13980732 memory=6944656592455359545 CPUtime=1 cores=0,2,4,6
/proc/25647/task/25658/stat : 25658 (java) R 25645 25645 897 0 -1 4202560 3987 0 0 0 100 0 0 0 20 0 15 0 75927293 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796476270224 139796984664551 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25659] ppid=25645 vsize=13980732 memory=-2026666227646604569 CPUtime=0.6 cores=0,2,4,6
/proc/25647/task/25659/stat : 25659 (java) S 25645 25645 897 0 -1 1077944384 3335 0 0 0 59 1 0 0 20 0 15 0 75927293 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796475226352 139797003131522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25660] ppid=25645 vsize=13980732 memory=5457 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25660/stat : 25660 (java) S 25645 25645 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927293 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796474174048 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25661] ppid=25645 vsize=13980732 memory=4279353494052561728 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25661/stat : 25661 (java) S 25645 25645 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75927297 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796473121584 139797003131522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
Current children cumulated CPU time: 3.95 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 127856 KiB

[startup+1.78552 s]
# the end of solver process 25645 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.34043 s, system=0.088187 s

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

[startup+1.60105 s]
/proc/loadavg: 2.57 2.09 1.86 5/211 25661
/proc/meminfo: memFree=30283208/32770624 swapFree=67108860/67108860
[pid=25645] ppid=25642 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25645/stat : 25645 (xcsp3-exec) S 25642 25645 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75927279 9740288 345 18446744073709551615 4194304 5098028 140725768906896 140725768905000 140709814293116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 22282240 140725768913273 140725768913477 140725768913477 140725768916971 0
/proc/25645/statm: 2378 345 289 221 0 87 0
[pid=25647] ppid=25645 vsize=13980732 memory=126476 CPUtime=4.01 cores=0,2,4,6
/proc/25647/stat : 25647 (java) S 25645 25645 897 0 -1 1077944320 21689 0 0 0 394 7 0 0 20 0 15 0 75927287 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 140732222424688 139797003120375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
/proc/25647/statm: 3495183 31619 3198 1 0 3483476 0
[pid=25647/tid=25648] ppid=25645 vsize=13980732 memory=1712 CPUtime=1.37 cores=0,2,4,6
/proc/25647/task/25648/stat : 25648 (java) S 25645 25645 897 0 -1 1077944384 9640 0 0 0 133 4 0 0 20 0 15 0 75927287 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139797007356800 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25649] ppid=25645 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25649/stat : 25649 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796960086288 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25650] ppid=25645 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25650/stat : 25650 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796959033744 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25651] ppid=25645 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25651/stat : 25651 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796601301520 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25652] ppid=25645 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25652/stat : 25652 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796600248976 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25653] ppid=25645 vsize=13980732 memory=2000 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25653/stat : 25653 (java) S 25645 25645 897 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 75927289 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796481542640 139797003131522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25654] ppid=25645 vsize=13980732 memory=11000 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25654/stat : 25654 (java) S 25645 25645 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927290 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796480488864 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25655] ppid=25645 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25655/stat : 25655 (java) S 25645 25645 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927290 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796479436272 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25656] ppid=25645 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25656/stat : 25656 (java) S 25645 25645 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927293 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796478384848 139797003138971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25657] ppid=25645 vsize=13980732 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/25647/task/25657/stat : 25657 (java) D 25645 25645 897 0 -1 4202560 3333 0 0 0 98 0 0 0 20 0 15 0 75927293 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796477323928 139796995837338 0 4 1 16800974 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25658] ppid=25645 vsize=13980732 memory=-3040564339105353098 CPUtime=1.02 cores=0,2,4,6
/proc/25647/task/25658/stat : 25658 (java) D 25645 25645 897 0 -1 4202560 4054 0 0 0 102 0 0 0 20 0 15 0 75927293 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796476265440 139796988047829 0 4 1 16800974 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25659] ppid=25645 vsize=13980732 memory=-6654736624938269017 CPUtime=0.6 cores=0,2,4,6
/proc/25647/task/25659/stat : 25659 (java) D 25645 25645 897 0 -1 4202560 3335 0 0 0 59 1 0 0 20 0 15 0 75927293 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796475226272 139796983044511 0 4 1 16800974 18446744072100686981 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25660] ppid=25645 vsize=13980732 memory=-6368199152461293606 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25660/stat : 25660 (java) S 25645 25645 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927293 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796474174048 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25661] ppid=25645 vsize=13980732 memory=-7161732098441943118 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25661/stat : 25661 (java) D 25645 25645 897 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 75927297 14316269568 31619 18446744073709551615 4194304 4196468 140732222442144 139796473121504 139796987976462 0 4 1 16800974 18446744072100686981 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
Current children cumulated CPU time: 4.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 127856 KiB

[startup+1.70075 s]
/proc/loadavg: 2.57 2.09 1.86 5/211 25661
/proc/meminfo: memFree=30283208/32770624 swapFree=67108860/67108860
[pid=25645] ppid=25642 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25645/stat : 25645 (xcsp3-exec) S 25642 25645 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75927279 9740288 345 18446744073709551615 4194304 5098028 140725768906896 140725768905000 140709814293116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 22282240 140725768913273 140725768913477 140725768913477 140725768916971 0
/proc/25645/statm: 2378 345 289 221 0 87 0
[pid=25647] ppid=25645 vsize=13980732 memory=130664 CPUtime=4.21 cores=0,2,4,6
/proc/25647/stat : 25647 (java) S 25645 25645 897 0 -1 1077944320 21795 0 0 0 413 8 0 0 20 0 15 0 75927287 14316269568 32666 18446744073709551615 4194304 4196468 140732222442144 140732222424688 139797003120375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
/proc/25647/statm: 3495183 32666 3198 1 0 3483476 0
[pid=25647/tid=25648] ppid=25645 vsize=13980732 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/25647/task/25648/stat : 25648 (java) R 25645 25645 897 0 -1 4202560 9647 0 0 0 140 4 0 0 20 0 15 0 75927287 14316269568 32666 18446744073709551615 4194304 4196468 140732222442144 139797007356800 139796644772020 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25649] ppid=25645 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25649/stat : 25649 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 32666 18446744073709551615 4194304 4196468 140732222442144 139796960086288 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25650] ppid=25645 vsize=13980732 memory=4955585388230777962 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25650/stat : 25650 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 32666 18446744073709551615 4194304 4196468 140732222442144 139796959033744 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25651] ppid=25645 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25651/stat : 25651 (java) S 25645 25645 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 32666 18446744073709551615 4194304 4196468 140732222442144 139796601301520 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25652] ppid=25645 vsize=13980732 memory=7738420472138195794 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25652/stat : 25652 (java) S 25645 25645 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927288 14316269568 32666 18446744073709551615 4194304 4196468 140732222442144 139796600248976 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25653] ppid=25645 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25653/stat : 25653 (java) S 25645 25645 897 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 75927289 14316269568 32666 18446744073709551615 4194304 4196468 140732222442144 139796481542640 139797003131522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25654] ppid=25645 vsize=13980732 memory=74820 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25654/stat : 25654 (java) S 25645 25645 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927290 14316269568 32666 18446744073709551615 4194304 4196468 140732222442144 139796480488864 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25655] ppid=25645 vsize=13980732 memory=220366182074474 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25655/stat : 25655 (java) S 25645 25645 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927290 14316269568 32666 18446744073709551615 4194304 4196468 140732222442144 139796479436272 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25656] ppid=25645 vsize=13980732 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25656/stat : 25656 (java) S 25645 25645 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927293 14316269568 32666 18446744073709551615 4194304 4196468 140732222442144 139796478384848 139797003138971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25657] ppid=25645 vsize=13980732 memory=280010124449504 CPUtime=1.03 cores=0,2,4,6
/proc/25647/task/25657/stat : 25657 (java) R 25645 25645 897 0 -1 4202560 3360 0 0 0 103 0 0 0 20 0 15 0 75927293 14316269568 32666 18446744073709551615 4194304 4196468 140732222442144 139796477331440 139796986531168 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25658] ppid=25645 vsize=13980732 memory=0 CPUtime=1.08 cores=0,2,4,6
/proc/25647/task/25658/stat : 25658 (java) R 25645 25645 897 0 -1 4202560 4094 0 0 0 107 1 0 0 20 0 15 0 75927293 14316269568 32666 18446744073709551615 4194304 4196468 140732222442144 139796476278896 139796987520049 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25659] ppid=25645 vsize=13980732 memory=280010124468736 CPUtime=0.62 cores=0,2,4,6
/proc/25647/task/25659/stat : 25659 (java) S 25645 25645 897 0 -1 1077944384 3365 0 0 0 61 1 0 0 20 0 15 0 75927293 14316269568 32666 18446744073709551615 4194304 4196468 140732222442144 139796475226352 139797003131522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25660] ppid=25645 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25660/stat : 25660 (java) S 25645 25645 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927293 14316269568 32666 18446744073709551615 4194304 4196468 140732222442144 139796474174048 139797003130581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
[pid=25647/tid=25661] ppid=25645 vsize=13980732 memory=6944656592455359545 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25661/stat : 25661 (java) S 25645 25645 897 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 75927297 14316269568 32666 18446744073709551615 4194304 4196468 140732222442144 139796473121584 139797003131522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 36360192 140732222443953 140732222444129 140732222444129 140732222447567 0
Current children cumulated CPU time: 4.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 132044 KiB

Child status: 0
Real time (s): 1.78557
CPU time (s): 4.42862
CPU user time (s): 4.34043
CPU system time (s): 0.088187
CPU usage (%): 248.023
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 132044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.34043
system time used= 0.088187
maximum resident set size= 137444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22691
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2097
involuntary context switches= 12


# summary of solver processes directly reported to runsolver:
#   pid: 25645
#   total CPU time (s): 4.42862
#   total CPU user time (s): 4.34043
#   total CPU system time (s): 0.088187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026326 second user time and 0.062966 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-13-sum.xml
MD5SUM	9d400fd9505b31c2b1343f5ecc4e80ca
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.217912
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	3
Maximum variable degree	11
Distribution of variable degrees	[{"degree":3,"count":3},{"degree":4,"count":6},{"degree":5,"count":27},{"degree":6,"count":93},{"degree":7,"count":138},{"degree":8,"count":138},{"degree":9,"count":105},{"degree":10,"count":57},{"degree":11,"count":33}]
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 4272707

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
