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 par (2017-08-18)	SAT	6.5570698	1.31335
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 (12781 MiB free)
  memory of node 1: 16384 MiB (12126 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280726-1503171488/watcher-4280726-1503171488 -o /tmp/evaluation-result-4280726-1503171488/solver-4280726-1503171488 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503164239-4277 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 260884275 HOME/instance-4280726-1503171488.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100136 s]*
/proc/loadavg: 7.25 7.12 6.30 2/200 4997
/proc/meminfo: memFree=25490952/32770624 swapFree=67108860/67108860
[pid=4976] ppid=4973 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4976/stat : 4976 (xcsp3-exec) S 4973 4976 4250 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150229734 9740288 345 33554432000 4194304 5098028 140722749131920 140722749130024 140066192544380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16429056 140722749133925 140722749134135 140722749134135 140722749136875 0
/proc/4976/statm: 2378 345 289 221 0 87 0
[pid=4978] ppid=4976 vsize=25999808 memory=26836 CPUtime=0.11 cores=0-7
/proc/4978/stat : 4978 (java) S 4976 4976 4250 0 -1 1077944320 5634 0 0 0 10 1 0 0 20 0 20 0 150229734 26623803392 6709 33554432000 4194304 4196468 140722480204624 140722480187168 140595094982391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
/proc/4978/statm: 6499952 6709 2847 1 0 6488269 0
[pid=4978/tid=4979] ppid=4976 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/4978/task/4979/stat : 4979 (java) R 4976 4976 4250 0 -1 4202560 3648 0 0 0 8 1 0 0 20 0 20 0 150229734 26623803392 6709 33554432000 4194304 4196468 140722480204624 140595099207952 140595079026021 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4980] ppid=4976 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4978/task/4980/stat : 4980 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150229735 26623803392 6709 33554432000 4194304 4196468 140722480204624 140595017563024 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4981] ppid=4976 vsize=25999808 memory=140378094659200 CPUtime=0 cores=0-7
/proc/4978/task/4981/stat : 4981 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150229735 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594652404496 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4982] ppid=4976 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4982/stat : 4982 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229735 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594651352208 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4983] ppid=4976 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4983/stat : 4983 (java) S 4976 4976 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150229735 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594650299408 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4984] ppid=4976 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4984/stat : 4984 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150229735 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594649246096 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4985] ppid=4976 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4978/task/4985/stat : 4985 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229735 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594648193296 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4986] ppid=4976 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4986/stat : 4986 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229735 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594647141008 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4987] ppid=4976 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4987/stat : 4987 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150229735 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594646088208 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4988] ppid=4976 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4988/stat : 4988 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150229736 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594490886768 140595094993538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4989] ppid=4976 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4989/stat : 4989 (java) S 4976 4976 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150229737 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594489832736 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4990] ppid=4976 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4990/stat : 4990 (java) S 4976 4976 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150229737 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594488780400 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4991] ppid=4976 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4991/stat : 4991 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229740 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594487728720 140595095000987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4992] ppid=4976 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4992/stat : 4992 (java) S 4976 4976 4250 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 150229740 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594486675568 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4993] ppid=4976 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4993/stat : 4993 (java) S 4976 4976 4250 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 150229740 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594485622768 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4994] ppid=4976 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4994/stat : 4994 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229740 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594484570480 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4995] ppid=4976 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/4978/task/4995/stat : 4995 (java) R 4976 4976 4250 0 -1 4202560 240 0 0 0 1 0 0 0 20 0 20 0 150229740 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594483517680 140595074027480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4996] ppid=4976 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4996/stat : 4996 (java) S 4976 4976 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150229740 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594482465632 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4997] ppid=4976 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4978/task/4997/stat : 4997 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229740 26623803392 6709 33554432000 4194304 4196468 140722480204624 140594481412912 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28216 KiB

