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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	SAT	29.5517	5.2414
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 (8912 MiB free)
  memory of node 1: 16384 MiB (7402 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404338-1568996532/watcher-4404338-1568996532 -o /tmp/evaluation-result-4404338-1568996532/solver-4404338-1568996532 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1799243321 HOME/instance-4404338-1568996532.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
solver pid=15616, runsolver pid=15613
Current StackSize limit: 8192 KiB


[startup+0.100168 s]*
/proc/loadavg: 8.11 8.20 8.27 2/211 15637
/proc/meminfo: memFree=16689064/32770624 swapFree=66986244/67108860
[pid=15616] ppid=15613 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15616/stat : 15616 (xcsp3-exec) S 15613 15616 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475910094 115843072 363 33554432000 4194304 5098028 140721237949584 140721237947688 140244994159228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22609920 140721237951349 140721237951593 140721237951593 140721237954506 0
/proc/15616/statm: 28282 363 305 221 0 87 0
[pid=15618] ppid=15616 vsize=28227396 memory=30092 CPUtime=0.13 cores=0-7
/proc/15618/stat : 15618 (java) S 15616 15616 14667 0 -1 1077944320 5917 0 0 0 11 2 0 0 20 0 20 0 475910095 28904853504 7523 33554432000 4194304 4196468 140734907521968 140734907504512 140424041365239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
/proc/15618/statm: 7056849 7523 3147 1 0 7019032 0
[pid=15618/tid=15619] ppid=15616 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/15618/task/15619/stat : 15619 (java) R 15616 15616 14667 0 -1 4202560 3838 0 0 0 8 1 0 0 20 0 20 0 475910095 28904853504 7523 33554432000 4194304 4196468 140734907521968 140424045597264 140424041377174 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15620] ppid=15616 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/15618/task/15620/stat : 15620 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 7523 33554432000 4194304 4196468 140734907521968 140423961217936 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15621] ppid=15616 vsize=28227396 memory=139975827531392 CPUtime=0 cores=0-7
/proc/15618/task/15621/stat : 15621 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 7523 33554432000 4194304 4196468 140734907521968 140423960165136 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15622] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15622/stat : 15622 (java) S 15616 15616 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 7523 33554432000 4194304 4196468 140734907521968 140423959112848 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15623] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15623/stat : 15623 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 7523 33554432000 4194304 4196468 140734907521968 140423958060048 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15624] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15624/stat : 15624 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 7523 33554432000 4194304 4196468 140734907521968 140423957006736 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15625] ppid=15616 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15618/task/15625/stat : 15625 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 7523 33554432000 4194304 4196468 140734907521968 140423587813648 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15626] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15626/stat : 15626 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 7523 33554432000 4194304 4196468 140734907521968 140423586761360 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15627] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15627/stat : 15627 (java) S 15616 15616 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 7523 33554432000 4194304 4196468 140734907521968 140423585708560 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15628] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15628/stat : 15628 (java) S 15616 15616 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475910097 28904853504 7523 33554432000 4194304 4196468 140734907521968 140423426161264 140424041376386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15629] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15629/stat : 15629 (java) S 15616 15616 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475910098 28904853504 7523 33554432000 4194304 4196468 140734907521968 140423425107232 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15630] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15630/stat : 15630 (java) S 15616 15616 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475910098 28904853504 7523 33554432000 4194304 4196468 140734907521968 140423424054896 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15631] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15631/stat : 15631 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910100 28904853504 7523 33554432000 4194304 4196468 140734907521968 140423423003216 140424041383835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15632] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15632/stat : 15632 (java) S 15616 15616 14667 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 475910100 28904853504 7523 33554432000 4194304 4196468 140734907521968 140423421950064 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15633] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15633/stat : 15633 (java) S 15616 15616 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475910100 28904853504 7523 33554432000 4194304 4196468 140734907521968 140423420897264 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15634] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15634/stat : 15634 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910101 28904853504 7523 33554432000 4194304 4196468 140734907521968 140422565325168 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15635] ppid=15616 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15618/task/15635/stat : 15635 (java) R 15616 15616 14667 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 20 0 475910101 28904853504 7523 33554432000 4194304 4196468 140734907521968 140422564272368 140424020383561 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15636] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15636/stat : 15636 (java) S 15616 15616 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475910101 28904853504 7523 33554432000 4194304 4196468 140734907521968 140422563220320 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15637] ppid=15616 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15618/task/15637/stat : 15637 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910101 28904853504 7523 33554432000 4194304 4196468 140734907521968 140422562167600 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31544 KiB

