2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7 seq (493a269)	OPT	792	4.75462	1.63412
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 (8712 MiB free)
  memory of node 1: 16384 MiB (12483 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292703-1532288997/watcher-4292703-1532288997 -o /tmp/evaluation-result-4292703-1532288997/solver-4292703-1532288997 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532279418-2548 --watchdog 2560 HOME/xcsp3-exec -seed 809525939 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292703-1532288997.xml 

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

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

solver pid=3707, runsolver pid=3704

[startup+0.104294 s]*
/proc/loadavg: 2.08 1.66 1.53 5/217 3723
/proc/meminfo: memFree=21688504/32770624 swapFree=67108860/67108860
[pid=3707] ppid=3704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3707/stat : 3707 (xcsp3-exec) S 3704 3707 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46462925 115843072 363 33554432000 4194304 5098028 140733734552560 140733734550664 140298016957052 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37171200 140733734560827 140733734561028 140733734561028 140733734563786 0
/proc/3707/statm: 28282 363 305 221 0 87 0
[pid=3709] ppid=3707 vsize=14082840 memory=29056 CPUtime=0.12 cores=0,2,4,6
/proc/3709/stat : 3709 (java) S 3707 3707 32641 0 -1 1077944320 5535 0 0 0 11 1 0 0 20 0 15 0 46462925 14420828160 7264 33554432000 4194304 4196468 140733199753056 140733199735600 140297929719543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
/proc/3709/statm: 3520710 7264 3049 1 0 3483008 0
[pid=3709/tid=3710] ppid=3707 vsize=14082840 memory=-8412652160985438067 CPUtime=0.09 cores=0,2,4,6
/proc/3709/task/3710/stat : 3710 (java) R 3707 3707 32641 0 -1 4202560 3487 0 0 0 9 0 0 0 20 0 15 0 46462925 14420828160 7264 33554432000 4194304 4196468 140733199753056 140297933951648 140297540618715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3711] ppid=3707 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (java) S 3707 3707 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46462926 14420828160 7264 33554432000 4194304 4196468 140733199753056 140297859807760 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3712] ppid=3707 vsize=14082840 memory=140528891307648 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3712/stat : 3712 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462926 14420828160 7264 33554432000 4194304 4196468 140733199753056 140297524394640 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3713] ppid=3707 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3713/stat : 3713 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462926 14420828160 7264 33554432000 4194304 4196468 140733199753056 140297523341584 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3714] ppid=3707 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3714/stat : 3714 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462926 14420828160 7264 33554432000 4194304 4196468 140733199753056 140297522289040 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3715] ppid=3707 vsize=14082840 memory=140528891307648 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3715/stat : 3715 (java) S 3707 3707 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46462927 14420828160 7264 33554432000 4194304 4196468 140733199753056 140297471109872 140297929730690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3716] ppid=3707 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3716/stat : 3716 (java) S 3707 3707 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46462928 14420828160 7264 33554432000 4194304 4196468 140733199753056 140297470056096 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3717] ppid=3707 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3717/stat : 3717 (java) S 3707 3707 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46462928 14420828160 7264 33554432000 4194304 4196468 140733199753056 140297469002992 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3718] ppid=3707 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3718/stat : 3718 (java) S 3707 3707 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46462930 14420828160 7264 33554432000 4194304 4196468 140733199753056 140297467951568 140297929738139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3719] ppid=3707 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3719/stat : 3719 (java) S 3707 3707 32641 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 15 0 46462930 14420828160 7264 33554432000 4194304 4196468 140733199753056 140297466898672 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3720] ppid=3707 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3720/stat : 3720 (java) S 3707 3707 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46462931 14420828160 7264 33554432000 4194304 4196468 140733199753056 140297465846128 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3721] ppid=3707 vsize=14082840 memory=140528891307648 CPUtime=0.01 cores=0,2,4,6
/proc/3709/task/3721/stat : 3721 (java) S 3707 3707 32641 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 15 0 46462931 14420828160 7264 33554432000 4194304 4196468 140733199753056 140297464793072 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3722] ppid=3707 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3722/stat : 3722 (java) S 3707 3707 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46462931 14420828160 7264 33554432000 4194304 4196468 140733199753056 140297463740768 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3723] ppid=3707 vsize=14082840 memory=140528891307648 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3723/stat : 3723 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462931 14420828160 7264 33554432000 4194304 4196468 140733199753056 140297462688816 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30508 KiB

