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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-18)	SAT	7.39608	1.64903
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 (13311 MiB free)
  memory of node 1: 16384 MiB (13297 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281050-1503127700/watcher-4281050-1503127700 -o /tmp/evaluation-result-4281050-1503127700/solver-4281050-1503127700 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503118348-10945 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1754692131 HOME/instance-4281050-1503127700.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=14769, runsolver pid=14766
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 3.81 6.52 7.41 2/200 14790
/proc/meminfo: memFree=27232292/32770624 swapFree=67108860/67108860
[pid=14769] ppid=14766 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14769/stat : 14769 (xcsp3-exec) S 14766 14769 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857502 9740288 346 33554432000 4194304 5098028 140733762814256 140733762812360 140322076197500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18792448 140733762823268 140733762823479 140733762823479 140733762826219 0
/proc/14769/statm: 2378 346 289 221 0 87 0
[pid=14771] ppid=14769 vsize=25999808 memory=25632 CPUtime=0.12 cores=0-7
/proc/14771/stat : 14771 (java) S 14769 14769 10918 0 -1 1077944320 5317 0 0 0 11 1 0 0 20 0 20 0 145857502 26623803392 6408 33554432000 4194304 4196468 140728733079056 140728733061600 140510356049655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
/proc/14771/statm: 6499952 6408 2860 1 0 6488269 0
[pid=14771/tid=14772] ppid=14769 vsize=25999808 memory=8185462130861841054 CPUtime=0.08 cores=0-7
/proc/14771/task/14772/stat : 14772 (java) R 14769 14769 10918 0 -1 4202560 3291 0 0 0 8 0 0 0 20 0 20 0 145857502 26623803392 6408 33554432000 4194304 4196468 140728733079056 140510360282928 140510356061590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14773] ppid=14769 vsize=25999808 memory=732370573617224677 CPUtime=0 cores=0-7
/proc/14771/task/14773/stat : 14773 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509913885456 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14774] ppid=14769 vsize=25999808 memory=140435279771264 CPUtime=0 cores=0-7
/proc/14771/task/14774/stat : 14774 (java) S 14769 14769 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857503 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509912832912 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14775] ppid=14769 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14775/stat : 14775 (java) S 14769 14769 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857503 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509911780368 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14776] ppid=14769 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14776/stat : 14776 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509910727824 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14777] ppid=14769 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14777/stat : 14777 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509909674256 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14778] ppid=14769 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14771/task/14778/stat : 14778 (java) S 14769 14769 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857503 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509908621712 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14779] ppid=14769 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14779/stat : 14779 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509907569168 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14780] ppid=14769 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14780/stat : 14780 (java) S 14769 14769 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857503 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509906516624 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14781] ppid=14769 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14781/stat : 14781 (java) S 14769 14769 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857505 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509483510256 140510356060802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14782] ppid=14769 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14782/stat : 14782 (java) S 14769 14769 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145857505 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509482456480 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14783] ppid=14769 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14783/stat : 14783 (java) S 14769 14769 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857505 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509481403888 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14784] ppid=14769 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14784/stat : 14784 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857508 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509480352464 140510356068251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14785] ppid=14769 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14785/stat : 14785 (java) S 14769 14769 10918 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 145857508 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509479299056 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14786] ppid=14769 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14786/stat : 14786 (java) S 14769 14769 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857508 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509478246512 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14787] ppid=14769 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14787/stat : 14787 (java) S 14769 14769 10918 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 145857508 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509477193968 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14788] ppid=14769 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/14771/task/14788/stat : 14788 (java) R 14769 14769 10918 0 -1 4202560 276 0 0 0 1 0 0 0 20 0 20 0 145857508 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509476141424 140510356061590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14789] ppid=14769 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14789/stat : 14789 (java) S 14769 14769 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857508 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509475089120 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14790] ppid=14769 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14771/task/14790/stat : 14790 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857508 26623803392 6408 33554432000 4194304 4196468 140728733079056 140509474036656 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27016 KiB