[startup+0.210216 s]*
/proc/loadavg: 8.11 8.20 8.27 2/211 15637
/proc/meminfo: memFree=16677336/32770624 swapFree=66986244/67108860
[pid=15616] ppid=15613 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15616/stat : 15616 (xcsp3-exec) S 15613 15616 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475910094 115843072 363 33554432000 4194304 5098028 140721237949584 140721237947688 140244994159228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22609920 140721237951349 140721237951593 140721237951593 140721237954506 0
/proc/15616/statm: 28282 363 305 221 0 87 0
[pid=15618] ppid=15616 vsize=28227396 memory=41172 CPUtime=0.33 cores=0-7
/proc/15618/stat : 15618 (java) S 15616 15616 14667 0 -1 1077944320 9494 0 0 0 30 3 0 0 20 0 20 0 475910095 28904853504 10293 33554432000 4194304 4196468 140734907521968 140734907504512 140424041365239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
/proc/15618/statm: 7056849 10293 3301 1 0 7019032 0
[pid=15618/tid=15619] ppid=15616 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/15618/task/15619/stat : 15619 (java) R 15616 15616 14667 0 -1 4202560 6663 0 0 0 17 2 0 0 20 0 20 0 475910095 28904853504 10293 33554432000 4194304 4196468 140734907521968 140424045594960 140424041377174 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15620] ppid=15616 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/15618/task/15620/stat : 15620 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 10293 33554432000 4194304 4196468 140734907521968 140423961217936 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15621] ppid=15616 vsize=28227396 memory=139975827546342 CPUtime=0 cores=0-7
/proc/15618/task/15621/stat : 15621 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 10293 33554432000 4194304 4196468 140734907521968 140423960165136 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15622] ppid=15616 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15618/task/15622/stat : 15622 (java) S 15616 15616 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 10293 33554432000 4194304 4196468 140734907521968 140423959112848 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15623] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15623/stat : 15623 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 10293 33554432000 4194304 4196468 140734907521968 140423958060048 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15624] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15624/stat : 15624 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 10293 33554432000 4194304 4196468 140734907521968 140423957006736 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15625] ppid=15616 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15618/task/15625/stat : 15625 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 10293 33554432000 4194304 4196468 140734907521968 140423587813648 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15626] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15626/stat : 15626 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 10293 33554432000 4194304 4196468 140734907521968 140423586761360 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15627] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15627/stat : 15627 (java) S 15616 15616 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475910096 28904853504 10293 33554432000 4194304 4196468 140734907521968 140423585708560 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15628] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15628/stat : 15628 (java) S 15616 15616 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475910097 28904853504 10293 33554432000 4194304 4196468 140734907521968 140423426161264 140424041376386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15629] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15629/stat : 15629 (java) S 15616 15616 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475910098 28904853504 10293 33554432000 4194304 4196468 140734907521968 140423425107232 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15630] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15630/stat : 15630 (java) S 15616 15616 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475910098 28904853504 10293 33554432000 4194304 4196468 140734907521968 140423424054896 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15631] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15631/stat : 15631 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910100 28904853504 10293 33554432000 4194304 4196468 140734907521968 140423423003216 140424041383835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15632] ppid=15616 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15618/task/15632/stat : 15632 (java) R 15616 15616 14667 0 -1 1077944384 618 0 0 0 1 0 0 0 20 0 20 0 475910100 28904853504 10293 33554432000 4194304 4196468 140734907521968 140423421950064 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15633] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15633/stat : 15633 (java) S 15616 15616 14667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 475910100 28904853504 10293 33554432000 4194304 4196468 140734907521968 140423420897264 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15634] ppid=15616 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/15618/task/15634/stat : 15634 (java) R 15616 15616 14667 0 -1 1077944384 147 0 0 0 2 0 0 0 20 0 20 0 475910101 28904853504 10293 33554432000 4194304 4196468 140734907521968 140422565325168 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15635] ppid=15616 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/15618/task/15635/stat : 15635 (java) R 15616 15616 14667 0 -1 4202560 734 0 0 0 7 0 0 0 20 0 20 0 475910101 28904853504 10293 33554432000 4194304 4196468 140734907521968 140422564272368 140424025445726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15636] ppid=15616 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15636/stat : 15636 (java) S 15616 15616 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475910101 28904853504 10293 33554432000 4194304 4196468 140734907521968 140422563220320 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15637] ppid=15616 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15618/task/15637/stat : 15637 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910101 28904853504 10293 33554432000 4194304 4196468 140734907521968 140422562167600 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42624 KiB

