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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-07-26)	OPT	3	6.0300798	2.2641201
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 (14950 MiB free)
  memory of node 1: 16384 MiB (11898 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272049-1502714578/watcher-4272049-1502714578 -o /tmp/evaluation-result-4272049-1502714578/solver-4272049-1502714578 -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 192732715 HOME/instance-4272049-1502714578.xml 

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

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


[startup+0.102068 s]*
/proc/loadavg: 1.86 1.74 1.75 3/202 18984
/proc/meminfo: memFree=27486128/32770624 swapFree=67108860/67108860
[pid=18977] ppid=18974 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18977/stat : 18977 (xcsp3-exec) S 18974 18977 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73678448 9740288 344 18446744073709551615 4194304 5098028 140726106692384 140726106690488 140351055012476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38375424 140726106694009 140726106694213 140726106694213 140726106697707 0
/proc/18977/statm: 2378 344 289 221 0 87 0
[pid=18979] ppid=18977 vsize=13507920 memory=17212 CPUtime=0.02 cores=0,2,4,6
/proc/18979/stat : 18979 (java) S 18977 18977 897 0 -1 1077944320 3612 0 0 0 2 0 0 0 20 0 8 0 73678456 13832110080 4303 18446744073709551615 4194304 4196468 140727844401888 140727844384432 140136748216055 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
/proc/18979/statm: 3376980 4303 2033 1 0 3366477 0
[pid=18979/tid=18980] ppid=18977 vsize=13574484 memory=7311146985107750967 CPUtime=0.02 cores=0,2,4,6
/proc/18979/task/18980/stat : 18980 (java) R 18977 18977 897 0 -1 4202560 2367 0 0 0 2 0 0 0 20 0 9 0 73678456 13900271616 4367 18446744073709551615 4194304 4196468 140727844401888 140136752452104 140136713576448 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18981] ppid=18977 vsize=13574484 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18981/stat : 18981 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 73678457 13900271616 4367 18446744073709551615 4194304 4196468 140727844401888 140136667630352 140136748226261 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18982] ppid=18977 vsize=13574484 memory=140028066520986 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18982/stat : 18982 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 73678457 13900271616 4367 18446744073709551615 4194304 4196468 140727844401888 140136666577808 140136748226261 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18983] ppid=18977 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18983/stat : 18983 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 73678457 13900271616 4367 18446744073709551615 4194304 4196468 140727844401888 140136665525264 140136748226261 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18984] ppid=18977 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18984/stat : 18984 (java) S 18977 18977 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 73678457 13900271616 4367 18446744073709551615 4194304 4196468 140727844401888 140136664472720 140136748226261 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18985] ppid=18977 vsize=13574484 memory=140028066502272 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18985/stat : 18985 (java) S 18977 18977 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 73678459 13900271616 4367 18446744073709551615 4194304 4196468 140727844401888 140136226711536 140136748227202 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18986] ppid=18977 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18986/stat : 18986 (java) S 18977 18977 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 73678459 13900271616 4367 18446744073709551615 4194304 4196468 140727844401888 140136225657760 140136748226261 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18987] ppid=18977 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18987/stat : 18987 (java) S 18977 18977 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 73678459 13900271616 4367 18446744073709551615 4194304 4196468 140727844401888 140136224605232 140136748226261 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 18588 KiB

