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	3.6540501	1.53432

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 (14729 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272709-1502737077/watcher-4272709-1502737077 -o /tmp/evaluation-result-4272709-1502737077/solver-4272709-1502737077 -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 2024656887 HOME/instance-4272709-1502737077.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=25873, runsolver pid=25870

[startup+0.100151 s]*
/proc/loadavg: 2.48 2.08 1.86 2/196 25874
/proc/meminfo: memFree=30386912/32770624 swapFree=67108860/67108860
[pid=25873] ppid=25870 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25873/stat : 25873 (xcsp3-exec) S 25870 25873 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75928311 9740288 345 18446744073709551615 4194304 5098028 140726953480912 140726953479016 139665316971132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 38305792 140726953484664 140726953484869 140726953484869 140726953488363 0
/proc/25873/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

[startup+0.209079 s]*
/proc/loadavg: 2.48 2.08 1.86 3/211 25889
/proc/meminfo: memFree=30376164/32770624 swapFree=67108860/67108860
[pid=25873] ppid=25870 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25873/stat : 25873 (xcsp3-exec) S 25870 25873 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75928311 9740288 345 18446744073709551615 4194304 5098028 140726953480912 140726953479016 139665316971132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 38305792 140726953484664 140726953484869 140726953484869 140726953488363 0
/proc/25873/statm: 2378 345 289 221 0 87 0
[pid=25875] ppid=25873 vsize=13974352 memory=22068 CPUtime=0.06 cores=0,2,4,6
/proc/25875/stat : 25875 (java) S 25873 25873 897 0 -1 1077944320 4970 0 0 0 6 0 0 0 20 0 15 0 75928322 14309736448 5517 18446744073709551615 4194304 4196468 140736686474048 140736686456592 140205953515255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
/proc/25875/statm: 3493588 5517 2716 1 0 3482964 0
[pid=25875/tid=25876] ppid=25873 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=0,2,4,6
/proc/25875/task/25876/stat : 25876 (java) R 25873 25873 897 0 -1 4202560 3135 0 0 0 5 0 0 0 20 0 15 0 75928322 14309736448 5517 18446744073709551615 4194304 4196468 140736686474048 140205957740944 140205953537181 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25877] ppid=25873 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25877/stat : 25877 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75928322 14309736448 5517 18446744073709551615 4194304 4196468 140736686474048 140205921073936 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25878] ppid=25873 vsize=13974352 memory=140424828842099 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25878/stat : 25878 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75928322 14309736448 5517 18446744073709551615 4194304 4196468 140736686474048 140205552126864 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25879] ppid=25873 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25879/stat : 25879 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75928322 14309736448 5517 18446744073709551615 4194304 4196468 140736686474048 140205551074320 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25880] ppid=25873 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25880/stat : 25880 (java) S 25873 25873 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75928322 14309736448 5517 18446744073709551615 4194304 4196468 140736686474048 140205550021776 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25881] ppid=25873 vsize=13974352 memory=140424828819072 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25881/stat : 25881 (java) S 25873 25873 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75928324 14309736448 5517 18446744073709551615 4194304 4196468 140736686474048 140205297706992 140205953526402 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25882] ppid=25873 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25882/stat : 25882 (java) S 25873 25873 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75928324 14309736448 5517 18446744073709551615 4194304 4196468 140736686474048 140205296653216 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25883] ppid=25873 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25883/stat : 25883 (java) S 25873 25873 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75928325 14309736448 5517 18446744073709551615 4194304 4196468 140736686474048 140205295600624 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25884] ppid=25873 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25884/stat : 25884 (java) S 25873 25873 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75928327 14309736448 5517 18446744073709551615 4194304 4196468 140736686474048 140205294549200 140205953533851 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25885] ppid=25873 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25885/stat : 25885 (java) S 25873 25873 897 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 75928327 14309736448 5517 18446744073709551615 4194304 4196468 140736686474048 140205293496816 140205953526402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25886] ppid=25873 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25886/stat : 25886 (java) S 25873 25873 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75928327 14309736448 5517 18446744073709551615 4194304 4196468 140736686474048 140205292444272 140205953526402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25887] ppid=25873 vsize=13974352 memory=140424828819072 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25887/stat : 25887 (java) S 25873 25873 897 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 75928327 14309736448 5517 18446744073709551615 4194304 4196468 140736686474048 140205291391728 140205953526402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25888] ppid=25873 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25888/stat : 25888 (java) S 25873 25873 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75928327 14309736448 5517 18446744073709551615 4194304 4196468 140736686474048 140205290339424 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25889] ppid=25873 vsize=13974352 memory=140424828819072 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25889/stat : 25889 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75928331 14309736448 5517 18446744073709551615 4194304 4196468 140736686474048 140205289285936 140205953526402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23448 KiB

