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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT	29.4746	25.358999
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 (15024 MiB free)
  memory of node 1: 16384 MiB (15337 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282553-1503127758/watcher-4282553-1503127758 -o /tmp/evaluation-result-4282553-1503127758/solver-4282553-1503127758 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8616 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 674720095 HOME/instance-4282553-1503127758.xml 

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

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

solver pid=14188, runsolver pid=14185

[startup+0.100147 s]*
/proc/loadavg: 2.80 2.24 1.99 4/196 14189
/proc/meminfo: memFree=31090784/32770624 swapFree=67105588/67108860
[pid=14188] ppid=14185 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14188/stat : 14188 (xcsp3-exec) S 14185 14188 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114970924 9740288 345 18446744073709551615 4194304 5098028 140736422442608 140736422440712 140087665058428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31256576 140736422445433 140736422445637 140736422445637 140736422449131 0
/proc/14188/statm: 2378 345 289 221 0 87 0
[pid=14190] ppid=14188 vsize=11642956 memory=8040 CPUtime=0 cores=1,3,5,7
/proc/14190/stat : 14190 (java) S 14188 14188 8557 0 -1 1077944320 1756 0 0 0 0 0 0 0 20 0 2 0 114970934 11922386944 2010 18446744073709551615 4194304 4196468 140723650096736 140723650079280 140007798861559 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
/proc/14190/statm: 2910739 2010 1142 1 0 2900709 0
[pid=14190/tid=14191] ppid=14188 vsize=11657624 memory=-8713483618642589530 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14191/stat : 14191 (java) R 14188 14188 8557 0 -1 4202560 733 0 0 0 0 0 0 0 20 0 2 0 114970934 11937406976 2208 18446744073709551615 4194304 4196468 140723650096736 140007803103648 140007791151008 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11652468 KiB
Current children cumulated memory: 9420 KiB

[startup+0.209433 s]*
/proc/loadavg: 2.80 2.24 1.99 4/211 14204
/proc/meminfo: memFree=31079000/32770624 swapFree=67105588/67108860
[pid=14188] ppid=14185 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14188/stat : 14188 (xcsp3-exec) S 14185 14188 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114970924 9740288 345 18446744073709551615 4194304 5098028 140736422442608 140736422440712 140087665058428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31256576 140736422445433 140736422445637 140736422445637 140736422449131 0
/proc/14188/statm: 2378 345 289 221 0 87 0
[pid=14190] ppid=14188 vsize=13974352 memory=22772 CPUtime=0.07 cores=1,3,5,7
/proc/14190/stat : 14190 (java) S 14188 14188 8557 0 -1 1077944320 5139 0 0 0 6 1 0 0 20 0 15 0 114970934 14309736448 5693 18446744073709551615 4194304 4196468 140723650096736 140723650079280 140007798861559 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
/proc/14190/statm: 3493588 5693 2720 1 0 3482964 0
[pid=14190/tid=14191] ppid=14188 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/14190/task/14191/stat : 14191 (java) R 14188 14188 8557 0 -1 4202560 3303 0 0 0 5 0 0 0 20 0 15 0 114970934 14309736448 5693 18446744073709551615 4194304 4196468 140723650096736 140007803095272 140007798883485 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14192] ppid=14188 vsize=13974352 memory=8893 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14192/stat : 14192 (java) S 14188 14188 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114970935 14309736448 5693 18446744073709551615 4194304 4196468 140723650096736 140007755827600 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14193] ppid=14188 vsize=13974352 memory=3689209471423358624 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14193/stat : 14193 (java) S 14188 14188 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114970935 14309736448 5693 18446744073709551615 4194304 4196468 140723650096736 140007754774800 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14194] ppid=14188 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14194/stat : 14194 (java) S 14188 14188 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114970935 14309736448 5693 18446744073709551615 4194304 4196468 140723650096736 140007753722512 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14195] ppid=14188 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14195/stat : 14195 (java) S 14188 14188 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114970935 14309736448 5693 18446744073709551615 4194304 4196468 140723650096736 140007752669712 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14196] ppid=14188 vsize=13974352 memory=139932671551104 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14196/stat : 14196 (java) S 14188 14188 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114970936 14309736448 5693 18446744073709551615 4194304 4196468 140723650096736 140007276800624 140007798872706 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14197] ppid=14188 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14197/stat : 14197 (java) S 14188 14188 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114970937 14309736448 5693 18446744073709551615 4194304 4196468 140723650096736 140007275746592 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14198] ppid=14188 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14198/stat : 14198 (java) S 14188 14188 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114970937 14309736448 5693 18446744073709551615 4194304 4196468 140723650096736 140007274694256 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14199] ppid=14188 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14199/stat : 14199 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14309736448 5693 18446744073709551615 4194304 4196468 140723650096736 140007273642576 140007798880155 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14200] ppid=14188 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14200/stat : 14200 (java) S 14188 14188 8557 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 114970939 14309736448 5693 18446744073709551615 4194304 4196468 140723650096736 140007272589424 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14201] ppid=14188 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14201/stat : 14201 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14309736448 5693 18446744073709551615 4194304 4196468 140723650096736 140007271536624 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14202] ppid=14188 vsize=13974352 memory=139932671551104 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14202/stat : 14202 (java) S 14188 14188 8557 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 114970939 14309736448 5693 18446744073709551615 4194304 4196468 140723650096736 140007270484336 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14203] ppid=14188 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14203/stat : 14203 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14309736448 5693 18446744073709551615 4194304 4196468 140723650096736 140007269431776 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14204] ppid=14188 vsize=13974352 memory=139932671551104 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14204/stat : 14204 (java) S 14188 14188 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114970945 14309736448 5693 18446744073709551615 4194304 4196468 140723650096736 140007268379568 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24152 KiB