[startup+0.209866 s]*
/proc/loadavg: 1.86 1.74 1.75 3/211 18993
/proc/meminfo: memFree=27477600/32770624 swapFree=67108860/67108860
[pid=18977] ppid=18974 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18977/stat : 18977 (xcsp3-exec) S 18974 18977 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73678448 9740288 344 18446744073709551615 4194304 5098028 140726106692384 140726106690488 140351055012476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38375424 140726106694009 140726106694213 140726106694213 140726106697707 0
/proc/18977/statm: 2378 344 289 221 0 87 0
[pid=18979] ppid=18977 vsize=13974352 memory=28708 CPUtime=0.13 cores=0,2,4,6
/proc/18979/stat : 18979 (java) S 18977 18977 897 0 -1 1077944320 5183 0 0 0 12 1 0 0 20 0 15 0 73678456 14309736448 7177 18446744073709551615 4194304 4196468 140727844401888 140727844384432 140136748216055 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
/proc/18979/statm: 3493588 7177 2838 1 0 3482964 0
[pid=18979/tid=18980] ppid=18977 vsize=13974352 memory=7311146985107750967 CPUtime=0.09 cores=0,2,4,6
/proc/18979/task/18980/stat : 18980 (java) R 18977 18977 897 0 -1 4202560 3130 0 0 0 9 0 0 0 20 0 15 0 73678456 14309736448 7243 18446744073709551615 4194304 4196468 140727844401888 140136752452480 140136748237402 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18981] ppid=18977 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18981/stat : 18981 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678457 14309736448 7243 18446744073709551615 4194304 4196468 140727844401888 140136667630352 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18982] ppid=18977 vsize=13974352 memory=140028066520986 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18982/stat : 18982 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678457 14309736448 7243 18446744073709551615 4194304 4196468 140727844401888 140136666577808 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18983] ppid=18977 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18983/stat : 18983 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678457 14309736448 7243 18446744073709551615 4194304 4196468 140727844401888 140136665525264 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18984] ppid=18977 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18984/stat : 18984 (java) S 18977 18977 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73678457 14309736448 7243 18446744073709551615 4194304 4196468 140727844401888 140136664472720 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18985] ppid=18977 vsize=13974352 memory=140028066502272 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18985/stat : 18985 (java) S 18977 18977 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73678459 14309736448 7243 18446744073709551615 4194304 4196468 140727844401888 140136226711536 140136748227202 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18986] ppid=18977 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18986/stat : 18986 (java) S 18977 18977 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73678459 14309736448 7243 18446744073709551615 4194304 4196468 140727844401888 140136225657760 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18987] ppid=18977 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18987/stat : 18987 (java) S 18977 18977 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73678459 14309736448 7243 18446744073709551615 4194304 4196468 140727844401888 140136224605168 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18988] ppid=18977 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18988/stat : 18988 (java) S 18977 18977 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73678462 14309736448 7243 18446744073709551615 4194304 4196468 140727844401888 140136223553744 140136748234651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18989] ppid=18977 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18989/stat : 18989 (java) S 18977 18977 897 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 73678462 14309736448 7243 18446744073709551615 4194304 4196468 140727844401888 140136222501360 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18990] ppid=18977 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18990/stat : 18990 (java) S 18977 18977 897 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 73678462 14309736448 7243 18446744073709551615 4194304 4196468 140727844401888 140136221448816 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18991] ppid=18977 vsize=13974352 memory=140028066502272 CPUtime=0.01 cores=0,2,4,6
/proc/18979/task/18991/stat : 18991 (java) R 18977 18977 897 0 -1 4202560 333 0 0 0 1 0 0 0 20 0 15 0 73678462 14309736448 7243 18446744073709551615 4194304 4196468 140727844401888 140136220396272 140136726916256 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18992] ppid=18977 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18992/stat : 18992 (java) S 18977 18977 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73678462 14309736448 7243 18446744073709551615 4194304 4196468 140727844401888 140136219343968 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18993] ppid=18977 vsize=13974352 memory=140028066502272 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18993/stat : 18993 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678465 14309736448 7243 18446744073709551615 4194304 4196468 140727844401888 140136218290480 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30084 KiB