[startup+0.31002 s]*
/proc/loadavg: 2.48 2.08 1.86 3/211 25889
/proc/meminfo: memFree=30364016/32770624 swapFree=67108860/67108860
[pid=25873] ppid=25870 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25873/stat : 25873 (xcsp3-exec) S 25870 25873 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75928311 9740288 345 18446744073709551615 4194304 5098028 140726953480912 140726953479016 139665316971132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 38305792 140726953484664 140726953484869 140726953484869 140726953488363 0
/proc/25873/statm: 2378 345 289 221 0 87 0
[pid=25875] ppid=25873 vsize=13975376 memory=36976 CPUtime=0.26 cores=0,2,4,6
/proc/25875/stat : 25875 (java) S 25873 25873 897 0 -1 1077944320 8779 0 0 0 24 2 0 0 20 0 15 0 75928322 14310785024 9441 18446744073709551615 4194304 4196468 140736686474048 140736686456592 140205953515255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
/proc/25875/statm: 3493844 9244 2973 1 0 3483220 0
[pid=25875/tid=25876] ppid=25873 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/25875/task/25876/stat : 25876 (java) R 25873 25873 897 0 -1 4202560 6088 0 0 0 14 1 0 0 20 0 15 0 75928322 14309736448 9244 18446744073709551615 4194304 4196468 140736686474048 140205957717232 140205953537181 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25877] ppid=25873 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25877/stat : 25877 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75928322 14309736448 9244 18446744073709551615 4194304 4196468 140736686474048 140205921073936 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25878] ppid=25873 vsize=13974352 memory=140424828819072 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25878/stat : 25878 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75928322 14309736448 9244 18446744073709551615 4194304 4196468 140736686474048 140205552126864 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25879] ppid=25873 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25879/stat : 25879 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75928322 14309736448 9244 18446744073709551615 4194304 4196468 140736686474048 140205551074320 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25880] ppid=25873 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25880/stat : 25880 (java) S 25873 25873 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75928322 14309736448 9244 18446744073709551615 4194304 4196468 140736686474048 140205550021776 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25881] ppid=25873 vsize=13974352 memory=140424828819072 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25881/stat : 25881 (java) S 25873 25873 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75928324 14309736448 9244 18446744073709551615 4194304 4196468 140736686474048 140205297706992 140205953526402 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25882] ppid=25873 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25882/stat : 25882 (java) S 25873 25873 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75928324 14309736448 9244 18446744073709551615 4194304 4196468 140736686474048 140205296653216 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25883] ppid=25873 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25883/stat : 25883 (java) S 25873 25873 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75928325 14309736448 9244 18446744073709551615 4194304 4196468 140736686474048 140205295600624 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25884] ppid=25873 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25884/stat : 25884 (java) S 25873 25873 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75928327 14309736448 9244 18446744073709551615 4194304 4196468 140736686474048 140205294549200 140205953533851 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25885] ppid=25873 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25875/task/25885/stat : 25885 (java) S 25873 25873 897 0 -1 1077944384 557 0 0 0 1 0 0 0 20 0 15 0 75928327 14309736448 9244 18446744073709551615 4194304 4196468 140736686474048 140205293496816 140205953526402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25886] ppid=25873 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25875/task/25886/stat : 25886 (java) S 25873 25873 897 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 15 0 75928327 14309736448 9244 18446744073709551615 4194304 4196468 140736686474048 140205292444272 140205953526402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25887] ppid=25873 vsize=13974352 memory=140424828819072 CPUtime=0.05 cores=0,2,4,6
/proc/25875/task/25887/stat : 25887 (java) R 25873 25873 897 0 -1 4202560 727 0 0 0 5 0 0 0 20 0 15 0 75928327 14309736448 9244 18446744073709551615 4194304 4196468 140736686474048 140205291391728 140205937692742 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25888] ppid=25873 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25888/stat : 25888 (java) S 25873 25873 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75928327 14309736448 9244 18446744073709551615 4194304 4196468 140736686474048 140205290339424 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25889] ppid=25873 vsize=13974352 memory=140424828819072 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25889/stat : 25889 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75928331 14309736448 9244 18446744073709551615 4194304 4196468 140736686474048 140205289285936 140205953526402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 38356 KiB