[startup+0.31008 s]*
/proc/loadavg: 2.80 2.24 1.99 6/211 14204
/proc/meminfo: memFree=31063132/32770624 swapFree=67105588/67108860
[pid=14188] ppid=14185 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14188/stat : 14188 (xcsp3-exec) S 14185 14188 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114970924 9740288 345 18446744073709551615 4194304 5098028 140736422442608 140736422440712 140087665058428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31256576 140736422445433 140736422445637 140736422445637 140736422449131 0
/proc/14188/statm: 2378 345 289 221 0 87 0
[pid=14190] ppid=14188 vsize=13974352 memory=36976 CPUtime=0.25 cores=1,3,5,7
/proc/14190/stat : 14190 (java) S 14188 14188 8557 0 -1 1077944320 8798 0 0 0 22 3 0 0 20 0 15 0 114970934 14309736448 9244 18446744073709551615 4194304 4196468 140723650096736 140723650079280 140007798861559 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
/proc/14190/statm: 3493588 9244 2973 1 0 3482964 0
[pid=14190/tid=14191] ppid=14188 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/14190/task/14191/stat : 14191 (java) R 14188 14188 8557 0 -1 4202560 6038 0 0 0 13 2 0 0 20 0 15 0 114970934 14309736448 9244 18446744073709551615 4194304 4196468 140723650096736 140007803089328 140007782942046 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14192] ppid=14188 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14192/stat : 14192 (java) S 14188 14188 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114970935 14309736448 9244 18446744073709551615 4194304 4196468 140723650096736 140007755827600 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14193] ppid=14188 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14193/stat : 14193 (java) S 14188 14188 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114970935 14309736448 9244 18446744073709551615 4194304 4196468 140723650096736 140007754774800 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14194] ppid=14188 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14194/stat : 14194 (java) S 14188 14188 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114970935 14309736448 9244 18446744073709551615 4194304 4196468 140723650096736 140007753722512 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14195] ppid=14188 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14195/stat : 14195 (java) S 14188 14188 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114970935 14309736448 9244 18446744073709551615 4194304 4196468 140723650096736 140007752669712 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14196] ppid=14188 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14196/stat : 14196 (java) S 14188 14188 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114970936 14309736448 9244 18446744073709551615 4194304 4196468 140723650096736 140007276800624 140007798872706 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14197] ppid=14188 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14197/stat : 14197 (java) S 14188 14188 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114970937 14309736448 9244 18446744073709551615 4194304 4196468 140723650096736 140007275746592 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14198] ppid=14188 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14198/stat : 14198 (java) S 14188 14188 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114970937 14309736448 9244 18446744073709551615 4194304 4196468 140723650096736 140007274694256 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14199] ppid=14188 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14199/stat : 14199 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14309736448 9244 18446744073709551615 4194304 4196468 140723650096736 140007273642576 140007798880155 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14200] ppid=14188 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14190/task/14200/stat : 14200 (java) S 14188 14188 8557 0 -1 1077944384 485 0 0 0 1 0 0 0 20 0 15 0 114970939 14309736448 9244 18446744073709551615 4194304 4196468 140723650096736 140007272589424 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14201] ppid=14188 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14190/task/14201/stat : 14201 (java) S 14188 14188 8557 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 15 0 114970939 14309736448 9244 18446744073709551615 4194304 4196468 140723650096736 140007271536624 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14202] ppid=14188 vsize=13974352 memory=139932671551104 CPUtime=0.05 cores=1,3,5,7
/proc/14190/task/14202/stat : 14202 (java) S 14188 14188 8557 0 -1 1077944384 690 0 0 0 5 0 0 0 20 0 15 0 114970939 14309736448 9244 18446744073709551615 4194304 4196468 140723650096736 140007270484336 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14203] ppid=14188 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14203/stat : 14203 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14309736448 9244 18446744073709551615 4194304 4196468 140723650096736 140007269431776 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14204] ppid=14188 vsize=13974352 memory=139932671551104 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14204/stat : 14204 (java) S 14188 14188 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114970945 14309736448 9244 18446744073709551615 4194304 4196468 140723650096736 140007268379568 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38356 KiB

