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-24 parallel	SAT	197.998	32.6592
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 (13797 MiB free)
  memory of node 1: 16384 MiB (11315 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406761-1569352406/watcher-4406761-1569352406 -o /tmp/evaluation-result-4406761-1569352406/solver-4406761-1569352406 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569349242-16448 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 613836237 HOME/instance-4406761-1569352406.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=19744, runsolver pid=19741
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 7.49 8.06 7.90 2/213 19765
/proc/meminfo: memFree=25700412/32770624 swapFree=66959708/67108860
[pid=19744] ppid=19741 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19744/stat : 19744 (xcsp3-exec) S 19741 19744 16421 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511509465 115843072 363 33554432000 4194304 5098028 140720918253408 140720918251512 139841118859900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29097984 140720918258550 140720918258793 140720918258793 140720918261706 0
/proc/19744/statm: 28282 363 304 221 0 87 0
[pid=19746] ppid=19744 vsize=28227396 memory=28960 CPUtime=0.12 cores=0-7
/proc/19746/stat : 19746 (java) S 19744 19744 16421 0 -1 1077944320 5719 0 0 0 11 1 0 0 20 0 20 0 511509465 28904853504 7240 33554432000 4194304 4196468 140728523904768 140728523887312 140401283591927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
/proc/19746/statm: 7056849 7240 3122 1 0 7019032 0
[pid=19746/tid=19747] ppid=19744 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/19746/task/19747/stat : 19747 (java) R 19744 19744 16421 0 -1 4202560 3615 0 0 0 8 1 0 0 20 0 20 0 511509466 28904853504 7240 33554432000 4194304 4196468 140728523904768 140401287824704 140400887195344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19748] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19748/stat : 19748 (java) S 19744 19744 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 7240 33554432000 4194304 4196468 140728523904768 140401236212624 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19749] ppid=19744 vsize=28227396 memory=140596478183574 CPUtime=0 cores=0-7
/proc/19746/task/19749/stat : 19749 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 7240 33554432000 4194304 4196468 140728523904768 140401235159824 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19750] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19750/stat : 19750 (java) S 19744 19744 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 7240 33554432000 4194304 4196468 140728523904768 140401234107536 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19751] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19751/stat : 19751 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 7240 33554432000 4194304 4196468 140728523904768 140401233054736 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19752] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19752/stat : 19752 (java) S 19744 19744 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 7240 33554432000 4194304 4196468 140728523904768 140401232001424 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19753] ppid=19744 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19746/task/19753/stat : 19753 (java) S 19744 19744 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 7240 33554432000 4194304 4196468 140728523904768 140401230948624 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19754] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19754/stat : 19754 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 7240 33554432000 4194304 4196468 140728523904768 140401229896336 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19755] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19755/stat : 19755 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 7240 33554432000 4194304 4196468 140728523904768 140401228843536 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19756] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19756/stat : 19756 (java) S 19744 19744 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511509468 28904853504 7240 33554432000 4194304 4196468 140728523904768 140399796546160 140401283603074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19757] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19757/stat : 19757 (java) S 19744 19744 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511509469 28904853504 7240 33554432000 4194304 4196468 140728523904768 140399795492128 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19758] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19758/stat : 19758 (java) S 19744 19744 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511509469 28904853504 7240 33554432000 4194304 4196468 140728523904768 140399794439792 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19759] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19759/stat : 19759 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509471 28904853504 7240 33554432000 4194304 4196468 140728523904768 140399793388112 140401283610523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19760] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19760/stat : 19760 (java) S 19744 19744 16421 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 511509471 28904853504 7240 33554432000 4194304 4196468 140728523904768 140399792334960 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19761] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19761/stat : 19761 (java) S 19744 19744 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511509471 28904853504 7240 33554432000 4194304 4196468 140728523904768 140399791282160 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19762] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19762/stat : 19762 (java) S 19744 19744 16421 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511509471 28904853504 7240 33554432000 4194304 4196468 140728523904768 140399790229872 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19763] ppid=19744 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/19746/task/19763/stat : 19763 (java) S 19744 19744 16421 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 20 0 511509471 28904853504 7240 33554432000 4194304 4196468 140728523904768 140399789177072 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19764] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19764/stat : 19764 (java) S 19744 19744 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511509471 28904853504 7240 33554432000 4194304 4196468 140728523904768 140399788125024 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19765] ppid=19744 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19746/task/19765/stat : 19765 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509472 28904853504 7240 33554432000 4194304 4196468 140728523904768 140399787072304 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30412 KiB