[startup+0.211544 s]*
/proc/loadavg: 2.08 1.66 1.53 5/217 3723
/proc/meminfo: memFree=21675936/32770624 swapFree=67108860/67108860
[pid=3707] ppid=3704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3707/stat : 3707 (xcsp3-exec) S 3704 3707 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46462925 115843072 363 33554432000 4194304 5098028 140733734552560 140733734550664 140298016957052 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37171200 140733734560827 140733734561028 140733734561028 140733734563786 0
/proc/3707/statm: 28282 363 305 221 0 87 0
[pid=3709] ppid=3707 vsize=14082840 memory=40808 CPUtime=0.34 cores=0,2,4,6
/proc/3709/stat : 3709 (java) S 3707 3707 32641 0 -1 1077944320 8247 0 0 0 32 2 0 0 20 0 15 0 46462925 14420828160 10202 33554432000 4194304 4196468 140733199753056 140733199735600 140297929719543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
/proc/3709/statm: 3520710 10202 3181 1 0 3483008 0
[pid=3709/tid=3710] ppid=3707 vsize=14082840 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/3709/task/3710/stat : 3710 (java) R 3707 3707 32641 0 -1 4202560 5394 0 0 0 19 1 0 0 20 0 15 0 46462925 14420828160 10202 33554432000 4194304 4196468 140733199753056 140297933944720 140297913800030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3711] ppid=3707 vsize=14082840 memory=10882 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (java) S 3707 3707 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46462926 14420828160 10202 33554432000 4194304 4196468 140733199753056 140297859807760 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3712] ppid=3707 vsize=14082840 memory=3760568572309667872 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3712/stat : 3712 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462926 14420828160 10202 33554432000 4194304 4196468 140733199753056 140297524394640 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3713] ppid=3707 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3713/stat : 3713 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462926 14420828160 10202 33554432000 4194304 4196468 140733199753056 140297523341584 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3714] ppid=3707 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3714/stat : 3714 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462926 14420828160 10202 33554432000 4194304 4196468 140733199753056 140297522289040 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3715] ppid=3707 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3715/stat : 3715 (java) S 3707 3707 32641 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46462927 14420828160 10202 33554432000 4194304 4196468 140733199753056 140297471109872 140297929730690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3716] ppid=3707 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3716/stat : 3716 (java) S 3707 3707 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46462928 14420828160 10202 33554432000 4194304 4196468 140733199753056 140297470056096 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3717] ppid=3707 vsize=14082840 memory=140528891307648 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3717/stat : 3717 (java) S 3707 3707 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46462928 14420828160 10202 33554432000 4194304 4196468 140733199753056 140297469002992 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3718] ppid=3707 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3718/stat : 3718 (java) S 3707 3707 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46462930 14420828160 10202 33554432000 4194304 4196468 140733199753056 140297467951568 140297929738139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3719] ppid=3707 vsize=14082840 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3709/task/3719/stat : 3719 (java) S 3707 3707 32641 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 15 0 46462930 14420828160 10202 33554432000 4194304 4196468 140733199753056 140297466898672 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3720] ppid=3707 vsize=14082840 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/3709/task/3720/stat : 3720 (java) S 3707 3707 32641 0 -1 1077944384 337 0 0 0 3 0 0 0 20 0 15 0 46462931 14420828160 10202 33554432000 4194304 4196468 140733199753056 140297465846128 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3721] ppid=3707 vsize=14082840 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3709/task/3721/stat : 3721 (java) S 3707 3707 32641 0 -1 1077944384 791 0 0 0 7 0 0 0 20 0 15 0 46462931 14420828160 10202 33554432000 4194304 4196468 140733199753056 140297464793072 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3722] ppid=3707 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3722/stat : 3722 (java) S 3707 3707 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46462931 14420828160 10202 33554432000 4194304 4196468 140733199753056 140297463740768 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3723] ppid=3707 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3723/stat : 3723 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462931 14420828160 10202 33554432000 4194304 4196468 140733199753056 140297462688816 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42260 KiB