[startup+0.210408 s]*
/proc/loadavg: 3.81 6.52 7.41 2/200 14790
/proc/meminfo: memFree=27220780/32770624 swapFree=67108860/67108860
[pid=14769] ppid=14766 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14769/stat : 14769 (xcsp3-exec) S 14766 14769 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857502 9740288 346 33554432000 4194304 5098028 140733762814256 140733762812360 140322076197500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18792448 140733762823268 140733762823479 140733762823479 140733762826219 0
/proc/14769/statm: 2378 346 289 221 0 87 0
[pid=14771] ppid=14769 vsize=26004064 memory=38076 CPUtime=0.33 cores=0-7
/proc/14771/stat : 14771 (java) S 14769 14769 10918 0 -1 1077944320 8109 0 0 0 31 2 0 0 20 0 20 0 145857502 26628161536 9519 33554432000 4194304 4196468 140728733079056 140728733061600 140510356049655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
/proc/14771/statm: 6501016 9519 3042 1 0 6488269 0
[pid=14771/tid=14772] ppid=14769 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/14771/task/14772/stat : 14772 (java) D 14769 14769 10918 0 -1 1077944384 5058 0 0 0 18 1 0 0 20 0 20 0 145857502 26628161536 9519 33554432000 4194304 4196468 140728733079056 140510360260448 140510348728877 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14773] ppid=14769 vsize=26004096 memory=280870442694392 CPUtime=0 cores=0-7
/proc/14771/task/14773/stat : 14773 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26628194304 9519 33554432000 4194304 4196468 140728733079056 140509913885456 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14774] ppid=14769 vsize=26004096 memory=140435279771264 CPUtime=0 cores=0-7
/proc/14771/task/14774/stat : 14774 (java) S 14769 14769 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857503 26628194304 9519 33554432000 4194304 4196468 140728733079056 140509912832912 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14775] ppid=14769 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14775/stat : 14775 (java) S 14769 14769 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857503 26628161536 9520 33554432000 4194304 4196468 140728733079056 140509911780368 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14776] ppid=14769 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14776/stat : 14776 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26628161536 9520 33554432000 4194304 4196468 140728733079056 140509910727824 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14777] ppid=14769 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14777/stat : 14777 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26628161536 9520 33554432000 4194304 4196468 140728733079056 140509909674256 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14778] ppid=14769 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14771/task/14778/stat : 14778 (java) S 14769 14769 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857503 26628161536 9520 33554432000 4194304 4196468 140728733079056 140509908621712 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14779] ppid=14769 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14779/stat : 14779 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26628161536 9520 33554432000 4194304 4196468 140728733079056 140509907569168 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14780] ppid=14769 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14780/stat : 14780 (java) S 14769 14769 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857503 26628161536 9520 33554432000 4194304 4196468 140728733079056 140509906516624 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14781] ppid=14769 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14781/stat : 14781 (java) S 14769 14769 10918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 145857505 26628194304 9520 33554432000 4194304 4196468 140728733079056 140509483510256 140510356060802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14782] ppid=14769 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14782/stat : 14782 (java) S 14769 14769 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145857505 26628161536 9520 33554432000 4194304 4196468 140728733079056 140509482456480 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14783] ppid=14769 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14783/stat : 14783 (java) S 14769 14769 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857505 26628161536 9520 33554432000 4194304 4196468 140728733079056 140509481403888 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14784] ppid=14769 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14784/stat : 14784 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857508 26628161536 9520 33554432000 4194304 4196468 140728733079056 140509480352464 140510356068251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14785] ppid=14769 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14771/task/14785/stat : 14785 (java) S 14769 14769 10918 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 20 0 145857508 26628161536 9520 33554432000 4194304 4196468 140728733079056 140509479299056 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14786] ppid=14769 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14786/stat : 14786 (java) S 14769 14769 10918 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 20 0 145857508 26628161536 9520 33554432000 4194304 4196468 140728733079056 140509478246512 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14787] ppid=14769 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/14771/task/14787/stat : 14787 (java) S 14769 14769 10918 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 20 0 145857508 26628161536 9520 33554432000 4194304 4196468 140728733079056 140509477193968 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14788] ppid=14769 vsize=26004096 memory=0 CPUtime=0.08 cores=0-7
/proc/14771/task/14788/stat : 14788 (java) S 14769 14769 10918 0 -1 1077944384 905 0 0 0 8 0 0 0 20 0 20 0 145857508 26628194304 9520 33554432000 4194304 4196468 140728733079056 140509476141424 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14789] ppid=14769 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14789/stat : 14789 (java) S 14769 14769 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857508 26628194304 9520 33554432000 4194304 4196468 140728733079056 140509475089120 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14790] ppid=14769 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14771/task/14790/stat : 14790 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857508 26628161536 9520 33554432000 4194304 4196468 140728733079056 140509474036656 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39460 KiB