[startup+0.210802 s]*
/proc/loadavg: 7.49 8.06 7.90 2/213 19765
/proc/meminfo: memFree=25687300/32770624 swapFree=66959708/67108860
[pid=19744] ppid=19741 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19744/stat : 19744 (xcsp3-exec) S 19741 19744 16421 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511509465 115843072 363 33554432000 4194304 5098028 140720918253408 140720918251512 139841118859900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29097984 140720918258550 140720918258793 140720918258793 140720918261706 0
/proc/19744/statm: 28282 363 304 221 0 87 0
[pid=19746] ppid=19744 vsize=28227396 memory=40300 CPUtime=0.34 cores=0-7
/proc/19746/stat : 19746 (java) S 19744 19744 16421 0 -1 1077944320 9387 0 0 0 31 3 0 0 20 0 20 0 511509465 28904853504 10075 33554432000 4194304 4196468 140728523904768 140728523887312 140401283591927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
/proc/19746/statm: 7056849 10075 3307 1 0 7019032 0
[pid=19746/tid=19747] ppid=19744 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19746/task/19747/stat : 19747 (java) R 19744 19744 16421 0 -1 4202560 6630 0 0 0 18 2 0 0 20 0 20 0 511509466 28904853504 10075 33554432000 4194304 4196468 140728523904768 140401287825664 140401269273231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19748] ppid=19744 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/19746/task/19748/stat : 19748 (java) S 19744 19744 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 10075 33554432000 4194304 4196468 140728523904768 140401236212624 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19749] ppid=19744 vsize=28227396 memory=3978842401588217504 CPUtime=0 cores=0-7
/proc/19746/task/19749/stat : 19749 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 10075 33554432000 4194304 4196468 140728523904768 140401235159824 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19750] ppid=19744 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19746/task/19750/stat : 19750 (java) S 19744 19744 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 10075 33554432000 4194304 4196468 140728523904768 140401234107536 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19751] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19751/stat : 19751 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 10075 33554432000 4194304 4196468 140728523904768 140401233054736 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19752] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19752/stat : 19752 (java) S 19744 19744 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 10075 33554432000 4194304 4196468 140728523904768 140401232001424 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19753] ppid=19744 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19746/task/19753/stat : 19753 (java) S 19744 19744 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 10075 33554432000 4194304 4196468 140728523904768 140401230948624 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19754] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19754/stat : 19754 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 10075 33554432000 4194304 4196468 140728523904768 140401229896336 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19755] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19755/stat : 19755 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509467 28904853504 10075 33554432000 4194304 4196468 140728523904768 140401228843536 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19756] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19756/stat : 19756 (java) S 19744 19744 16421 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511509468 28904853504 10075 33554432000 4194304 4196468 140728523904768 140399796546160 140401283603074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19757] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19757/stat : 19757 (java) S 19744 19744 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511509469 28904853504 10075 33554432000 4194304 4196468 140728523904768 140399795492128 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19758] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19758/stat : 19758 (java) S 19744 19744 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511509469 28904853504 10075 33554432000 4194304 4196468 140728523904768 140399794439792 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19759] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19759/stat : 19759 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509471 28904853504 10075 33554432000 4194304 4196468 140728523904768 140399793388112 140401283610523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19760] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19760/stat : 19760 (java) S 19744 19744 16421 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 511509471 28904853504 10075 33554432000 4194304 4196468 140728523904768 140399792334960 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19761] ppid=19744 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19746/task/19761/stat : 19761 (java) S 19744 19744 16421 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 511509471 28904853504 10075 33554432000 4194304 4196468 140728523904768 140399791282160 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19762] ppid=19744 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/19746/task/19762/stat : 19762 (java) S 19744 19744 16421 0 -1 1077944384 296 0 0 0 2 0 0 0 20 0 20 0 511509471 28904853504 10075 33554432000 4194304 4196468 140728523904768 140399790229872 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19763] ppid=19744 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/19746/task/19763/stat : 19763 (java) R 19744 19744 16421 0 -1 4202560 789 0 0 0 8 0 0 0 20 0 20 0 511509471 28904853504 10075 33554432000 4194304 4196468 140728523904768 140399789177072 140401263908592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19764] ppid=19744 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19764/stat : 19764 (java) S 19744 19744 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511509471 28904853504 10075 33554432000 4194304 4196468 140728523904768 140399788125024 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19765] ppid=19744 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19746/task/19765/stat : 19765 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509472 28904853504 10075 33554432000 4194304 4196468 140728523904768 140399787072304 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41752 KiB