[startup+0.313171 s]*
/proc/loadavg: 2.08 1.66 1.53 4/217 3723
/proc/meminfo: memFree=21669424/32770624 swapFree=67108860/67108860
[pid=3707] ppid=3704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3707/stat : 3707 (xcsp3-exec) S 3704 3707 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46462925 115843072 363 33554432000 4194304 5098028 140733734552560 140733734550664 140298016957052 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37171200 140733734560827 140733734561028 140733734561028 140733734563786 0
/proc/3707/statm: 28282 363 305 221 0 87 0
[pid=3709] ppid=3707 vsize=14087096 memory=47564 CPUtime=0.51 cores=0,2,4,6
/proc/3709/stat : 3709 (java) S 3707 3707 32641 0 -1 1077944320 9056 0 0 0 48 3 0 0 20 0 15 0 46462925 14425186304 11891 33554432000 4194304 4196468 140733199753056 140733199735600 140297929719543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
/proc/3709/statm: 3521774 11891 3216 1 0 3483008 0
[pid=3709/tid=3710] ppid=3707 vsize=14087096 memory=-7174084197661963716 CPUtime=0.29 cores=0,2,4,6
/proc/3709/task/3710/stat : 3710 (java) R 3707 3707 32641 0 -1 4202560 6107 0 0 0 28 1 0 0 20 0 15 0 46462925 14425186304 11891 33554432000 4194304 4196468 140733199753056 140297933950656 140297929741469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3711] ppid=3707 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (java) S 3707 3707 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46462926 14425186304 11891 33554432000 4194304 4196468 140733199753056 140297859807760 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3712] ppid=3707 vsize=14087096 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3712/stat : 3712 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462926 14425186304 11891 33554432000 4194304 4196468 140733199753056 140297524394640 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3713] ppid=3707 vsize=14087096 memory=2110879386998692 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3713/stat : 3713 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462926 14425186304 11891 33554432000 4194304 4196468 140733199753056 140297523341584 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3714] ppid=3707 vsize=14087096 memory=140528779897279 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3714/stat : 3714 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462926 14425186304 11891 33554432000 4194304 4196468 140733199753056 140297522289040 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3715] ppid=3707 vsize=14087096 memory=281057671237696 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3715/stat : 3715 (java) S 3707 3707 32641 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46462927 14425186304 11891 33554432000 4194304 4196468 140733199753056 140297471109872 140297929730690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3716] ppid=3707 vsize=14087096 memory=140528779899575 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3716/stat : 3716 (java) S 3707 3707 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46462928 14425186304 11891 33554432000 4194304 4196468 140733199753056 140297470056096 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3717] ppid=3707 vsize=14087096 memory=281057559808384 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3717/stat : 3717 (java) S 3707 3707 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46462928 14425186304 11891 33554432000 4194304 4196468 140733199753056 140297469002992 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3718] ppid=3707 vsize=14087096 memory=281057559803760 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3718/stat : 3718 (java) S 3707 3707 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46462930 14425186304 11891 33554432000 4194304 4196468 140733199753056 140297467951568 140297929738139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3719] ppid=3707 vsize=14087096 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3709/task/3719/stat : 3719 (java) S 3707 3707 32641 0 -1 1077944384 449 0 0 0 3 0 0 0 20 0 15 0 46462930 14425186304 11891 33554432000 4194304 4196468 140733199753056 140297466898672 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3720] ppid=3707 vsize=14087096 memory=67 CPUtime=0.04 cores=0,2,4,6
/proc/3709/task/3720/stat : 3720 (java) S 3707 3707 32641 0 -1 1077944384 351 0 0 0 4 0 0 0 20 0 15 0 46462931 14425186304 11891 33554432000 4194304 4196468 140733199753056 140297465846128 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3721] ppid=3707 vsize=14087096 memory=140528891307648 CPUtime=0.11 cores=0,2,4,6
/proc/3709/task/3721/stat : 3721 (java) S 3707 3707 32641 0 -1 1077944384 862 0 0 0 11 0 0 0 20 0 15 0 46462931 14425186304 11891 33554432000 4194304 4196468 140733199753056 140297464793072 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3722] ppid=3707 vsize=14087096 memory=67 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3722/stat : 3722 (java) S 3707 3707 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46462931 14425186304 11891 33554432000 4194304 4196468 140733199753056 140297463740768 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3723] ppid=3707 vsize=14087096 memory=140528891307648 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3723/stat : 3723 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462931 14425186304 11891 33554432000 4194304 4196468 140733199753056 140297462688816 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49016 KiB