[startup+0.707502 s]
/proc/loadavg: 2.80 2.24 1.99 5/211 14204
/proc/meminfo: memFree=31046712/32770624 swapFree=67105588/67108860
[pid=14188] ppid=14185 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14188/stat : 14188 (xcsp3-exec) S 14185 14188 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114970924 9740288 345 18446744073709551615 4194304 5098028 140736422442608 140736422440712 140087665058428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31256576 140736422445433 140736422445637 140736422445637 140736422449131 0
/proc/14188/statm: 2378 345 289 221 0 87 0
[pid=14190] ppid=14188 vsize=13978684 memory=83888 CPUtime=1.33 cores=1,3,5,7
/proc/14190/stat : 14190 (java) S 14188 14188 8557 0 -1 1077944320 13614 0 0 0 128 5 0 0 20 0 15 0 114970934 14314172416 20972 18446744073709551615 4194304 4196468 140723650096736 140723650079280 140007798861559 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
/proc/14190/statm: 3494671 20972 3168 1 0 3482964 0
[pid=14190/tid=14191] ppid=14188 vsize=13978684 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/14190/task/14191/stat : 14191 (java) R 14188 14188 8557 0 -1 1077944384 7932 0 0 0 50 3 0 0 20 0 15 0 114970934 14314172416 20972 18446744073709551615 4194304 4196468 140723650096736 140007803099872 140007798871765 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14192] ppid=14188 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14192/stat : 14192 (java) S 14188 14188 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114970935 14314172416 20972 18446744073709551615 4194304 4196468 140723650096736 140007755827600 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14193] ppid=14188 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14193/stat : 14193 (java) S 14188 14188 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114970935 14314172416 20972 18446744073709551615 4194304 4196468 140723650096736 140007754774800 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14194] ppid=14188 vsize=13978684 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14194/stat : 14194 (java) S 14188 14188 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114970935 14314172416 20972 18446744073709551615 4194304 4196468 140723650096736 140007753722512 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14195] ppid=14188 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14195/stat : 14195 (java) S 14188 14188 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114970935 14314172416 20972 18446744073709551615 4194304 4196468 140723650096736 140007752669712 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14196] ppid=14188 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14196/stat : 14196 (java) S 14188 14188 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114970936 14314172416 20972 18446744073709551615 4194304 4196468 140723650096736 140007276800624 140007798872706 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14197] ppid=14188 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14197/stat : 14197 (java) S 14188 14188 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114970937 14314172416 20972 18446744073709551615 4194304 4196468 140723650096736 140007275746592 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14198] ppid=14188 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14198/stat : 14198 (java) S 14188 14188 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114970937 14314172416 20972 18446744073709551615 4194304 4196468 140723650096736 140007274694256 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14199] ppid=14188 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14199/stat : 14199 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14314172416 20972 18446744073709551615 4194304 4196468 140723650096736 140007273642576 140007798880155 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14200] ppid=14188 vsize=13978684 memory=279865035319856 CPUtime=0.26 cores=1,3,5,7
/proc/14190/task/14200/stat : 14200 (java) R 14188 14188 8557 0 -1 4202560 1572 0 0 0 26 0 0 0 20 0 15 0 114970939 14314172416 20972 18446744073709551615 4194304 4196468 140723650096736 140007272578656 140007782761959 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14201] ppid=14188 vsize=13978684 memory=4 CPUtime=0.23 cores=1,3,5,7
/proc/14190/task/14201/stat : 14201 (java) R 14188 14188 8557 0 -1 4202560 1081 0 0 0 23 0 0 0 20 0 15 0 114970939 14314172416 20972 18446744073709551615 4194304 4196468 140723650096736 140007271517640 140007780055546 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14202] ppid=14188 vsize=13978684 memory=279865035322020 CPUtime=0.28 cores=1,3,5,7
/proc/14190/task/14202/stat : 14202 (java) R 14188 14188 8557 0 -1 4202560 1722 0 0 0 28 0 0 0 20 0 15 0 114970939 14314172416 20972 18446744073709551615 4194304 4196468 140723650096736 140007270484336 140007780271709 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14203] ppid=14188 vsize=13978684 memory=15348 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14203/stat : 14203 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14314172416 20972 18446744073709551615 4194304 4196468 140723650096736 140007269431776 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14204] ppid=14188 vsize=13978684 memory=37204 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14204/stat : 14204 (java) S 14188 14188 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114970945 14314172416 20972 18446744073709551615 4194304 4196468 140723650096736 140007268379568 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 85268 KiB