[startup+0.701749 s]
/proc/loadavg: 2.48 2.08 1.86 6/211 25889
/proc/meminfo: memFree=30346236/32770624 swapFree=67108860/67108860
[pid=25873] ppid=25870 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25873/stat : 25873 (xcsp3-exec) S 25870 25873 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75928311 9740288 345 18446744073709551615 4194304 5098028 140726953480912 140726953479016 139665316971132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 38305792 140726953484664 140726953484869 140726953484869 140726953488363 0
/proc/25873/statm: 2378 345 289 221 0 87 0
[pid=25875] ppid=25873 vsize=13980732 memory=73924 CPUtime=1.27 cores=0,2,4,6
/proc/25875/stat : 25875 (java) S 25873 25873 897 0 -1 1077944320 13188 0 0 0 122 5 0 0 20 0 15 0 75928322 14316269568 18481 18446744073709551615 4194304 4196468 140736686474048 140736686456592 140205953515255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
/proc/25875/statm: 3495183 18481 3162 1 0 3483476 0
[pid=25875/tid=25876] ppid=25873 vsize=13980732 memory=1228 CPUtime=0.54 cores=0,2,4,6
/proc/25875/task/25876/stat : 25876 (java) R 25873 25873 897 0 -1 4202560 8056 0 0 0 51 3 0 0 20 0 15 0 75928322 14316269568 18481 18446744073709551615 4194304 4196468 140736686474048 140205957750224 140205937595742 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25877] ppid=25873 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25877/stat : 25877 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75928322 14316269568 18481 18446744073709551615 4194304 4196468 140736686474048 140205921073936 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25878] ppid=25873 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25878/stat : 25878 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75928322 14316269568 18481 18446744073709551615 4194304 4196468 140736686474048 140205552126864 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25879] ppid=25873 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25879/stat : 25879 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75928322 14316269568 18481 18446744073709551615 4194304 4196468 140736686474048 140205551074320 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25880] ppid=25873 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25880/stat : 25880 (java) S 25873 25873 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75928322 14316269568 18481 18446744073709551615 4194304 4196468 140736686474048 140205550021776 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25881] ppid=25873 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25881/stat : 25881 (java) S 25873 25873 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 75928324 14316269568 18481 18446744073709551615 4194304 4196468 140736686474048 140205297706992 140205953526402 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25882] ppid=25873 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25882/stat : 25882 (java) S 25873 25873 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75928324 14316269568 18481 18446744073709551615 4194304 4196468 140736686474048 140205296653216 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25883] ppid=25873 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25883/stat : 25883 (java) S 25873 25873 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75928325 14316269568 18481 18446744073709551615 4194304 4196468 140736686474048 140205295600624 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25884] ppid=25873 vsize=13980732 memory=4050198553735293799 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25884/stat : 25884 (java) S 25873 25873 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75928327 14316269568 18481 18446744073709551615 4194304 4196468 140736686474048 140205294549200 140205953533851 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25885] ppid=25873 vsize=13980732 memory=280849387965504 CPUtime=0.19 cores=0,2,4,6
/proc/25875/task/25885/stat : 25885 (java) R 25873 25873 897 0 -1 4202560 1292 0 0 0 19 0 0 0 20 0 15 0 75928327 14316269568 18481 18446744073709551615 4194304 4196468 140736686474048 140205293482840 140205938640694 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25886] ppid=25873 vsize=13980732 memory=280849387965696 CPUtime=0.22 cores=0,2,4,6
/proc/25875/task/25886/stat : 25886 (java) R 25873 25873 897 0 -1 4202560 932 0 0 0 22 0 0 0 20 0 15 0 75928327 14316269568 18481 18446744073709551615 4194304 4196468 140736686474048 140205292432864 140205933205155 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25887] ppid=25873 vsize=13980732 memory=280849387965888 CPUtime=0.29 cores=0,2,4,6
/proc/25875/task/25887/stat : 25887 (java) S 25873 25873 897 0 -1 1077944384 1602 0 0 0 29 0 0 0 20 0 15 0 75928327 14316269568 18481 18446744073709551615 4194304 4196468 140736686474048 140205291391728 140205953526402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25888] ppid=25873 vsize=13980732 memory=280849387966080 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25888/stat : 25888 (java) S 25873 25873 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75928327 14316269568 18481 18446744073709551615 4194304 4196468 140736686474048 140205290339424 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25889] ppid=25873 vsize=13980732 memory=280849387966272 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25889/stat : 25889 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75928331 14316269568 18481 18446744073709551615 4194304 4196468 140736686474048 140205289285936 140205953526402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 75304 KiB