[startup+0.310246 s]*
/proc/loadavg: 1.86 1.74 1.75 4/211 18993
/proc/meminfo: memFree=27464012/32770624 swapFree=67108860/67108860
[pid=18977] ppid=18974 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18977/stat : 18977 (xcsp3-exec) S 18974 18977 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73678448 9740288 344 18446744073709551615 4194304 5098028 140726106692384 140726106690488 140351055012476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38375424 140726106694009 140726106694213 140726106694213 140726106697707 0
/proc/18977/statm: 2378 344 289 221 0 87 0
[pid=18979] ppid=18977 vsize=13978608 memory=40424 CPUtime=0.32 cores=0,2,4,6
/proc/18979/stat : 18979 (java) S 18977 18977 897 0 -1 1077944320 8757 0 0 0 30 2 0 0 20 0 15 0 73678456 14314094592 10106 18446744073709551615 4194304 4196468 140727844401888 140727844384432 140136748216055 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
/proc/18979/statm: 3494652 10106 3041 1 0 3482964 0
[pid=18979/tid=18980] ppid=18977 vsize=13978608 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/18979/task/18980/stat : 18980 (java) R 18977 18977 897 0 -1 4202560 5895 0 0 0 17 2 0 0 20 0 15 0 73678456 14314094592 10106 18446744073709551615 4194304 4196468 140727844401888 140136752437048 140136732296542 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18981] ppid=18977 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18981/stat : 18981 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678457 14314094592 10106 18446744073709551615 4194304 4196468 140727844401888 140136667630352 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18982] ppid=18977 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18982/stat : 18982 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678457 14314094592 10106 18446744073709551615 4194304 4196468 140727844401888 140136666577808 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18983] ppid=18977 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18983/stat : 18983 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678457 14314094592 10106 18446744073709551615 4194304 4196468 140727844401888 140136665525264 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18984] ppid=18977 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18984/stat : 18984 (java) S 18977 18977 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73678457 14314094592 10106 18446744073709551615 4194304 4196468 140727844401888 140136664472720 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18985] ppid=18977 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18985/stat : 18985 (java) S 18977 18977 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73678459 14314094592 10106 18446744073709551615 4194304 4196468 140727844401888 140136226711536 140136748227202 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18986] ppid=18977 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18986/stat : 18986 (java) S 18977 18977 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73678459 14314094592 10106 18446744073709551615 4194304 4196468 140727844401888 140136225657760 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18987] ppid=18977 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18987/stat : 18987 (java) S 18977 18977 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73678459 14314094592 10106 18446744073709551615 4194304 4196468 140727844401888 140136224605168 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18988] ppid=18977 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18988/stat : 18988 (java) S 18977 18977 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73678462 14314094592 10106 18446744073709551615 4194304 4196468 140727844401888 140136223553744 140136748234651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18989] ppid=18977 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18979/task/18989/stat : 18989 (java) S 18977 18977 897 0 -1 1077944384 597 0 0 0 2 0 0 0 20 0 15 0 73678462 14314094592 10106 18446744073709551615 4194304 4196468 140727844401888 140136222501360 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18990] ppid=18977 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18979/task/18990/stat : 18990 (java) S 18977 18977 897 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 15 0 73678462 14314094592 10106 18446744073709551615 4194304 4196468 140727844401888 140136221448816 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18991] ppid=18977 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18979/task/18991/stat : 18991 (java) S 18977 18977 897 0 -1 1077944384 691 0 0 0 7 0 0 0 20 0 15 0 73678462 14314094592 10106 18446744073709551615 4194304 4196468 140727844401888 140136220396272 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18992] ppid=18977 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18992/stat : 18992 (java) S 18977 18977 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73678462 14314094592 10106 18446744073709551615 4194304 4196468 140727844401888 140136219343968 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18993] ppid=18977 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18993/stat : 18993 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678465 14314094592 10106 18446744073709551615 4194304 4196468 140727844401888 140136218290480 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41800 KiB

[startup+0.701939 s]
/proc/loadavg: 1.86 1.74 1.75 5/211 18993
/proc/meminfo: memFree=27448768/32770624 swapFree=67108860/67108860
[pid=18977] ppid=18974 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18977/stat : 18977 (xcsp3-exec) S 18974 18977 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73678448 9740288 344 18446744073709551615 4194304 5098028 140726106692384 140726106690488 140351055012476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38375424 140726106694009 140726106694213 140726106694213 140726106697707 0
/proc/18977/statm: 2378 344 289 221 0 87 0
[pid=18979] ppid=18977 vsize=13978684 memory=83628 CPUtime=1.41 cores=0,2,4,6
/proc/18979/stat : 18979 (java) S 18977 18977 897 0 -1 1077944320 13104 0 0 0 137 4 0 0 20 0 15 0 73678456 14314172416 20907 18446744073709551615 4194304 4196468 140727844401888 140727844384432 140136748216055 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
/proc/18979/statm: 3494671 20907 3168 1 0 3482964 0
[pid=18979/tid=18980] ppid=18977 vsize=13978684 memory=6935649255759568960 CPUtime=0.57 cores=0,2,4,6
/proc/18979/task/18980/stat : 18980 (java) R 18977 18977 897 0 -1 4202560 7458 0 0 0 54 3 0 0 20 0 15 0 73678456 14314172416 20907 18446744073709551615 4194304 4196468 140727844401888 140136752452704 140136344066660 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18981] ppid=18977 vsize=13978684 memory=6935652631620640832 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18981/stat : 18981 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678457 14314172416 20907 18446744073709551615 4194304 4196468 140727844401888 140136667630352 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18982] ppid=18977 vsize=13978684 memory=7100839861566347365 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18982/stat : 18982 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678457 14314172416 20907 18446744073709551615 4194304 4196468 140727844401888 140136666577808 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18983] ppid=18977 vsize=13978684 memory=5859278125529317472 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18983/stat : 18983 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678457 14314172416 20907 18446744073709551615 4194304 4196468 140727844401888 140136665525264 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18984] ppid=18977 vsize=13978684 memory=6935649255759568981 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18984/stat : 18984 (java) S 18977 18977 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73678457 14314172416 20907 18446744073709551615 4194304 4196468 140727844401888 140136664472720 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18985] ppid=18977 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18985/stat : 18985 (java) S 18977 18977 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 73678459 14314172416 20907 18446744073709551615 4194304 4196468 140727844401888 140136226711536 140136748227202 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18986] ppid=18977 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18986/stat : 18986 (java) S 18977 18977 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73678459 14314172416 20907 18446744073709551615 4194304 4196468 140727844401888 140136225657760 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18987] ppid=18977 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18987/stat : 18987 (java) S 18977 18977 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73678459 14314172416 20907 18446744073709551615 4194304 4196468 140727844401888 140136224605168 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18988] ppid=18977 vsize=13978684 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18988/stat : 18988 (java) S 18977 18977 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73678462 14314172416 20907 18446744073709551615 4194304 4196468 140727844401888 140136223553744 140136748234651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18989] ppid=18977 vsize=13978684 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/18979/task/18989/stat : 18989 (java) R 18977 18977 897 0 -1 4202560 1453 0 0 0 25 0 0 0 20 0 15 0 73678462 14314172416 20907 18446744073709551615 4194304 4196468 140727844401888 140136222482376 140136729738959 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18990] ppid=18977 vsize=13978684 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/18979/task/18990/stat : 18990 (java) R 18977 18977 897 0 -1 4202560 1198 0 0 0 26 0 0 0 20 0 15 0 73678462 14314172416 20907 18446744073709551615 4194304 4196468 140727844401888 140136221435248 140136725963041 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18991] ppid=18977 vsize=13978684 memory=2529 CPUtime=0.29 cores=0,2,4,6
/proc/18979/task/18991/stat : 18991 (java) R 18977 18977 897 0 -1 1077944384 1687 0 0 0 29 0 0 0 20 0 15 0 73678462 14314172416 20907 18446744073709551615 4194304 4196468 140727844401888 140136220396272 140136748227202 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18992] ppid=18977 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18992/stat : 18992 (java) S 18977 18977 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73678462 14314172416 20907 18446744073709551615 4194304 4196468 140727844401888 140136219343968 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18993] ppid=18977 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18993/stat : 18993 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678465 14314172416 20907 18446744073709551615 4194304 4196468 140727844401888 140136218290480 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 85004 KiB