[startup+0.310348 s]*
/proc/loadavg: 3.81 6.52 7.41 3/200 14790
/proc/meminfo: memFree=27216376/32770624 swapFree=67108860/67108860
[pid=14769] ppid=14766 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14769/stat : 14769 (xcsp3-exec) S 14766 14769 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857502 9740288 346 33554432000 4194304 5098028 140733762814256 140733762812360 140322076197500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18792448 140733762823268 140733762823479 140733762823479 140733762826219 0
/proc/14769/statm: 2378 346 289 221 0 87 0
[pid=14771] ppid=14769 vsize=26004064 memory=43412 CPUtime=0.51 cores=0-7
/proc/14771/stat : 14771 (java) S 14769 14769 10918 0 -1 1077944320 9037 0 0 0 48 3 0 0 20 0 20 0 145857502 26628161536 10853 33554432000 4194304 4196468 140728733079056 140728733061600 140510356049655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
/proc/14771/statm: 6501016 10853 3114 1 0 6488269 0
[pid=14771/tid=14772] ppid=14769 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14771/task/14772/stat : 14772 (java) R 14769 14769 10918 0 -1 4202560 5710 0 0 0 28 1 0 0 20 0 20 0 145857502 26628161536 10853 33554432000 4194304 4196468 140728733079056 140510360288080 140509993047808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14773] ppid=14769 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14773/stat : 14773 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509913885456 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14774] ppid=14769 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14774/stat : 14774 (java) S 14769 14769 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857503 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509912832912 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14775] ppid=14769 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14775/stat : 14775 (java) S 14769 14769 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857503 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509911780368 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14776] ppid=14769 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14776/stat : 14776 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509910727824 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14777] ppid=14769 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/14771/task/14777/stat : 14777 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509909674256 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14778] ppid=14769 vsize=26004064 memory=140435163018159 CPUtime=0 cores=0-7
/proc/14771/task/14778/stat : 14778 (java) S 14769 14769 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857503 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509908621712 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14779] ppid=14769 vsize=26004064 memory=140435163020464 CPUtime=0 cores=0-7
/proc/14771/task/14779/stat : 14779 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509907569168 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14780] ppid=14769 vsize=26004064 memory=140435163022768 CPUtime=0 cores=0-7
/proc/14771/task/14780/stat : 14780 (java) S 14769 14769 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857503 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509906516624 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14781] ppid=14769 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14781/stat : 14781 (java) S 14769 14769 10918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 145857505 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509483510256 140510356060802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14782] ppid=14769 vsize=26004064 memory=280870326052496 CPUtime=0 cores=0-7
/proc/14771/task/14782/stat : 14782 (java) S 14769 14769 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145857505 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509482456480 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14783] ppid=14769 vsize=26004064 memory=280870326059408 CPUtime=0 cores=0-7
/proc/14771/task/14783/stat : 14783 (java) S 14769 14769 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857505 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509481403888 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14784] ppid=14769 vsize=26004064 memory=280870326000688 CPUtime=0 cores=0-7
/proc/14771/task/14784/stat : 14784 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857508 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509480352464 140510356068251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14785] ppid=14769 vsize=26004064 memory=280870326073232 CPUtime=0.02 cores=0-7
/proc/14771/task/14785/stat : 14785 (java) S 14769 14769 10918 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 20 0 145857508 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509479299056 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14786] ppid=14769 vsize=26004064 memory=280870326080144 CPUtime=0.01 cores=0-7
/proc/14771/task/14786/stat : 14786 (java) S 14769 14769 10918 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 20 0 145857508 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509478246512 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14787] ppid=14769 vsize=26004064 memory=280870326077840 CPUtime=0.02 cores=0-7
/proc/14771/task/14787/stat : 14787 (java) S 14769 14769 10918 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 20 0 145857508 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509477193968 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14788] ppid=14769 vsize=26004064 memory=280870326094000 CPUtime=0.13 cores=0-7
/proc/14771/task/14788/stat : 14788 (java) R 14769 14769 10918 0 -1 4202560 1087 0 0 0 13 0 0 0 20 0 20 0 145857508 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509476141424 140510349146491 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14789] ppid=14769 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14789/stat : 14789 (java) S 14769 14769 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857508 26628161536 10853 33554432000 4194304 4196468 140728733079056 140509475089120 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14790] ppid=14769 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14771/task/14790/stat : 14790 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857508 26628161536 11365 33554432000 4194304 4196468 140728733079056 140509474036656 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44796 KiB