[startup+1.50083 s]
/proc/loadavg: 2.81 2.25 1.99 5/211 14204
/proc/meminfo: memFree=30976344/32770624 swapFree=67105588/67108860
[pid=14188] ppid=14185 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14188/stat : 14188 (xcsp3-exec) S 14185 14188 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114970924 9740288 345 18446744073709551615 4194304 5098028 140736422442608 140736422440712 140087665058428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31256576 140736422445433 140736422445637 140736422445637 140736422449131 0
/proc/14188/statm: 2378 345 289 221 0 87 0
[pid=14190] ppid=14188 vsize=13980732 memory=161864 CPUtime=3.8 cores=1,3,5,7
/proc/14190/stat : 14190 (java) S 14188 14188 8557 0 -1 1077944320 19508 0 0 0 373 7 0 0 20 0 15 0 114970934 14316269568 40466 18446744073709551615 4194304 4196468 140723650096736 140723650079280 140007798861559 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
/proc/14190/statm: 3495183 40466 3201 1 0 3483476 0
[pid=14190/tid=14191] ppid=14188 vsize=13980732 memory=0 CPUtime=1.32 cores=1,3,5,7
/proc/14190/task/14191/stat : 14191 (java) R 14188 14188 8557 0 -1 4202560 9408 0 0 0 127 5 0 0 20 0 15 0 114970934 14316269568 40466 18446744073709551615 4194304 4196468 140723650096736 140007803098808 140007434052652 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14192] ppid=14188 vsize=13980732 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14192/stat : 14192 (java) S 14188 14188 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 40466 18446744073709551615 4194304 4196468 140723650096736 140007755827600 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14193] ppid=14188 vsize=13980732 memory=9215612443221087420 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14193/stat : 14193 (java) S 14188 14188 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 40466 18446744073709551615 4194304 4196468 140723650096736 140007754774800 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14194] ppid=14188 vsize=13980732 memory=-5874771483550381248 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14194/stat : 14194 (java) S 14188 14188 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 40466 18446744073709551615 4194304 4196468 140723650096736 140007753722512 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14195] ppid=14188 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14195/stat : 14195 (java) S 14188 14188 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 40466 18446744073709551615 4194304 4196468 140723650096736 140007752669712 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14196] ppid=14188 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14196/stat : 14196 (java) S 14188 14188 8557 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 114970936 14316269568 40466 18446744073709551615 4194304 4196468 140723650096736 140007276800624 140007798872706 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14197] ppid=14188 vsize=13980732 memory=6788 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14197/stat : 14197 (java) S 14188 14188 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114970937 14316269568 40466 18446744073709551615 4194304 4196468 140723650096736 140007275746592 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14198] ppid=14188 vsize=13980732 memory=139932671560577 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14198/stat : 14198 (java) S 14188 14188 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114970937 14316269568 40466 18446744073709551615 4194304 4196468 140723650096736 140007274694256 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14199] ppid=14188 vsize=13980732 memory=4584 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14199/stat : 14199 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14316269568 40466 18446744073709551615 4194304 4196468 140723650096736 140007273642576 140007798880155 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14200] ppid=14188 vsize=13980732 memory=872 CPUtime=0.93 cores=1,3,5,7
/proc/14190/task/14200/stat : 14200 (java) S 14188 14188 8557 0 -1 1077944384 2723 0 0 0 93 0 0 0 20 0 15 0 114970939 14316269568 40466 18446744073709551615 4194304 4196468 140723650096736 140007272589424 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14201] ppid=14188 vsize=13980732 memory=1992 CPUtime=0.92 cores=1,3,5,7
/proc/14190/task/14201/stat : 14201 (java) S 14188 14188 8557 0 -1 1077944384 2787 0 0 0 92 0 0 0 20 0 15 0 114970939 14316269568 40466 18446744073709551615 4194304 4196468 140723650096736 140007271536624 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14202] ppid=14188 vsize=13980732 memory=1164 CPUtime=0.58 cores=1,3,5,7