[startup+1.50111 s]
/proc/loadavg: 1.86 1.74 1.75 5/211 18993
/proc/meminfo: memFree=27391144/32770624 swapFree=67108860/67108860
[pid=18977] ppid=18974 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18977/stat : 18977 (xcsp3-exec) S 18974 18977 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73678448 9740288 344 18446744073709551615 4194304 5098028 140726106692384 140726106690488 140351055012476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38375424 140726106694009 140726106694213 140726106694213 140726106697707 0
/proc/18977/statm: 2378 344 289 221 0 87 0
[pid=18979] ppid=18977 vsize=13980732 memory=157664 CPUtime=4.03 cores=0,2,4,6
/proc/18979/stat : 18979 (java) S 18977 18977 897 0 -1 1077944320 27345 0 0 0 395 8 0 0 20 0 15 0 73678456 14316269568 39416 18446744073709551615 4194304 4196468 140727844401888 140727844384432 140136748216055 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
/proc/18979/statm: 3495183 39416 3198 1 0 3483476 0
[pid=18979/tid=18980] ppid=18977 vsize=13980732 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/18979/task/18980/stat : 18980 (java) R 18977 18977 897 0 -1 4202560 9334 0 0 0 133 4 0 0 20 0 15 0 73678456 14316269568 39416 18446744073709551615 4194304 4196468 140727844401888 140136752452600 140136350024612 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18981] ppid=18977 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18981/stat : 18981 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678457 14316269568 39416 18446744073709551615 4194304 4196468 140727844401888 140136667630352 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18982] ppid=18977 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18982/stat : 18982 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678457 14316269568 39416 18446744073709551615 4194304 4196468 140727844401888 140136666577808 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18983] ppid=18977 vsize=13980732 memory=83628 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18983/stat : 18983 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678457 14316269568 39416 18446744073709551615 4194304 4196468 140727844401888 140136665525264 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18984] ppid=18977 vsize=13980732 memory=163088498201682 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18984/stat : 18984 (java) S 18977 18977 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73678457 14316269568 39416 18446744073709551615 4194304 4196468 140727844401888 140136664472720 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18985] ppid=18977 vsize=13980732 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18985/stat : 18985 (java) S 18977 18977 897 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 73678459 14316269568 39416 18446744073709551615 4194304 4196468 140727844401888 140136226711536 140136748227202 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18986] ppid=18977 vsize=13980732 memory=280055892694752 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18986/stat : 18986 (java) S 18977 18977 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73678459 14316269568 39416 18446744073709551615 4194304 4196468 140727844401888 140136225657760 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18987] ppid=18977 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18987/stat : 18987 (java) S 18977 18977 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73678459 14316269568 39416 18446744073709551615 4194304 4196468 140727844401888 140136224605168 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18988] ppid=18977 vsize=13980732 memory=280055892713984 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18988/stat : 18988 (java) S 18977 18977 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73678462 14316269568 39416 18446744073709551615 4194304 4196468 140727844401888 140136223553744 140136748234651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18989] ppid=18977 vsize=13980732 memory=6944656592455097440 CPUtime=1.01 cores=0,2,4,6
/proc/18979/task/18989/stat : 18989 (java) R 18977 18977 897 0 -1 4202560 5609 0 0 0 100 1 0 0 20 0 15 0 73678462 14316269568 39416 18446744073709551615 4194304 4196468 140727844401888 140136222486408 140136729760495 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18990] ppid=18977 vsize=13980732 memory=6944656592455359545 CPUtime=1.02 cores=0,2,4,6
/proc/18979/task/18990/stat : 18990 (java) R 18977 18977 897 0 -1 4202560 7035 0 0 0 101 1 0 0 20 0 15 0 73678462 14316269568 39416 18446744073709551615 4194304 4196468 140727844401888 140136221435416 140136728047499 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18991] ppid=18977 vsize=13980732 memory=-2026666227646604569 CPUtime=0.6 cores=0,2,4,6
/proc/18979/task/18991/stat : 18991 (java) S 18977 18977 897 0 -1 1077944384 4009 0 0 0 59 1 0 0 20 0 15 0 73678462 14316269568 39416 18446744073709551615 4194304 4196468 140727844401888 140136220396272 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18992] ppid=18977 vsize=13980732 memory=5457 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18992/stat : 18992 (java) S 18977 18977 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73678462 14316269568 39416 18446744073709551615 4194304 4196468 140727844401888 140136219343968 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18993] ppid=18977 vsize=13980732 memory=4279353494052561728 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18993/stat : 18993 (java) S 18977 18977 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73678465 14316269568 39416 18446744073709551615 4194304 4196468 140727844401888 140136218290480 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
Current children cumulated CPU time: 4.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 159040 KiB