[startup+0.701156 s]
/proc/loadavg: 2.08 1.66 1.53 7/217 3723
/proc/meminfo: memFree=21644672/32770624 swapFree=67108860/67108860
[pid=3707] ppid=3704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3707/stat : 3707 (xcsp3-exec) S 3704 3707 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46462925 115843072 363 33554432000 4194304 5098028 140733734552560 140733734550664 140298016957052 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37171200 140733734560827 140733734561028 140733734561028 140733734563786 0
/proc/3707/statm: 28282 363 305 221 0 87 0
[pid=3709] ppid=3707 vsize=14089220 memory=91624 CPUtime=1.77 cores=0,2,4,6
/proc/3709/stat : 3709 (java) S 3707 3707 32641 0 -1 1077944320 13054 0 0 0 172 5 0 0 20 0 15 0 46462925 14427361280 22906 33554432000 4194304 4196468 140733199753056 140733199735600 140297929719543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
/proc/3709/statm: 3522305 22906 3344 1 0 3483520 0
[pid=3709/tid=3710] ppid=3707 vsize=14089220 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3709/task/3710/stat : 3710 (java) R 3707 3707 32641 0 -1 4202560 6922 0 0 0 65 2 0 0 20 0 15 0 46462925 14427361280 22906 33554432000 4194304 4196468 140733199753056 140297933957440 140297539451536 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3711] ppid=3707 vsize=14089220 memory=8242257093008242485 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (java) S 3707 3707 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46462926 14427361280 22906 33554432000 4194304 4196468 140733199753056 140297859807760 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3712] ppid=3707 vsize=14089220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3712/stat : 3712 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462926 14427361280 22906 33554432000 4194304 4196468 140733199753056 140297524394640 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3713] ppid=3707 vsize=14089220 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3713/stat : 3713 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462926 14427361280 22906 33554432000 4194304 4196468 140733199753056 140297523341584 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3714] ppid=3707 vsize=14089220 memory=12976 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3714/stat : 3714 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462926 14427361280 22906 33554432000 4194304 4196468 140733199753056 140297522289040 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3715] ppid=3707 vsize=14089220 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3715/stat : 3715 (java) S 3707 3707 32641 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46462927 14427361280 22906 33554432000 4194304 4196468 140733199753056 140297471109872 140297929730690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3716] ppid=3707 vsize=14089220 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3716/stat : 3716 (java) S 3707 3707 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46462928 14427361280 22906 33554432000 4194304 4196468 140733199753056 140297470056096 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3717] ppid=3707 vsize=14089220 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3717/stat : 3717 (java) S 3707 3707 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46462928 14427361280 22906 33554432000 4194304 4196468 140733199753056 140297469002992 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3718] ppid=3707 vsize=14089220 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3718/stat : 3718 (java) S 3707 3707 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46462930 14427361280 22906 33554432000 4194304 4196468 140733199753056 140297467951568 140297929738139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3719] ppid=3707 vsize=14089220 memory=8364 CPUtime=0.34 cores=0,2,4,6
/proc/3709/task/3719/stat : 3719 (java) R 3707 3707 32641 0 -1 4202560 1384 0 0 0 34 0 0 0 20 0 15 0 46462930 14427361280 22906 33554432000 4194304 4196468 140733199753056 140297466897072 140297908966053 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3720] ppid=3707 vsize=14089220 memory=7662705889289527641 CPUtime=0.35 cores=0,2,4,6
/proc/3709/task/3720/stat : 3720 (java) R 3707 3707 32641 0 -1 4202560 1373 0 0 0 35 0 0 0 20 0 15 0 46462931 14427361280 22906 33554432000 4194304 4196468 140733199753056 140297465837456 140297909555881 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3721] ppid=3707 vsize=14089220 memory=7885081012184048465 CPUtime=0.38 cores=0,2,4,6
/proc/3709/task/3721/stat : 3721 (java) R 3707 3707 32641 0 -1 1077944384 2068 0 0 0 37 1 0 0 20 0 15 0 46462931 14427361280 22906 33554432000 4194304 4196468 140733199753056 140297464793072 140297929730690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3722] ppid=3707 vsize=14089220 memory=7588684550706915689 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3722/stat : 3722 (java) S 3707 3707 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46462931 14427361280 22906 33554432000 4194304 4196468 140733199753056 140297463740768 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3723] ppid=3707 vsize=14089220 memory=5450909908396308010 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3723/stat : 3723 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462931 14427361280 22906 33554432000 4194304 4196468 140733199753056 140297462688816 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 93076 KiB