[startup+0.210309 s]*
/proc/loadavg: 7.25 7.12 6.30 3/200 4997
/proc/meminfo: memFree=25479660/32770624 swapFree=67108860/67108860
[pid=4976] ppid=4973 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4976/stat : 4976 (xcsp3-exec) S 4973 4976 4250 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150229734 9740288 345 33554432000 4194304 5098028 140722749131920 140722749130024 140066192544380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16429056 140722749133925 140722749134135 140722749134135 140722749136875 0
/proc/4976/statm: 2378 345 289 221 0 87 0
[pid=4978] ppid=4976 vsize=26004064 memory=39224 CPUtime=0.32 cores=0-7
/proc/4978/stat : 4978 (java) S 4976 4976 4250 0 -1 1077944320 8336 0 0 0 30 2 0 0 20 0 20 0 150229734 26628161536 9806 33554432000 4194304 4196468 140722480204624 140722480187168 140595094982391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
/proc/4978/statm: 6501016 9806 3060 1 0 6488269 0
[pid=4978/tid=4979] ppid=4976 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4978/task/4979/stat : 4979 (java) R 4976 4976 4250 0 -1 4202560 5423 0 0 0 18 1 0 0 20 0 20 0 150229734 26628161536 9806 33554432000 4194304 4196468 140722480204624 140595099203392 140595079062878 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4980] ppid=4976 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/4978/task/4980/stat : 4980 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150229735 26628161536 9806 33554432000 4194304 4196468 140722480204624 140595017563024 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4981] ppid=4976 vsize=26004064 memory=288370754246370944 CPUtime=0 cores=0-7
/proc/4978/task/4981/stat : 4981 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150229735 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594652404496 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4982] ppid=4976 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4978/task/4982/stat : 4982 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229735 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594651352208 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4983] ppid=4976 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4983/stat : 4983 (java) S 4976 4976 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150229735 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594650299408 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4984] ppid=4976 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4984/stat : 4984 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150229735 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594649246096 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4985] ppid=4976 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4978/task/4985/stat : 4985 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229735 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594648193296 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4986] ppid=4976 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4986/stat : 4986 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229735 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594647141008 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4987] ppid=4976 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4987/stat : 4987 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150229735 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594646088208 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4988] ppid=4976 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4988/stat : 4988 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150229736 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594490886768 140595094993538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4989] ppid=4976 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4989/stat : 4989 (java) S 4976 4976 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150229737 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594489832736 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4990] ppid=4976 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4990/stat : 4990 (java) S 4976 4976 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150229737 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594488780400 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4991] ppid=4976 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4991/stat : 4991 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229740 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594487728720 140595095000987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4992] ppid=4976 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4978/task/4992/stat : 4992 (java) S 4976 4976 4250 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 20 0 150229740 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594486675568 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4993] ppid=4976 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4978/task/4993/stat : 4993 (java) S 4976 4976 4250 0 -1 1077944384 436 0 0 0 1 0 0 0 20 0 20 0 150229740 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594485622768 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4994] ppid=4976 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/4978/task/4994/stat : 4994 (java) S 4976 4976 4250 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 150229740 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594484570480 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4995] ppid=4976 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/4978/task/4995/stat : 4995 (java) R 4976 4976 4250 0 -1 4202560 678 0 0 0 7 0 0 0 20 0 20 0 150229740 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594483517680 140595094994326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4996] ppid=4976 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4996/stat : 4996 (java) S 4976 4976 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150229740 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594482465632 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4997] ppid=4976 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4978/task/4997/stat : 4997 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229740 26628161536 9806 33554432000 4194304 4196468 140722480204624 140594481412912 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40604 KiB