[startup+2.26408 s]
# the end of solver process 18977 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.92096 s, system=0.109122 s

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

[startup+1.60112 s]
/proc/loadavg: 1.86 1.74 1.75 5/211 18993
/proc/meminfo: memFree=27391144/32770624 swapFree=67108860/67108860
[pid=18977] ppid=18974 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18977/stat : 18977 (xcsp3-exec) S 18974 18977 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73678448 9740288 344 18446744073709551615 4194304 5098028 140726106692384 140726106690488 140351055012476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38375424 140726106694009 140726106694213 140726106694213 140726106697707 0
/proc/18977/statm: 2378 344 289 221 0 87 0
[pid=18979] ppid=18977 vsize=13980732 memory=165580 CPUtime=4.34 cores=0,2,4,6
/proc/18979/stat : 18979 (java) S 18977 18977 897 0 -1 1077944320 27987 0 0 0 426 8 0 0 20 0 15 0 73678456 14316269568 41395 18446744073709551615 4194304 4196468 140727844401888 140727844384432 140136748216055 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
/proc/18979/statm: 3495183 41395 3198 1 0 3483476 0
[pid=18979/tid=18980] ppid=18977 vsize=13980732 memory=1712 CPUtime=1.47 cores=0,2,4,6
/proc/18979/task/18980/stat : 18980 (java) R 18977 18977 897 0 -1 4202560 9340 0 0 0 143 4 0 0 20 0 15 0 73678456 14316269568 41395 18446744073709551615 4194304 4196468 140727844401888 140136752452600 140136350232876 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18981] ppid=18977 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18981/stat : 18981 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678457 14316269568 41395 18446744073709551615 4194304 4196468 140727844401888 140136667630352 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18982] ppid=18977 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18982/stat : 18982 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678457 14316269568 41395 18446744073709551615 4194304 4196468 140727844401888 140136666577808 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18983] ppid=18977 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18983/stat : 18983 (java) S 18977 18977 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73678457 14316269568 41395 18446744073709551615 4194304 4196468 140727844401888 140136665525264 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18984] ppid=18977 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18984/stat : 18984 (java) S 18977 18977 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73678457 14316269568 41395 18446744073709551615 4194304 4196468 140727844401888 140136664472720 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18985] ppid=18977 vsize=13980732 memory=2000 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18985/stat : 18985 (java) S 18977 18977 897 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 73678459 14316269568 41395 18446744073709551615 4194304 4196468 140727844401888 140136226711536 140136748227202 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18986] ppid=18977 vsize=13980732 memory=10996 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18986/stat : 18986 (java) S 18977 18977 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73678459 14316269568 41395 18446744073709551615 4194304 4196468 140727844401888 140136225657760 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18987] ppid=18977 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18987/stat : 18987 (java) S 18977 18977 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73678459 14316269568 41395 18446744073709551615 4194304 4196468 140727844401888 140136224605168 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18988] ppid=18977 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18988/stat : 18988 (java) S 18977 18977 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73678462 14316269568 41395 18446744073709551615 4194304 4196468 140727844401888 140136223553744 140136748234651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18989] ppid=18977 vsize=13980732 memory=0 CPUtime=1.11 cores=0,2,4,6
/proc/18979/task/18989/stat : 18989 (java) R 18977 18977 897 0 -1 4202560 6034 0 0 0 110 1 0 0 20 0 15 0 73678462 14316269568 41395 18446744073709551615 4194304 4196468 140727844401888 140136222486408 140136733381643 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18990] ppid=18977 vsize=13980732 memory=-6654736624938269017 CPUtime=1.12 cores=0,2,4,6
/proc/18979/task/18990/stat : 18990 (java) R 18977 18977 897 0 -1 4202560 7174 0 0 0 111 1 0 0 20 0 15 0 73678462 14316269568 41395 18446744073709551615 4194304 4196468 140727844401888 140136221435360 140136734280001 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18991] ppid=18977 vsize=13980732 memory=-6368199152461293606 CPUtime=0.61 cores=0,2,4,6
/proc/18979/task/18991/stat : 18991 (java) S 18977 18977 897 0 -1 1077944384 4081 0 0 0 60 1 0 0 20 0 15 0 73678462 14316269568 41395 18446744073709551615 4194304 4196468 140727844401888 140136220396272 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18992] ppid=18977 vsize=13980732 memory=-7161732098441943118 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18992/stat : 18992 (java) S 18977 18977 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73678462 14316269568 41395 18446744073709551615 4194304 4196468 140727844401888 140136219343968 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18993] ppid=18977 vsize=13980732 memory=4955585388230777962 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18993/stat : 18993 (java) S 18977 18977 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73678465 14316269568 41395 18446744073709551615 4194304 4196468 140727844401888 140136218290480 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
Current children cumulated CPU time: 4.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 166956 KiB