[startup+0.309627 s]*
/proc/loadavg: 8.11 8.20 8.27 4/211 15637
/proc/meminfo: memFree=16670436/32770624 swapFree=66986244/67108860
[pid=15616] ppid=15613 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15616/stat : 15616 (xcsp3-exec) S 15613 15616 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475910094 115843072 363 33554432000 4194304 5098028 140721237949584 140721237947688 140244994159228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22609920 140721237951349 140721237951593 140721237951593 140721237954506 0
/proc/15616/statm: 28282 363 305 221 0 87 0
[pid=15618] ppid=15616 vsize=28231652 memory=49512 CPUtime=0.51 cores=0-7
/proc/15618/stat : 15618 (java) S 15616 15616 14667 0 -1 1077944320 10772 0 0 0 47 4 0 0 20 0 20 0 475910095 28909211648 12378 33554432000 4194304 4196468 140734907521968 140734907504512 140424041365239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
/proc/15618/statm: 7057913 12378 3333 1 0 7019032 0
[pid=15618/tid=15619] ppid=15616 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/15618/task/15619/stat : 15619 (java) R 15616 15616 14667 0 -1 4202560 7793 0 0 0 27 3 0 0 20 0 20 0 475910095 28909211648 12409 33554432000 4194304 4196468 140734907521968 140424045596352 140424041387165 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15620] ppid=15616 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15620/stat : 15620 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28909211648 12409 33554432000 4194304 4196468 140734907521968 140423961217936 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15621] ppid=15616 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15621/stat : 15621 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28909211648 12409 33554432000 4194304 4196468 140734907521968 140423960165136 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15622] ppid=15616 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15622/stat : 15622 (java) S 15616 15616 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475910096 28909211648 12409 33554432000 4194304 4196468 140734907521968 140423959112848 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15623] ppid=15616 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15623/stat : 15623 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28909211648 12409 33554432000 4194304 4196468 140734907521968 140423958060048 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15624] ppid=15616 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15624/stat : 15624 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28909211648 12409 33554432000 4194304 4196468 140734907521968 140423957006736 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15625] ppid=15616 vsize=28231652 memory=139975668624047 CPUtime=0 cores=0-7
/proc/15618/task/15625/stat : 15625 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28909211648 12409 33554432000 4194304 4196468 140734907521968 140423587813648 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15626] ppid=15616 vsize=28231652 memory=139975668626352 CPUtime=0 cores=0-7
/proc/15618/task/15626/stat : 15626 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28909211648 12409 33554432000 4194304 4196468 140734907521968 140423586761360 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15627] ppid=15616 vsize=28231652 memory=139975668628656 CPUtime=0 cores=0-7
/proc/15618/task/15627/stat : 15627 (java) S 15616 15616 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475910096 28909211648 12409 33554432000 4194304 4196468 140734907521968 140423585708560 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15628] ppid=15616 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15628/stat : 15628 (java) S 15616 15616 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475910097 28909211648 12409 33554432000 4194304 4196468 140734907521968 140423426161264 140424041376386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15629] ppid=15616 vsize=28231652 memory=279951337271184 CPUtime=0 cores=0-7
/proc/15618/task/15629/stat : 15629 (java) S 15616 15616 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475910098 28909211648 12409 33554432000 4194304 4196468 140734907521968 140423425107232 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15630] ppid=15616 vsize=28231652 memory=279951337268880 CPUtime=0 cores=0-7
/proc/15618/task/15630/stat : 15630 (java) S 15616 15616 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475910098 28909211648 12409 33554432000 4194304 4196468 140734907521968 140423424054896 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15631] ppid=15616 vsize=28231652 memory=279951337275792 CPUtime=0 cores=0-7
/proc/15618/task/15631/stat : 15631 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910100 28909211648 12409 33554432000 4194304 4196468 140734907521968 140423423003216 140424041383835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15632] ppid=15616 vsize=28231652 memory=279951337217072 CPUtime=0.02 cores=0-7
/proc/15618/task/15632/stat : 15632 (java) S 15616 15616 14667 0 -1 1077944384 632 0 0 0 2 0 0 0 20 0 20 0 475910100 28909211648 12409 33554432000 4194304 4196468 140734907521968 140423421950064 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15633] ppid=15616 vsize=28231652 memory=279951337289616 CPUtime=0.02 cores=0-7
/proc/15618/task/15633/stat : 15633 (java) S 15616 15616 14667 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 20 0 475910100 28909211648 12409 33554432000 4194304 4196468 140734907521968 140423420897264 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15634] ppid=15616 vsize=28231652 memory=279951337296528 CPUtime=0.03 cores=0-7
/proc/15618/task/15634/stat : 15634 (java) S 15616 15616 14667 0 -1 1077944384 158 0 0 0 3 0 0 0 20 0 20 0 475910101 28909211648 12409 33554432000 4194304 4196468 140734907521968 140422565325168 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15635] ppid=15616 vsize=28231652 memory=279951337294224 CPUtime=0.12 cores=0-7
/proc/15618/task/15635/stat : 15635 (java) S 15616 15616 14667 0 -1 1077944384 838 0 0 0 12 0 0 0 20 0 20 0 475910101 28909211648 12409 33554432000 4194304 4196468 140734907521968 140422564272368 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15636] ppid=15616 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15636/stat : 15636 (java) S 15616 15616 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475910101 28909211648 12409 33554432000 4194304 4196468 140734907521968 140422563220320 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15637] ppid=15616 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/15618/task/15637/stat : 15637 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910101 28909211648 12409 33554432000 4194304 4196468 140734907521968 140422562167600 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50964 KiB

[startup+0.700962 s]
/proc/loadavg: 8.11 8.20 8.27 3/211 15637
/proc/meminfo: memFree=16645052/32770624 swapFree=66986244/67108860
[pid=15616] ppid=15613 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15616/stat : 15616 (xcsp3-exec) S 15613 15616 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475910094 115843072 363 33554432000 4194304 5098028 140721237949584 140721237947688 140244994159228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22609920 140721237951349 140721237951593 140721237951593 140721237954506 0
/proc/15616/statm: 28282 363 305 221 0 87 0
[pid=15618] ppid=15616 vsize=28233776 memory=110128 CPUtime=1.8 cores=0-7
/proc/15618/stat : 15618 (java) S 15616 15616 14667 0 -1 1077944320 15112 0 0 0 174 6 0 0 20 0 20 0 475910095 28911386624 27532 33554432000 4194304 4196468 140734907521968 140734907504512 140424041365239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
/proc/15618/statm: 7058444 27532 3447 1 0 7019544 0
[pid=15618/tid=15619] ppid=15616 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/15618/task/15619/stat : 15619 (java) R 15616 15616 14667 0 -1 4202560 8421 0 0 0 63 4 0 0 20 0 20 0 475910095 28911386624 27532 33554432000 4194304 4196468 140734907521968 140424045600304 140424025408869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15620] ppid=15616 vsize=28233776 memory=139975668835184 CPUtime=0 cores=0-7
/proc/15618/task/15620/stat : 15620 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28911386624 27532 33554432000 4194304 4196468 140734907521968 140423961217936 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15621] ppid=15616 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15621/stat : 15621 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475910096 28911386624 27532 33554432000 4194304 4196468 140734907521968 140423960165136 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15622] ppid=15616 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/15618/task/15622/stat : 15622 (java) S 15616 15616 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475910096 28911386624 27532 33554432000 4194304 4196468 140734907521968 140423959112848 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0

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