[startup+1.5008 s]
/proc/loadavg: 2.48 2.08 1.86 5/211 25889
/proc/meminfo: memFree=30303044/32770624 swapFree=67108860/67108860
[pid=25873] ppid=25870 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25873/stat : 25873 (xcsp3-exec) S 25870 25873 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75928311 9740288 345 18446744073709551615 4194304 5098028 140726953480912 140726953479016 139665316971132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 38305792 140726953484664 140726953484869 140726953484869 140726953488363 0
/proc/25873/statm: 2378 345 289 221 0 87 0
[pid=25875] ppid=25873 vsize=13980732 memory=118876 CPUtime=3.64 cores=0,2,4,6
/proc/25875/stat : 25875 (java) S 25873 25873 897 0 -1 1077944320 24282 0 0 0 357 7 0 0 20 0 13 0 75928322 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140736686456592 140205953515255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
/proc/25875/statm: 3495183 29719 3201 1 0 3483476 0
[pid=25875/tid=25876] ppid=25873 vsize=13980732 memory=15541816741092861 CPUtime=1.26 cores=0,2,4,6
/proc/25875/task/25876/stat : 25876 (java) D 25873 25873 897 0 -1 4202560 10087 0 0 0 122 4 0 0 20 0 13 0 75928322 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205957758264 140205946200887 0 0 1 16800974 18446744072100686981 0 0 -1 6 0 0 3 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25877] ppid=25873 vsize=13980732 memory=280849387900448 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25877/stat : 25877 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 75928322 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205921073936 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25878] ppid=25873 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25878/stat : 25878 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 75928322 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205552126864 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25879] ppid=25873 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25879/stat : 25879 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 75928322 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205551074320 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25880] ppid=25873 vsize=13980732 memory=89260 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25880/stat : 25880 (java) S 25873 25873 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 75928322 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205550021776 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25882] ppid=25873 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25882/stat : 25882 (java) S 25873 25873 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 75928324 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205296653216 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25883] ppid=25873 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25883/stat : 25883 (java) S 25873 25873 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 75928325 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205295600624 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25884] ppid=25873 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25884/stat : 25884 (java) S 25873 25873 897 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 13 0 75928327 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205294548848 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25885] ppid=25873 vsize=13980732 memory=41628 CPUtime=0.87 cores=0,2,4,6
/proc/25875/task/25885/stat : 25885 (java) S 25873 25873 897 0 -1 1077944384 4186 0 0 0 87 0 0 0 20 0 13 0 75928327 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205293475856 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25886] ppid=25873 vsize=13980732 memory=1292 CPUtime=0.89 cores=0,2,4,6
/proc/25875/task/25886/stat : 25886 (java) S 25873 25873 897 0 -1 1077944384 5566 0 0 0 89 0 0 0 20 0 13 0 75928327 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205292423856 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25887] ppid=25873 vsize=13980732 memory=33 CPUtime=0.57 cores=0,2,4,6
/proc/25875/task/25887/stat : 25887 (java) S 25873 25873 897 0 -1 1077944384 3116 0 0 0 56 1 0 0 20 0 13 0 75928327 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205291391728 140205953526402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25888] ppid=25873 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25888/stat : 25888 (java) S 25873 25873 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 75928327 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205290339424 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
Current children cumulated CPU time: 3.64 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 120256 KiB

[startup+1.53428 s]
# the end of solver process 25873 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.57258 s, system=0.081476 s

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