[startup+0.70099 s]
/proc/loadavg: 3.81 6.52 7.41 4/200 14790
/proc/meminfo: memFree=27192548/32770624 swapFree=67108860/67108860
[pid=14769] ppid=14766 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14769/stat : 14769 (xcsp3-exec) S 14766 14769 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857502 9740288 346 33554432000 4194304 5098028 140733762814256 140733762812360 140322076197500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18792448 140733762823268 140733762823479 140733762823479 140733762826219 0
/proc/14769/statm: 2378 346 289 221 0 87 0
[pid=14771] ppid=14769 vsize=26006188 memory=93496 CPUtime=2 cores=0-7
/proc/14771/stat : 14771 (java) S 14769 14769 10918 0 -1 1077944320 14551 0 0 0 195 5 0 0 20 0 20 0 145857502 26630336512 23374 33554432000 4194304 4196468 140728733079056 140728733061600 140510356049655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
/proc/14771/statm: 6501547 23374 3196 1 0 6488781 0
[pid=14771/tid=14772] ppid=14769 vsize=26006188 memory=280870326388864 CPUtime=0.66 cores=0-7
/proc/14771/task/14772/stat : 14772 (java) R 14769 14769 10918 0 -1 4202560 6420 0 0 0 64 2 0 0 20 0 20 0 145857502 26630336512 23374 33554432000 4194304 4196468 140728733079056 140510360280144 140509994057726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14773] ppid=14769 vsize=26006188 memory=1948 CPUtime=0 cores=0-7
/proc/14771/task/14773/stat : 14773 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509913885456 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14774] ppid=14769 vsize=26006188 memory=800 CPUtime=0 cores=0-7
/proc/14771/task/14774/stat : 14774 (java) S 14769 14769 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857503 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509912832912 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14775] ppid=14769 vsize=26006188 memory=12132 CPUtime=0 cores=0-7
/proc/14771/task/14775/stat : 14775 (java) S 14769 14769 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857503 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509911780368 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14776] ppid=14769 vsize=26006188 memory=1440 CPUtime=0 cores=0-7
/proc/14771/task/14776/stat : 14776 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509910727824 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14777] ppid=14769 vsize=26006188 memory=5796 CPUtime=0 cores=0-7
/proc/14771/task/14777/stat : 14777 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509909674256 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14778] ppid=14769 vsize=26006188 memory=1224 CPUtime=0 cores=0-7
/proc/14771/task/14778/stat : 14778 (java) S 14769 14769 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857503 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509908621712 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14779] ppid=14769 vsize=26006188 memory=8708 CPUtime=0 cores=0-7
/proc/14771/task/14779/stat : 14779 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857503 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509907569168 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14780] ppid=14769 vsize=26006188 memory=1712 CPUtime=0 cores=0-7
/proc/14771/task/14780/stat : 14780 (java) S 14769 14769 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857503 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509906516624 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14781] ppid=14769 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/14771/task/14781/stat : 14781 (java) S 14769 14769 10918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 145857505 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509483510256 140510356060802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14782] ppid=14769 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/14771/task/14782/stat : 14782 (java) S 14769 14769 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145857505 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509482456480 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14783] ppid=14769 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/14771/task/14783/stat : 14783 (java) S 14769 14769 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857505 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509481403888 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14784] ppid=14769 vsize=26006188 memory=15876 CPUtime=0 cores=0-7
/proc/14771/task/14784/stat : 14784 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857508 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509480352464 140510356068251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14785] ppid=14769 vsize=26006188 memory=22312 CPUtime=0.29 cores=0-7
/proc/14771/task/14785/stat : 14785 (java) R 14769 14769 10918 0 -1 4202560 1708 0 0 0 29 0 0 0 20 0 20 0 145857508 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509479280072 140510339546489 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14786] ppid=14769 vsize=26006188 memory=4052 CPUtime=0.24 cores=0-7
/proc/14771/task/14786/stat : 14786 (java) R 14769 14769 10918 0 -1 4202560 1152 0 0 0 24 0 0 0 20 0 20 0 145857508 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509478233056 140510356071002 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14787] ppid=14769 vsize=26006188 memory=16236 CPUtime=0.34 cores=0-7
/proc/14771/task/14787/stat : 14787 (java) R 14769 14769 10918 0 -1 4202560 1423 0 0 0 34 0 0 0 20 0 20 0 145857508 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509477186992 140510356071002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14788] ppid=14769 vsize=26006188 memory=1796 CPUtime=0.41 cores=0-7
/proc/14771/task/14788/stat : 14788 (java) R 14769 14769 10918 0 -1 4202560 2535 0 0 0 41 0 0 0 20 0 20 0 145857508 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509476137152 140510356071002 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14789] ppid=14769 vsize=26006188 memory=644 CPUtime=0 cores=0-7
/proc/14771/task/14789/stat : 14789 (java) S 14769 14769 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857508 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509475089120 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14790] ppid=14769 vsize=26006188 memory=960 CPUtime=0 cores=0-7
/proc/14771/task/14790/stat : 14790 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857508 26630336512 23374 33554432000 4194304 4196468 140728733079056 140509474036656 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 94880 KiB