[pid=15618/tid=15635] ppid=15616 vsize=28766288 memory=6441081400687224661 CPUtime=0.59 cores=0-7
/proc/15618/task/15635/stat : 15635 (java) S 15616 15616 14667 0 -1 1077944384 2675 0 0 0 58 1 0 0 20 0 28 0 475910101 29456678912 122218 33554432000 4194304 4196468 140734907521968 140422564272368 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15636] ppid=15616 vsize=28766288 memory=2314885432475672951 CPUtime=0 cores=0-7
/proc/15618/task/15636/stat : 15636 (java) S 15616 15616 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475910101 29456678912 122218 33554432000 4194304 4196468 140734907521968 140422563220320 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15637] ppid=15616 vsize=28766288 memory=7948963741541478447 CPUtime=0 cores=0-7
/proc/15618/task/15637/stat : 15637 (java) S 15616 15616 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 475910101 29456678912 122218 33554432000 4194304 4196468 140734907521968 140422562167600 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15638] ppid=15616 vsize=28766288 memory=3472328296227680303 CPUtime=1.64 cores=0-7
/proc/15618/task/15638/stat : 15638 (java) R 15616 15616 14667 0 -1 4202560 86 0 0 0 164 0 0 0 20 0 28 0 475910305 29456678912 122218 33554432000 4194304 4196468 140734907521968 140422553185624 140423643725291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15639] ppid=15616 vsize=28766288 memory=-7751062316387046295 CPUtime=1.62 cores=0-7
/proc/15618/task/15639/stat : 15639 (java) R 15616 15616 14667 0 -1 4202560 83 0 0 0 162 0 0 0 20 0 28 0 475910311 29456678912 122218 33554432000 4194304 4196468 140734907521968 140422552134600 140423643725473 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15640] ppid=15616 vsize=28766288 memory=-8314040093590078617 CPUtime=1.61 cores=0-7
/proc/15618/task/15640/stat : 15640 (java) R 15616 15616 14667 0 -1 4202560 86 0 0 0 161 0 0 0 20 0 28 0 475910311 29456678912 122218 33554432000 4194304 4196468 140734907521968 140422551080632 140423643725369 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15641] ppid=15616 vsize=28766288 memory=6944656592455360604 CPUtime=1.55 cores=0-7
/proc/15618/task/15641/stat : 15641 (java) R 15616 15616 14667 0 -1 4202560 70 0 0 0 155 0 0 0 20 0 28 0 475910311 29456678912 122218 33554432000 4194304 4196468 140734907521968 140422550027736 140423643708452 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15642] ppid=15616 vsize=28766288 memory=6655300316396806240 CPUtime=1.66 cores=0-7
/proc/15618/task/15642/stat : 15642 (java) R 15616 15616 14667 0 -1 4202560 71 0 0 0 166 0 0 0 20 0 28 0 475910311 29456678912 122218 33554432000 4194304 4196468 140734907521968 140422548977896 140423643708532 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15643] ppid=15616 vsize=28766288 memory=6943526294502006880 CPUtime=1.36 cores=0-7
/proc/15618/task/15643/stat : 15643 (java) R 15616 15616 14667 0 -1 4202560 174 0 0 0 136 0 0 0 20 0 28 0 475910311 29456678912 122218 33554432000 4194304 4196468 140734907521968 140422547924664 140423643725320 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15644] ppid=15616 vsize=28766288 memory=-3967418655009478193 CPUtime=1.65 cores=0-7
/proc/15618/task/15644/stat : 15644 (java) R 15616 15616 14667 0 -1 4202560 117 0 0 0 165 0 0 0 20 0 28 0 475910311 29456678912 122218 33554432000 4194304 4196468 140734907521968 140422479335424 140423643708161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15645] ppid=15616 vsize=28766288 memory=7670025265532723280 CPUtime=1.53 cores=0-7
/proc/15618/task/15645/stat : 15645 (java) R 15616 15616 14667 0 -1 4202560 65 0 0 0 153 0 0 0 20 0 28 0 475910311 29456678912 122218 33554432000 4194304 4196468 140734907521968 140422478282824 140423643725478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
Current children cumulated CPU time: 20.07 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 490324 KiB

