0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393623-1568447413.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4393623-1568447413.xml, -tl, 20160s, -p, 8]
0.33/0.22 c 8 solvers in parallel
0.33/0.29 c parse instance...
2.98/1.06 c solve instance...
69.18/9.44 s UNSATISFIABLE
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 (14707 MiB free)
memory of node 1: 16384 MiB (15193 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393623-1568447413/watcher-4393623-1568447413 -o /tmp/evaluation-result-4393623-1568447413/solver-4393623-1568447413 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568441213-25033 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 284724989 HOME/instance-4393623-1568447413.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=25400, runsolver pid=25397
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 8.08 8.15 8.15 2/210 25421
/proc/meminfo: memFree=30601124/32770624 swapFree=66997844/67108860
[pid=25400] ppid=25397 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25400/stat : 25400 (xcsp3-exec) S 25397 25400 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420995966 115843072 363 33554432000 4194304 5098028 140734202905264 140734202903368 140075156988540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27029504 140734202913654 140734202913897 140734202913897 140734202916810 0
/proc/25400/statm: 28282 363 304 221 0 87 0
[pid=25402] ppid=25400 vsize=28227388 memory=30068 CPUtime=0.12 cores=0-7
/proc/25402/stat : 25402 (java) S 25400 25400 25006 0 -1 1077944320 5987 0 0 0 11 1 0 0 20 0 20 0 420995966 28904845312 7517 33554432000 4194304 4196468 140730579062704 140730579045248 140618290507511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
/proc/25402/statm: 7056847 7517 3120 1 0 7019032 0
[pid=25402/tid=25403] ppid=25400 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/25402/task/25403/stat : 25403 (java) R 25400 25400 25006 0 -1 4202560 3903 0 0 0 8 1 0 0 20 0 20 0 420995967 28904845312 7517 33554432000 4194304 4196468 140730579062704 140618294729984 140617917168480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25404] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25404/stat : 25404 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 7517 33554432000 4194304 4196468 140730579062704 140618243128208 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25405] ppid=25400 vsize=28227388 memory=140617553962264 CPUtime=0 cores=0-7
/proc/25402/task/25405/stat : 25405 (java) S 25400 25400 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 7517 33554432000 4194304 4196468 140730579062704 140618242075408 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25406] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25406/stat : 25406 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 7517 33554432000 4194304 4196468 140730579062704 140618241023120 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25407] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25407/stat : 25407 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 7517 33554432000 4194304 4196468 140730579062704 140618239970320 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25408] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25408/stat : 25408 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 7517 33554432000 4194304 4196468 140730579062704 140618238917008 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25409] ppid=25400 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25402/task/25409/stat : 25409 (java) S 25400 25400 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 7517 33554432000 4194304 4196468 140730579062704 140618237864208 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25410] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25410/stat : 25410 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 7517 33554432000 4194304 4196468 140730579062704 140617835207312 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25411] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25411/stat : 25411 (java) S 25400 25400 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 7517 33554432000 4194304 4196468 140730579062704 140617834154512 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25412] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25412/stat : 25412 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995969 28904845312 7517 33554432000 4194304 4196468 140730579062704 140616552913520 140618290518658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25413] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25413/stat : 25413 (java) S 25400 25400 25006 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420995970 28904845312 7517 33554432000 4194304 4196468 140730579062704 140616551859488 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25414] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25414/stat : 25414 (java) S 25400 25400 25006 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420995970 28904845312 7517 33554432000 4194304 4196468 140730579062704 140616550807152 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25415] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25415/stat : 25415 (java) S 25400 25400 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420995972 28904845312 7517 33554432000 4194304 4196468 140730579062704 140616549755472 140618290526107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25416] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25416/stat : 25416 (java) S 25400 25400 25006 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 420995972 28904845312 7517 33554432000 4194304 4196468 140730579062704 140616548702320 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25417] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25417/stat : 25417 (java) S 25400 25400 25006 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 420995972 28904845312 7517 33554432000 4194304 4196468 140730579062704 140616547649520 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25418] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25418/stat : 25418 (java) S 25400 25400 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420995972 28904845312 7517 33554432000 4194304 4196468 140730579062704 140616546597232 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25419] ppid=25400 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/25402/task/25419/stat : 25419 (java) R 25400 25400 25006 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 20 0 420995972 28904845312 7517 33554432000 4194304 4196468 140730579062704 140616545544432 140618276519634 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25420] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25420/stat : 25420 (java) S 25400 25400 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420995972 28904845312 7517 33554432000 4194304 4196468 140730579062704 140616544492384 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25421] ppid=25400 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25402/task/25421/stat : 25421 (java) S 25400 25400 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420995973 28904845312 7517 33554432000 4194304 4196468 140730579062704 140616543439664 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31520 KiB
[startup+0.210611 s]*
/proc/loadavg: 8.08 8.15 8.15 3/210 25421
/proc/meminfo: memFree=30589212/32770624 swapFree=66997844/67108860
[pid=25400] ppid=25397 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25400/stat : 25400 (xcsp3-exec) S 25397 25400 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420995966 115843072 363 33554432000 4194304 5098028 140734202905264 140734202903368 140075156988540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27029504 140734202913654 140734202913897 140734202913897 140734202916810 0
/proc/25400/statm: 28282 363 304 221 0 87 0
[pid=25402] ppid=25400 vsize=28227388 memory=40620 CPUtime=0.33 cores=0-7
/proc/25402/stat : 25402 (java) S 25400 25400 25006 0 -1 1077944320 9417 0 0 0 30 3 0 0 20 0 20 0 420995966 28904845312 10155 33554432000 4194304 4196468 140730579062704 140730579045248 140618290507511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
/proc/25402/statm: 7056847 10155 3288 1 0 7019032 0
[pid=25402/tid=25403] ppid=25400 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/25402/task/25403/stat : 25403 (java) R 25400 25400 25006 0 -1 4202560 6697 0 0 0 17 3 0 0 20 0 20 0 420995967 28904845312 10155 33554432000 4194304 4196468 140730579062704 140618294747184 140618290529437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25404] ppid=25400 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/25402/task/25404/stat : 25404 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 10155 33554432000 4194304 4196468 140730579062704 140618243128208 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25405] ppid=25400 vsize=28227388 memory=3619120692390323872 CPUtime=0 cores=0-7
/proc/25402/task/25405/stat : 25405 (java) S 25400 25400 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 10155 33554432000 4194304 4196468 140730579062704 140618242075408 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25406] ppid=25400 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25402/task/25406/stat : 25406 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 10155 33554432000 4194304 4196468 140730579062704 140618241023120 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25407] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25407/stat : 25407 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 10155 33554432000 4194304 4196468 140730579062704 140618239970320 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25408] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25408/stat : 25408 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 10155 33554432000 4194304 4196468 140730579062704 140618238917008 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25409] ppid=25400 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25402/task/25409/stat : 25409 (java) S 25400 25400 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 10155 33554432000 4194304 4196468 140730579062704 140618237864208 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25410] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25410/stat : 25410 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 10155 33554432000 4194304 4196468 140730579062704 140617835207312 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25411] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25411/stat : 25411 (java) S 25400 25400 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420995968 28904845312 10155 33554432000 4194304 4196468 140730579062704 140617834154512 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25412] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25412/stat : 25412 (java) S 25400 25400 25006 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420995969 28904845312 10155 33554432000 4194304 4196468 140730579062704 140616552913520 140618290518658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25413] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25413/stat : 25413 (java) S 25400 25400 25006 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420995970 28904845312 10155 33554432000 4194304 4196468 140730579062704 140616551859488 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25414] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25414/stat : 25414 (java) S 25400 25400 25006 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420995970 28904845312 10155 33554432000 4194304 4196468 140730579062704 140616550807152 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25415] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25415/stat : 25415 (java) S 25400 25400 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420995972 28904845312 10155 33554432000 4194304 4196468 140730579062704 140616549755472 140618290526107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25416] ppid=25400 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/25402/task/25416/stat : 25416 (java) S 25400 25400 25006 0 -1 1077944384 308 0 0 0 1 0 0 0 20 0 20 0 420995972 28904845312 10155 33554432000 4194304 4196468 140730579062704 140616548702320 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25417] ppid=25400 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/25402/task/25417/stat : 25417 (java) S 25400 25400 25006 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 20 0 420995972 28904845312 10155 33554432000 4194304 4196468 140730579062704 140616547649520 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25418] ppid=25400 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7
/proc/25402/task/25418/stat : 25418 (java) S 25400 25400 25006 0 -1 1077944384 115 0 0 0 2 0 0 0 20 0 20 0 420995972 28904845312 10155 33554432000 4194304 4196468 140730579062704 140616546597232 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25419] ppid=25400 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/25402/task/25419/stat : 25419 (java) S 25400 25400 25006 0 -1 1077944384 762 0 0 0 8 0 0 0 20 0 20 0 420995972 28904845312 10155 33554432000 4194304 4196468 140730579062704 140616545544432 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25420] ppid=25400 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25420/stat : 25420 (java) S 25400 25400 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420995972 28904845312 10155 33554432000 4194304 4196468 140730579062704 140616544492384 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25421] ppid=25400 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25402/task/25421/stat : 25421 (java) S 25400 25400 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420995973 28904845312 10155 33554432000 4194304 4196468 140730579062704 140616543439664 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42072 KiB
[startup+0.310371 s]*
/proc/loadavg: 8.08 8.15 8.15 3/210 25421
/proc/meminfo: memFree=30584360/32770624 swapFree=66997844/67108860
[pid=25400] ppid=25397 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25400/stat : 25400 (xcsp3-exec) S 25397 25400 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420995966 115843072 363 33554432000 4194304 5098028 140734202905264 140734202903368 140075156988540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27029504 140734202913654 140734202913897 140734202913897 140734202916810 0
/proc/25400/statm: 28282 363 304 221 0 87 0
[pid=25402] ppid=25400 vsize=28231644 memory=49648 CPUtime=0.52 cores=0-7
/proc/25402/stat : 25402 (java) S 25400 25400 25006 0 -1 1077944320 10758 0 0 0 48 4 0 0 20 0 20 0 420995966 28909203456 12412 33554432000 4194304 4196468 140730579062704 140730579045248 140618290507511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
/proc/25402/statm: 7057911 12412 3357 1 0 7019032 0
[pid=25402/tid=25403] ppid=25400 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/25402/task/25403/stat : 25403 (java) R 25400 25400 25006 0 -1 4202560 7732 0 0 0 27 3 0 0 20 0 20 0 420995967 28909203456 12412 33554432000 4194304 4196468 140730579062704 140618294738624 140618274587998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25404] ppid=25400 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25404/stat : 25404 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28909203456 12412 33554432000 4194304 4196468 140730579062704 140618243128208 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25405] ppid=25400 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25405/stat : 25405 (java) S 25400 25400 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420995968 28909203456 12412 33554432000 4194304 4196468 140730579062704 140618242075408 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25406] ppid=25400 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25406/stat : 25406 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28909203456 12412 33554432000 4194304 4196468 140730579062704 140618241023120 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25407] ppid=25400 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25407/stat : 25407 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28909203456 12412 33554432000 4194304 4196468 140730579062704 140618239970320 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25408] ppid=25400 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25408/stat : 25408 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28909203456 12412 33554432000 4194304 4196468 140730579062704 140618238917008 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25409] ppid=25400 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25409/stat : 25409 (java) S 25400 25400 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420995968 28909203456 12412 33554432000 4194304 4196468 140730579062704 140618237864208 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25410] ppid=25400 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25410/stat : 25410 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28909203456 12412 33554432000 4194304 4196468 140730579062704 140617835207312 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25411] ppid=25400 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25411/stat : 25411 (java) S 25400 25400 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420995968 28909203456 12412 33554432000 4194304 4196468 140730579062704 140617834154512 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25412] ppid=25400 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25412/stat : 25412 (java) S 25400 25400 25006 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420995969 28909203456 12412 33554432000 4194304 4196468 140730579062704 140616552913520 140618290518658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25413] ppid=25400 vsize=28231644 memory=281234861399424 CPUtime=0 cores=0-7
/proc/25402/task/25413/stat : 25413 (java) S 25400 25400 25006 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420995970 28909203456 12412 33554432000 4194304 4196468 140730579062704 140616551859488 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25414] ppid=25400 vsize=28231644 memory=281234861404032 CPUtime=0 cores=0-7
/proc/25402/task/25414/stat : 25414 (java) S 25400 25400 25006 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420995970 28909203456 12412 33554432000 4194304 4196468 140730579062704 140616550807152 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25415] ppid=25400 vsize=28231644 memory=281234861408640 CPUtime=0 cores=0-7
/proc/25402/task/25415/stat : 25415 (java) S 25400 25400 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420995972 28909203456 12412 33554432000 4194304 4196468 140730579062704 140616549755472 140618290526107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25416] ppid=25400 vsize=28231644 memory=281234861413248 CPUtime=0.02 cores=0-7
/proc/25402/task/25416/stat : 25416 (java) S 25400 25400 25006 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 20 0 420995972 28909203456 12412 33554432000 4194304 4196468 140730579062704 140616548702320 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25417] ppid=25400 vsize=28231644 memory=281234861417856 CPUtime=0.03 cores=0-7
/proc/25402/task/25417/stat : 25417 (java) S 25400 25400 25006 0 -1 1077944384 267 0 0 0 3 0 0 0 20 0 20 0 420995972 28909203456 12412 33554432000 4194304 4196468 140730579062704 140616547649520 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25418] ppid=25400 vsize=28231644 memory=281234861422464 CPUtime=0.03 cores=0-7
/proc/25402/task/25418/stat : 25418 (java) R 25400 25400 25006 0 -1 4202560 223 0 0 0 3 0 0 0 20 0 20 0 420995972 28909203456 12412 33554432000 4194304 4196468 140730579062704 140616546587616 140618271207808 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25419] ppid=25400 vsize=28231644 memory=281234861427072 CPUtime=0.13 cores=0-7
/proc/25402/task/25419/stat : 25419 (java) S 25400 25400 25006 0 -1 1077944384 910 0 0 0 13 0 0 0 20 0 20 0 420995972 28909203456 12412 33554432000 4194304 4196468 140730579062704 140616545544432 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25420] ppid=25400 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25420/stat : 25420 (java) S 25400 25400 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420995972 28909203456 12412 33554432000 4194304 4196468 140730579062704 140616544492384 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25421] ppid=25400 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/25402/task/25421/stat : 25421 (java) S 25400 25400 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420995973 28909203456 12412 33554432000 4194304 4196468 140730579062704 140616543439664 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51100 KiB
[startup+0.702704 s]
/proc/loadavg: 8.08 8.15 8.15 6/210 25421
/proc/meminfo: memFree=30548852/32770624 swapFree=66997844/67108860
[pid=25400] ppid=25397 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25400/stat : 25400 (xcsp3-exec) S 25397 25400 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420995966 115843072 363 33554432000 4194304 5098028 140734202905264 140734202903368 140075156988540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27029504 140734202913654 140734202913897 140734202913897 140734202916810 0
/proc/25400/statm: 28282 363 304 221 0 87 0
[pid=25402] ppid=25400 vsize=28233768 memory=132064 CPUtime=1.95 cores=0-7
/proc/25402/stat : 25402 (java) S 25400 25400 25006 0 -1 1077944320 15031 0 0 0 188 7 0 0 20 0 20 0 420995966 28911378432 33016 33554432000 4194304 4196468 140730579062704 140730579045248 140618290507511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
/proc/25402/statm: 7058442 33016 3454 1 0 7019544 0
[pid=25402/tid=25403] ppid=25400 vsize=28233768 memory=4580 CPUtime=0.68 cores=0-7
/proc/25402/task/25403/stat : 25403 (java) R 25400 25400 25006 0 -1 4202560 9073 0 0 0 63 5 0 0 20 0 20 0 420995967 28911378432 33016 33554432000 4194304 4196468 140730579062704 140618294744824 140617921040900 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25404] ppid=25400 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25404/stat : 25404 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28911378432 33016 33554432000 4194304 4196468 140730579062704 140618243128208 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25405] ppid=25400 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25405/stat : 25405 (java) S 25400 25400 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420995968 28911378432 33016 33554432000 4194304 4196468 140730579062704 140618242075408 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25406] ppid=25400 vsize=28233768 memory=4008 CPUtime=0 cores=0-7
/proc/25402/task/25406/stat : 25406 (java) S 25400 25400 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420995968 28911378432 33016 33554432000 4194304 4196468 140730579062704 140618241023120 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
################
# More data... #
################
[pid=25402/tid=25419] ppid=25400 vsize=28768328 memory=6 CPUtime=0.78 cores=0-7
/proc/25402/task/25419/stat : 25419 (java) S 25400 25400 25006 0 -1 1077944384 3863 0 0 0 77 1 0 0 20 0 28 0 420995972 29458767872 117611 33554432000 4194304 4196468 140730579062704 140616545544432 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25420] ppid=25400 vsize=28768328 memory=140617431225328 CPUtime=0 cores=0-7
/proc/25402/task/25420/stat : 25420 (java) S 25400 25400 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420995972 29458767872 117611 33554432000 4194304 4196468 140730579062704 140616544492384 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25421] ppid=25400 vsize=28768328 memory=281234862408832 CPUtime=0 cores=0-7
/proc/25402/task/25421/stat : 25421 (java) S 25400 25400 25006 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 28 0 420995973 29458767872 117611 33554432000 4194304 4196468 140730579062704 140616543439664 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25422] ppid=25400 vsize=28768328 memory=0 CPUtime=6.45 cores=0-7
/proc/25402/task/25422/stat : 25422 (java) R 25400 25400 25006 0 -1 4202560 180 0 0 0 645 0 0 0 20 0 28 0 420996075 29458767872 117611 33554432000 4194304 4196468 140730579062704 140616534465928 140617922464534 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25423] ppid=25400 vsize=28768328 memory=0 CPUtime=6.22 cores=0-7
/proc/25402/task/25423/stat : 25423 (java) R 25400 25400 25006 0 -1 4202560 133 0 0 0 622 0 0 0 20 0 28 0 420996075 29458767872 117611 33554432000 4194304 4196468 140730579062704 140616533414136 140617922464534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25424] ppid=25400 vsize=28768328 memory=0 CPUtime=5.94 cores=0-7
/proc/25402/task/25424/stat : 25424 (java) R 25400 25400 25006 0 -1 4202560 1536 0 0 0 587 7 0 0 20 0 28 0 420996075 29458767872 117611 33554432000 4194304 4196468 140730579062704 140616532362696 140617925950523 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25425] ppid=25400 vsize=28768328 memory=0 CPUtime=6.36 cores=0-7
/proc/25402/task/25425/stat : 25425 (java) R 25400 25400 25006 0 -1 4202560 265 0 0 0 634 2 0 0 20 0 28 0 420996075 29458767872 117611 33554432000 4194304 4196468 140730579062704 140616531308984 140617922464263 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25426] ppid=25400 vsize=28768328 memory=0 CPUtime=6.35 cores=0-7
/proc/25402/task/25426/stat : 25426 (java) R 25400 25400 25006 0 -1 4202560 219 0 0 0 635 0 0 0 20 0 28 0 420996075 29458767872 117611 33554432000 4194304 4196468 140730579062704 140616530256744 140617922464024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25427] ppid=25400 vsize=28768328 memory=0 CPUtime=6.54 cores=0-7
/proc/25402/task/25427/stat : 25427 (java) R 25400 25400 25006 0 -1 4202560 152 0 0 0 654 0 0 0 20 0 28 0 420996075 29458767872 117611 33554432000 4194304 4196468 140730579062704 140616529204872 140617922464534 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25428] ppid=25400 vsize=28768328 memory=1452 CPUtime=6.64 cores=0-7
/proc/25402/task/25428/stat : 25428 (java) R 25400 25400 25006 0 -1 4202560 221 0 0 0 664 0 0 0 20 0 28 0 420996075 29458767872 117611 33554432000 4194304 4196468 140730579062704 140616528150824 140617922464534 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25429] ppid=25400 vsize=28768328 memory=470172 CPUtime=6.51 cores=0-7
/proc/25402/task/25429/stat : 25429 (java) R 25400 25400 25006 0 -1 4202560 154 0 0 0 651 0 0 0 20 0 28 0 420996075 29458767872 117611 33554432000 4194304 4196468 140730579062704 140616527101992 140617922466276 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
Current children cumulated CPU time: 59.69 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 471896 KiB
[startup+9.00171 s]
/proc/loadavg: 8.22 8.18 8.16 9/218 25429
/proc/meminfo: memFree=30160728/32770624 swapFree=66997844/67108860
[pid=25400] ppid=25397 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25400/stat : 25400 (xcsp3-exec) S 25397 25400 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420995966 115843072 363 33554432000 4194304 5098028 140734202905264 140734202903368 140075156988540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27029504 140734202913654 140734202913897 140734202913897 140734202916810 0
/proc/25400/statm: 28282 363 304 221 0 87 0
[pid=25402] ppid=25400 vsize=28768328 memory=539072 CPUtime=66 cores=0-7
/proc/25402/stat : 25402 (java) S 25400 25400 25006 0 -1 1077944320 33200 0 0 0 6531 69 0 0 20 0 28 0 420995966 29458767872 134768 33554432000 4194304 4196468 140730579062704 140730579045248 140618290507511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
/proc/25402/statm: 7192082 134768 3522 1 0 7153184 0
[pid=25402/tid=25403] ppid=25400 vsize=28768328 memory=1452 CPUtime=0.99 cores=0-7
/proc/25402/task/25403/stat : 25403 (java) S 25400 25400 25006 0 -1 1077944384 9256 0 0 0 94 5 0 0 20 0 28 0 420995967 29458767872 134768 33554432000 4194304 4196468 140730579062704 140618294748288 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25404] ppid=25400 vsize=28768328 memory=470380 CPUtime=0.09 cores=0-7
/proc/25402/task/25404/stat : 25404 (java) S 25400 25400 25006 0 -1 1077944384 136 0 0 0 4 5 0 0 20 0 28 0 420995968 29458767872 134768 33554432000 4194304 4196468 140730579062704 140618243128208 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25405] ppid=25400 vsize=28768328 memory=218399087052448 CPUtime=0.08 cores=0-7
/proc/25402/task/25405/stat : 25405 (java) S 25400 25400 25006 0 -1 1077944384 797 0 0 0 4 4 0 0 20 0 28 0 420995968 29458767872 134768 33554432000 4194304 4196468 140730579062704 140618242075408 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25406] ppid=25400 vsize=28768328 memory=4420 CPUtime=0.1 cores=0-7
/proc/25402/task/25406/stat : 25406 (java) S 25400 25400 25006 0 -1 1077944384 213 0 0 0 4 6 0 0 20 0 28 0 420995968 29458767872 134768 33554432000 4194304 4196468 140730579062704 140618241023120 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25407] ppid=25400 vsize=28768328 memory=6628 CPUtime=0.1 cores=0-7
/proc/25402/task/25407/stat : 25407 (java) S 25400 25400 25006 0 -1 1077944384 183 0 0 0 5 5 0 0 20 0 28 0 420995968 29458767872 134768 33554432000 4194304 4196468 140730579062704 140618239970320 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25408] ppid=25400 vsize=28768328 memory=470336 CPUtime=0.09 cores=0-7
/proc/25402/task/25408/stat : 25408 (java) S 25400 25400 25006 0 -1 1077944384 150 0 0 0 4 5 0 0 20 0 28 0 420995968 29458767872 134768 33554432000 4194304 4196468 140730579062704 140618238917008 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25409] ppid=25400 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7
/proc/25402/task/25409/stat : 25409 (java) S 25400 25400 25006 0 -1 1077944384 239 0 0 0 3 5 0 0 20 0 28 0 420995968 29458767872 134768 33554432000 4194304 4196468 140730579062704 140618237864208 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25410] ppid=25400 vsize=28768328 memory=4580 CPUtime=0.1 cores=0-7
/proc/25402/task/25410/stat : 25410 (java) S 25400 25400 25006 0 -1 1077944384 313 0 0 0 5 5 0 0 20 0 28 0 420995968 29458767872 134768 33554432000 4194304 4196468 140730579062704 140617835207312 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25411] ppid=25400 vsize=28768328 memory=281234861237576 CPUtime=0.08 cores=0-7
/proc/25402/task/25411/stat : 25411 (java) S 25400 25400 25006 0 -1 1077944384 206 0 0 0 3 5 0 0 20 0 28 0 420995968 29458767872 134768 33554432000 4194304 4196468 140730579062704 140617834154512 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25412] ppid=25400 vsize=28768328 memory=-7025452035942946156 CPUtime=0.01 cores=0-7
/proc/25402/task/25412/stat : 25412 (java) S 25400 25400 25006 0 -1 1077944384 423 0 0 0 1 0 0 0 20 0 28 0 420995969 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616552913520 140618290518658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25413] ppid=25400 vsize=28768328 memory=6944656592452807316 CPUtime=0 cores=0-7
/proc/25402/task/25413/stat : 25413 (java) S 25400 25400 25006 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 420995970 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616551859552 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25414] ppid=25400 vsize=28768328 memory=281234861254048 CPUtime=0 cores=0-7
/proc/25402/task/25414/stat : 25414 (java) S 25400 25400 25006 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 420995970 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616550807168 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25415] ppid=25400 vsize=28768328 memory=-2461829820114675750 CPUtime=0 cores=0-7
/proc/25402/task/25415/stat : 25415 (java) S 25400 25400 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420995972 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616549755472 140618290526107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25416] ppid=25400 vsize=28768328 memory=-2098775911743863648 CPUtime=1.86 cores=0-7
/proc/25402/task/25416/stat : 25416 (java) S 25400 25400 25006 0 -1 1077944384 3527 0 0 0 185 1 0 0 20 0 28 0 420995972 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616548702320 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25417] ppid=25400 vsize=28768328 memory=4798694599845700454 CPUtime=2.15 cores=0-7
/proc/25402/task/25417/stat : 25417 (java) S 25400 25400 25006 0 -1 1077944384 4746 0 0 0 214 1 0 0 20 0 28 0 420995972 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616547649520 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25418] ppid=25400 vsize=28768328 memory=281234861770336 CPUtime=1.98 cores=0-7
/proc/25402/task/25418/stat : 25418 (java) S 25400 25400 25006 0 -1 1077944384 3473 0 0 0 197 1 0 0 20 0 28 0 420995972 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616546597232 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25419] ppid=25400 vsize=28768328 memory=140621845948031 CPUtime=0.78 cores=0-7
/proc/25402/task/25419/stat : 25419 (java) S 25400 25400 25006 0 -1 1077944384 3871 0 0 0 77 1 0 0 20 0 28 0 420995972 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616545544432 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25420] ppid=25400 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25420/stat : 25420 (java) S 25400 25400 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420995972 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616544492384 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25421] ppid=25400 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25421/stat : 25421 (java) S 25400 25400 25006 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 28 0 420995973 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616543439664 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25422] ppid=25400 vsize=28768328 memory=0 CPUtime=7.23 cores=0-7
/proc/25402/task/25422/stat : 25422 (java) R 25400 25400 25006 0 -1 4202560 199 0 0 0 723 0 0 0 20 0 28 0 420996075 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616534465928 140617922463884 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25423] ppid=25400 vsize=28768328 memory=0 CPUtime=7.01 cores=0-7
/proc/25402/task/25423/stat : 25423 (java) R 25400 25400 25006 0 -1 4202560 176 0 0 0 701 0 0 0 20 0 28 0 420996075 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616533414136 140617922464249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25424] ppid=25400 vsize=28768328 memory=0 CPUtime=6.73 cores=0-7
/proc/25402/task/25424/stat : 25424 (java) R 25400 25400 25006 0 -1 4202560 2459 0 0 0 665 8 0 0 20 0 28 0 420996075 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616532363032 140617923507319 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25425] ppid=25400 vsize=28768328 memory=7595440001688102255 CPUtime=7.15 cores=0-7
/proc/25402/task/25425/stat : 25425 (java) R 25400 25400 25006 0 -1 4202560 434 0 0 0 713 2 0 0 20 0 28 0 420996075 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616531308984 140617922802993 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25426] ppid=25400 vsize=28768328 memory=6299802978650451056 CPUtime=7.14 cores=0-7
/proc/25402/task/25426/stat : 25426 (java) R 25400 25400 25006 0 -1 4202560 300 0 0 0 714 0 0 0 20 0 28 0 420996075 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616530256744 140617922464035 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25427] ppid=25400 vsize=28768328 memory=7308895142485716329 CPUtime=7.33 cores=0-7
/proc/25402/task/25427/stat : 25427 (java) R 25400 25400 25006 0 -1 4202560 190 0 0 0 733 0 0 0 20 0 28 0 420996075 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616529204872 140617922801244 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25428] ppid=25400 vsize=28768328 memory=0 CPUtime=7.43 cores=0-7
/proc/25402/task/25428/stat : 25428 (java) R 25400 25400 25006 0 -1 4202560 227 0 0 0 743 0 0 0 20 0 28 0 420996075 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616528150824 140617922801604 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25429] ppid=25400 vsize=28768328 memory=281234862695712 CPUtime=7.29 cores=0-7
/proc/25402/task/25429/stat : 25429 (java) R 25400 25400 25006 0 -1 4202560 168 0 0 0 729 0 0 0 20 0 28 0 420996075 29458767872 134768 33554432000 4194304 4196468 140730579062704 140616527101992 140617922802723 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
Current children cumulated CPU time: 66 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 540524 KiB
[startup+9.40171 s]
/proc/loadavg: 8.22 8.18 8.16 9/218 25429
/proc/meminfo: memFree=30069252/32770624 swapFree=66997844/67108860
[pid=25400] ppid=25397 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25400/stat : 25400 (xcsp3-exec) S 25397 25400 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420995966 115843072 363 33554432000 4194304 5098028 140734202905264 140734202903368 140075156988540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27029504 140734202913654 140734202913897 140734202913897 140734202916810 0
/proc/25400/statm: 28282 363 304 221 0 87 0
[pid=25402] ppid=25400 vsize=28768328 memory=584428 CPUtime=69.18 cores=0-7
/proc/25402/stat : 25402 (java) S 25400 25400 25006 0 -1 1077944320 33759 0 0 0 6849 69 0 0 20 0 28 0 420995966 29458767872 146107 33554432000 4194304 4196468 140730579062704 140730579045248 140618290507511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
/proc/25402/statm: 7192082 146107 3522 1 0 7153184 0
[pid=25402/tid=25403] ppid=25400 vsize=28768328 memory=6791534058613427641 CPUtime=0.99 cores=0-7
/proc/25402/task/25403/stat : 25403 (java) S 25400 25400 25006 0 -1 1077944384 9256 0 0 0 94 5 0 0 20 0 28 0 420995967 29458767872 146107 33554432000 4194304 4196468 140730579062704 140618294748288 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25404] ppid=25400 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7
/proc/25402/task/25404/stat : 25404 (java) S 25400 25400 25006 0 -1 1077944384 136 0 0 0 4 5 0 0 20 0 28 0 420995968 29458767872 146107 33554432000 4194304 4196468 140730579062704 140618243128208 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25405] ppid=25400 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7
/proc/25402/task/25405/stat : 25405 (java) S 25400 25400 25006 0 -1 1077944384 797 0 0 0 4 4 0 0 20 0 28 0 420995968 29458767872 146107 33554432000 4194304 4196468 140730579062704 140618242075408 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25406] ppid=25400 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/25402/task/25406/stat : 25406 (java) S 25400 25400 25006 0 -1 1077944384 213 0 0 0 4 6 0 0 20 0 28 0 420995968 29458767872 146107 33554432000 4194304 4196468 140730579062704 140618241023120 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25407] ppid=25400 vsize=28768328 memory=6944656592455359580 CPUtime=0.1 cores=0-7
/proc/25402/task/25407/stat : 25407 (java) S 25400 25400 25006 0 -1 1077944384 183 0 0 0 5 5 0 0 20 0 28 0 420995968 29458767872 146107 33554432000 4194304 4196468 140730579062704 140618239970320 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25408] ppid=25400 vsize=28768328 memory=140617431441377 CPUtime=0.09 cores=0-7
/proc/25402/task/25408/stat : 25408 (java) S 25400 25400 25006 0 -1 1077944384 150 0 0 0 4 5 0 0 20 0 28 0 420995968 29458767872 146107 33554432000 4194304 4196468 140730579062704 140618238917008 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25409] ppid=25400 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7
/proc/25402/task/25409/stat : 25409 (java) S 25400 25400 25006 0 -1 1077944384 239 0 0 0 3 5 0 0 20 0 28 0 420995968 29458767872 146107 33554432000 4194304 4196468 140730579062704 140618237864208 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25410] ppid=25400 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/25402/task/25410/stat : 25410 (java) S 25400 25400 25006 0 -1 1077944384 313 0 0 0 5 5 0 0 20 0 28 0 420995968 29458767872 146107 33554432000 4194304 4196468 140730579062704 140617835207312 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25411] ppid=25400 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7
/proc/25402/task/25411/stat : 25411 (java) S 25400 25400 25006 0 -1 1077944384 206 0 0 0 3 5 0 0 20 0 28 0 420995968 29458767872 146107 33554432000 4194304 4196468 140730579062704 140617834154512 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25412] ppid=25400 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/25402/task/25412/stat : 25412 (java) S 25400 25400 25006 0 -1 1077944384 493 0 0 0 1 0 0 0 20 0 28 0 420995969 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616552913520 140618290518658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25413] ppid=25400 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25413/stat : 25413 (java) S 25400 25400 25006 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 420995970 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616551859552 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25414] ppid=25400 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25414/stat : 25414 (java) S 25400 25400 25006 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 420995970 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616550807168 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25415] ppid=25400 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/25402/task/25415/stat : 25415 (java) S 25400 25400 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420995972 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616549755472 140618290526107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25416] ppid=25400 vsize=28768328 memory=0 CPUtime=1.86 cores=0-7
/proc/25402/task/25416/stat : 25416 (java) S 25400 25400 25006 0 -1 1077944384 3633 0 0 0 185 1 0 0 20 0 28 0 420995972 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616548702320 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25417] ppid=25400 vsize=28768328 memory=1452 CPUtime=2.15 cores=0-7
/proc/25402/task/25417/stat : 25417 (java) S 25400 25400 25006 0 -1 1077944384 4746 0 0 0 214 1 0 0 20 0 28 0 420995972 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616547649520 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25418] ppid=25400 vsize=28768328 memory=516544 CPUtime=1.98 cores=0-7
/proc/25402/task/25418/stat : 25418 (java) S 25400 25400 25006 0 -1 1077944384 3473 0 0 0 197 1 0 0 20 0 28 0 420995972 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616546597232 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25419] ppid=25400 vsize=28768328 memory=6944656592455097440 CPUtime=0.78 cores=0-7
/proc/25402/task/25419/stat : 25419 (java) S 25400 25400 25006 0 -1 1077944384 4121 0 0 0 77 1 0 0 20 0 28 0 420995972 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616545544432 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25420] ppid=25400 vsize=28768328 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/25402/task/25420/stat : 25420 (java) S 25400 25400 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420995972 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616544492384 140618290517717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25421] ppid=25400 vsize=28768328 memory=7100839861465685612 CPUtime=0 cores=0-7
/proc/25402/task/25421/stat : 25421 (java) S 25400 25400 25006 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 28 0 420995973 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616543439664 140618290518658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25422] ppid=25400 vsize=28768328 memory=281234861195504 CPUtime=7.63 cores=0-7
/proc/25402/task/25422/stat : 25422 (java) R 25400 25400 25006 0 -1 4202560 201 0 0 0 763 0 0 0 20 0 28 0 420996075 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616534465864 140617922466276 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25423] ppid=25400 vsize=28768328 memory=2670010 CPUtime=7.41 cores=0-7
/proc/25402/task/25423/stat : 25423 (java) R 25400 25400 25006 0 -1 4202560 180 0 0 0 741 0 0 0 20 0 28 0 420996075 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616533414424 140617922464042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25424] ppid=25400 vsize=28768328 memory=2671026 CPUtime=7.13 cores=0-7
/proc/25402/task/25424/stat : 25424 (java) R 25400 25400 25006 0 -1 4202560 2549 0 0 0 705 8 0 0 20 0 28 0 420996075 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616532360632 140617925533642 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25425] ppid=25400 vsize=28768328 memory=6655300316396806240 CPUtime=7.55 cores=0-7
/proc/25402/task/25425/stat : 25425 (java) R 25400 25400 25006 0 -1 4202560 445 0 0 0 753 2 0 0 20 0 28 0 420996075 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616531307936 140617922802723 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25426] ppid=25400 vsize=28768328 memory=6944656592455359580 CPUtime=7.54 cores=0-7
/proc/25402/task/25426/stat : 25426 (java) R 25400 25400 25006 0 -1 4202560 305 0 0 0 754 0 0 0 20 0 28 0 420996075 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616530255648 140617922464045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25427] ppid=25400 vsize=28768328 memory=6655300316396806240 CPUtime=7.73 cores=0-7
/proc/25402/task/25427/stat : 25427 (java) R 25400 25400 25006 0 -1 4202560 198 0 0 0 773 0 0 0 20 0 28 0 420996075 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616529202984 140617922464780 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25428] ppid=25400 vsize=28768328 memory=6944656592455097440 CPUtime=7.83 cores=0-7
/proc/25402/task/25428/stat : 25428 (java) R 25400 25400 25006 0 -1 4202560 234 0 0 0 783 0 0 0 20 0 28 0 420996075 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616528150696 140617922464579 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
[pid=25402/tid=25429] ppid=25400 vsize=28768328 memory=6655300316396806240 CPUtime=7.68 cores=0-7
/proc/25402/task/25429/stat : 25429 (java) R 25400 25400 25006 0 -1 4202560 174 0 0 0 768 0 0 0 20 0 28 0 420996075 29458767872 146107 33554432000 4194304 4196468 140730579062704 140616527097896 140617922380618 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26767360 140730579063786 140730579063958 140730579063958 140730579066831 0
Current children cumulated CPU time: 69.18 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 585880 KiB
Child status: 0
Real time (s): 9.45704
CPU time (s): 69.5376
CPU user time (s): 68.8267
CPU system time (s): 0.710925
CPU usage (%): 735.3
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 585880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.8267
system time used= 0.710925
maximum resident set size= 593064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35489
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4039
involuntary context switches= 1566
# summary of solver processes directly reported to runsolver:
# pid: 25400
# total CPU time (s): 69.5376
# total CPU user time (s): 68.8267
# total CPU system time (s): 0.710925
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.090869 second user time and 0.164988 second system time
The end
Begin job on node106 at 2019-09-14 08:48:56
IDJOB=4393623
IDBENCH=140445
IDSOLVER=2841
FILE ID=node106/4393623-1568447413
RUNJOBID= node106-1568441213-25033
PBS_JOBID= 21702349
Free space on /tmp= 59112 MiB
SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Crossword/Crossword-m1c-words-vg/Crossword-m1c-words-vg-8-10.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393623-1568447413/watcher-4393623-1568447413 -o /tmp/evaluation-result-4393623-1568447413/solver-4393623-1568447413 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568441213-25033 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 284724989 HOME/instance-4393623-1568447413.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 144dece3b308d129da0ce1fbe3c65b44
RANDOM SEED=284724989
node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.79
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.79
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.79
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.79
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 30618952 kB
MemAvailable: 31902888 kB
Buffers: 191560 kB
Cached: 1373340 kB
SwapCached: 9256 kB
Active: 492668 kB
Inactive: 1087240 kB
Active(anon): 14800 kB
Inactive(anon): 34212 kB
Active(file): 477868 kB
Inactive(file): 1053028 kB
Unevictable: 107536 kB
Mlocked: 107536 kB
SwapTotal: 67108860 kB
SwapFree: 66997844 kB
Dirty: 26460 kB
Writeback: 0 kB
AnonPages: 262452 kB
Mapped: 38588 kB
Shmem: 25448 kB
Slab: 166736 kB
SReclaimable: 137748 kB
SUnreclaim: 28988 kB
KernelStack: 3696 kB
PageTables: 5480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 490320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 107904 kB
DirectMap2M: 33437696 kB
Free space on /tmp at the end= 59088 MiB
End job on node106 at 2019-09-14 08:49:06