[startup+0.309673 s]*
/proc/loadavg: 7.25 7.12 6.30 3/200 4997
/proc/meminfo: memFree=25473612/32770624 swapFree=67108860/67108860
[pid=4976] ppid=4973 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4976/stat : 4976 (xcsp3-exec) S 4973 4976 4250 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150229734 9740288 345 33554432000 4194304 5098028 140722749131920 140722749130024 140066192544380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16429056 140722749133925 140722749134135 140722749134135 140722749136875 0
/proc/4976/statm: 2378 345 289 221 0 87 0
[pid=4978] ppid=4976 vsize=26004140 memory=45996 CPUtime=0.47 cores=0-7
/proc/4978/stat : 4978 (java) S 4976 4976 4250 0 -1 1077944320 9256 0 0 0 44 3 0 0 20 0 20 0 150229734 26628239360 11499 33554432000 4194304 4196468 140722480204624 140722480187168 140595094982391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
/proc/4978/statm: 6501035 11499 3075 1 0 6488269 0
[pid=4978/tid=4979] ppid=4976 vsize=26004140 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/4978/task/4979/stat : 4979 (java) R 4976 4976 4250 0 -1 4202560 6216 0 0 0 27 2 0 0 20 0 20 0 150229734 26628239360 11499 33554432000 4194304 4196468 140722480204624 140595099217760 140595079062878 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4980] ppid=4976 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4980/stat : 4980 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150229735 26628239360 11499 33554432000 4194304 4196468 140722480204624 140595017563024 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4981] ppid=4976 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4981/stat : 4981 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150229735 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594652404496 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4982] ppid=4976 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4982/stat : 4982 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229735 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594651352208 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4983] ppid=4976 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4983/stat : 4983 (java) S 4976 4976 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150229735 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594650299408 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4984] ppid=4976 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/4978/task/4984/stat : 4984 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150229735 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594649246096 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4985] ppid=4976 vsize=26004140 memory=140377986266031 CPUtime=0 cores=0-7
/proc/4978/task/4985/stat : 4985 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229735 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594648193296 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4986] ppid=4976 vsize=26004140 memory=140377986268336 CPUtime=0 cores=0-7
/proc/4978/task/4986/stat : 4986 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229735 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594647141008 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4987] ppid=4976 vsize=26004140 memory=140377986270640 CPUtime=0 cores=0-7
/proc/4978/task/4987/stat : 4987 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150229735 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594646088208 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4988] ppid=4976 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4988/stat : 4988 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150229736 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594490886768 140595094993538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4989] ppid=4976 vsize=26004140 memory=280755972548240 CPUtime=0 cores=0-7
/proc/4978/task/4989/stat : 4989 (java) S 4976 4976 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150229737 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594489832736 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4990] ppid=4976 vsize=26004140 memory=280755972555152 CPUtime=0 cores=0-7
/proc/4978/task/4990/stat : 4990 (java) S 4976 4976 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150229737 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594488780400 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4991] ppid=4976 vsize=26004140 memory=280755972496432 CPUtime=0 cores=0-7
/proc/4978/task/4991/stat : 4991 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229740 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594487728720 140595095000987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4992] ppid=4976 vsize=26004140 memory=280755972568976 CPUtime=0.02 cores=0-7
/proc/4978/task/4992/stat : 4992 (java) S 4976 4976 4250 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 20 0 150229740 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594486675568 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4993] ppid=4976 vsize=26004140 memory=280755972575888 CPUtime=0.01 cores=0-7
/proc/4978/task/4993/stat : 4993 (java) S 4976 4976 4250 0 -1 1077944384 436 0 0 0 1 0 0 0 20 0 20 0 150229740 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594485622768 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4994] ppid=4976 vsize=26004140 memory=280755972573584 CPUtime=0.02 cores=0-7
/proc/4978/task/4994/stat : 4994 (java) S 4976 4976 4250 0 -1 1077944384 100 0 0 0 2 0 0 0 20 0 20 0 150229740 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594484570480 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4995] ppid=4976 vsize=26004140 memory=280755972589744 CPUtime=0.1 cores=0-7
/proc/4978/task/4995/stat : 4995 (java) R 4976 4976 4250 0 -1 4202560 753 0 0 0 10 0 0 0 20 0 20 0 150229740 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594483517680 140595095003738 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4996] ppid=4976 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4996/stat : 4996 (java) S 4976 4976 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150229740 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594482465632 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4997] ppid=4976 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/4978/task/4997/stat : 4997 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150229740 26628239360 11499 33554432000 4194304 4196468 140722480204624 140594481412912 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47376 KiB