################
# More data... #
################

/proc/14188/stat : 14188 (xcsp3-exec) S 14185 14188 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114970924 9740288 345 18446744073709551615 4194304 5098028 140736422442608 140736422440712 140087665058428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31256576 140736422445433 140736422445637 140736422445637 140736422449131 0
/proc/14188/statm: 2378 345 289 221 0 87 0
[pid=14190] ppid=14188 vsize=13980732 memory=211296 CPUtime=28.1 cores=1,3,5,7
/proc/14190/stat : 14190 (java) S 14188 14188 8557 0 -1 1077944320 36006 0 0 0 2799 11 0 0 20 0 15 0 114970934 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140723650079280 140007798861559 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
/proc/14190/statm: 3495183 52824 3239 1 0 3483476 0
[pid=14190/tid=14191] ppid=14188 vsize=13980732 memory=2732 CPUtime=23.81 cores=1,3,5,7
/proc/14190/task/14191/stat : 14191 (java) R 14188 14188 8557 0 -1 4202560 10948 0 0 0 2376 5 0 0 20 0 15 0 114970934 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007803098432 140007435213456 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14192] ppid=14188 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14192/stat : 14192 (java) S 14188 14188 8557 0 -1 1077944384 869 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007755827600 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14193] ppid=14188 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14193/stat : 14193 (java) S 14188 14188 8557 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007754774800 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14194] ppid=14188 vsize=13980732 memory=211296 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14194/stat : 14194 (java) S 14188 14188 8557 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007753722512 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14195] ppid=14188 vsize=13980732 memory=-5942887328402732224 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14195/stat : 14195 (java) S 14188 14188 8557 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007752669712 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14196] ppid=14188 vsize=13980732 memory=-7533522213388100735 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14196/stat : 14196 (java) S 14188 14188 8557 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 15 0 114970936 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007276800624 140007798872706 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14197] ppid=14188 vsize=13980732 memory=-2629627693499012510 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14197/stat : 14197 (java) S 14188 14188 8557 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 114970937 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007275746592 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14198] ppid=14188 vsize=13980732 memory=-9108684669924967205 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14198/stat : 14198 (java) S 14188 14188 8557 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 114970937 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007274694256 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14199] ppid=14188 vsize=13980732 memory=-8033973737701895300 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14199/stat : 14199 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007273642576 140007798880155 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14200] ppid=14188 vsize=13980732 memory=-9102473451428748661 CPUtime=1.84 cores=1,3,5,7
/proc/14190/task/14200/stat : 14200 (java) S 14188 14188 8557 0 -1 1077944384 7874 0 0 0 183 1 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007272589424 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14201] ppid=14188 vsize=13980732 memory=-6808994639057120388 CPUtime=1.72 cores=1,3,5,7
/proc/14190/task/14201/stat : 14201 (java) S 14188 14188 8557 0 -1 1077944384 6704 0 0 0 171 1 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007271536624 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14202] ppid=14188 vsize=13980732 memory=7649399397233538097 CPUtime=0.64 cores=1,3,5,7
/proc/14190/task/14202/stat : 14202 (java) S 14188 14188 8557 0 -1 1077944384 6385 0 0 0 64 0 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007270484336 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14203] ppid=14188 vsize=13980732 memory=7649399358427903025 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14203/stat : 14203 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007269431776 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14204] ppid=14188 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14204/stat : 14204 (java) S 14188 14188 8557 0 -1 1077944384 816 0 0 0 0 0 0 0 20 0 15 0 114970945 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007268379568 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
Current children cumulated CPU time: 28.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212676 KiB