[startup+0.311178 s]*
/proc/loadavg: 7.49 8.06 7.90 3/213 19765
/proc/meminfo: memFree=25679744/32770624 swapFree=66959708/67108860
[pid=19744] ppid=19741 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19744/stat : 19744 (xcsp3-exec) S 19741 19744 16421 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511509465 115843072 363 33554432000 4194304 5098028 140720918253408 140720918251512 139841118859900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29097984 140720918258550 140720918258793 140720918258793 140720918261706 0
/proc/19744/statm: 28282 363 304 221 0 87 0
[pid=19746] ppid=19744 vsize=28231652 memory=50076 CPUtime=0.53 cores=0-7
/proc/19746/stat : 19746 (java) S 19744 19744 16421 0 -1 1077944320 10869 0 0 0 49 4 0 0 20 0 20 0 511509465 28909211648 12519 33554432000 4194304 4196468 140728523904768 140728523887312 140401283591927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
/proc/19746/statm: 7057913 12519 3365 1 0 7019032 0
[pid=19746/tid=19747] ppid=19744 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/19746/task/19747/stat : 19747 (java) R 19744 19744 16421 0 -1 4202560 7787 0 0 0 27 2 0 0 20 0 20 0 511509466 28909211648 12519 33554432000 4194304 4196468 140728523904768 140401287823040 140401267672414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19748] ppid=19744 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19748/stat : 19748 (java) S 19744 19744 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511509467 28909211648 12519 33554432000 4194304 4196468 140728523904768 140401236212624 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19749] ppid=19744 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19749/stat : 19749 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509467 28909211648 12519 33554432000 4194304 4196468 140728523904768 140401235159824 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19750] ppid=19744 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19750/stat : 19750 (java) S 19744 19744 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511509467 28909211648 12519 33554432000 4194304 4196468 140728523904768 140401234107536 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19751] ppid=19744 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19751/stat : 19751 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509467 28909211648 12519 33554432000 4194304 4196468 140728523904768 140401233054736 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19752] ppid=19744 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19752/stat : 19752 (java) S 19744 19744 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511509467 28909211648 12519 33554432000 4194304 4196468 140728523904768 140401232001424 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19753] ppid=19744 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19753/stat : 19753 (java) S 19744 19744 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511509467 28909211648 12519 33554432000 4194304 4196468 140728523904768 140401230948624 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19754] ppid=19744 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19754/stat : 19754 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509467 28909211648 12519 33554432000 4194304 4196468 140728523904768 140401229896336 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19755] ppid=19744 vsize=28231652 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/19746/task/19755/stat : 19755 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509467 28909211648 12519 33554432000 4194304 4196468 140728523904768 140401228843536 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19756] ppid=19744 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19756/stat : 19756 (java) S 19744 19744 16421 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511509468 28909211648 12519 33554432000 4194304 4196468 140728523904768 140399796546160 140401283603074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19757] ppid=19744 vsize=28231652 memory=281192717032832 CPUtime=0 cores=0-7
/proc/19746/task/19757/stat : 19757 (java) S 19744 19744 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511509469 28909211648 12519 33554432000 4194304 4196468 140728523904768 140399795492128 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19758] ppid=19744 vsize=28231652 memory=281192717037440 CPUtime=0 cores=0-7
/proc/19746/task/19758/stat : 19758 (java) S 19744 19744 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511509469 28909211648 12519 33554432000 4194304 4196468 140728523904768 140399794439792 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19759] ppid=19744 vsize=28231652 memory=281192717042048 CPUtime=0 cores=0-7
/proc/19746/task/19759/stat : 19759 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509471 28909211648 12519 33554432000 4194304 4196468 140728523904768 140399793388112 140401283610523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19760] ppid=19744 vsize=28231652 memory=281192717046656 CPUtime=0.01 cores=0-7
/proc/19746/task/19760/stat : 19760 (java) S 19744 19744 16421 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 20 0 511509471 28909211648 12519 33554432000 4194304 4196468 140728523904768 140399792334960 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19761] ppid=19744 vsize=28231652 memory=281192717051264 CPUtime=0.03 cores=0-7
/proc/19746/task/19761/stat : 19761 (java) R 19744 19744 16421 0 -1 4202560 164 0 0 0 3 0 0 0 20 0 20 0 511509471 28909211648 12519 33554432000 4194304 4196468 140728523904768 140399791273616 140401262846919 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19762] ppid=19744 vsize=28231652 memory=281192717055872 CPUtime=0.02 cores=0-7
/proc/19746/task/19762/stat : 19762 (java) S 19744 19744 16421 0 -1 1077944384 322 0 0 0 2 0 0 0 20 0 20 0 511509471 28909211648 12519 33554432000 4194304 4196468 140728523904768 140399790229872 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19763] ppid=19744 vsize=28231652 memory=281192717060480 CPUtime=0.12 cores=0-7
/proc/19746/task/19763/stat : 19763 (java) S 19744 19744 16421 0 -1 1077944384 935 0 0 0 12 0 0 0 20 0 20 0 511509471 28909211648 12519 33554432000 4194304 4196468 140728523904768 140399789177072 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19764] ppid=19744 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19764/stat : 19764 (java) S 19744 19744 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511509471 28909211648 12519 33554432000 4194304 4196468 140728523904768 140399788125024 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19765] ppid=19744 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/19746/task/19765/stat : 19765 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509472 28909211648 12519 33554432000 4194304 4196468 140728523904768 140399787072304 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51528 KiB