[startup+1.50081 s]
/proc/loadavg: 2.08 1.66 1.53 5/217 3723
/proc/meminfo: memFree=21555316/32770624 swapFree=67108860/67108860
[pid=3707] ppid=3704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3707/stat : 3707 (xcsp3-exec) S 3704 3707 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46462925 115843072 363 33554432000 4194304 5098028 140733734552560 140733734550664 140298016957052 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37171200 140733734560827 140733734561028 140733734561028 140733734563786 0
/proc/3707/statm: 28282 363 305 221 0 87 0
[pid=3709] ppid=3707 vsize=14089220 memory=199088 CPUtime=4.34 cores=0,2,4,6
/proc/3709/stat : 3709 (java) S 3707 3707 32641 0 -1 1077944320 25169 0 0 0 426 8 0 0 20 0 15 0 46462925 14427361280 49772 33554432000 4194304 4196468 140733199753056 140733199735600 140297929719543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
/proc/3709/statm: 3522305 49772 3359 1 0 3483520 0
[pid=3709/tid=3710] ppid=3707 vsize=14089220 memory=7232890293113415765 CPUtime=1.46 cores=0,2,4,6
/proc/3709/task/3710/stat : 3710 (java) R 3707 3707 32641 0 -1 4202560 9050 0 0 0 143 3 0 0 20 0 15 0 46462925 14427361280 49772 33554432000 4194304 4196468 140733199753056 140297933955512 140297546225739 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3711] ppid=3707 vsize=14089220 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (java) S 3707 3707 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46462926 14427361280 49772 33554432000 4194304 4196468 140733199753056 140297859807760 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3712] ppid=3707 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3712/stat : 3712 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462926 14427361280 49772 33554432000 4194304 4196468 140733199753056 140297524394640 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3713] ppid=3707 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3713/stat : 3713 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462926 14427361280 49772 33554432000 4194304 4196468 140733199753056 140297523341584 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3714] ppid=3707 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3714/stat : 3714 (java) S 3707 3707 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46462926 14427361280 49772 33554432000 4194304 4196468 140733199753056 140297522289040 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3715] ppid=3707 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3715/stat : 3715 (java) S 3707 3707 32641 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 46462927 14427361280 49772 33554432000 4194304 4196468 140733199753056 140297471109872 140297929730690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3716] ppid=3707 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3716/stat : 3716 (java) S 3707 3707 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46462928 14427361280 49772 33554432000 4194304 4196468 140733199753056 140297470056096 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3717] ppid=3707 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3717/stat : 3717 (java) S 3707 3707 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46462928 14427361280 49772 33554432000 4194304 4196468 140733199753056 140297469002992 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3718] ppid=3707 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3718/stat : 3718 (java) S 3707 3707 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46462930 14427361280 49772 33554432000 4194304 4196468 140733199753056 140297467951568 140297929738139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3719] ppid=3707 vsize=14089220 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/3709/task/3719/stat : 3719 (java) R 3707 3707 32641 0 -1 4202560 5748 0 0 0 109 1 0 0 20 0 15 0 46462930 14427361280 49772 33554432000 4194304 4196468 140733199753056 140297466887152 140297914828540 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3720] ppid=3707 vsize=14089220 memory=0 CPUtime=1.13 cores=0,2,4,6
/proc/3709/task/3720/stat : 3720 (java) R 3707 3707 32641 0 -1 4202560 5581 0 0 0 113 0 0 0 20 0 15 0 46462931 14427361280 49772 33554432000 4194304 4196468 140733199753056 140297465834896 140297913218384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3721] ppid=3707 vsize=14089220 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/3709/task/3721/stat : 3721 (java) S 3707 3707 32641 0 -1 1077944384 3454 0 0 0 59 1 0 0 20 0 15 0 46462931 14427361280 49772 33554432000 4194304 4196468 140733199753056 140297464793072 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3722] ppid=3707 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3722/stat : 3722 (java) S 3707 3707 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46462931 14427361280 49772 33554432000 4194304 4196468 140733199753056 140297463740768 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3723] ppid=3707 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3723/stat : 3723 (java) S 3707 3707 32641 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 46462931 14427361280 49772 33554432000 4194304 4196468 140733199753056 140297462688816 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
Current children cumulated CPU time: 4.34 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 200540 KiB