[startup+2.0011 s]*
/proc/loadavg: 1.86 1.74 1.75 5/211 18993
/proc/meminfo: memFree=27285040/32770624 swapFree=67108860/67108860
[pid=18977] ppid=18974 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18977/stat : 18977 (xcsp3-exec) S 18974 18977 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73678448 9740288 344 18446744073709551615 4194304 5098028 140726106692384 140726106690488 140351055012476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38375424 140726106694009 140726106694213 140726106694213 140726106697707 0
/proc/18977/statm: 2378 344 289 221 0 87 0
[pid=18979] ppid=18977 vsize=13980732 memory=223420 CPUtime=5.52 cores=0,2,4,6
/proc/18979/stat : 18979 (java) S 18977 18977 897 0 -1 1077944320 30492 0 0 0 542 10 0 0 20 0 15 0 73678456 14316269568 55855 18446744073709551615 4194304 4196468 140727844401888 140727844384432 140136748216055 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
/proc/18979/statm: 3495183 55855 3223 1 0 3483476 0
[pid=18979/tid=18980] ppid=18977 vsize=13980732 memory=-8774313645642428999 CPUtime=1.87 cores=0,2,4,6
/proc/18979/task/18980/stat : 18980 (java) R 18977 18977 897 0 -1 4202560 9412 0 0 0 182 5 0 0 20 0 15 0 73678456 14316269568 55855 18446744073709551615 4194304 4196468 140727844401888 140136752455168 140136350873751 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18981] ppid=18977 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18981/stat : 18981 (java) S 18977 18977 897 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 73678457 14316269568 55855 18446744073709551615 4194304 4196468 140727844401888 140136667630352 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18982] ppid=18977 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18982/stat : 18982 (java) S 18977 18977 897 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 73678457 14316269568 55855 18446744073709551615 4194304 4196468 140727844401888 140136666577808 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18983] ppid=18977 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18983/stat : 18983 (java) S 18977 18977 897 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 73678457 14316269568 55855 18446744073709551615 4194304 4196468 140727844401888 140136665525264 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18984] ppid=18977 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18984/stat : 18984 (java) S 18977 18977 897 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 73678457 14316269568 55855 18446744073709551615 4194304 4196468 140727844401888 140136664472720 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18985] ppid=18977 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18985/stat : 18985 (java) S 18977 18977 897 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 73678459 14316269568 55855 18446744073709551615 4194304 4196468 140727844401888 140136226711536 140136748227202 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18986] ppid=18977 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18986/stat : 18986 (java) S 18977 18977 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 73678459 14316269568 55855 18446744073709551615 4194304 4196468 140727844401888 140136225657760 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18987] ppid=18977 vsize=13980732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18987/stat : 18987 (java) S 18977 18977 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 73678459 14316269568 55855 18446744073709551615 4194304 4196468 140727844401888 140136224605168 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18988] ppid=18977 vsize=13980732 memory=3472285459167463791 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18988/stat : 18988 (java) S 18977 18977 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73678462 14316269568 55855 18446744073709551615 4194304 4196468 140727844401888 140136223553744 140136748234651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18989] ppid=18977 vsize=13980732 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/18979/task/18989/stat : 18989 (java) R 18977 18977 897 0 -1 4202560 6163 0 0 0 143 1 0 0 20 0 15 0 73678462 14316269568 55855 18446744073709551615 4194304 4196468 140727844401888 140136222501360 140136733341494 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18990] ppid=18977 vsize=13980732 memory=3471202396320837679 CPUtime=1.52 cores=0,2,4,6
/proc/18979/task/18990/stat : 18990 (java) R 18977 18977 897 0 -1 4202560 8180 0 0 0 151 1 0 0 20 0 15 0 73678462 14316269568 55855 18446744073709551615 4194304 4196468 140727844401888 140136221429832 140136731702123 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18991] ppid=18977 vsize=13980732 memory=6655300316396806240 CPUtime=0.63 cores=0,2,4,6
/proc/18979/task/18991/stat : 18991 (java) S 18977 18977 897 0 -1 1077944384 4539 0 0 0 62 1 0 0 20 0 15 0 73678462 14316269568 55855 18446744073709551615 4194304 4196468 140727844401888 140136220396272 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18992] ppid=18977 vsize=13980732 memory=9023629670928638048 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18992/stat : 18992 (java) S 18977 18977 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73678462 14316269568 55855 18446744073709551615 4194304 4196468 140727844401888 140136219343968 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18993] ppid=18977 vsize=13980732 memory=3761667058215578532 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18993/stat : 18993 (java) S 18977 18977 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73678465 14316269568 55855 18446744073709551615 4194304 4196468 140727844401888 140136218290480 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
Current children cumulated CPU time: 5.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 224796 KiB