[startup+4.8016 s]
/proc/loadavg: 7.54 8.08 8.23 9/219 15645
/proc/meminfo: memFree=16231276/32770624 swapFree=66986244/67108860
[pid=15616] ppid=15613 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15616/stat : 15616 (xcsp3-exec) S 15613 15616 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475910094 115843072 363 33554432000 4194304 5098028 140721237949584 140721237947688 140244994159228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22609920 140721237951349 140721237951593 140721237951593 140721237954506 0
/proc/15616/statm: 28282 363 305 221 0 87 0
[pid=15618] ppid=15616 vsize=28766288 memory=489088 CPUtime=26.3 cores=0-7
/proc/15618/stat : 15618 (java) S 15616 15616 14667 0 -1 1077944320 32381 0 0 0 2573 57 0 0 20 0 28 0 475910095 29456678912 122272 33554432000 4194304 4196468 140734907521968 140734907504512 140424041365239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
/proc/15618/statm: 7191572 122272 3525 1 0 7152672 0
[pid=15618/tid=15619] ppid=15616 vsize=28766288 memory=0 CPUtime=1.87 cores=0-7
/proc/15618/task/15619/stat : 15619 (java) S 15616 15616 14667 0 -1 1077944384 9264 0 0 0 179 8 0 0 20 0 28 0 475910095 29456678912 122272 33554432000 4194304 4196468 140734907521968 140424045606016 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15620] ppid=15616 vsize=28766288 memory=6791534058613427641 CPUtime=0.08 cores=0-7
/proc/15618/task/15620/stat : 15620 (java) S 15616 15616 14667 0 -1 1077944384 169 0 0 0 4 4 0 0 20 0 28 0 475910096 29456678912 122272 33554432000 4194304 4196468 140734907521968 140423961217936 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15621] ppid=15616 vsize=28766288 memory=2110326275898388 CPUtime=0.09 cores=0-7
/proc/15618/task/15621/stat : 15621 (java) S 15616 15616 14667 0 -1 1077944384 164 0 0 0 5 4 0 0 20 0 28 0 475910096 29456678912 122272 33554432000 4194304 4196468 140734907521968 140423960165136 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15622] ppid=15616 vsize=28766288 memory=6944656592387989600 CPUtime=0.09 cores=0-7
/proc/15618/task/15622/stat : 15622 (java) S 15616 15616 14667 0 -1 1077944384 137 0 0 0 4 5 0 0 20 0 28 0 475910096 29456678912 122272 33554432000 4194304 4196468 140734907521968 140423959112848 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15623] ppid=15616 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7
/proc/15618/task/15623/stat : 15623 (java) S 15616 15616 14667 0 -1 1077944384 140 0 0 0 4 4 0 0 20 0 28 0 475910096 29456678912 122272 33554432000 4194304 4196468 140734907521968 140423958060048 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15624] ppid=15616 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/15618/task/15624/stat : 15624 (java) S 15616 15616 14667 0 -1 1077944384 188 0 0 0 5 5 0 0 20 0 28 0 475910096 29456678912 122272 33554432000 4194304 4196468 140734907521968 140423957006736 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15625] ppid=15616 vsize=28766288 memory=9937 CPUtime=0.1 cores=0-7
/proc/15618/task/15625/stat : 15625 (java) S 15616 15616 14667 0 -1 1077944384 156 0 0 0 5 5 0 0 20 0 28 0 475910096 29456678912 122272 33554432000 4194304 4196468 140734907521968 140423587813648 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15626] ppid=15616 vsize=28766288 memory=-3621219749712857441 CPUtime=0.09 cores=0-7
/proc/15618/task/15626/stat : 15626 (java) S 15616 15616 14667 0 -1 1077944384 162 0 0 0 4 5 0 0 20 0 28 0 475910096 29456678912 122272 33554432000 4194304 4196468 140734907521968 140423586761360 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15627] ppid=15616 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/15618/task/15627/stat : 15627 (java) S 15616 15616 14667 0 -1 1077944384 188 0 0 0 6 4 0 0 20 0 28 0 475910096 29456678912 122272 33554432000 4194304 4196468 140734907521968 140423585708560 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15628] ppid=15616 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15628/stat : 15628 (java) S 15616 15616 14667 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 28 0 475910097 29456678912 122272 33554432000 4194304 4196468 140734907521968 140423426161264 140424041376386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15629] ppid=15616 vsize=28766288 memory=780 CPUtime=0 cores=0-7
/proc/15618/task/15629/stat : 15629 (java) S 15616 15616 14667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 475910098 29456678912 122272 33554432000 4194304 4196468 140734907521968 140423425107296 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15630] ppid=15616 vsize=28766288 memory=3616 CPUtime=0 cores=0-7
/proc/15618/task/15630/stat : 15630 (java) S 15616 15616 14667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475910098 29456678912 122272 33554432000 4194304 4196468 140734907521968 140423424054912 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15631] ppid=15616 vsize=28766288 memory=1112 CPUtime=0 cores=0-7
/proc/15618/task/15631/stat : 15631 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475910100 29456678912 122272 33554432000 4194304 4196468 140734907521968 140423423003216 140424041383835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15632] ppid=15616 vsize=28766288 memory=6048 CPUtime=1.27 cores=0-7
/proc/15618/task/15632/stat : 15632 (java) S 15616 15616 14667 0 -1 1077944384 5704 0 0 0 126 1 0 0 20 0 28 0 475910100 29456678912 122272 33554432000 4194304 4196468 140734907521968 140423421950064 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15633] ppid=15616 vsize=28766288 memory=7552 CPUtime=1.53 cores=0-7
/proc/15618/task/15633/stat : 15633 (java) S 15616 15616 14667 0 -1 1077944384 7026 0 0 0 152 1 0 0 20 0 28 0 475910100 29456678912 122272 33554432000 4194304 4196468 140734907521968 140423420897264 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15634] ppid=15616 vsize=28766288 memory=2832 CPUtime=1.29 cores=0-7
/proc/15618/task/15634/stat : 15634 (java) S 15616 15616 14667 0 -1 1077944384 2857 0 0 0 129 0 0 0 20 0 28 0 475910101 29456678912 122272 33554432000 4194304 4196468 140734907521968 140422565325168 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15635] ppid=15616 vsize=28766288 memory=1084 CPUtime=0.61 cores=0-7
/proc/15618/task/15635/stat : 15635 (java) S 15616 15616 14667 0 -1 1077944384 2867 0 0 0 60 1 0 0 20 0 28 0 475910101 29456678912 122272 33554432000 4194304 4196468 140734907521968 140422564272368 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15636] ppid=15616 vsize=28766288 memory=14012 CPUtime=0 cores=0-7
/proc/15618/task/15636/stat : 15636 (java) S 15616 15616 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475910101 29456678912 122272 33554432000 4194304 4196468 140734907521968 140422563220320 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15637] ppid=15616 vsize=28766288 memory=14048 CPUtime=0 cores=0-7
/proc/15618/task/15637/stat : 15637 (java) S 15616 15616 14667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475910101 29456678912 122272 33554432000 4194304 4196468 140734907521968 140422562167600 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15638] ppid=15616 vsize=28766288 memory=29532 CPUtime=2.39 cores=0-7
/proc/15618/task/15638/stat : 15638 (java) R 15616 15616 14667 0 -1 4202560 186 0 0 0 239 0 0 0 20 0 28 0 475910305 29456678912 122272 33554432000 4194304 4196468 140734907521968 140422553185720 140423643725423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15639] ppid=15616 vsize=28766288 memory=1452 CPUtime=2.4 cores=0-7
/proc/15618/task/15639/stat : 15639 (java) R 15616 15616 14667 0 -1 4202560 110 0 0 0 240 0 0 0 20 0 28 0 475910311 29456678912 122272 33554432000 4194304 4196468 140734907521968 140422552136696 140423643725449 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15640] ppid=15616 vsize=28766288 memory=483596 CPUtime=2.35 cores=0-7
/proc/15618/task/15640/stat : 15640 (java) R 15616 15616 14667 0 -1 4202560 122 0 0 0 235 0 0 0 20 0 28 0 475910311 29456678912 122272 33554432000 4194304 4196468 140734907521968 140422551083000 140423643725473 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15641] ppid=15616 vsize=28766288 memory=0 CPUtime=2.33 cores=0-7
/proc/15618/task/15641/stat : 15641 (java) R 15616 15616 14667 0 -1 4202560 110 0 0 0 233 0 0 0 20 0 28 0 475910311 29456678912 122272 33554432000 4194304 4196468 140734907521968 140422550030456 140423643708460 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15642] ppid=15616 vsize=28766288 memory=0 CPUtime=2.43 cores=0-7
/proc/15618/task/15642/stat : 15642 (java) R 15616 15616 14667 0 -1 4202560 153 0 0 0 243 0 0 0 20 0 28 0 475910311 29456678912 122272 33554432000 4194304 4196468 140734907521968 140422548978168 140423643708511 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15643] ppid=15616 vsize=28766288 memory=0 CPUtime=2.13 cores=0-7
/proc/15618/task/15643/stat : 15643 (java) R 15616 15616 14667 0 -1 4202560 711 0 0 0 213 0 0 0 20 0 28 0 475910311 29456678912 122272 33554432000 4194304 4196468 140734907521968 140422547923112 140423643725483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15644] ppid=15616 vsize=28766288 memory=0 CPUtime=2.43 cores=0-7
/proc/15618/task/15644/stat : 15644 (java) R 15616 15616 14667 0 -1 4202560 140 0 0 0 243 0 0 0 20 0 28 0 475910311 29456678912 122272 33554432000 4194304 4196468 140734907521968 140422479337944 140423643725483 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15645] ppid=15616 vsize=28766288 memory=0 CPUtime=2.31 cores=0-7
/proc/15618/task/15645/stat : 15645 (java) R 15616 15616 14667 0 -1 4202560 101 0 0 0 231 0 0 0 20 0 28 0 475910311 29456678912 122272 33554432000 4194304 4196468 140734907521968 140422478282920 140423643725408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
Current children cumulated CPU time: 26.3 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 490540 KiB