[startup+0.70159 s]
/proc/loadavg: 7.25 7.12 6.30 5/200 4997
/proc/meminfo: memFree=25439928/32770624 swapFree=67108860/67108860
[pid=4976] ppid=4973 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4976/stat : 4976 (xcsp3-exec) S 4973 4976 4250 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150229734 9740288 345 33554432000 4194304 5098028 140722749131920 140722749130024 140066192544380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16429056 140722749133925 140722749134135 140722749134135 140722749136875 0
/proc/4976/statm: 2378 345 289 221 0 87 0
[pid=4978] ppid=4976 vsize=26538700 memory=111400 CPUtime=2.32 cores=0-7
/proc/4978/stat : 4978 (java) S 4976 4976 4250 0 -1 1077944320 12559 0 0 0 226 6 0 0 20 0 28 0 150229734 27175628800 27850 33554432000 4194304 4196468 140722480204624 140722480187168 140595094982391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
/proc/4978/statm: 6634675 27850 3187 1 0 6621909 0
[pid=4978/tid=4979] ppid=4976 vsize=26538700 memory=280755972947632 CPUtime=0.52 cores=0-7
/proc/4978/task/4979/stat : 4979 (java) S 4976 4976 4250 0 -1 1077944384 6791 0 0 0 49 3 0 0 20 0 28 0 150229734 27175628800 27850 33554432000 4194304 4196468 140722480204624 140595099223168 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4980] ppid=4976 vsize=26538700 memory=140377986474864 CPUtime=0 cores=0-7
/proc/4978/task/4980/stat : 4980 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 27850 33554432000 4194304 4196468 140722480204624 140595017563024 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4981] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4981/stat : 4981 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 27850 33554432000 4194304 4196468 140722480204624 140594652404496 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4982] ppid=4976 vsize=26538700 memory=1204 CPUtime=0 cores=0-7
/proc/4978/task/4982/stat : 4982 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 27850 33554432000 4194304 4196468 140722480204624 140594651352208 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0

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