[startup+1.50412 s]
/proc/loadavg: 3.81 6.52 7.41 6/200 14790
/proc/meminfo: memFree=27081848/32770624 swapFree=67108860/67108860
[pid=14769] ppid=14766 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14769/stat : 14769 (xcsp3-exec) S 14766 14769 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857502 9740288 346 33554432000 4194304 5098028 140733762814256 140733762812360 140322076197500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18792448 140733762823268 140733762823479 140733762823479 140733762826219 0
/proc/14769/statm: 2378 346 289 221 0 87 0
[pid=14771] ppid=14769 vsize=26538700 memory=219224 CPUtime=6.38 cores=0-7
/proc/14771/stat : 14771 (java) S 14769 14769 10918 0 -1 1077944320 28968 0 0 0 625 13 0 0 20 0 28 0 145857502 27175628800 54806 33554432000 4194304 4196468 140728733079056 140728733061600 140510356049655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
/proc/14771/statm: 6634675 54806 3246 1 0 6621909 0
[pid=14771/tid=14772] ppid=14769 vsize=26538700 memory=7230054558034387554 CPUtime=1.14 cores=0-7
/proc/14771/task/14772/stat : 14772 (java) S 14769 14769 10918 0 -1 1077944384 7087 0 0 0 110 4 0 0 20 0 28 0 145857502 27175628800 54806 33554432000 4194304 4196468 140728733079056 140510360290432 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14773] ppid=14769 vsize=26538700 memory=4100 CPUtime=0.01 cores=0-7
/proc/14771/task/14773/stat : 14773 (java) S 14769 14769 10918 0 -1 1077944384 135 0 0 0 0 1 0 0 20 0 28 0 145857503 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509913885456 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14774] ppid=14769 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14774/stat : 14774 (java) S 14769 14769 10918 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 145857503 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509912832912 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14775] ppid=14769 vsize=26538700 memory=140435163245184 CPUtime=0 cores=0-7
/proc/14771/task/14775/stat : 14775 (java) S 14769 14769 10918 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 28 0 145857503 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509911780368 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14776] ppid=14769 vsize=26538700 memory=140435163245280 CPUtime=0 cores=0-7
/proc/14771/task/14776/stat : 14776 (java) S 14769 14769 10918 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 145857503 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509910727824 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14777] ppid=14769 vsize=26538700 memory=140435163245376 CPUtime=0 cores=0-7
/proc/14771/task/14777/stat : 14777 (java) S 14769 14769 10918 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 28 0 145857503 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509909674256 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14778] ppid=14769 vsize=26538700 memory=140435163245472 CPUtime=0 cores=0-7
/proc/14771/task/14778/stat : 14778 (java) S 14769 14769 10918 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 145857503 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509908621712 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14779] ppid=14769 vsize=26538700 memory=140435163245568 CPUtime=0 cores=0-7
/proc/14771/task/14779/stat : 14779 (java) S 14769 14769 10918 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 145857503 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509907569168 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14780] ppid=14769 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14780/stat : 14780 (java) S 14769 14769 10918 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 145857503 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509906516624 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14781] ppid=14769 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14781/stat : 14781 (java) S 14769 14769 10918 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 28 0 145857505 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509483510256 140510356060802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14782] ppid=14769 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14782/stat : 14782 (java) S 14769 14769 10918 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 145857505 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509482456480 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14783] ppid=14769 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14783/stat : 14783 (java) S 14769 14769 10918 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 145857505 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509481403888 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14784] ppid=14769 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14784/stat : 14784 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145857508 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509480352464 140510356068251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14785] ppid=14769 vsize=26538700 memory=0 CPUtime=1.06 cores=0-7
/proc/14771/task/14785/stat : 14785 (java) R 14769 14769 10918 0 -1 4202560 6483 0 0 0 105 1 0 0 20 0 28 0 145857508 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509479285504 140510337593873 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14786] ppid=14769 vsize=26538700 memory=0 CPUtime=0.94 cores=0-7
/proc/14771/task/14786/stat : 14786 (java) R 14769 14769 10918 0 -1 4202560 4785 0 0 0 93 1 0 0 20 0 28 0 145857508 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509478232608 140510340437734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14787] ppid=14769 vsize=26538700 memory=4612 CPUtime=1.08 cores=0-7
/proc/14771/task/14787/stat : 14787 (java) R 14769 14769 10918 0 -1 4202560 4670 0 0 0 107 1 0 0 20 0 28 0 145857508 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509477180752 140510340935799 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14788] ppid=14769 vsize=26538700 memory=1004 CPUtime=0.53 cores=0-7
/proc/14771/task/14788/stat : 14788 (java) R 14769 14769 10918 0 -1 4202560 3493 0 0 0 52 1 0 0 20 0 28 0 145857508 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509476141520 140510334680150 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14789] ppid=14769 vsize=26538700 memory=1200 CPUtime=0 cores=0-7
/proc/14771/task/14789/stat : 14789 (java) S 14769 14769 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145857508 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509475089120 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14790] ppid=14769 vsize=26538700 memory=15876 CPUtime=0 cores=0-7
/proc/14771/task/14790/stat : 14790 (java) S 14769 14769 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145857508 27175628800 54806 33554432000 4194304 4196468 140728733079056 140509474036656 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
Current children cumulated CPU time: 6.38 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 220608 KiB