[startup+1.63408 s]
# the end of solver process 3707 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.64681 s, system=0.107811 s

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

[startup+1.60133 s]
/proc/loadavg: 2.08 1.66 1.53 5/217 3723
/proc/meminfo: memFree=21555316/32770624 swapFree=67108860/67108860
[pid=3707] ppid=3704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3707/stat : 3707 (xcsp3-exec) S 3704 3707 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46462925 115843072 363 33554432000 4194304 5098028 140733734552560 140733734550664 140298016957052 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37171200 140733734560827 140733734561028 140733734561028 140733734563786 0
/proc/3707/statm: 28282 363 305 221 0 87 0
[pid=3709] ppid=3707 vsize=14089220 memory=222652 CPUtime=4.68 cores=0,2,4,6
/proc/3709/stat : 3709 (java) S 3707 3707 32641 0 -1 1077944320 26429 0 0 0 458 10 0 0 20 0 15 0 46462925 14427361280 55663 33554432000 4194304 4196468 140733199753056 140733199735600 140297929719543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
/proc/3709/statm: 3522305 55663 3386 1 0 3483520 0
[pid=3709/tid=3710] ppid=3707 vsize=14089220 memory=281057560093856 CPUtime=1.53 cores=0,2,4,6
/proc/3709/task/3710/stat : 3710 (java) R 3707 3707 32641 0 -1 4202560 9068 0 0 0 150 3 0 0 20 0 15 0 46462925 14427361280 55663 33554432000 4194304 4196468 140733199753056 140297933958040 140297546389324 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3711] ppid=3707 vsize=14089220 memory=281057560271056 CPUtime=0.01 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (java) S 3707 3707 32641 0 -1 1077944384 298 0 0 0 1 0 0 0 20 0 15 0 46462926 14427361280 55663 33554432000 4194304 4196468 140733199753056 140297859807760 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3712] ppid=3707 vsize=14089220 memory=7878636407292717554 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3712/stat : 3712 (java) S 3707 3707 32641 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 46462926 14427361280 55663 33554432000 4194304 4196468 140733199753056 140297524394640 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3713] ppid=3707 vsize=14089220 memory=4137848955411341703 CPUtime=0.01 cores=0,2,4,6
/proc/3709/task/3713/stat : 3713 (java) S 3707 3707 32641 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 15 0 46462926 14427361280 55663 33554432000 4194304 4196468 140733199753056 140297523341584 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3714] ppid=3707 vsize=14089220 memory=8325818968683490714 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3714/stat : 3714 (java) S 3707 3707 32641 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 46462926 14427361280 55663 33554432000 4194304 4196468 140733199753056 140297522289040 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3715] ppid=3707 vsize=14089220 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3715/stat : 3715 (java) S 3707 3707 32641 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 46462927 14427361280 55663 33554432000 4194304 4196468 140733199753056 140297471109872 140297929730690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3716] ppid=3707 vsize=14089220 memory=4208398637925781662 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3716/stat : 3716 (java) S 3707 3707 32641 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 46462928 14427361280 55663 33554432000 4194304 4196468 140733199753056 140297470056096 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3717] ppid=3707 vsize=14089220 memory=55 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3717/stat : 3717 (java) S 3707 3707 32641 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 46462928 14427361280 55663 33554432000 4194304 4196468 140733199753056 140297469002992 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3718] ppid=3707 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3718/stat : 3718 (java) S 3707 3707 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46462930 14427361280 55663 33554432000 4194304 4196468 140733199753056 140297467951568 140297929738139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3719] ppid=3707 vsize=14089220 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/3709/task/3719/stat : 3719 (java) R 3707 3707 32641 0 -1 4202560 5803 0 0 0 117 1 0 0 20 0 15 0 46462930 14427361280 55663 33554432000 4194304 4196468 140733199753056 140297466883664 140297929740890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3720] ppid=3707 vsize=14089220 memory=0 CPUtime=1.23 cores=0,2,4,6
/proc/3709/task/3720/stat : 3720 (java) R 3707 3707 32641 0 -1 4202560 5630 0 0 0 123 0 0 0 20 0 15 0 46462931 14427361280 55663 33554432000 4194304 4196468 140733199753056 140297465834896 140297929740890 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3721] ppid=3707 vsize=14089220 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/3709/task/3721/stat : 3721 (java) S 3707 3707 32641 0 -1 1077944384 3924 0 0 0 61 1 0 0 20 0 15 0 46462931 14427361280 55663 33554432000 4194304 4196468 140733199753056 140297464793072 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3722] ppid=3707 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3722/stat : 3722 (java) S 3707 3707 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46462931 14427361280 55663 33554432000 4194304 4196468 140733199753056 140297463740768 140297929729749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
[pid=3709/tid=3723] ppid=3707 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3709/task/3723/stat : 3723 (java) S 3707 3707 32641 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 46462931 14427361280 55663 33554432000 4194304 4196468 140733199753056 140297462688816 140297929730690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25460736 140733199758465 140733199758641 140733199758641 140733199761359 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 224104 KiB