/proc/4978/stat : 4978 (java) S 4976 4976 4250 0 -1 1077944320 12608 0 0 0 300 6 0 0 20 0 28 0 150229734 27175628800 27894 33554432000 4194304 4196468 140722480204624 140722480187168 140595094982391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
/proc/4978/statm: 6634675 27894 3187 1 0 6621909 0
[pid=4978/tid=4979] ppid=4976 vsize=26538700 memory=6935649255759568960 CPUtime=0.52 cores=0-7
/proc/4978/task/4979/stat : 4979 (java) S 4976 4976 4250 0 -1 1077944384 6791 0 0 0 49 3 0 0 20 0 28 0 150229734 27175628800 27894 33554432000 4194304 4196468 140722480204624 140595099223168 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4980] ppid=4976 vsize=26538700 memory=4639082894601506896 CPUtime=0 cores=0-7
/proc/4978/task/4980/stat : 4980 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 27894 33554432000 4194304 4196468 140722480204624 140595017563024 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4981] ppid=4976 vsize=26538700 memory=6935649255759569216 CPUtime=0 cores=0-7
/proc/4978/task/4981/stat : 4981 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594652404496 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4982] ppid=4976 vsize=26538700 memory=-8820188211957838939 CPUtime=0 cores=0-7
/proc/4978/task/4982/stat : 4982 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594651352208 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4983] ppid=4976 vsize=26538700 memory=-9109213556524817781 CPUtime=0 cores=0-7
/proc/4978/task/4983/stat : 4983 (java) S 4976 4976 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594650299408 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4984] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4984/stat : 4984 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594649246096 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4985] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4985/stat : 4985 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594648193296 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4986] ppid=4976 vsize=26538700 memory=280755972410944 CPUtime=0 cores=0-7
/proc/4978/task/4986/stat : 4986 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594647141008 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4987] ppid=4976 vsize=26538700 memory=-9178283013952593245 CPUtime=0 cores=0-7
/proc/4978/task/4987/stat : 4987 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594646088208 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4988] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4988/stat : 4988 (java) S 4976 4976 4250 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 150229736 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594490886768 140595094993538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4989] ppid=4976 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/4978/task/4989/stat : 4989 (java) S 4976 4976 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 150229737 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594489832736 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4990] ppid=4976 vsize=26538700 memory=12136 CPUtime=0 cores=0-7
/proc/4978/task/4990/stat : 4990 (java) S 4976 4976 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 150229737 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594488780400 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4991] ppid=4976 vsize=26538700 memory=1004 CPUtime=0 cores=0-7
/proc/4978/task/4991/stat : 4991 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150229740 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594487728720 140595095000987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4992] ppid=4976 vsize=26538700 memory=1228 CPUtime=0.23 cores=0-7
/proc/4978/task/4992/stat : 4992 (java) R 4976 4976 4250 0 -1 4202560 1116 0 0 0 23 0 0 0 20 0 28 0 150229740 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594486675864 140595072999360 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4993] ppid=4976 vsize=26538700 memory=1952 CPUtime=0.2 cores=0-7
/proc/4978/task/4993/stat : 4993 (java) S 4976 4976 4250 0 -1 1077944384 1093 0 0 0 20 0 0 0 20 0 28 0 150229740 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594485615792 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4994] ppid=4976 vsize=26538700 memory=5796 CPUtime=0.23 cores=0-7
/proc/4978/task/4994/stat : 4994 (java) R 4976 4976 4250 0 -1 4202560 710 0 0 0 23 0 0 0 20 0 28 0 150229740 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594484556576 140595078479131 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4995] ppid=4976 vsize=26538700 memory=4616 CPUtime=0.25 cores=0-7
/proc/4978/task/4995/stat : 4995 (java) S 4976 4976 4250 0 -1 1077944384 1274 0 0 0 25 0 0 0 20 0 28 0 150229740 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594483517680 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4996] ppid=4976 vsize=26538700 memory=8620 CPUtime=0 cores=0-7
/proc/4978/task/4996/stat : 4996 (java) S 4976 4976 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150229740 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594482465632 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4997] ppid=4976 vsize=26538700 memory=792 CPUtime=0 cores=0-7
/proc/4978/task/4997/stat : 4997 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150229740 27175628800 27894 33554432000 4194304 4196468 140722480204624 140594481412912 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 112956 KiB