[startup+0.700896 s]
/proc/loadavg: 7.49 8.06 7.90 6/213 19765
/proc/meminfo: memFree=25657192/32770624 swapFree=66959708/67108860
[pid=19744] ppid=19741 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19744/stat : 19744 (xcsp3-exec) S 19741 19744 16421 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511509465 115843072 363 33554432000 4194304 5098028 140720918253408 140720918251512 139841118859900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29097984 140720918258550 140720918258793 140720918258793 140720918261706 0
/proc/19744/statm: 28282 363 304 221 0 87 0
[pid=19746] ppid=19744 vsize=28233776 memory=97140 CPUtime=1.87 cores=0-7
/proc/19746/stat : 19746 (java) S 19744 19744 16421 0 -1 1077944320 15994 0 0 0 181 6 0 0 20 0 20 0 511509465 28911386624 24285 33554432000 4194304 4196468 140728523904768 140728523887312 140401283591927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
/proc/19746/statm: 7058444 24285 3447 1 0 7019544 0
[pid=19746/tid=19747] ppid=19744 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/19746/task/19747/stat : 19747 (java) R 19744 19744 16421 0 -1 4202560 9114 0 0 0 64 3 0 0 20 0 20 0 511509466 28911386624 24285 33554432000 4194304 4196468 140728523904768 140401287826944 140401265241044 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19748] ppid=19744 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19748/stat : 19748 (java) S 19744 19744 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511509467 28911386624 24285 33554432000 4194304 4196468 140728523904768 140401236212624 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19749] ppid=19744 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19749/stat : 19749 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511509467 28911386624 24285 33554432000 4194304 4196468 140728523904768 140401235159824 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19750] ppid=19744 vsize=28233776 memory=1188 CPUtime=0 cores=0-7
/proc/19746/task/19750/stat : 19750 (java) S 19744 19744 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511509467 28911386624 24285 33554432000 4194304 4196468 140728523904768 140401234107536 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0

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

[pid=19746/tid=19753] ppid=19744 vsize=28766288 memory=928 CPUtime=10.63 cores=0-7
/proc/19746/task/19753/stat : 19753 (java) S 19744 19744 16421 0 -1 1077944384 18343 0 0 0 876 187 0 0 20 0 28 0 511509467 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140401230948624 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19754] ppid=19744 vsize=28766288 memory=3656 CPUtime=10.68 cores=0-7
/proc/19746/task/19754/stat : 19754 (java) S 19744 19744 16421 0 -1 1077944384 18245 0 0 0 875 193 0 0 20 0 28 0 511509467 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140401229896336 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19755] ppid=19744 vsize=28766288 memory=1976 CPUtime=10.71 cores=0-7
/proc/19746/task/19755/stat : 19755 (java) S 19744 19744 16421 0 -1 1077944384 14987 0 0 0 913 158 0 0 20 0 28 0 511509467 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140401228843536 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19756] ppid=19744 vsize=28766288 memory=2512 CPUtime=0.26 cores=0-7
/proc/19746/task/19756/stat : 19756 (java) S 19744 19744 16421 0 -1 1077944384 14201 0 0 0 17 9 0 0 20 0 28 0 511509468 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399796546160 140401283603074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19757] ppid=19744 vsize=28766288 memory=808 CPUtime=0 cores=0-7
/proc/19746/task/19757/stat : 19757 (java) S 19744 19744 16421 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 511509469 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399795492192 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19758] ppid=19744 vsize=28766288 memory=1448 CPUtime=0 cores=0-7
/proc/19746/task/19758/stat : 19758 (java) S 19744 19744 16421 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 511509469 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399794439808 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19759] ppid=19744 vsize=28766288 memory=1764 CPUtime=0 cores=0-7
/proc/19746/task/19759/stat : 19759 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511509471 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399793388112 140401283610523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19760] ppid=19744 vsize=28766288 memory=111632 CPUtime=2.08 cores=0-7
/proc/19746/task/19760/stat : 19760 (java) S 19744 19744 16421 0 -1 1077944384 13857 0 0 0 206 2 0 0 20 0 28 0 511509471 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399792334960 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19761] ppid=19744 vsize=28766288 memory=800 CPUtime=2.25 cores=0-7
/proc/19746/task/19761/stat : 19761 (java) S 19744 19744 16421 0 -1 1077944384 8911 0 0 0 223 2 0 0 20 0 28 0 511509471 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399791282160 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19762] ppid=19744 vsize=28766288 memory=3672 CPUtime=1.81 cores=0-7
/proc/19746/task/19762/stat : 19762 (java) S 19744 19744 16421 0 -1 1077944384 9144 0 0 0 180 1 0 0 20 0 28 0 511509471 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399790229872 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19763] ppid=19744 vsize=28766288 memory=1056 CPUtime=0.66 cores=0-7
/proc/19746/task/19763/stat : 19763 (java) S 19744 19744 16421 0 -1 1077944384 5521 0 0 0 65 1 0 0 20 0 28 0 511509471 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399789177072 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19764] ppid=19744 vsize=28766288 memory=1188 CPUtime=0 cores=0-7
/proc/19746/task/19764/stat : 19764 (java) S 19744 19744 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511509471 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399788125024 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19765] ppid=19744 vsize=28766288 memory=1536 CPUtime=0.01 cores=0-7
/proc/19746/task/19765/stat : 19765 (java) S 19744 19744 16421 0 -1 1077944384 1200 0 0 0 0 1 0 0 20 0 28 0 511509472 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399787072304 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19768] ppid=19744 vsize=28766288 memory=9592 CPUtime=12.26 cores=0-7
/proc/19746/task/19768/stat : 19768 (java) S 19744 19744 16421 0 -1 1077944384 5858 0 0 0 1216 10 0 0 20 0 28 0 511511216 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399778095216 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19769] ppid=19744 vsize=28766288 memory=2828 CPUtime=11.08 cores=0-7
/proc/19746/task/19769/stat : 19769 (java) S 19744 19744 16421 0 -1 1077944384 1497 0 0 0 1101 7 0 0 20 0 28 0 511511216 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399777043920 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19770] ppid=19744 vsize=28766288 memory=780 CPUtime=14.11 cores=0-7
/proc/19746/task/19770/stat : 19770 (java) R 19744 19744 16421 0 -1 4202560 5688 0 0 0 1399 12 0 0 20 0 28 0 511511216 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399775985368 140400895530734 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19771] ppid=19744 vsize=28766288 memory=620 CPUtime=11.79 cores=0-7
/proc/19746/task/19771/stat : 19771 (java) S 19744 19744 16421 0 -1 1077944384 106493 0 0 0 1150 29 0 0 20 0 28 0 511511216 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399774937808 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19772] ppid=19744 vsize=28766288 memory=1496 CPUtime=11.68 cores=0-7
/proc/19746/task/19772/stat : 19772 (java) S 19744 19744 16421 0 -1 1077944384 1626 0 0 0 1156 12 0 0 20 0 28 0 511511216 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399773885520 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19773] ppid=19744 vsize=28766288 memory=1188 CPUtime=11.7 cores=0-7
/proc/19746/task/19773/stat : 19773 (java) S 19744 19744 16421 0 -1 1077944384 2774 0 0 0 1159 11 0 0 20 0 28 0 511511216 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399772832720 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19774] ppid=19744 vsize=28766288 memory=33 CPUtime=14.21 cores=0-7
/proc/19746/task/19774/stat : 19774 (java) R 19744 19744 16421 0 -1 4202560 13107 0 0 0 1412 9 0 0 20 0 28 0 511511216 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399771774960 140400895530479 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19775] ppid=19744 vsize=28766288 memory=3624 CPUtime=11.71 cores=0-7
/proc/19746/task/19775/stat : 19775 (java) S 19744 19744 16421 0 -1 1077944384 1835 0 0 0 1166 5 0 0 20 0 28 0 511511216 29456678912 1934033 33554432000 4194304 4196468 140728523904768 140399770727632 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
Current children cumulated CPU time: 197.12 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 7737584 KiB