[startup+24.8007 s]
/proc/loadavg: 2.58 2.24 1.99 3/211 14204
/proc/meminfo: memFree=30890948/32770624 swapFree=67105588/67108860
[pid=14188] ppid=14185 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14188/stat : 14188 (xcsp3-exec) S 14185 14188 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114970924 9740288 345 18446744073709551615 4194304 5098028 140736422442608 140736422440712 140087665058428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31256576 140736422445433 140736422445637 140736422445637 140736422449131 0
/proc/14188/statm: 2378 345 289 221 0 87 0
[pid=14190] ppid=14188 vsize=13980732 memory=211296 CPUtime=28.9 cores=1,3,5,7
/proc/14190/stat : 14190 (java) S 14188 14188 8557 0 -1 1077944320 36012 0 0 0 2879 11 0 0 20 0 15 0 114970934 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140723650079280 140007798861559 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
/proc/14190/statm: 3495183 52824 3239 1 0 3483476 0
[pid=14190/tid=14191] ppid=14188 vsize=13980732 memory=1240 CPUtime=24.6 cores=1,3,5,7
/proc/14190/task/14191/stat : 14191 (java) R 14188 14188 8557 0 -1 4202560 10954 0 0 0 2455 5 0 0 20 0 15 0 114970934 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007803098432 140007434071984 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14192] ppid=14188 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14192/stat : 14192 (java) S 14188 14188 8557 0 -1 1077944384 869 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007755827600 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14193] ppid=14188 vsize=13980732 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14193/stat : 14193 (java) S 14188 14188 8557 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007754774800 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14194] ppid=14188 vsize=13980732 memory=644 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14194/stat : 14194 (java) S 14188 14188 8557 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007753722512 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14195] ppid=14188 vsize=13980732 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14195/stat : 14195 (java) S 14188 14188 8557 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007752669712 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14196] ppid=14188 vsize=13980732 memory=956 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14196/stat : 14196 (java) S 14188 14188 8557 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 15 0 114970936 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007276800624 140007798872706 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14197] ppid=14188 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14197/stat : 14197 (java) S 14188 14188 8557 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 114970937 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007275746592 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14198] ppid=14188 vsize=13980732 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14198/stat : 14198 (java) S 14188 14188 8557 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 114970937 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007274694256 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14199] ppid=14188 vsize=13980732 memory=4088 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14199/stat : 14199 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007273642576 140007798880155 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14200] ppid=14188 vsize=13980732 memory=1620 CPUtime=1.84 cores=1,3,5,7
/proc/14190/task/14200/stat : 14200 (java) S 14188 14188 8557 0 -1 1077944384 7874 0 0 0 183 1 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007272589424 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14201] ppid=14188 vsize=13980732 memory=920 CPUtime=1.72 cores=1,3,5,7
/proc/14190/task/14201/stat : 14201 (java) S 14188 14188 8557 0 -1 1077944384 6704 0 0 0 171 1 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007271536624 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14202] ppid=14188 vsize=13980732 memory=-8774313645642428999 CPUtime=0.64 cores=1,3,5,7
/proc/14190/task/14202/stat : 14202 (java) S 14188 14188 8557 0 -1 1077944384 6385 0 0 0 64 0 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007270484336 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14203] ppid=14188 vsize=13980732 memory=1400 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14203/stat : 14203 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007269431776 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14204] ppid=14188 vsize=13980732 memory=15348 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14204/stat : 14204 (java) S 14188 14188 8557 0 -1 1077944384 816 0 0 0 0 0 0 0 20 0 15 0 114970945 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007268379568 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
Current children cumulated CPU time: 28.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212676 KiB