[startup+1.20159 s]
/proc/loadavg: 7.25 7.12 6.30 12/208 5005
/proc/meminfo: memFree=25402040/32770624 swapFree=67108860/67108860
[pid=4976] ppid=4973 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4976/stat : 4976 (xcsp3-exec) S 4973 4976 4250 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150229734 9740288 345 33554432000 4194304 5098028 140722749131920 140722749130024 140066192544380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16429056 140722749133925 140722749134135 140722749134135 140722749136875 0
/proc/4976/statm: 2378 345 289 221 0 87 0
[pid=4978] ppid=4976 vsize=26538700 memory=135284 CPUtime=6.23 cores=0-7
/proc/4978/stat : 4978 (java) S 4976 4976 4250 0 -1 1077944320 12946 0 0 0 617 6 0 0 20 0 28 0 150229734 27175628800 33821 33554432000 4194304 4196468 140722480204624 140722480187168 140595094982391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
/proc/4978/statm: 6634675 33821 3200 1 0 6621909 0
[pid=4978/tid=4979] ppid=4976 vsize=26538700 memory=0 CPUtime=0.52 cores=0-7
/proc/4978/task/4979/stat : 4979 (java) S 4976 4976 4250 0 -1 1077944384 6791 0 0 0 49 3 0 0 20 0 28 0 150229734 27175628800 33821 33554432000 4194304 4196468 140722480204624 140595099223168 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4980] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4980/stat : 4980 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 33821 33554432000 4194304 4196468 140722480204624 140595017563024 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4981] ppid=4976 vsize=26538700 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/4978/task/4981/stat : 4981 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594652404496 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4982] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4982/stat : 4982 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594651352208 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4983] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4983/stat : 4983 (java) S 4976 4976 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594650299408 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4984] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4984/stat : 4984 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594649246096 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4985] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4985/stat : 4985 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594648193296 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4986] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4986/stat : 4986 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594647141008 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4987] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4987/stat : 4987 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150229735 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594646088208 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4988] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4988/stat : 4988 (java) S 4976 4976 4250 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 150229736 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594490886768 140595094993538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4989] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4989/stat : 4989 (java) S 4976 4976 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 150229737 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594489832736 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4990] ppid=4976 vsize=26538700 memory=303993173188018202 CPUtime=0 cores=0-7
/proc/4978/task/4990/stat : 4990 (java) S 4976 4976 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 150229737 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594488780400 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4991] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4991/stat : 4991 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150229740 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594487728720 140595095000987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4992] ppid=4976 vsize=26538700 memory=7950376605432899177 CPUtime=0.39 cores=0-7
/proc/4978/task/4992/stat : 4992 (java) R 4976 4976 4250 0 -1 4202560 1175 0 0 0 39 0 0 0 20 0 28 0 150229740 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594486661592 140595074238984 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4993] ppid=4976 vsize=26538700 memory=1 CPUtime=0.34 cores=0-7
/proc/4978/task/4993/stat : 4993 (java) S 4976 4976 4250 0 -1 1077944384 1190 0 0 0 34 0 0 0 20 0 28 0 150229740 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594485622768 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4994] ppid=4976 vsize=26538700 memory=0 CPUtime=0.37 cores=0-7
/proc/4978/task/4994/stat : 4994 (java) S 4976 4976 4250 0 -1 1077944384 841 0 0 0 37 0 0 0 20 0 28 0 150229740 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594484570480 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4995] ppid=4976 vsize=26538700 memory=6656426216303648864 CPUtime=0.27 cores=0-7
/proc/4978/task/4995/stat : 4995 (java) S 4976 4976 4250 0 -1 1077944384 1304 0 0 0 27 0 0 0 20 0 28 0 150229740 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594483517680 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4996] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4996/stat : 4996 (java) S 4976 4976 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150229740 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594482465632 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4997] ppid=4976 vsize=26538700 memory=367 CPUtime=0 cores=0-7
/proc/4978/task/4997/stat : 4997 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150229740 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594481412912 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4998] ppid=4976 vsize=26538700 memory=791 CPUtime=0.47 cores=0-7
/proc/4978/task/4998/stat : 4998 (java) R 4976 4976 4250 0 -1 4202560 58 0 0 0 47 0 0 0 20 0 28 0 150229789 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594271567760 140594701416918 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4999] ppid=4976 vsize=26538700 memory=75 CPUtime=0.59 cores=0-7
/proc/4978/task/4999/stat : 4999 (java) R 4976 4976 4250 0 -1 4202560 42 0 0 0 59 0 0 0 20 0 28 0 150229790 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594270518880 140594701416944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=5000] ppid=4976 vsize=26538700 memory=0 CPUtime=0.49 cores=0-7
/proc/4978/task/5000/stat : 5000 (java) R 4976 4976 4250 0 -1 4202560 42 0 0 0 49 0 0 0 20 0 28 0 150229790 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594269469312 140595094994326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=5001] ppid=4976 vsize=26538700 memory=222 CPUtime=0.52 cores=0-7
/proc/4978/task/5001/stat : 5001 (java) R 4976 4976 4250 0 -1 4202560 40 0 0 0 52 0 0 0 20 0 28 0 150229790 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594268412768 140594701417015 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=5002] ppid=4976 vsize=26538700 memory=100 CPUtime=0.57 cores=0-7
/proc/4978/task/5002/stat : 5002 (java) S 4976 4976 4250 0 -1 1077944384 46 0 0 0 57 0 0 0 20 0 28 0 150229790 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594267366480 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=5003] ppid=4976 vsize=26538700 memory=20780 CPUtime=0.56 cores=0-7
/proc/4978/task/5003/stat : 5003 (java) R 4976 4976 4250 0 -1 4202560 30 0 0 0 56 0 0 0 20 0 28 0 150229790 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594266311424 140594697612122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=5004] ppid=4976 vsize=26538700 memory=0 CPUtime=0.52 cores=0-7
/proc/4978/task/5004/stat : 5004 (java) S 4976 4976 4250 0 -1 1077944384 39 0 0 0 52 0 0 0 20 0 28 0 150229790 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594265261392 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=5005] ppid=4976 vsize=26538700 memory=0 CPUtime=0.51 cores=0-7
/proc/4978/task/5005/stat : 5005 (java) R 4976 4976 4250 0 -1 4202560 34 0 0 0 51 0 0 0 20 0 28 0 150229790 27175628800 33821 33554432000 4194304 4196468 140722480204624 140594264202944 140595095003738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 136664 KiB