[startup+1.64899 s]
# the end of solver process 14769 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.25173 s, system=0.144352 s

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

[startup+1.60212 s]
/proc/loadavg: 3.81 6.52 7.41 6/200 14790
/proc/meminfo: memFree=27081848/32770624 swapFree=67108860/67108860
[pid=14769] ppid=14766 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14769/stat : 14769 (xcsp3-exec) S 14766 14769 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145857502 9740288 346 33554432000 4194304 5098028 140733762814256 140733762812360 140322076197500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18792448 140733762823268 140733762823479 140733762823479 140733762826219 0
/proc/14769/statm: 2378 346 289 221 0 87 0
[pid=14771] ppid=14769 vsize=26538700 memory=219784 CPUtime=7.16 cores=0-7
/proc/14771/stat : 14771 (java) S 14769 14769 10918 0 -1 1077944320 29097 0 0 0 703 13 0 0 20 0 28 0 145857502 27175628800 54946 33554432000 4194304 4196468 140728733079056 140728733061600 140510356049655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
/proc/14771/statm: 6634675 54946 3253 1 0 6621909 0
[pid=14771/tid=14772] ppid=14769 vsize=26538700 memory=16236 CPUtime=1.14 cores=0-7
/proc/14771/task/14772/stat : 14772 (java) S 14769 14769 10918 0 -1 1077944384 7087 0 0 0 110 4 0 0 20 0 28 0 145857502 27175628800 54946 33554432000 4194304 4196468 140728733079056 140510360290432 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14773] ppid=14769 vsize=26538700 memory=1796 CPUtime=0.01 cores=0-7
/proc/14771/task/14773/stat : 14773 (java) S 14769 14769 10918 0 -1 1077944384 135 0 0 0 0 1 0 0 20 0 28 0 145857503 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509913885456 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14774] ppid=14769 vsize=26538700 memory=1292 CPUtime=0 cores=0-7
/proc/14771/task/14774/stat : 14774 (java) S 14769 14769 10918 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 145857503 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509912832912 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14775] ppid=14769 vsize=26538700 memory=2448 CPUtime=0 cores=0-7
/proc/14771/task/14775/stat : 14775 (java) S 14769 14769 10918 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 28 0 145857503 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509911780368 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14776] ppid=14769 vsize=26538700 memory=1732 CPUtime=0 cores=0-7
/proc/14771/task/14776/stat : 14776 (java) S 14769 14769 10918 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 145857503 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509910727824 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14777] ppid=14769 vsize=26538700 memory=1948 CPUtime=0 cores=0-7
/proc/14771/task/14777/stat : 14777 (java) S 14769 14769 10918 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 28 0 145857503 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509909674256 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14778] ppid=14769 vsize=26538700 memory=800 CPUtime=0 cores=0-7
/proc/14771/task/14778/stat : 14778 (java) S 14769 14769 10918 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 145857503 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509908621712 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14779] ppid=14769 vsize=26538700 memory=12132 CPUtime=0 cores=0-7
/proc/14771/task/14779/stat : 14779 (java) S 14769 14769 10918 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 145857503 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509907569168 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14780] ppid=14769 vsize=26538700 memory=1440 CPUtime=0 cores=0-7
/proc/14771/task/14780/stat : 14780 (java) S 14769 14769 10918 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 145857503 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509906516624 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14781] ppid=14769 vsize=26538700 memory=5796 CPUtime=0 cores=0-7
/proc/14771/task/14781/stat : 14781 (java) S 14769 14769 10918 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 28 0 145857505 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509483510256 140510356060802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14782] ppid=14769 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/14771/task/14782/stat : 14782 (java) S 14769 14769 10918 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 145857505 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509482456480 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14783] ppid=14769 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14783/stat : 14783 (java) S 14769 14769 10918 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 145857505 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509481403888 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14784] ppid=14769 vsize=26538700 memory=2241 CPUtime=0 cores=0-7
/proc/14771/task/14784/stat : 14784 (java) S 14769 14769 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145857508 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509480352464 140510356068251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14785] ppid=14769 vsize=26538700 memory=0 CPUtime=1.15 cores=0-7
/proc/14771/task/14785/stat : 14785 (java) R 14769 14769 10918 0 -1 4202560 6519 0 0 0 114 1 0 0 20 0 28 0 145857508 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509479285504 140510335741517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14786] ppid=14769 vsize=26538700 memory=6916 CPUtime=1.01 cores=0-7
/proc/14771/task/14786/stat : 14786 (java) R 14769 14769 10918 0 -1 4202560 4813 0 0 0 100 1 0 0 20 0 28 0 145857508 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509478231520 140510339544111 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14787] ppid=14769 vsize=26538700 memory=2244 CPUtime=1.16 cores=0-7
/proc/14771/task/14787/stat : 14787 (java) R 14769 14769 10918 0 -1 4202560 4682 0 0 0 115 1 0 0 20 0 28 0 145857508 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509477180064 140510337593886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14788] ppid=14769 vsize=26538700 memory=140435163356896 CPUtime=0.55 cores=0-7
/proc/14771/task/14788/stat : 14788 (java) R 14769 14769 10918 0 -1 4202560 3543 0 0 0 54 1 0 0 20 0 28 0 145857508 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509476139216 140510335441981 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14789] ppid=14769 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14789/stat : 14789 (java) S 14769 14769 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145857508 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509475089120 140510356059861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
[pid=14771/tid=14790] ppid=14769 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14771/task/14790/stat : 14790 (java) S 14769 14769 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145857508 27175628800 54946 33554432000 4194304 4196468 140728733079056 140509474036656 140510356060802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140728733086866 140728733087043 140728733087043 140728733089743 0
Current children cumulated CPU time: 7.16 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 221168 KiB

Child status: 0
Real time (s): 1.64903
CPU time (s): 7.39608
CPU user time (s): 7.25173
CPU system time (s): 0.144352
CPU usage (%): 448.51
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 221168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.25173
system time used= 0.144352
maximum resident set size= 221340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29713
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2821
involuntary context switches= 99


# summary of solver processes directly reported to runsolver:
#   pid: 14769
#   total CPU time (s): 7.39608
#   total CPU user time (s): 7.25173
#   total CPU system time (s): 0.144352

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037264 second user time and 0.054299 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-37-sum.xml
MD5SUM	069666c245bd9cd0e4e347c297fd6ca1
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.105976
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	3
Maximum variable degree	11
Distribution of variable degrees	[{"degree":3,"count":3},{"degree":4,"count":12},{"degree":5,"count":51},{"degree":6,"count":81},{"degree":7,"count":99},{"degree":8,"count":132},{"degree":9,"count":135},{"degree":10,"count":45},{"degree":11,"count":42}]
Minimum constraint arity	2
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":2,"count":2037},{"arity":3,"count":200}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2237}]
Optimization problem	NO
Type of objective
Trace number 4281050

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