[startup+2.20083 s]
/proc/loadavg: 1.86 1.74 1.75 5/211 18993
/proc/meminfo: memFree=27285040/32770624 swapFree=67108860/67108860
[pid=18977] ppid=18974 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18977/stat : 18977 (xcsp3-exec) S 18974 18977 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73678448 9740288 344 18446744073709551615 4194304 5098028 140726106692384 140726106690488 140351055012476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38375424 140726106694009 140726106694213 140726106694213 140726106697707 0
/proc/18977/statm: 2378 344 289 221 0 87 0
[pid=18979] ppid=18977 vsize=13980732 memory=225140 CPUtime=5.96 cores=0,2,4,6
/proc/18979/stat : 18979 (java) S 18977 18977 897 0 -1 1077944320 32523 0 0 0 586 10 0 0 20 0 14 0 73678456 14316269568 56285 18446744073709551615 4194304 4196468 140727844401888 140727844384432 140136748216055 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
/proc/18979/statm: 3495183 56285 3225 1 0 3483476 0
[pid=18979/tid=18980] ppid=18977 vsize=13980732 memory=288230376152420417 CPUtime=2.02 cores=0,2,4,6
/proc/18979/task/18980/stat : 18980 (java) S 18977 18977 897 0 -1 1077944384 9494 0 0 0 197 5 0 0 20 0 14 0 73678456 14316269568 56285 18446744073709551615 4194304 4196468 140727844401888 140136752458896 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18981] ppid=18977 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18981/stat : 18981 (java) S 18977 18977 897 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 14 0 73678457 14316269568 56285 18446744073709551615 4194304 4196468 140727844401888 140136667630352 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18982] ppid=18977 vsize=13980732 memory=3537 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18982/stat : 18982 (java) S 18977 18977 897 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 14 0 73678457 14316269568 56285 18446744073709551615 4194304 4196468 140727844401888 140136666577808 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18983] ppid=18977 vsize=13980732 memory=280055892966144 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18983/stat : 18983 (java) S 18977 18977 897 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 14 0 73678457 14316269568 56285 18446744073709551615 4194304 4196468 140727844401888 140136665525264 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18984] ppid=18977 vsize=13980732 memory=103 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18984/stat : 18984 (java) S 18977 18977 897 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 14 0 73678457 14316269568 56285 18446744073709551615 4194304 4196468 140727844401888 140136664472720 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18985] ppid=18977 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18985/stat : 18985 (java) S 18977 18977 897 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 14 0 73678459 14316269568 56285 18446744073709551615 4194304 4196468 140727844401888 140136226711744 140136748227202 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18986] ppid=18977 vsize=13980732 memory=7228392126466252884 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18986/stat : 18986 (java) S 18977 18977 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 14 0 73678459 14316269568 56285 18446744073709551615 4194304 4196468 140727844401888 140136225657760 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18987] ppid=18977 vsize=13980732 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18987/stat : 18987 (java) S 18977 18977 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 14 0 73678459 14316269568 56285 18446744073709551615 4194304 4196468 140727844401888 140136224605168 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18988] ppid=18977 vsize=13980732 memory=4639059873309409380 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18988/stat : 18988 (java) S 18977 18977 897 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 14 0 73678462 14316269568 56285 18446744073709551615 4194304 4196468 140727844401888 140136223553456 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18989] ppid=18977 vsize=13980732 memory=-5874771483550381248 CPUtime=1.54 cores=0,2,4,6
/proc/18979/task/18989/stat : 18989 (java) S 18977 18977 897 0 -1 1077944384 6202 0 0 0 153 1 0 0 20 0 14 0 73678462 14316269568 56285 18446744073709551615 4194304 4196468 140727844401888 140136222501360 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18990] ppid=18977 vsize=13980732 memory=4951091520830867572 CPUtime=1.71 cores=0,2,4,6
/proc/18979/task/18990/stat : 18990 (java) R 18977 18977 897 0 -1 4202560 10038 0 0 0 170 1 0 0 20 0 14 0 73678462 14316269568 56285 18446744073709551615 4194304 4196468 140727844401888 140136221429832 140136733333216 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18991] ppid=18977 vsize=13980732 memory=6944656592455360569 CPUtime=0.63 cores=0,2,4,6
/proc/18979/task/18991/stat : 18991 (java) S 18977 18977 897 0 -1 1077944384 4551 0 0 0 62 1 0 0 20 0 14 0 73678462 14316269568 56285 18446744073709551615 4194304 4196468 140727844401888 140136220396272 140136748227202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
[pid=18979/tid=18992] ppid=18977 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18979/task/18992/stat : 18992 (java) S 18977 18977 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 73678462 14316269568 56285 18446744073709551615 4194304 4196468 140727844401888 140136219343968 140136748226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140727844409777 140727844409953 140727844409953 140727844413391 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 226516 KiB