[startup+32.4011 s]
/proc/loadavg: 6.99 7.88 7.85 3/221 19775
/proc/meminfo: memFree=17980328/32770624 swapFree=66959708/67108860
[pid=19744] ppid=19741 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19744/stat : 19744 (xcsp3-exec) S 19741 19744 16421 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511509465 115843072 363 33554432000 4194304 5098028 140720918253408 140720918251512 139841118859900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29097984 140720918258550 140720918258793 140720918258793 140720918261706 0
/proc/19744/statm: 28282 363 304 221 0 87 0
[pid=19746] ppid=19744 vsize=28766288 memory=7736220 CPUtime=197.67 cores=0-7
/proc/19746/stat : 19746 (java) S 19744 19744 16421 0 -1 1077944320 358950 0 0 0 18168 1599 0 0 20 0 28 0 511509465 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140728523887312 140401283591927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
/proc/19746/statm: 7191572 1934055 3528 1 0 7152672 0
[pid=19746/tid=19747] ppid=19744 vsize=28766288 memory=111632 CPUtime=5.76 cores=0-7
/proc/19746/task/19747/stat : 19747 (java) S 19744 19744 16421 0 -1 1077944384 15801 0 0 0 564 12 0 0 20 0 28 0 511509466 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140401287832704 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19748] ppid=19744 vsize=28766288 memory=800 CPUtime=10.71 cores=0-7
/proc/19746/task/19748/stat : 19748 (java) S 19744 19744 16421 0 -1 1077944384 21029 0 0 0 884 187 0 0 20 0 28 0 511509467 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140401236212624 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19749] ppid=19744 vsize=28766288 memory=4100 CPUtime=10.72 cores=0-7
/proc/19746/task/19749/stat : 19749 (java) S 19744 19744 16421 0 -1 1077944384 20356 0 0 0 887 185 0 0 20 0 28 0 511509467 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140401235159824 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19750] ppid=19744 vsize=28766288 memory=1804 CPUtime=10.69 cores=0-7
/proc/19746/task/19750/stat : 19750 (java) S 19744 19744 16421 0 -1 1077944384 18742 0 0 0 892 177 0 0 20 0 28 0 511509467 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140401234107536 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19751] ppid=19744 vsize=28766288 memory=916 CPUtime=10.78 cores=0-7
/proc/19746/task/19751/stat : 19751 (java) S 19744 19744 16421 0 -1 1077944384 17368 0 0 0 889 189 0 0 20 0 28 0 511509467 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140401233054736 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19752] ppid=19744 vsize=28766288 memory=4820 CPUtime=10.64 cores=0-7
/proc/19746/task/19752/stat : 19752 (java) S 19744 19744 16421 0 -1 1077944384 16709 0 0 0 873 191 0 0 20 0 28 0 511509467 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140401232001424 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19753] ppid=19744 vsize=28766288 memory=1408 CPUtime=10.63 cores=0-7
/proc/19746/task/19753/stat : 19753 (java) S 19744 19744 16421 0 -1 1077944384 18343 0 0 0 876 187 0 0 20 0 28 0 511509467 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140401230948624 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19754] ppid=19744 vsize=28766288 memory=3048 CPUtime=10.68 cores=0-7
/proc/19746/task/19754/stat : 19754 (java) S 19744 19744 16421 0 -1 1077944384 18245 0 0 0 875 193 0 0 20 0 28 0 511509467 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140401229896336 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19755] ppid=19744 vsize=28766288 memory=6791534058613427641 CPUtime=10.71 cores=0-7
/proc/19746/task/19755/stat : 19755 (java) S 19744 19744 16421 0 -1 1077944384 14987 0 0 0 913 158 0 0 20 0 28 0 511509467 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140401228843536 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19756] ppid=19744 vsize=28766288 memory=3624 CPUtime=0.26 cores=0-7
/proc/19746/task/19756/stat : 19756 (java) S 19744 19744 16421 0 -1 1077944384 14201 0 0 0 17 9 0 0 20 0 28 0 511509468 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399796546160 140401283603074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19757] ppid=19744 vsize=28766288 memory=65248 CPUtime=0 cores=0-7
/proc/19746/task/19757/stat : 19757 (java) S 19744 19744 16421 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 511509469 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399795492192 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19758] ppid=19744 vsize=28766288 memory=486 CPUtime=0 cores=0-7
/proc/19746/task/19758/stat : 19758 (java) S 19744 19744 16421 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 511509469 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399794439808 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19759] ppid=19744 vsize=28766288 memory=484 CPUtime=0 cores=0-7
/proc/19746/task/19759/stat : 19759 (java) S 19744 19744 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511509471 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399793388112 140401283610523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19760] ppid=19744 vsize=28766288 memory=466 CPUtime=2.08 cores=0-7
/proc/19746/task/19760/stat : 19760 (java) S 19744 19744 16421 0 -1 1077944384 13860 0 0 0 206 2 0 0 20 0 28 0 511509471 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399792334960 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19761] ppid=19744 vsize=28766288 memory=476 CPUtime=2.28 cores=0-7
/proc/19746/task/19761/stat : 19761 (java) S 19744 19744 16421 0 -1 1077944384 10021 0 0 0 226 2 0 0 20 0 28 0 511509471 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399791282160 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19762] ppid=19744 vsize=28766288 memory=477 CPUtime=1.87 cores=0-7
/proc/19746/task/19762/stat : 19762 (java) S 19744 19744 16421 0 -1 1077944384 10896 0 0 0 186 1 0 0 20 0 28 0 511509471 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399790229872 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19763] ppid=19744 vsize=28766288 memory=0 CPUtime=0.66 cores=0-7
/proc/19746/task/19763/stat : 19763 (java) S 19744 19744 16421 0 -1 1077944384 6113 0 0 0 65 1 0 0 20 0 28 0 511509471 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399789177072 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19764] ppid=19744 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/19746/task/19764/stat : 19764 (java) S 19744 19744 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511509471 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399788125024 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19765] ppid=19744 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/19746/task/19765/stat : 19765 (java) S 19744 19744 16421 0 -1 1077944384 1200 0 0 0 0 1 0 0 20 0 28 0 511509472 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399787072304 140401283603074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 50 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19768] ppid=19744 vsize=28766288 memory=301793952500135201 CPUtime=12.26 cores=0-7
/proc/19746/task/19768/stat : 19768 (java) S 19744 19744 16421 0 -1 1077944384 5858 0 0 0 1216 10 0 0 20 0 28 0 511511216 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399778095216 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19769] ppid=19744 vsize=28766288 memory=14414804422866303 CPUtime=11.08 cores=0-7
/proc/19746/task/19769/stat : 19769 (java) S 19744 19744 16421 0 -1 1077944384 1497 0 0 0 1101 7 0 0 20 0 28 0 511511216 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399777043920 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19770] ppid=19744 vsize=28766288 memory=-7088785026379990432 CPUtime=14.17 cores=0-7
/proc/19746/task/19770/stat : 19770 (java) S 19744 19744 16421 0 -1 1077944384 5987 0 0 0 1405 12 0 0 20 0 28 0 511511216 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399775990608 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19771] ppid=19744 vsize=28766288 memory=4137287014106042739 CPUtime=11.79 cores=0-7
/proc/19746/task/19771/stat : 19771 (java) S 19744 19744 16421 0 -1 1077944384 106493 0 0 0 1150 29 0 0 20 0 28 0 511511216 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399774937808 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19772] ppid=19744 vsize=28766288 memory=4206468019014099040 CPUtime=11.68 cores=0-7
/proc/19746/task/19772/stat : 19772 (java) S 19744 19744 16421 0 -1 1077944384 1626 0 0 0 1156 12 0 0 20 0 28 0 511511216 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399773885520 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19773] ppid=19744 vsize=28766288 memory=6944656592455360608 CPUtime=11.7 cores=0-7
/proc/19746/task/19773/stat : 19773 (java) S 19744 19744 16421 0 -1 1077944384 2774 0 0 0 1159 11 0 0 20 0 28 0 511511216 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399772832720 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19774] ppid=19744 vsize=28766288 memory=288292185900692836 CPUtime=14.59 cores=0-7
/proc/19746/task/19774/stat : 19774 (java) R 19744 19744 16421 0 -1 4202560 13644 0 0 0 1450 9 0 0 20 0 28 0 511511216 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399771774960 140400895523368 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19775] ppid=19744 vsize=28766288 memory=3831820 CPUtime=11.71 cores=0-7
/proc/19746/task/19775/stat : 19775 (java) S 19744 19744 16421 0 -1 1077944384 1835 0 0 0 1166 5 0 0 20 0 28 0 511511216 29456678912 1934055 33554432000 4194304 4196468 140728523904768 140399770727632 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
Current children cumulated CPU time: 197.67 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 7737672 KiB