[startup+25.2007 s]
/proc/loadavg: 2.58 2.24 1.99 3/211 14204
/proc/meminfo: memFree=30890956/32770624 swapFree=67105588/67108860
[pid=14188] ppid=14185 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14188/stat : 14188 (xcsp3-exec) S 14185 14188 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114970924 9740288 345 18446744073709551615 4194304 5098028 140736422442608 140736422440712 140087665058428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31256576 140736422445433 140736422445637 140736422445637 140736422449131 0
/proc/14188/statm: 2378 345 289 221 0 87 0
[pid=14190] ppid=14188 vsize=13980732 memory=211296 CPUtime=29.3 cores=1,3,5,7
/proc/14190/stat : 14190 (java) S 14188 14188 8557 0 -1 1077944320 36012 0 0 0 2919 11 0 0 20 0 15 0 114970934 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140723650079280 140007798861559 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
/proc/14190/statm: 3495183 52824 3239 1 0 3483476 0
[pid=14190/tid=14191] ppid=14188 vsize=13980732 memory=-8341965534556230502 CPUtime=25 cores=1,3,5,7
/proc/14190/task/14191/stat : 14191 (java) R 14188 14188 8557 0 -1 4202560 10954 0 0 0 2495 5 0 0 20 0 15 0 114970934 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007803098432 140007434052739 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14192] ppid=14188 vsize=13980732 memory=9047017150487036571 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14192/stat : 14192 (java) S 14188 14188 8557 0 -1 1077944384 869 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007755827600 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14193] ppid=14188 vsize=13980732 memory=-8707038579349950309 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14193/stat : 14193 (java) S 14188 14188 8557 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007754774800 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14194] ppid=14188 vsize=13980732 memory=-6520471753822164382 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14194/stat : 14194 (java) S 14188 14188 8557 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007753722512 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14195] ppid=14188 vsize=13980732 memory=-8412656567318647667 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14195/stat : 14195 (java) S 14188 14188 8557 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007752669712 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14196] ppid=14188 vsize=13980732 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14196/stat : 14196 (java) S 14188 14188 8557 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 15 0 114970936 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007276800624 140007798872706 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14197] ppid=14188 vsize=13980732 memory=920 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14197/stat : 14197 (java) S 14188 14188 8557 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 114970937 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007275746592 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14198] ppid=14188 vsize=13980732 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14198/stat : 14198 (java) S 14188 14188 8557 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 114970937 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007274694256 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14199] ppid=14188 vsize=13980732 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14199/stat : 14199 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007273642576 140007798880155 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14200] ppid=14188 vsize=13980732 memory=14340 CPUtime=1.84 cores=1,3,5,7
/proc/14190/task/14200/stat : 14200 (java) S 14188 14188 8557 0 -1 1077944384 7874 0 0 0 183 1 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007272589424 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14201] ppid=14188 vsize=13980732 memory=796 CPUtime=1.72 cores=1,3,5,7
/proc/14190/task/14201/stat : 14201 (java) S 14188 14188 8557 0 -1 1077944384 6704 0 0 0 171 1 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007271536624 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14202] ppid=14188 vsize=13980732 memory=1228 CPUtime=0.64 cores=1,3,5,7
/proc/14190/task/14202/stat : 14202 (java) S 14188 14188 8557 0 -1 1077944384 6385 0 0 0 64 0 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007270484336 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14203] ppid=14188 vsize=13980732 memory=1400 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14203/stat : 14203 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007269431776 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14204] ppid=14188 vsize=13980732 memory=15348 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14204/stat : 14204 (java) S 14188 14188 8557 0 -1 1077944384 816 0 0 0 0 0 0 0 20 0 15 0 114970945 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007268379568 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
Current children cumulated CPU time: 29.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212676 KiB