Child status: 0
Real time (s): 2.26412
CPU time (s): 6.03008
CPU user time (s): 5.92096
CPU system time (s): 0.109122
CPU usage (%): 266.332
Max. virtual memory (cumulated for all children) (KiB): 13992144
Max. memory (cumulated for all children) (KiB): 226516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.92096
system time used= 0.109122
maximum resident set size= 226904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33079
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= 1893
involuntary context switches= 24


# summary of solver processes directly reported to runsolver:
#   pid: 18977
#   total CPU time (s): 6.03008
#   total CPU user time (s): 5.92096
#   total CPU system time (s): 0.109122

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035689 second user time and 0.067053 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml
MD5SUM	a2156ca8d664195666e0b5da895e2590
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	3
Best CPU time to get the best result obtained on this benchmark	2.9995999
Satisfiable
(Un)Satisfiability was proved
Number of variables	662
Number of constraints	4181
Number of domains	1
Minimum domain size	662
Maximum domain size	662
Distribution of domain sizes	[{"size":662,"count":662}]
Minimum variable degree	2
Maximum variable degree	24
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":7,"count":6},{"degree":8,"count":4},{"degree":9,"count":32},{"degree":10,"count":59},{"degree":11,"count":48},{"degree":12,"count":58},{"degree":13,"count":88},{"degree":14,"count":129},{"degree":15,"count":115},{"degree":16,"count":41},{"degree":17,"count":31},{"degree":18,"count":16},{"degree":19,"count":14},{"degree":20,"count":4},{"degree":21,"count":6},{"degree":22,"count":4},{"degree":23,"count":4},{"degree":24,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":4181}]
Number of extensional constraints	0
Number of intensional constraints	4181
Distribution of constraint types	[{"type":"intension","count":4181}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4272049

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