[startup+1.5008 s]
/proc/loadavg: 2.48 2.08 1.86 5/211 25889
/proc/meminfo: memFree=30303044/32770624 swapFree=67108860/67108860
[pid=25873] ppid=25870 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25873/stat : 25873 (xcsp3-exec) S 25870 25873 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75928311 9740288 345 18446744073709551615 4194304 5098028 140726953480912 140726953479016 139665316971132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 38305792 140726953484664 140726953484869 140726953484869 140726953488363 0
/proc/25873/statm: 2378 345 289 221 0 87 0
[pid=25875] ppid=25873 vsize=13980732 memory=118876 CPUtime=3.64 cores=0,2,4,6
/proc/25875/stat : 25875 (java) S 25873 25873 897 0 -1 1077944320 24282 0 0 0 357 7 0 0 20 0 13 0 75928322 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140736686456592 140205953515255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
/proc/25875/statm: 3495183 29719 3201 1 0 3483476 0
[pid=25875/tid=25876] ppid=25873 vsize=13980732 memory=15541816741092861 CPUtime=1.26 cores=0,2,4,6
/proc/25875/task/25876/stat : 25876 (java) D 25873 25873 897 0 -1 4202560 10087 0 0 0 122 4 0 0 20 0 13 0 75928322 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205957758264 140205946200887 0 0 1 16800974 18446744072100686981 0 0 -1 6 0 0 3 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25877] ppid=25873 vsize=13980732 memory=280849387900448 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25877/stat : 25877 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 75928322 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205921073936 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25878] ppid=25873 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25878/stat : 25878 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 75928322 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205552126864 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25879] ppid=25873 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25879/stat : 25879 (java) S 25873 25873 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 75928322 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205551074320 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25880] ppid=25873 vsize=13980732 memory=89260 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25880/stat : 25880 (java) S 25873 25873 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 75928322 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205550021776 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25882] ppid=25873 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25882/stat : 25882 (java) S 25873 25873 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 75928324 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205296653216 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25883] ppid=25873 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25883/stat : 25883 (java) S 25873 25873 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 75928325 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205295600624 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25884] ppid=25873 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25884/stat : 25884 (java) S 25873 25873 897 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 13 0 75928327 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205294548848 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25885] ppid=25873 vsize=13980732 memory=41628 CPUtime=0.87 cores=0,2,4,6
/proc/25875/task/25885/stat : 25885 (java) S 25873 25873 897 0 -1 1077944384 4186 0 0 0 87 0 0 0 20 0 13 0 75928327 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205293475856 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25886] ppid=25873 vsize=13980732 memory=1292 CPUtime=0.89 cores=0,2,4,6
/proc/25875/task/25886/stat : 25886 (java) S 25873 25873 897 0 -1 1077944384 5566 0 0 0 89 0 0 0 20 0 13 0 75928327 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205292423856 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25887] ppid=25873 vsize=13980732 memory=33 CPUtime=0.57 cores=0,2,4,6
/proc/25875/task/25887/stat : 25887 (java) S 25873 25873 897 0 -1 1077944384 3116 0 0 0 56 1 0 0 20 0 13 0 75928327 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205291391728 140205953526402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
[pid=25875/tid=25888] ppid=25873 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/25875/task/25888/stat : 25888 (java) S 25873 25873 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 75928327 14316269568 29719 18446744073709551615 4194304 4196468 140736686474048 140205290339424 140205953525461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140736686481841 140736686482017 140736686482017 140736686485455 0
Current children cumulated CPU time: 3.64 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 120256 KiB

Child status: 0
Real time (s): 1.53432
CPU time (s): 3.65405
CPU user time (s): 3.57258
CPU system time (s): 0.081476
CPU usage (%): 238.154
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 120256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.57258
system time used= 0.081476
maximum resident set size= 119472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24824
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2008
involuntary context switches= 15


# summary of solver processes directly reported to runsolver:
#   pid: 25873
#   total CPU time (s): 3.65405
#   total CPU user time (s): 3.57258
#   total CPU system time (s): 0.081476

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031367 second user time and 0.055727 second system time

The end

Begin job on node125 at 2017-08-14 20:43:50
IDJOB=4272709
IDBENCH=123667
IDSOLVER=2664
FILE ID=node125/4272709-1502737077
RUNJOBID= node125-1502662595-11628
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Sat/Sat-sum-flat200-479/Sat-flat200-24-sum.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4272709-1502737077/watcher-4272709-1502737077 -o /tmp/evaluation-result-4272709-1502737077/solver-4272709-1502737077 -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 2024656887 HOME/instance-4272709-1502737077.xml

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

MD5SUM BENCH= e3989d840e6da5d4ed83bf18c49d4f4f
RANDOM SEED=2024656887

node125.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.07
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.07
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.07
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.07
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:        30386916 kB
MemAvailable:   31351984 kB
Buffers:          297392 kB
Cached:           961720 kB
SwapCached:            0 kB
Active:          1350632 kB
Inactive:         600532 kB
Active(anon):     692548 kB
Inactive(anon):    33100 kB
Active(file):     658084 kB
Inactive(file):   567432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7828 kB
Writeback:             0 kB
AnonPages:        696216 kB
Mapped:            62084 kB
Shmem:             33444 kB
Slab:             136720 kB
SReclaimable:     110772 kB
SUnreclaim:        25948 kB
KernelStack:        3456 kB
PageTables:         6688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1322328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    569344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node125 at 2017-08-14 20:43:52

Name	Sat/ Sat-sum-flat200-479/Sat-flat200-24-sum.xml
MD5SUM	e3989d840e6da5d4ed83bf18c49d4f4f
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.131742
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":21},{"degree":5,"count":45},{"degree":6,"count":90},{"degree":7,"count":90},{"degree":8,"count":129},{"degree":9,"count":111},{"degree":10,"count":66},{"degree":11,"count":45}]
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 4272709

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data