[startup+5.20116 s]
/proc/loadavg: 7.54 8.08 8.23 10/219 15645
/proc/meminfo: memFree=16231028/32770624 swapFree=66986244/67108860
[pid=15616] ppid=15613 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15616/stat : 15616 (xcsp3-exec) S 15613 15616 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475910094 115843072 363 33554432000 4194304 5098028 140721237949584 140721237947688 140244994159228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22609920 140721237951349 140721237951593 140721237951593 140721237954506 0
/proc/15616/statm: 28282 363 305 221 0 87 0
[pid=15618] ppid=15616 vsize=28766288 memory=489140 CPUtime=29.47 cores=0-7
/proc/15618/stat : 15618 (java) S 15616 15616 14667 0 -1 1077944320 32506 0 0 0 2890 57 0 0 20 0 28 0 475910095 29456678912 122285 33554432000 4194304 4196468 140734907521968 140734907504512 140424041365239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
/proc/15618/statm: 7191572 122285 3525 1 0 7152672 0
[pid=15618/tid=15619] ppid=15616 vsize=28766288 memory=0 CPUtime=1.87 cores=0-7
/proc/15618/task/15619/stat : 15619 (java) S 15616 15616 14667 0 -1 1077944384 9264 0 0 0 179 8 0 0 20 0 28 0 475910095 29456678912 122285 33554432000 4194304 4196468 140734907521968 140424045606016 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15620] ppid=15616 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7
/proc/15618/task/15620/stat : 15620 (java) S 15616 15616 14667 0 -1 1077944384 169 0 0 0 4 4 0 0 20 0 28 0 475910096 29456678912 122285 33554432000 4194304 4196468 140734907521968 140423961217936 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15621] ppid=15616 vsize=28766288 memory=0 CPUtime=0.09 cores=0-7
/proc/15618/task/15621/stat : 15621 (java) S 15616 15616 14667 0 -1 1077944384 164 0 0 0 5 4 0 0 20 0 28 0 475910096 29456678912 122285 33554432000 4194304 4196468 140734907521968 140423960165136 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15622] ppid=15616 vsize=28766288 memory=0 CPUtime=0.09 cores=0-7
/proc/15618/task/15622/stat : 15622 (java) S 15616 15616 14667 0 -1 1077944384 137 0 0 0 4 5 0 0 20 0 28 0 475910096 29456678912 122285 33554432000 4194304 4196468 140734907521968 140423959112848 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15623] ppid=15616 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7
/proc/15618/task/15623/stat : 15623 (java) S 15616 15616 14667 0 -1 1077944384 140 0 0 0 4 4 0 0 20 0 28 0 475910096 29456678912 122285 33554432000 4194304 4196468 140734907521968 140423958060048 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15624] ppid=15616 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/15618/task/15624/stat : 15624 (java) S 15616 15616 14667 0 -1 1077944384 188 0 0 0 5 5 0 0 20 0 28 0 475910096 29456678912 122285 33554432000 4194304 4196468 140734907521968 140423957006736 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15625] ppid=15616 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/15618/task/15625/stat : 15625 (java) S 15616 15616 14667 0 -1 1077944384 156 0 0 0 5 5 0 0 20 0 28 0 475910096 29456678912 122285 33554432000 4194304 4196468 140734907521968 140423587813648 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15626] ppid=15616 vsize=28766288 memory=6791534058613427641 CPUtime=0.09 cores=0-7
/proc/15618/task/15626/stat : 15626 (java) S 15616 15616 14667 0 -1 1077944384 162 0 0 0 4 5 0 0 20 0 28 0 475910096 29456678912 122285 33554432000 4194304 4196468 140734907521968 140423586761360 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15627] ppid=15616 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/15618/task/15627/stat : 15627 (java) S 15616 15616 14667 0 -1 1077944384 188 0 0 0 6 4 0 0 20 0 28 0 475910096 29456678912 122285 33554432000 4194304 4196468 140734907521968 140423585708560 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15628] ppid=15616 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15628/stat : 15628 (java) S 15616 15616 14667 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 28 0 475910097 29456678912 122285 33554432000 4194304 4196468 140734907521968 140423426161264 140424041376386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15629] ppid=15616 vsize=28766288 memory=139975669153761 CPUtime=0 cores=0-7
/proc/15618/task/15629/stat : 15629 (java) S 15616 15616 14667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 475910098 29456678912 122285 33554432000 4194304 4196468 140734907521968 140423425107296 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15630] ppid=15616 vsize=28766288 memory=8026093382674246500 CPUtime=0 cores=0-7
/proc/15618/task/15630/stat : 15630 (java) S 15616 15616 14667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475910098 29456678912 122285 33554432000 4194304 4196468 140734907521968 140423424054912 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15631] ppid=15616 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/15618/task/15631/stat : 15631 (java) S 15616 15616 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475910100 29456678912 122285 33554432000 4194304 4196468 140734907521968 140423423003216 140424041383835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15632] ppid=15616 vsize=28766288 memory=489044 CPUtime=1.27 cores=0-7
/proc/15618/task/15632/stat : 15632 (java) S 15616 15616 14667 0 -1 1077944384 5704 0 0 0 126 1 0 0 20 0 28 0 475910100 29456678912 122285 33554432000 4194304 4196468 140734907521968 140423421950064 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15633] ppid=15616 vsize=28766288 memory=139975827531392 CPUtime=1.54 cores=0-7
/proc/15618/task/15633/stat : 15633 (java) R 15616 15616 14667 0 -1 4202560 7082 0 0 0 153 1 0 0 20 0 28 0 475910100 29456678912 122285 33554432000 4194304 4196468 140734907521968 140423420897264 140424033654688 0 4 0 16800975 0 0 0 -1 2 0 0 31 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15634] ppid=15616 vsize=28766288 memory=279951338066816 CPUtime=1.33 cores=0-7
/proc/15618/task/15634/stat : 15634 (java) S 15616 15616 14667 0 -1 1077944384 2877 0 0 0 133 0 0 0 20 0 28 0 475910101 29456678912 122285 33554432000 4194304 4196468 140734907521968 140422565325168 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15635] ppid=15616 vsize=28766288 memory=0 CPUtime=0.62 cores=0-7
/proc/15618/task/15635/stat : 15635 (java) S 15616 15616 14667 0 -1 1077944384 2897 0 0 0 61 1 0 0 20 0 28 0 475910101 29456678912 122285 33554432000 4194304 4196468 140734907521968 140422564272368 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15636] ppid=15616 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15636/stat : 15636 (java) S 15616 15616 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475910101 29456678912 122285 33554432000 4194304 4196468 140734907521968 140422563220320 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15637] ppid=15616 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/15618/task/15637/stat : 15637 (java) S 15616 15616 14667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475910101 29456678912 122285 33554432000 4194304 4196468 140734907521968 140422562167600 140424041376386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15638] ppid=15616 vsize=28766288 memory=0 CPUtime=2.79 cores=0-7
/proc/15618/task/15638/stat : 15638 (java) R 15616 15616 14667 0 -1 4202560 187 0 0 0 279 0 0 0 20 0 28 0 475910305 29456678912 122285 33554432000 4194304 4196468 140734907521968 140422553185720 140423637007636 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15639] ppid=15616 vsize=28766288 memory=0 CPUtime=2.79 cores=0-7
/proc/15618/task/15639/stat : 15639 (java) S 15616 15616 14667 0 -1 1077944384 110 0 0 0 279 0 0 0 20 0 28 0 475910311 29456678912 122285 33554432000 4194304 4196468 140734907521968 140422552139216 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15640] ppid=15616 vsize=28766288 memory=0 CPUtime=2.75 cores=0-7
/proc/15618/task/15640/stat : 15640 (java) R 15616 15616 14667 0 -1 4202560 122 0 0 0 275 0 0 0 20 0 28 0 475910311 29456678912 122285 33554432000 4194304 4196468 140734907521968 140422551083224 140423643725400 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15641] ppid=15616 vsize=28766288 memory=0 CPUtime=2.73 cores=0-7
/proc/15618/task/15641/stat : 15641 (java) S 15616 15616 14667 0 -1 1077944384 110 0 0 0 273 0 0 0 20 0 28 0 475910311 29456678912 122285 33554432000 4194304 4196468 140734907521968 140422550033104 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15642] ppid=15616 vsize=28766288 memory=0 CPUtime=2.77 cores=0-7
/proc/15618/task/15642/stat : 15642 (java) S 15616 15616 14667 0 -1 1077944384 208 0 0 0 277 0 0 0 20 0 28 0 475910311 29456678912 122285 33554432000 4194304 4196468 140734907521968 140422548980816 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15643] ppid=15616 vsize=28766288 memory=0 CPUtime=2.52 cores=0-7
/proc/15618/task/15643/stat : 15643 (java) R 15616 15616 14667 0 -1 4202560 711 0 0 0 252 0 0 0 20 0 28 0 475910311 29456678912 122285 33554432000 4194304 4196468 140734907521968 140422547923128 140423643725449 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15644] ppid=15616 vsize=28766288 memory=0 CPUtime=2.83 cores=0-7
/proc/15618/task/15644/stat : 15644 (java) S 15616 15616 14667 0 -1 1077944384 141 0 0 0 283 0 0 0 20 0 28 0 475910311 29456678912 122285 33554432000 4194304 4196468 140734907521968 140422479340880 140424041375445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
[pid=15618/tid=15645] ppid=15616 vsize=28766288 memory=279951338310112 CPUtime=2.71 cores=0-7
/proc/15618/task/15645/stat : 15645 (java) R 15616 15616 14667 0 -1 4202560 101 0 0 0 271 0 0 0 20 0 28 0 475910311 29456678912 122285 33554432000 4194304 4196468 140734907521968 140422478282920 140423643725418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140734907528170 140734907528342 140734907528342 140734907531215 0
Current children cumulated CPU time: 29.47 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 490592 KiB

Child status: 0
Real time (s): 5.2414
CPU time (s): 29.5517
CPU user time (s): 28.9627
CPU system time (s): 0.588979
CPU usage (%): 563.813
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 490592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.9627
system time used= 0.588979
maximum resident set size= 489404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33872
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4063
involuntary context switches= 668


# summary of solver processes directly reported to runsolver:
#   pid: 15616
#   total CPU time (s): 29.5517
#   total CPU user time (s): 28.9627
#   total CPU system time (s): 0.588979

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071898 second user time and 0.091099 second system time

The end
Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-600-co.xml
MD5SUM	c8310886daa61c46dd98a045c4929b4c
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	7.06352
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	602
Number of domains	1
Minimum domain size	600
Maximum domain size	600
Distribution of domain sizes	[{"size":600,"count":600}]
Minimum variable degree	602
Maximum variable degree	602
Distribution of variable degrees	[{"degree":602,"count":600}]
Minimum constraint arity	600
Maximum constraint arity	600
Distribution of constraint arities	[{"arity":600,"count":602}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":600}]
Optimization problem	NO
Type of objective
Trace number 4404338

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
