0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394500-1568439723.xml" -tl '20160s' -p 8
0.13/0.18 c Choco e747e1e
0.13/0.18 c [HOME/instance-4394500-1568439723.xml, -tl, 20160s, -p, 8]
0.33/0.22 c 8 solvers in parallel
0.33/0.29 c parse instance...
2.80/1.01 c solve instance...
6.88/1.52 o 75
6.88/1.54 o 47
6.88/1.57 o 7
8.16/1.76 o 6
8.16/1.77 o 5
8.16/1.79 o 4
8.69/1.80 o 3
16.60/2.81 o 2
27.00/4.13 s OPTIMUM FOUND
27.00/4.13 v <instantiation>
27.00/4.13 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] </list>
27.00/4.13 v <values>2 0 1 0 0 1 2 2 1 2 1 1 1 1 1 0 0 0 2 2 0 1 0 2 2 1 0 1 2 1 0 0 2 2 1 1 1 0 0 2 2 0 2 1 2 2 0 1 1 0 1 2 0 2 0 2 2 0 1 1 1 2 0 0 2 0 1 1 0 0 0 2 2 1 0 0 1 2 2 1 </values>
27.00/4.13 v </instantiation>
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 (11755 MiB free)
memory of node 1: 16384 MiB (14445 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394500-1568439723/watcher-4394500-1568439723 -o /tmp/evaluation-result-4394500-1568439723/solver-4394500-1568439723 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568439668-23122 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 23371807 HOME/instance-4394500-1568439723.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23414, runsolver pid=23411
[startup+0.100125 s]*
/proc/loadavg: 6.89 7.86 7.85 3/212 23435
/proc/meminfo: memFree=26813296/32770624 swapFree=66957016/67108860
[pid=23414] ppid=23411 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23414/stat : 23414 (xcsp3-exec) S 23411 23414 23095 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419886222 115843072 363 33554432000 4194304 5098028 140724119186272 140724119184376 139724368032380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12935168 140724119188343 140724119188585 140724119188585 140724119191498 0
/proc/23414/statm: 28282 363 305 221 0 87 0
[pid=23416] ppid=23414 vsize=28227388 memory=29060 CPUtime=0.13 cores=0-7
/proc/23416/stat : 23416 (java) S 23414 23414 23095 0 -1 1077944320 5735 0 0 0 11 2 0 0 20 0 20 0 419886222 28904845312 7265 33554432000 4194304 4196468 140729605969088 140729605951632 140095157059319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
/proc/23416/statm: 7056847 7265 3118 1 0 7019032 0
[pid=23416/tid=23417] ppid=23414 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/23416/task/23417/stat : 23417 (java) R 23414 23414 23095 0 -1 4202560 3633 0 0 0 8 1 0 0 20 0 20 0 419886223 28904845312 7265 33554432000 4194304 4196468 140729605969088 140095161292592 140095157071254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23418] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23418/stat : 23418 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419886223 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094708952208 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23419] ppid=23414 vsize=28227388 memory=140104042411648 CPUtime=0 cores=0-7
/proc/23416/task/23419/stat : 23419 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886223 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094707899408 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23420] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23420/stat : 23420 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419886223 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094706846608 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23421] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23421/stat : 23421 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886223 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094705793808 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23422] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23422/stat : 23422 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419886223 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094704741008 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23423] ppid=23414 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23416/task/23423/stat : 23423 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886224 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094703688208 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23424] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23424/stat : 23424 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419886224 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094702635408 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23425] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23425/stat : 23425 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886224 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094701582608 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23426] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23426/stat : 23426 (java) S 23414 23414 23095 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 419886225 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094658161520 140095157070466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23427] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23427/stat : 23427 (java) S 23414 23414 23095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419886226 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094657107488 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23428] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23428/stat : 23428 (java) S 23414 23414 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419886226 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094656054640 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23429] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23429/stat : 23429 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886228 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094655002960 140095157077915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23430] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23430/stat : 23430 (java) S 23414 23414 23095 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 419886228 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094653950320 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23431] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23431/stat : 23431 (java) S 23414 23414 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419886228 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094402062576 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23432] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23432/stat : 23432 (java) S 23414 23414 23095 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 419886228 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094401009776 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23433] ppid=23414 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/23416/task/23433/stat : 23433 (java) R 23414 23414 23095 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 20 0 419886228 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094399956976 140095141139806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23434] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23434/stat : 23434 (java) S 23414 23414 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419886228 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094398905440 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23435] ppid=23414 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23416/task/23435/stat : 23435 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886229 28904845312 7265 33554432000 4194304 4196468 140729605969088 140094397852720 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30512 KiB
[startup+0.210692 s]*
/proc/loadavg: 6.89 7.86 7.85 2/212 23435
/proc/meminfo: memFree=26801140/32770624 swapFree=66957016/67108860
[pid=23414] ppid=23411 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23414/stat : 23414 (xcsp3-exec) S 23411 23414 23095 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419886222 115843072 363 33554432000 4194304 5098028 140724119186272 140724119184376 139724368032380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12935168 140724119188343 140724119188585 140724119188585 140724119191498 0
/proc/23414/statm: 28282 363 305 221 0 87 0
[pid=23416] ppid=23414 vsize=28227388 memory=40428 CPUtime=0.33 cores=0-7
/proc/23416/stat : 23416 (java) S 23414 23414 23095 0 -1 1077944320 9387 0 0 0 29 4 0 0 20 0 20 0 419886222 28904845312 10107 33554432000 4194304 4196468 140729605969088 140729605951632 140095157059319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
/proc/23416/statm: 7056847 10107 3227 1 0 7019032 0
[pid=23416/tid=23417] ppid=23414 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/23416/task/23417/stat : 23417 (java) R 23414 23414 23095 0 -1 4202560 6613 0 0 0 17 3 0 0 20 0 20 0 419886223 28904845312 10107 33554432000 4194304 4196468 140729605969088 140095161293440 140095157071254 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23418] ppid=23414 vsize=28227388 memory=328 CPUtime=0 cores=0-7
/proc/23416/task/23418/stat : 23418 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419886223 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094708952208 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23419] ppid=23414 vsize=28227388 memory=140104045569961 CPUtime=0 cores=0-7
/proc/23416/task/23419/stat : 23419 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886223 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094707899408 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23420] ppid=23414 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23416/task/23420/stat : 23420 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419886223 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094706846608 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23421] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23421/stat : 23421 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886223 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094705793808 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23422] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23422/stat : 23422 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419886223 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094704741008 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23423] ppid=23414 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23416/task/23423/stat : 23423 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886224 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094703688208 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23424] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23424/stat : 23424 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419886224 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094702635408 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23425] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23425/stat : 23425 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886224 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094701582608 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23426] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23426/stat : 23426 (java) S 23414 23414 23095 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 419886225 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094658161520 140095157070466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23427] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23427/stat : 23427 (java) S 23414 23414 23095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419886226 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094657107488 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23428] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23428/stat : 23428 (java) S 23414 23414 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419886226 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094656054640 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23429] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23429/stat : 23429 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886228 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094655002960 140095157077915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23430] ppid=23414 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/23416/task/23430/stat : 23430 (java) S 23414 23414 23095 0 -1 1077944384 414 0 0 0 1 0 0 0 20 0 20 0 419886228 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094653950320 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23431] ppid=23414 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/23416/task/23431/stat : 23431 (java) S 23414 23414 23095 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 419886228 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094402062576 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23432] ppid=23414 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23416/task/23432/stat : 23432 (java) S 23414 23414 23095 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 20 0 419886228 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094401009776 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23433] ppid=23414 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/23416/task/23433/stat : 23433 (java) R 23414 23414 23095 0 -1 4202560 810 0 0 0 8 0 0 0 20 0 20 0 419886228 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094399956784 140095157071254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23434] ppid=23414 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23434/stat : 23434 (java) S 23414 23414 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419886228 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094398905440 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23435] ppid=23414 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23416/task/23435/stat : 23435 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886229 28904845312 10107 33554432000 4194304 4196468 140729605969088 140094397852720 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41880 KiB
[startup+0.31052 s]*
/proc/loadavg: 6.89 7.86 7.85 3/212 23435
/proc/meminfo: memFree=26794592/32770624 swapFree=66957016/67108860
[pid=23414] ppid=23411 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23414/stat : 23414 (xcsp3-exec) S 23411 23414 23095 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419886222 115843072 363 33554432000 4194304 5098028 140724119186272 140724119184376 139724368032380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12935168 140724119188343 140724119188585 140724119188585 140724119191498 0
/proc/23414/statm: 28282 363 305 221 0 87 0
[pid=23416] ppid=23414 vsize=28231644 memory=49564 CPUtime=0.52 cores=0-7
/proc/23416/stat : 23416 (java) S 23414 23414 23095 0 -1 1077944320 10793 0 0 0 47 5 0 0 20 0 20 0 419886222 28909203456 12391 33554432000 4194304 4196468 140729605969088 140729605951632 140095157059319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
/proc/23416/statm: 7057911 12391 3333 1 0 7019032 0
[pid=23416/tid=23417] ppid=23414 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23416/task/23417/stat : 23417 (java) R 23414 23414 23095 0 -1 4202560 7727 0 0 0 26 3 0 0 20 0 20 0 419886223 28909203456 12391 33554432000 4194304 4196468 140729605969088 140095161290432 140095157081245 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23418] ppid=23414 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23418/stat : 23418 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419886223 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094708952208 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23419] ppid=23414 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23419/stat : 23419 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886223 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094707899408 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23420] ppid=23414 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23420/stat : 23420 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419886223 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094706846608 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23421] ppid=23414 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23421/stat : 23421 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886223 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094705793808 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23422] ppid=23414 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/23416/task/23422/stat : 23422 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419886223 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094704741008 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23423] ppid=23414 vsize=28231644 memory=140103913665455 CPUtime=0 cores=0-7
/proc/23416/task/23423/stat : 23423 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886224 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094703688208 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23424] ppid=23414 vsize=28231644 memory=140103913667760 CPUtime=0 cores=0-7
/proc/23416/task/23424/stat : 23424 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419886224 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094702635408 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23425] ppid=23414 vsize=28231644 memory=140103913670064 CPUtime=0 cores=0-7
/proc/23416/task/23425/stat : 23425 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886224 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094701582608 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23426] ppid=23414 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23426/stat : 23426 (java) S 23414 23414 23095 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 419886225 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094658161520 140095157070466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23427] ppid=23414 vsize=28231644 memory=280207827347088 CPUtime=0 cores=0-7
/proc/23416/task/23427/stat : 23427 (java) S 23414 23414 23095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419886226 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094657107488 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23428] ppid=23414 vsize=28231644 memory=280207827354000 CPUtime=0 cores=0-7
/proc/23416/task/23428/stat : 23428 (java) S 23414 23414 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419886226 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094656054640 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23429] ppid=23414 vsize=28231644 memory=280207827295280 CPUtime=0 cores=0-7
/proc/23416/task/23429/stat : 23429 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886228 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094655002960 140095157077915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23430] ppid=23414 vsize=28231644 memory=280207827367824 CPUtime=0.03 cores=0-7
/proc/23416/task/23430/stat : 23430 (java) R 23414 23414 23095 0 -1 4202560 512 0 0 0 3 0 0 0 20 0 20 0 419886228 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094653940704 140095136316972 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23431] ppid=23414 vsize=28231644 memory=280207827374736 CPUtime=0.02 cores=0-7
/proc/23416/task/23431/stat : 23431 (java) S 23414 23414 23095 0 -1 1077944384 120 0 0 0 2 0 0 0 20 0 20 0 419886228 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094402062576 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23432] ppid=23414 vsize=28231644 memory=280207827372432 CPUtime=0.01 cores=0-7
/proc/23416/task/23432/stat : 23432 (java) S 23414 23414 23095 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 419886228 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094401009776 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23433] ppid=23414 vsize=28231644 memory=280207827388592 CPUtime=0.12 cores=0-7
/proc/23416/task/23433/stat : 23433 (java) S 23414 23414 23095 0 -1 1077944384 955 0 0 0 12 0 0 0 20 0 20 0 419886228 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094399956976 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23434] ppid=23414 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23434/stat : 23434 (java) S 23414 23414 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419886228 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094398905440 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23435] ppid=23414 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/23416/task/23435/stat : 23435 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886229 28909203456 12391 33554432000 4194304 4196468 140729605969088 140094397852720 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51016 KiB
[startup+0.700952 s]
/proc/loadavg: 6.89 7.86 7.85 5/212 23435
/proc/meminfo: memFree=26768672/32770624 swapFree=66957016/67108860
[pid=23414] ppid=23411 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23414/stat : 23414 (xcsp3-exec) S 23411 23414 23095 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419886222 115843072 363 33554432000 4194304 5098028 140724119186272 140724119184376 139724368032380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12935168 140724119188343 140724119188585 140724119188585 140724119191498 0
/proc/23414/statm: 28282 363 305 221 0 87 0
[pid=23416] ppid=23414 vsize=28233768 memory=106660 CPUtime=1.97 cores=0-7
/proc/23416/stat : 23416 (java) S 23414 23414 23095 0 -1 1077944320 16280 0 0 0 190 7 0 0 20 0 20 0 419886222 28911378432 26665 33554432000 4194304 4196468 140729605969088 140729605951632 140095157059319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
/proc/23416/statm: 7058442 26665 3457 1 0 7019544 0
[pid=23416/tid=23417] ppid=23414 vsize=28233768 memory=280207827746480 CPUtime=0.67 cores=0-7
/proc/23416/task/23417/stat : 23417 (java) R 23414 23414 23095 0 -1 4202560 9183 0 0 0 62 5 0 0 20 0 20 0 419886223 28911378432 26665 33554432000 4194304 4196468 140729605969088 140095161297984 140094798096615 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23418] ppid=23414 vsize=28233768 memory=140103913874288 CPUtime=0 cores=0-7
/proc/23416/task/23418/stat : 23418 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419886223 28911378432 26665 33554432000 4194304 4196468 140729605969088 140094708952208 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23419] ppid=23414 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23419/stat : 23419 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419886223 28911378432 26665 33554432000 4194304 4196468 140729605969088 140094707899408 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23420] ppid=23414 vsize=28233768 memory=1096 CPUtime=0 cores=0-7
/proc/23416/task/23420/stat : 23420 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419886223 28911378432 26665 33554432000 4194304 4196468 140729605969088 140094706846608 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
################
# More data... #
################
[pid=23416/tid=23433] ppid=23414 vsize=28768328 memory=1660 CPUtime=0.78 cores=0-7
/proc/23416/task/23433/stat : 23433 (java) S 23414 23414 23095 0 -1 1077944384 3183 0 0 0 77 1 0 0 20 0 28 0 419886228 29458767872 62449 33554432000 4194304 4196468 140729605969088 140094399956976 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23434] ppid=23414 vsize=28768328 memory=7014751519599842403 CPUtime=0 cores=0-7
/proc/23416/task/23434/stat : 23434 (java) S 23414 23414 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419886228 29458767872 62449 33554432000 4194304 4196468 140729605969088 140094398905440 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23435] ppid=23414 vsize=28768328 memory=7739276948477865575 CPUtime=0 cores=0-7
/proc/23416/task/23435/stat : 23435 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419886229 29458767872 62449 33554432000 4194304 4196468 140729605969088 140094397852720 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23500] ppid=23414 vsize=28768328 memory=7588684550706915689 CPUtime=0.64 cores=0-7
/proc/23416/task/23500/stat : 23500 (java) R 23414 23414 23095 0 -1 4202560 20 0 0 0 64 0 0 0 20 0 28 0 419886504 29458767872 62449 33554432000 4194304 4196468 140729605969088 140094314884168 140094801515424 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23501] ppid=23414 vsize=28768328 memory=7295944995277656144 CPUtime=0.69 cores=0-7
/proc/23416/task/23501/stat : 23501 (java) R 23414 23414 23095 0 -1 4202560 18 0 0 0 69 0 0 0 20 0 28 0 419886504 29458767872 62449 33554432000 4194304 4196468 140729605969088 140094388879736 140094801516049 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23502] ppid=23414 vsize=28768328 memory=7452725569783359826 CPUtime=0.5 cores=0-7
/proc/23416/task/23502/stat : 23502 (java) R 23414 23414 23095 0 -1 4202560 36 0 0 0 50 0 0 0 20 0 28 0 419886504 29458767872 62449 33554432000 4194304 4196468 140729605969088 140094316990712 140094801515984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23503] ppid=23414 vsize=28768328 memory=280207827749248 CPUtime=0.43 cores=0-7
/proc/23416/task/23503/stat : 23503 (java) R 23414 23414 23095 0 -1 4202560 21 0 0 0 43 0 0 0 20 0 28 0 419886504 29458767872 62449 33554432000 4194304 4196468 140729605969088 140094386774616 140095157071254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23504] ppid=23414 vsize=28768328 memory=0 CPUtime=0.73 cores=0-7
/proc/23416/task/23504/stat : 23504 (java) R 23414 23414 23095 0 -1 4202560 19 0 0 0 73 0 0 0 20 0 28 0 419886504 29458767872 62449 33554432000 4194304 4196468 140729605969088 140094385721656 140094801515519 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23505] ppid=23414 vsize=28768328 memory=280207827573480 CPUtime=0.58 cores=0-7
/proc/23416/task/23505/stat : 23505 (java) R 23414 23414 23095 0 -1 4202560 20 0 0 0 58 0 0 0 20 0 28 0 419886504 29458767872 62449 33554432000 4194304 4196468 140729605969088 140094315937144 140094801515600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23506] ppid=23414 vsize=28768328 memory=0 CPUtime=0.4 cores=0-7
/proc/23416/task/23506/stat : 23506 (java) R 23414 23414 23095 0 -1 4202560 18 0 0 0 40 0 0 0 20 0 28 0 419886504 29458767872 62449 33554432000 4194304 4196468 140729605969088 140094313832888 140094801515581 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23507] ppid=23414 vsize=28768328 memory=0 CPUtime=0.51 cores=0-7
/proc/23416/task/23507/stat : 23507 (java) R 23414 23414 23095 0 -1 4202560 19 0 0 0 51 0 0 0 20 0 28 0 419886505 29458767872 62449 33554432000 4194304 4196468 140729605969088 140094387826392 140094801515441 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
Current children cumulated CPU time: 22.91 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 251248 KiB
[startup+4.0017 s]*
/proc/loadavg: 7.29 7.93 7.87 10/220 23507
/proc/meminfo: memFree=26592076/32770624 swapFree=66957016/67108860
[pid=23414] ppid=23411 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23414/stat : 23414 (xcsp3-exec) S 23411 23414 23095 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419886222 115843072 363 33554432000 4194304 5098028 140724119186272 140724119184376 139724368032380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12935168 140724119188343 140724119188585 140724119188585 140724119191498 0
/proc/23414/statm: 28282 363 305 221 0 87 0
[pid=23416] ppid=23414 vsize=28768328 memory=250232 CPUtime=26.16 cores=0-7
/proc/23416/stat : 23416 (java) S 23414 23414 23095 0 -1 1077944320 30998 0 0 0 2598 18 0 0 20 0 28 0 419886222 29458767872 62558 33554432000 4194304 4196468 140729605969088 140729605951632 140095157059319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
/proc/23416/statm: 7192082 62558 3525 1 0 7153184 0
[pid=23416/tid=23417] ppid=23414 vsize=28768328 memory=6791534058613427641 CPUtime=1.01 cores=0-7
/proc/23416/task/23417/stat : 23417 (java) S 23414 23414 23095 0 -1 1077944384 9386 0 0 0 94 7 0 0 20 0 28 0 419886223 29458767872 62558 33554432000 4194304 4196468 140729605969088 140095161300096 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23418] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23418/stat : 23418 (java) S 23414 23414 23095 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 419886223 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094708952208 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23419] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23419/stat : 23419 (java) S 23414 23414 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 419886223 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094707899408 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23420] ppid=23414 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/23416/task/23420/stat : 23420 (java) S 23414 23414 23095 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 28 0 419886223 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094706846608 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23421] ppid=23414 vsize=28768328 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/23416/task/23421/stat : 23421 (java) S 23414 23414 23095 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 419886223 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094705793808 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23422] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23422/stat : 23422 (java) S 23414 23414 23095 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 419886223 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094704741008 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23423] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23423/stat : 23423 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 419886224 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094703688208 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23424] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23424/stat : 23424 (java) S 23414 23414 23095 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 419886224 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094702635408 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23425] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23425/stat : 23425 (java) S 23414 23414 23095 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 419886224 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094701582608 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23426] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23426/stat : 23426 (java) S 23414 23414 23095 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 419886225 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094658161520 140095157070466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23427] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23427/stat : 23427 (java) S 23414 23414 23095 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 419886226 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094657107552 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23428] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23428/stat : 23428 (java) S 23414 23414 23095 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419886226 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094656054656 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23429] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23429/stat : 23429 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419886228 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094655002960 140095157077915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23430] ppid=23414 vsize=28768328 memory=0 CPUtime=2.23 cores=0-7
/proc/23416/task/23430/stat : 23430 (java) S 23414 23414 23095 0 -1 1077944384 3787 0 0 0 222 1 0 0 20 0 28 0 419886228 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094653950320 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23431] ppid=23414 vsize=28768328 memory=0 CPUtime=2.3 cores=0-7
/proc/23416/task/23431/stat : 23431 (java) S 23414 23414 23095 0 -1 1077944384 2532 0 0 0 230 0 0 0 20 0 28 0 419886228 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094402062576 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23432] ppid=23414 vsize=28768328 memory=0 CPUtime=2.28 cores=0-7
/proc/23416/task/23432/stat : 23432 (java) S 23414 23414 23095 0 -1 1077944384 8870 0 0 0 227 1 0 0 20 0 28 0 419886228 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094401009776 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23433] ppid=23414 vsize=28768328 memory=0 CPUtime=0.8 cores=0-7
/proc/23416/task/23433/stat : 23433 (java) R 23414 23414 23095 0 -1 4202560 3199 0 0 0 79 1 0 0 20 0 28 0 419886228 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094399956976 140095135863647 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23434] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23434/stat : 23434 (java) S 23414 23414 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419886228 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094398905440 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23435] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23435/stat : 23435 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419886229 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094397852720 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23500] ppid=23414 vsize=28768328 memory=0 CPUtime=1.03 cores=0-7
/proc/23416/task/23500/stat : 23500 (java) R 23414 23414 23095 0 -1 4202560 20 0 0 0 103 0 0 0 20 0 28 0 419886504 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094314884216 140094801515600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23501] ppid=23414 vsize=28768328 memory=6791534058613427641 CPUtime=1.09 cores=0-7
/proc/23416/task/23501/stat : 23501 (java) R 23414 23414 23095 0 -1 4202560 18 0 0 0 109 0 0 0 20 0 28 0 419886504 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094388879480 140094801515424 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23502] ppid=23414 vsize=28768328 memory=0 CPUtime=0.73 cores=0-7
/proc/23416/task/23502/stat : 23502 (java) R 23414 23414 23095 0 -1 4202560 37 0 0 0 73 0 0 0 20 0 28 0 419886504 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094316990280 140094801515441 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23503] ppid=23414 vsize=28768328 memory=280207828089808 CPUtime=0.76 cores=0-7
/proc/23416/task/23503/stat : 23503 (java) R 23414 23414 23095 0 -1 4202560 21 0 0 0 76 0 0 0 20 0 28 0 419886504 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094386773544 140094801515546 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23504] ppid=23414 vsize=28768328 memory=140103914094480 CPUtime=1.12 cores=0-7
/proc/23416/task/23504/stat : 23504 (java) R 23414 23414 23095 0 -1 4202560 19 0 0 0 112 0 0 0 20 0 28 0 419886504 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094385721080 140094801515424 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23505] ppid=23414 vsize=28768328 memory=0 CPUtime=0.88 cores=0-7
/proc/23416/task/23505/stat : 23505 (java) R 23414 23414 23095 0 -1 4202560 20 0 0 0 88 0 0 0 20 0 28 0 419886504 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094315937808 140094801515441 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23506] ppid=23414 vsize=28768328 memory=0 CPUtime=0.66 cores=0-7
/proc/23416/task/23506/stat : 23506 (java) R 23414 23414 23095 0 -1 4202560 20 0 0 0 66 0 0 0 20 0 28 0 419886504 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094313834376 140094801515600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23507] ppid=23414 vsize=28768328 memory=0 CPUtime=0.91 cores=0-7
/proc/23416/task/23507/stat : 23507 (java) R 23414 23414 23095 0 -1 4202560 19 0 0 0 91 0 0 0 20 0 28 0 419886505 29458767872 62558 33554432000 4194304 4196468 140729605969088 140094387826928 140094801515587 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
Current children cumulated CPU time: 26.16 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 251684 KiB
[startup+4.11769 s]
/proc/loadavg: 7.29 7.93 7.87 10/220 23507
/proc/meminfo: memFree=26592076/32770624 swapFree=66957016/67108860
[pid=23414] ppid=23411 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23414/stat : 23414 (xcsp3-exec) S 23411 23414 23095 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419886222 115843072 363 33554432000 4194304 5098028 140724119186272 140724119184376 139724368032380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12935168 140724119188343 140724119188585 140724119188585 140724119191498 0
/proc/23414/statm: 28282 363 305 221 0 87 0
[pid=23416] ppid=23414 vsize=28768328 memory=250372 CPUtime=27 cores=0-7
/proc/23416/stat : 23416 (java) S 23414 23414 23095 0 -1 1077944320 31041 0 0 0 2682 18 0 0 20 0 28 0 419886222 29458767872 62593 33554432000 4194304 4196468 140729605969088 140729605951632 140095157059319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
/proc/23416/statm: 7192082 62593 3525 1 0 7153184 0
[pid=23416/tid=23417] ppid=23414 vsize=28768328 memory=57 CPUtime=1.01 cores=0-7
/proc/23416/task/23417/stat : 23417 (java) S 23414 23414 23095 0 -1 1077944384 9386 0 0 0 94 7 0 0 20 0 28 0 419886223 29458767872 62593 33554432000 4194304 4196468 140729605969088 140095161300096 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23418] ppid=23414 vsize=28768328 memory=245168 CPUtime=0 cores=0-7
/proc/23416/task/23418/stat : 23418 (java) S 23414 23414 23095 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 419886223 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094708952208 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23419] ppid=23414 vsize=28768328 memory=3512 CPUtime=0 cores=0-7
/proc/23416/task/23419/stat : 23419 (java) S 23414 23414 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 419886223 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094707899408 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23420] ppid=23414 vsize=28768328 memory=41316 CPUtime=0.01 cores=0-7
/proc/23416/task/23420/stat : 23420 (java) S 23414 23414 23095 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 28 0 419886223 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094706846608 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23421] ppid=23414 vsize=28768328 memory=2020 CPUtime=0.01 cores=0-7
/proc/23416/task/23421/stat : 23421 (java) S 23414 23414 23095 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 419886223 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094705793808 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23422] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23422/stat : 23422 (java) S 23414 23414 23095 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 419886223 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094704741008 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23423] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23423/stat : 23423 (java) S 23414 23414 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 419886224 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094703688208 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23424] ppid=23414 vsize=28768328 memory=201270757472012 CPUtime=0 cores=0-7
/proc/23416/task/23424/stat : 23424 (java) S 23414 23414 23095 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 419886224 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094702635408 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23425] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23425/stat : 23425 (java) S 23414 23414 23095 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 419886224 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094701582608 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23426] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23426/stat : 23426 (java) S 23414 23414 23095 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 419886225 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094658161520 140095157070466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23427] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23427/stat : 23427 (java) S 23414 23414 23095 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 419886226 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094657107552 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23428] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23428/stat : 23428 (java) S 23414 23414 23095 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419886226 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094656054656 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23429] ppid=23414 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23416/task/23429/stat : 23429 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419886228 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094655002960 140095157077915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23430] ppid=23414 vsize=28768328 memory=140108337378943 CPUtime=2.25 cores=0-7
/proc/23416/task/23430/stat : 23430 (java) S 23414 23414 23095 0 -1 1077944384 3792 0 0 0 224 1 0 0 20 0 28 0 419886228 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094653950320 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23431] ppid=23414 vsize=28768328 memory=-6948614817169703622 CPUtime=2.33 cores=0-7
/proc/23416/task/23431/stat : 23431 (java) S 23414 23414 23095 0 -1 1077944384 2534 0 0 0 233 0 0 0 20 0 28 0 419886228 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094402062576 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23432] ppid=23414 vsize=28768328 memory=-2317720213663851332 CPUtime=2.33 cores=0-7
/proc/23416/task/23432/stat : 23432 (java) R 23414 23414 23095 0 -1 4202560 8870 0 0 0 232 1 0 0 20 0 28 0 419886228 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094400990800 140095140556103 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23433] ppid=23414 vsize=28768328 memory=-4695052241013923951 CPUtime=0.82 cores=0-7
/proc/23416/task/23433/stat : 23433 (java) S 23414 23414 23095 0 -1 1077944384 3233 0 0 0 81 1 0 0 20 0 28 0 419886228 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094399956976 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23434] ppid=23414 vsize=28768328 memory=-6948614817169703622 CPUtime=0 cores=0-7
/proc/23416/task/23434/stat : 23434 (java) S 23414 23414 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419886228 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094398905440 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23435] ppid=23414 vsize=28768328 memory=7158310436462487896 CPUtime=0 cores=0-7
/proc/23416/task/23435/stat : 23435 (java) S 23414 23414 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419886229 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094397852720 140095157070466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23500] ppid=23414 vsize=28768328 memory=7157177956716077911 CPUtime=1.13 cores=0-7
/proc/23416/task/23500/stat : 23500 (java) R 23414 23414 23095 0 -1 4202560 20 0 0 0 113 0 0 0 20 0 28 0 419886504 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094314884144 140094801515634 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23501] ppid=23414 vsize=28768328 memory=0 CPUtime=1.19 cores=0-7
/proc/23416/task/23501/stat : 23501 (java) R 23414 23414 23095 0 -1 4202560 18 0 0 0 119 0 0 0 20 0 28 0 419886504 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094388879480 140094801515616 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23502] ppid=23414 vsize=28768328 memory=0 CPUtime=0.79 cores=0-7
/proc/23416/task/23502/stat : 23502 (java) R 23414 23414 23095 0 -1 4202560 38 0 0 0 79 0 0 0 20 0 28 0 419886504 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094316990368 140094801515634 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23503] ppid=23414 vsize=28768328 memory=0 CPUtime=0.86 cores=0-7
/proc/23416/task/23503/stat : 23503 (java) R 23414 23414 23095 0 -1 4202560 21 0 0 0 86 0 0 0 20 0 28 0 419886504 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094386773744 140094801515600 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23504] ppid=23414 vsize=28768328 memory=0 CPUtime=1.21 cores=0-7
/proc/23416/task/23504/stat : 23504 (java) R 23414 23414 23095 0 -1 4202560 19 0 0 0 121 0 0 0 20 0 28 0 419886504 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094385720944 140094800865283 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23505] ppid=23414 vsize=28768328 memory=0 CPUtime=0.95 cores=0-7
/proc/23416/task/23505/stat : 23505 (java) R 23414 23414 23095 0 -1 1077944384 20 0 0 0 95 0 0 0 20 0 28 0 419886504 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094315937376 140095157069525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23506] ppid=23414 vsize=28768328 memory=0 CPUtime=0.75 cores=0-7
/proc/23416/task/23506/stat : 23506 (java) R 23414 23414 23095 0 -1 4202560 21 0 0 0 75 0 0 0 20 0 28 0 419886504 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094313832928 140094801515616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
[pid=23416/tid=23507] ppid=23414 vsize=28768328 memory=0 CPUtime=1.01 cores=0-7
/proc/23416/task/23507/stat : 23507 (java) S 23414 23414 23095 0 -1 1077944384 19 0 0 0 101 0 0 0 20 0 28 0 419886505 29458767872 62593 33554432000 4194304 4196468 140729605969088 140094387826928 140095157069525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26050560 140729605972970 140729605973142 140729605973142 140729605976015 0
Current children cumulated CPU time: 27 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 251824 KiB
Child status: 0
Real time (s): 4.15324
CPU time (s): 27.1513
CPU user time (s): 26.953
CPU system time (s): 0.19834
CPU usage (%): 653.738
Max. virtual memory (cumulated for all children) (KiB): 28883360
Max. memory (cumulated for all children) (KiB): 251824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.953
system time used= 0.19834
maximum resident set size= 251412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31609
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= 4027
involuntary context switches= 828
# summary of solver processes directly reported to runsolver:
# pid: 23414
# total CPU time (s): 27.1513
# total CPU user time (s): 26.953
# total CPU system time (s): 0.19834
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065411 second user time and 0.08364 second system time
The end
Begin job on node147 at 2019-09-14 07:41:20
IDJOB=4394500
IDBENCH=135933
IDSOLVER=2843
FILE ID=node147/4394500-1568439723
RUNJOBID= node147-1568439668-23122
PBS_JOBID= 21702336
Free space on /tmp= 58880 MiB
SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-m1-s2/ChessboardColoration-08-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-4394500-1568439723/watcher-4394500-1568439723 -o /tmp/evaluation-result-4394500-1568439723/solver-4394500-1568439723 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568439668-23122 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 23371807 HOME/instance-4394500-1568439723.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 4ad41382ea3c48fc1b345febd6f905ee
RANDOM SEED=23371807
node147.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.52
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.52
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.52
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.52
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: 26830064 kB
MemAvailable: 31811800 kB
Buffers: 197480 kB
Cached: 5007712 kB
SwapCached: 48496 kB
Active: 2042952 kB
Inactive: 3213388 kB
Active(anon): 3192 kB
Inactive(anon): 89344 kB
Active(file): 2039760 kB
Inactive(file): 3124044 kB
Unevictable: 107760 kB
Mlocked: 107760 kB
SwapTotal: 67108860 kB
SwapFree: 66957016 kB
Dirty: 25956 kB
Writeback: 388 kB
AnonPages: 112472 kB
Mapped: 45080 kB
Shmem: 32768 kB
Slab: 275392 kB
SReclaimable: 246392 kB
SUnreclaim: 29000 kB
KernelStack: 3344 kB
PageTables: 5156 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 497568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 58856 MiB
End job on node147 at 2019-09-14 07:41:25