[startup+1.30116 s]
/proc/loadavg: 7.25 7.12 6.30 12/208 5005
/proc/meminfo: memFree=25402040/32770624 swapFree=67108860/67108860
[pid=4976] ppid=4973 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4976/stat : 4976 (xcsp3-exec) S 4973 4976 4250 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150229734 9740288 345 33554432000 4194304 5098028 140722749131920 140722749130024 140066192544380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16429056 140722749133925 140722749134135 140722749134135 140722749136875 0
/proc/4976/statm: 2378 345 289 221 0 87 0
[pid=4978] ppid=4976 vsize=26538700 memory=142224 CPUtime=6.54 cores=0-7
/proc/4978/stat : 4978 (java) S 4976 4976 4250 0 -1 1077944320 13008 0 0 0 647 7 0 0 20 0 19 0 150229734 27175628800 35556 33554432000 4194304 4196468 140722480204624 140722480187168 140595094982391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
/proc/4978/statm: 6634675 35556 3203 1 0 6621909 0
[pid=4978/tid=4979] ppid=4976 vsize=26538700 memory=126816 CPUtime=0.54 cores=0-7
/proc/4978/task/4979/stat : 4979 (java) S 4976 4976 4250 0 -1 1077944384 6802 0 0 0 50 4 0 0 20 0 19 0 150229734 27175628800 35556 33554432000 4194304 4196468 140722480204624 140595099225232 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4980] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4980/stat : 4980 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 150229735 27175628800 35556 33554432000 4194304 4196468 140722480204624 140595017563024 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4981] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4981/stat : 4981 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 150229735 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594652404496 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4982] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4982/stat : 4982 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 150229735 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594651352208 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4983] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4983/stat : 4983 (java) S 4976 4976 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 150229735 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594650299408 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4984] ppid=4976 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/4978/task/4984/stat : 4984 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 150229735 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594649246096 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4985] ppid=4976 vsize=26538700 memory=111400 CPUtime=0 cores=0-7
/proc/4978/task/4985/stat : 4985 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 150229735 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594648193296 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4986] ppid=4976 vsize=26538700 memory=280755972947632 CPUtime=0 cores=0-7
/proc/4978/task/4986/stat : 4986 (java) S 4976 4976 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 150229735 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594647141008 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4987] ppid=4976 vsize=26538700 memory=140377986474864 CPUtime=0 cores=0-7
/proc/4978/task/4987/stat : 4987 (java) S 4976 4976 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 150229735 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594646088208 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4988] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4988/stat : 4988 (java) S 4976 4976 4250 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 150229736 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594490886976 140595094993538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4989] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4989/stat : 4989 (java) S 4976 4976 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 150229737 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594489832736 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4990] ppid=4976 vsize=26538700 memory=21371757274864 CPUtime=0 cores=0-7
/proc/4978/task/4990/stat : 4990 (java) S 4976 4976 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 150229737 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594488780400 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4991] ppid=4976 vsize=26538700 memory=21371757274865 CPUtime=0 cores=0-7
/proc/4978/task/4991/stat : 4991 (java) S 4976 4976 4250 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 150229740 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594487727360 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4992] ppid=4976 vsize=26538700 memory=21371757274866 CPUtime=0.42 cores=0-7
/proc/4978/task/4992/stat : 4992 (java) S 4976 4976 4250 0 -1 1077944384 1189 0 0 0 42 0 0 0 20 0 19 0 150229740 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594486675568 140595094993538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4993] ppid=4976 vsize=26538700 memory=21371757274867 CPUtime=0.34 cores=0-7
/proc/4978/task/4993/stat : 4993 (java) S 4976 4976 4250 0 -1 1077944384 1190 0 0 0 34 0 0 0 20 0 19 0 150229740 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594485607312 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4994] ppid=4976 vsize=26538700 memory=21371757274868 CPUtime=0.4 cores=0-7
/proc/4978/task/4994/stat : 4994 (java) S 4976 4976 4250 0 -1 1077944384 841 0 0 0 40 0 0 0 20 0 19 0 150229740 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594484554992 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4995] ppid=4976 vsize=26538700 memory=21371757274869 CPUtime=0.28 cores=0-7
/proc/4978/task/4995/stat : 4995 (java) S 4976 4976 4250 0 -1 1077944384 1309 0 0 0 28 0 0 0 20 0 19 0 150229740 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594483512448 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
[pid=4978/tid=4996] ppid=4976 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4978/task/4996/stat : 4996 (java) S 4976 4976 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 150229740 27175628800 35556 33554432000 4194304 4196468 140722480204624 140594482465632 140595094992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140722480211090 140722480211267 140722480211267 140722480213967 0
Current children cumulated CPU time: 6.54 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 143604 KiB

Child status: 0
Real time (s): 1.31335
CPU time (s): 6.55707
CPU user time (s): 6.4808
CPU system time (s): 0.076263
CPU usage (%): 499.262
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 143604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.4808
system time used= 0.076263
maximum resident set size= 142728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13537
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= 2489
involuntary context switches= 126


# summary of solver processes directly reported to runsolver:
#   pid: 4976
#   total CPU time (s): 6.55707
#   total CPU user time (s): 6.4808
#   total CPU system time (s): 0.076263

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037893 second user time and 0.050651 second system time

The end
Name	Domino/ Domino-m1-s1/Domino-700-100.xml
MD5SUM	afd68c385e5184dcb31c2a6fba91eaef
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.01282
Satisfiable
(Un)Satisfiability was proved
Number of variables	700
Number of constraints	2
Number of domains	1
Minimum domain size	100
Maximum domain size	100
Distribution of domain sizes	[{"size":100,"count":700}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":698},{"degree":2,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	700
Distribution of constraint arities	[{"arity":2,"count":1},{"arity":700,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1
Distribution of constraint types	[{"type":"intension","count":1},{"type":"allEqual","count":1}]
Optimization problem	NO
Type of objective
Trace number 4280726

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