[startup+32.6011 s]
/proc/loadavg: 6.99 7.88 7.85 3/221 19775
/proc/meminfo: memFree=17980328/32770624 swapFree=66959708/67108860
[pid=19744] ppid=19741 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19744/stat : 19744 (xcsp3-exec) S 19741 19744 16421 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511509465 115843072 363 33554432000 4194304 5098028 140720918253408 140720918251512 139841118859900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29097984 140720918258550 140720918258793 140720918258793 140720918261706 0
/proc/19744/statm: 28282 363 304 221 0 87 0
[pid=19746] ppid=19744 vsize=28766288 memory=7735768 CPUtime=197.93 cores=0-7
/proc/19746/stat : 19746 (java) S 19744 19744 16421 0 -1 1077944320 361819 0 0 0 18193 1600 0 0 20 0 18 0 511509465 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140728523887312 140401283591927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
/proc/19746/statm: 7191572 1933942 3530 1 0 7152672 0
[pid=19746/tid=19747] ppid=19744 vsize=28766288 memory=0 CPUtime=5.76 cores=0-7
/proc/19746/task/19747/stat : 19747 (java) S 19744 19744 16421 0 -1 1077944384 16424 0 0 0 564 12 0 0 20 0 18 0 511509466 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140401287834768 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19748] ppid=19744 vsize=28766288 memory=734122130331934768 CPUtime=10.71 cores=0-7
/proc/19746/task/19748/stat : 19748 (java) S 19744 19744 16421 0 -1 1077944384 21029 0 0 0 884 187 0 0 20 0 18 0 511509467 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140401236212624 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19749] ppid=19744 vsize=28766288 memory=6791534058613427641 CPUtime=10.72 cores=0-7
/proc/19746/task/19749/stat : 19749 (java) S 19744 19744 16421 0 -1 1077944384 20356 0 0 0 887 185 0 0 20 0 18 0 511509467 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140401235159824 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19750] ppid=19744 vsize=28766288 memory=524 CPUtime=10.69 cores=0-7
/proc/19746/task/19750/stat : 19750 (java) S 19744 19744 16421 0 -1 1077944384 18742 0 0 0 892 177 0 0 20 0 18 0 511509467 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140401234107536 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19751] ppid=19744 vsize=28766288 memory=1568 CPUtime=10.78 cores=0-7
/proc/19746/task/19751/stat : 19751 (java) S 19744 19744 16421 0 -1 1077944384 17368 0 0 0 889 189 0 0 20 0 18 0 511509467 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140401233054736 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19752] ppid=19744 vsize=28766288 memory=928 CPUtime=10.64 cores=0-7
/proc/19746/task/19752/stat : 19752 (java) S 19744 19744 16421 0 -1 1077944384 16709 0 0 0 873 191 0 0 20 0 18 0 511509467 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140401232001424 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19753] ppid=19744 vsize=28766288 memory=3656 CPUtime=10.63 cores=0-7
/proc/19746/task/19753/stat : 19753 (java) S 19744 19744 16421 0 -1 1077944384 18343 0 0 0 876 187 0 0 20 0 18 0 511509467 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140401230948624 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19754] ppid=19744 vsize=28766288 memory=1976 CPUtime=10.68 cores=0-7
/proc/19746/task/19754/stat : 19754 (java) S 19744 19744 16421 0 -1 1077944384 18245 0 0 0 875 193 0 0 20 0 18 0 511509467 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140401229896336 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19755] ppid=19744 vsize=28766288 memory=2512 CPUtime=10.71 cores=0-7
/proc/19746/task/19755/stat : 19755 (java) S 19744 19744 16421 0 -1 1077944384 14987 0 0 0 913 158 0 0 20 0 18 0 511509467 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140401228843536 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19756] ppid=19744 vsize=28766288 memory=808 CPUtime=0.26 cores=0-7
/proc/19746/task/19756/stat : 19756 (java) S 19744 19744 16421 0 -1 1077944384 14257 0 0 0 17 9 0 0 20 0 18 0 511509468 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140399796546368 140401283603074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19757] ppid=19744 vsize=28766288 memory=1448 CPUtime=0 cores=0-7
/proc/19746/task/19757/stat : 19757 (java) S 19744 19744 16421 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 18 0 511509469 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140399795492192 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19758] ppid=19744 vsize=28766288 memory=1764 CPUtime=0 cores=0-7
/proc/19746/task/19758/stat : 19758 (java) S 19744 19744 16421 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 18 0 511509469 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140399794439808 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19760] ppid=19744 vsize=28766288 memory=800 CPUtime=2.11 cores=0-7
/proc/19746/task/19760/stat : 19760 (java) S 19744 19744 16421 0 -1 1077944384 14571 0 0 0 209 2 0 0 20 0 18 0 511509471 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140399792315360 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19761] ppid=19744 vsize=28766288 memory=4100 CPUtime=2.3 cores=0-7
/proc/19746/task/19761/stat : 19761 (java) S 19744 19744 16421 0 -1 1077944384 10148 0 0 0 228 2 0 0 20 0 18 0 511509471 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140399791266672 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19762] ppid=19744 vsize=28766288 memory=1804 CPUtime=1.88 cores=0-7
/proc/19746/task/19762/stat : 19762 (java) S 19744 19744 16421 0 -1 1077944384 10921 0 0 0 187 1 0 0 20 0 18 0 511509471 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140399790214832 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19763] ppid=19744 vsize=28766288 memory=56 CPUtime=0.66 cores=0-7
/proc/19746/task/19763/stat : 19763 (java) S 19744 19744 16421 0 -1 1077944384 6993 0 0 0 65 1 0 0 20 0 18 0 511509471 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140399789176640 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
[pid=19746/tid=19764] ppid=19744 vsize=28766288 memory=7234303152781525070 CPUtime=0 cores=0-7
/proc/19746/task/19764/stat : 19764 (java) S 19744 19744 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 511509471 29456678912 1933942 33554432000 4194304 4196468 140728523904768 140399788125024 140401283602133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728523912170 140728523912342 140728523912342 140728523915215 0
Current children cumulated CPU time: 197.93 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 7737220 KiB