Child status: 0
Real time (s): 1.63412
CPU time (s): 4.75462
CPU user time (s): 4.64681
CPU system time (s): 0.107811
CPU usage (%): 290.959
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 224104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.64681
system time used= 0.107811
maximum resident set size= 223248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27081
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1804
involuntary context switches= 41


# summary of solver processes directly reported to runsolver:
#   pid: 3707
#   total CPU time (s): 4.75462
#   total CPU user time (s): 4.64681
#   total CPU system time (s): 0.107811

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034736 second user time and 0.058234 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-05-opt_c18.xml
MD5SUM	d1449c913cc5aeed08f9a5dcd27a0601
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	792
Best CPU time to get the best result obtained on this benchmark	1.44759
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2598
Number of domains	4
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":36,"count":192},{"size":44,"count":196}]
Minimum variable degree	2
Maximum variable degree	60
Distribution of variable degrees	[{"degree":2,"count":4},{"degree":3,"count":2},{"degree":4,"count":16},{"degree":5,"count":10},{"degree":6,"count":37},{"degree":7,"count":16},{"degree":8,"count":41},{"degree":9,"count":14},{"degree":10,"count":40},{"degree":11,"count":20},{"degree":12,"count":14},{"degree":13,"count":13},{"degree":14,"count":21},{"degree":15,"count":8},{"degree":16,"count":16},{"degree":17,"count":12},{"degree":18,"count":18},{"degree":19,"count":9},{"degree":20,"count":14},{"degree":21,"count":13},{"degree":22,"count":6},{"degree":23,"count":10},{"degree":24,"count":4},{"degree":25,"count":11},{"degree":26,"count":4},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":29,"count":3},{"degree":30,"count":2},{"degree":31,"count":3},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":53,"count":1},{"degree":60,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2598}]
Number of extensional constraints	0
Number of intensional constraints	2598
Distribution of constraint types	[{"type":"intension","count":2598}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4292703

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