[startup+25.3007 s]
/proc/loadavg: 2.58 2.24 1.99 3/211 14204
/proc/meminfo: memFree=30890956/32770624 swapFree=67105588/67108860
[pid=14188] ppid=14185 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14188/stat : 14188 (xcsp3-exec) S 14185 14188 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114970924 9740288 345 18446744073709551615 4194304 5098028 140736422442608 140736422440712 140087665058428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31256576 140736422445433 140736422445637 140736422445637 140736422449131 0
/proc/14188/statm: 2378 345 289 221 0 87 0
[pid=14190] ppid=14188 vsize=13980732 memory=211296 CPUtime=29.4 cores=1,3,5,7
/proc/14190/stat : 14190 (java) S 14188 14188 8557 0 -1 1077944320 36018 0 0 0 2929 11 0 0 20 0 15 0 114970934 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140723650079280 140007798861559 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
/proc/14190/statm: 3495183 52824 3239 1 0 3483476 0
[pid=14190/tid=14191] ppid=14188 vsize=13980732 memory=1380 CPUtime=25.1 cores=1,3,5,7
/proc/14190/task/14191/stat : 14191 (java) R 14188 14188 8557 0 -1 4202560 10957 0 0 0 2505 5 0 0 20 0 15 0 114970934 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007803098432 140007433762577 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14192] ppid=14188 vsize=13980732 memory=211296 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14192/stat : 14192 (java) S 14188 14188 8557 0 -1 1077944384 869 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007755827600 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14193] ppid=14188 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14193/stat : 14193 (java) S 14188 14188 8557 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007754774800 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14194] ppid=14188 vsize=13980732 memory=2249 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14194/stat : 14194 (java) S 14188 14188 8557 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007753722512 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14195] ppid=14188 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14195/stat : 14195 (java) S 14188 14188 8557 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 114970935 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007752669712 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14196] ppid=14188 vsize=13980732 memory=62436 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14196/stat : 14196 (java) S 14188 14188 8557 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 15 0 114970936 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007276800624 140007798872706 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14197] ppid=14188 vsize=13980732 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14197/stat : 14197 (java) S 14188 14188 8557 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 114970937 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007275746592 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14198] ppid=14188 vsize=13980732 memory=62436 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14198/stat : 14198 (java) S 14188 14188 8557 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 114970937 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007274694256 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14199] ppid=14188 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14199/stat : 14199 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007273642576 140007798880155 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14200] ppid=14188 vsize=13980732 memory=211228 CPUtime=1.84 cores=1,3,5,7
/proc/14190/task/14200/stat : 14200 (java) S 14188 14188 8557 0 -1 1077944384 7874 0 0 0 183 1 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007272589424 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14201] ppid=14188 vsize=13980732 memory=0 CPUtime=1.72 cores=1,3,5,7
/proc/14190/task/14201/stat : 14201 (java) S 14188 14188 8557 0 -1 1077944384 6704 0 0 0 171 1 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007271536624 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14202] ppid=14188 vsize=13980732 memory=184 CPUtime=0.64 cores=1,3,5,7
/proc/14190/task/14202/stat : 14202 (java) S 14188 14188 8557 0 -1 1077944384 6385 0 0 0 64 0 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007270484336 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14203] ppid=14188 vsize=13980732 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14203/stat : 14203 (java) S 14188 14188 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114970939 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007269431776 140007798871765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
[pid=14190/tid=14204] ppid=14188 vsize=13980732 memory=832 CPUtime=0 cores=1,3,5,7
/proc/14190/task/14204/stat : 14204 (java) S 14188 14188 8557 0 -1 1077944384 819 0 0 0 0 0 0 0 20 0 15 0 114970945 14316269568 52824 18446744073709551615 4194304 4196468 140723650096736 140007268379568 140007798872706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19730432 140723650097585 140723650097761 140723650097761 140723650101199 0
Current children cumulated CPU time: 29.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212676 KiB

Child status: 0
Real time (s): 25.359
CPU time (s): 29.4746
CPU user time (s): 29.3513
CPU system time (s): 0.123278
CPU usage (%): 116.229
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 212676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.3513
system time used= 0.123278
maximum resident set size= 211688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38152
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2824
involuntary context switches= 30


# summary of solver processes directly reported to runsolver:
#   pid: 14188
#   total CPU time (s): 29.4746
#   total CPU user time (s): 29.3513
#   total CPU system time (s): 0.123278

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.157237 second user time and 0.287037 second system time

The end
Name	SocialGolfers/SocialGolfers-xcsp2-s1/ SocialGolfers-06-3-5_X2.xml
MD5SUM	a8701a72dabf0de37daca9c92732f8d4
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	13.4951
Satisfiable
(Un)Satisfiability was proved
Number of variables	1080
Number of constraints	3375
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":1080}]
Minimum variable degree	6
Maximum variable degree	16
Distribution of variable degrees	[{"degree":6,"count":630},{"degree":16,"count":450}]
Minimum constraint arity	3
Maximum constraint arity	15
Distribution of constraint arities	[{"arity":3,"count":3150},{"arity":5,"count":90},{"arity":6,"count":105},{"arity":15,"count":30}]
Number of extensional constraints	0
Number of intensional constraints	3150
Distribution of constraint types	[{"type":"intension","count":3150},{"type":"sum","count":225}]
Optimization problem	NO
Type of objective
Trace number 4282553

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