Child status: 0
Real time (s): 32.6592
CPU time (s): 197.998
CPU user time (s): 181.937
CPU system time (s): 16.0613
CPU usage (%): 606.254
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 7737672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 181.937
system time used= 16.0613
maximum resident set size= 7736280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362422
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11098
involuntary context switches= 3002


# summary of solver processes directly reported to runsolver:
#   pid: 19744
#   total CPU time (s): 197.998
#   total CPU user time (s): 181.937
#   total CPU system time (s): 16.0613

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.30351 second user time and 0.378857 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si4-m4D/ Subisomorphism-si4-m4Dr4-m1296-05.xml
MD5SUM	880994e2431ab8d90ac30179b2246ea4
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	1.67882
Satisfiable
(Un)Satisfiability was proved
Number of variables	518
Number of constraints	1425
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":518}]
Minimum variable degree	2
Maximum variable degree	12
Distribution of variable degrees	[{"degree":2,"count":50},{"degree":3,"count":80},{"degree":4,"count":77},{"degree":6,"count":83},{"degree":7,"count":72},{"degree":8,"count":63},{"degree":9,"count":47},{"degree":10,"count":31},{"degree":11,"count":12},{"degree":12,"count":3}]
Minimum constraint arity	1
Maximum constraint arity	518
Distribution of constraint arities	[{"arity":1,"count":311},{"arity":2,"count":1113},{"arity":518,"count":1}]
Number of extensional constraints	1424
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1424},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4406761

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
