0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297370-1532724763.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4297370-1532724763.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
0.71/0.46 c solve instance...
0.71/0.48 o 0
0.71/0.49 o 21
0.71/0.49 o 640
0.71/0.49 o 664
0.71/0.50 o 690
0.71/0.51 o 711
0.71/0.51 o 779
1.05/0.52 o 809
1.05/0.52 o 817
1.05/0.56 o 840
1.05/0.58 o 859
1.05/0.58 o 868
1.05/0.59 o 876
2.37/0.75 o 892
3.10/0.87 o 896
3.86/0.99 o 901
6.14/1.26 o 910
12.89/2.34 o 912
14.08/2.56 o 915
16.68/2.92 o 924
17.35/3.09 o 929
17.35/3.09 o 932
28.23/4.73 s OPTIMUM FOUND
28.23/4.73 v <instantiation>
28.23/4.73 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] </list>
28.23/4.73 v <values>1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 </values>
28.23/4.73 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 (9150 MiB free)
memory of node 1: 16384 MiB (12688 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297370-1532724763/watcher-4297370-1532724763 -o /tmp/evaluation-result-4297370-1532724763/solver-4297370-1532724763 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532724759-22610 --watchdog 2580 HOME/xcsp3-exec -seed 1725655738 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297370-1532724763.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=23009, runsolver pid=23006
[startup+0.100133 s]*
/proc/loadavg: 7.10 7.84 8.06 2/200 23030
/proc/meminfo: memFree=22348836/32770624 swapFree=67108796/67108860
[pid=23009] ppid=23006 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23009/stat : 23009 (xcsp3-exec) S 23006 23009 22583 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90039477 115843072 363 33554432000 4194304 5098028 140727443596272 140727443594376 139964747321980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25726976 140727443604533 140727443604736 140727443604736 140727443607498 0
/proc/23009/statm: 28282 363 305 221 0 87 0
[pid=23011] ppid=23009 vsize=26104152 memory=26368 CPUtime=0.12 cores=0-7
/proc/23011/stat : 23011 (java) S 23009 23009 22583 0 -1 1077944320 5504 0 0 0 11 1 0 0 20 0 20 0 90039477 26730651648 6592 33554432000 4194304 4196468 140721892617728 140721892600272 140278496448247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
/proc/23011/statm: 6526038 6592 3008 1 0 6488315 0
[pid=23011/tid=23012] ppid=23009 vsize=26104152 memory=7680778597131262616 CPUtime=0.08 cores=0-7
/proc/23011/task/23012/stat : 23012 (java) R 23009 23009 22583 0 -1 4202560 3475 0 0 0 8 0 0 0 20 0 20 0 90039477 26730651648 6592 33554432000 4194304 4196468 140721892617728 140278500667552 140278496460182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23013] ppid=23009 vsize=26104152 memory=732370820179000293 CPUtime=0 cores=0-7
/proc/23011/task/23013/stat : 23013 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 6592 33554432000 4194304 4196468 140721892617728 140278054914832 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23014] ppid=23009 vsize=26104152 memory=140681841546880 CPUtime=0 cores=0-7
/proc/23011/task/23014/stat : 23014 (java) S 23009 23009 22583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 6592 33554432000 4194304 4196468 140721892617728 140278053862288 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23015] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23015/stat : 23015 (java) S 23009 23009 22583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 6592 33554432000 4194304 4196468 140721892617728 140278052809744 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23016] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23016/stat : 23016 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 6592 33554432000 4194304 4196468 140721892617728 140278051757200 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23017] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23017/stat : 23017 (java) S 23009 23009 22583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 6592 33554432000 4194304 4196468 140721892617728 140278050703632 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23018] ppid=23009 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23011/task/23018/stat : 23018 (java) S 23009 23009 22583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 6592 33554432000 4194304 4196468 140721892617728 140278049651088 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23019] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23019/stat : 23019 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 6592 33554432000 4194304 4196468 140721892617728 140278048598544 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23020] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23020/stat : 23020 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 6592 33554432000 4194304 4196468 140721892617728 140278047546000 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23021] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23021/stat : 23021 (java) S 23009 23009 22583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90039479 26730651648 6592 33554432000 4194304 4196468 140721892617728 140277892385264 140278496459394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23022] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23022/stat : 23022 (java) S 23009 23009 22583 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90039480 26730651648 6592 33554432000 4194304 4196468 140721892617728 140277891331488 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23023] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23023/stat : 23023 (java) S 23009 23009 22583 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90039480 26730651648 6592 33554432000 4194304 4196468 140721892617728 140277890278896 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23024] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23024/stat : 23024 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039483 26730651648 6592 33554432000 4194304 4196468 140721892617728 140277889227472 140278496466843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23025] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23025/stat : 23025 (java) S 23009 23009 22583 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 90039483 26730651648 6592 33554432000 4194304 4196468 140721892617728 140277888174064 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23026] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23026/stat : 23026 (java) S 23009 23009 22583 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 20 0 90039483 26730651648 6592 33554432000 4194304 4196468 140721892617728 140277887121520 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23027] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23027/stat : 23027 (java) S 23009 23009 22583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90039483 26730651648 6592 33554432000 4194304 4196468 140721892617728 140277886068976 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23028] ppid=23009 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/23011/task/23028/stat : 23028 (java) R 23009 23009 22583 0 -1 4202560 280 0 0 0 1 0 0 0 20 0 20 0 90039483 26730651648 6592 33554432000 4194304 4196468 140721892617728 140277885016432 140278475148448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23029] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23029/stat : 23029 (java) S 23009 23009 22583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90039483 26730651648 6592 33554432000 4194304 4196468 140721892617728 140277883964128 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23030] ppid=23009 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23011/task/23030/stat : 23030 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039483 26730651648 6592 33554432000 4194304 4196468 140721892617728 140277882911664 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 27820 KiB
[startup+0.210436 s]*
/proc/loadavg: 7.10 7.84 8.06 3/200 23030
/proc/meminfo: memFree=22337300/32770624 swapFree=67108796/67108860
[pid=23009] ppid=23006 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23009/stat : 23009 (xcsp3-exec) S 23006 23009 22583 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90039477 115843072 363 33554432000 4194304 5098028 140727443596272 140727443594376 139964747321980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25726976 140727443604533 140727443604736 140727443604736 140727443607498 0
/proc/23009/statm: 28282 363 305 221 0 87 0
[pid=23011] ppid=23009 vsize=26104152 memory=38416 CPUtime=0.34 cores=0-7
/proc/23011/stat : 23011 (java) S 23009 23009 22583 0 -1 1077944320 8199 0 0 0 32 2 0 0 20 0 20 0 90039477 26730651648 9604 33554432000 4194304 4196468 140721892617728 140721892600272 140278496448247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
/proc/23011/statm: 6526038 9604 3189 1 0 6488315 0
[pid=23011/tid=23012] ppid=23009 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/23011/task/23012/stat : 23012 (java) R 23009 23009 22583 0 -1 4202560 5152 0 0 0 18 1 0 0 20 0 20 0 90039477 26730651648 9604 33554432000 4194304 4196468 140721892617728 140278500685296 140278496470173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23013] ppid=23009 vsize=26104152 memory=281363562436344 CPUtime=0 cores=0-7
/proc/23011/task/23013/stat : 23013 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 9604 33554432000 4194304 4196468 140721892617728 140278054914832 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23014] ppid=23009 vsize=26104152 memory=140681841546880 CPUtime=0 cores=0-7
/proc/23011/task/23014/stat : 23014 (java) S 23009 23009 22583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 9604 33554432000 4194304 4196468 140721892617728 140278053862288 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23015] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23015/stat : 23015 (java) S 23009 23009 22583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 9604 33554432000 4194304 4196468 140721892617728 140278052809744 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23016] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23016/stat : 23016 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 9604 33554432000 4194304 4196468 140721892617728 140278051757200 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23017] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23017/stat : 23017 (java) S 23009 23009 22583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 9604 33554432000 4194304 4196468 140721892617728 140278050703632 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23018] ppid=23009 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23011/task/23018/stat : 23018 (java) S 23009 23009 22583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 9604 33554432000 4194304 4196468 140721892617728 140278049651088 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23019] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23019/stat : 23019 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 9604 33554432000 4194304 4196468 140721892617728 140278048598544 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23020] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23020/stat : 23020 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039478 26730651648 9604 33554432000 4194304 4196468 140721892617728 140278047546000 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23021] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23021/stat : 23021 (java) S 23009 23009 22583 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90039479 26730651648 9604 33554432000 4194304 4196468 140721892617728 140277892385264 140278496459394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23022] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23022/stat : 23022 (java) S 23009 23009 22583 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90039480 26730651648 9604 33554432000 4194304 4196468 140721892617728 140277891331488 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23023] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23023/stat : 23023 (java) S 23009 23009 22583 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90039480 26730651648 9604 33554432000 4194304 4196468 140721892617728 140277890278896 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23024] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23024/stat : 23024 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039483 26730651648 9604 33554432000 4194304 4196468 140721892617728 140277889227472 140278496466843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23025] ppid=23009 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/23011/task/23025/stat : 23025 (java) S 23009 23009 22583 0 -1 1077944384 584 0 0 0 2 0 0 0 20 0 20 0 90039483 26730651648 9604 33554432000 4194304 4196468 140721892617728 140277888174064 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23026] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23026/stat : 23026 (java) S 23009 23009 22583 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 90039483 26730651648 9604 33554432000 4194304 4196468 140721892617728 140277887121520 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23027] ppid=23009 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/23011/task/23027/stat : 23027 (java) S 23009 23009 22583 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 20 0 90039483 26730651648 9604 33554432000 4194304 4196468 140721892617728 140277886068976 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23028] ppid=23009 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7
/proc/23011/task/23028/stat : 23028 (java) S 23009 23009 22583 0 -1 1077944384 919 0 0 0 8 0 0 0 20 0 20 0 90039483 26730651648 9604 33554432000 4194304 4196468 140721892617728 140277885016432 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23029] ppid=23009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23029/stat : 23029 (java) S 23009 23009 22583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90039483 26730651648 9604 33554432000 4194304 4196468 140721892617728 140277883964128 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23030] ppid=23009 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23011/task/23030/stat : 23030 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039483 26730651648 9604 33554432000 4194304 4196468 140721892617728 140277882911664 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 39868 KiB
[startup+0.310342 s]*
/proc/loadavg: 6.53 7.71 8.02 5/200 23030
/proc/meminfo: memFree=22331220/32770624 swapFree=67108796/67108860
[pid=23009] ppid=23006 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23009/stat : 23009 (xcsp3-exec) S 23006 23009 22583 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90039477 115843072 363 33554432000 4194304 5098028 140727443596272 140727443594376 139964747321980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25726976 140727443604533 140727443604736 140727443604736 140727443607498 0
/proc/23009/statm: 28282 363 305 221 0 87 0
[pid=23011] ppid=23009 vsize=26108408 memory=46132 CPUtime=0.53 cores=0-7
/proc/23011/stat : 23011 (java) S 23009 23009 22583 0 -1 1077944320 9171 0 0 0 50 3 0 0 20 0 20 0 90039477 26735009792 11533 33554432000 4194304 4196468 140721892617728 140721892600272 140278496448247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
/proc/23011/statm: 6527102 11533 3271 1 0 6488315 0
[pid=23011/tid=23012] ppid=23009 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23011/task/23012/stat : 23012 (java) R 23009 23009 22583 0 -1 4202560 5831 0 0 0 27 2 0 0 20 0 20 0 90039477 26735009792 11545 33554432000 4194304 4196468 140721892617728 140278500685024 140278489165210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23013] ppid=23009 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23013/stat : 23013 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039478 26735009792 11545 33554432000 4194304 4196468 140721892617728 140278054914832 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23014] ppid=23009 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23014/stat : 23014 (java) S 23009 23009 22583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90039478 26735009792 11545 33554432000 4194304 4196468 140721892617728 140278053862288 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23015] ppid=23009 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23015/stat : 23015 (java) S 23009 23009 22583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90039478 26735009792 11545 33554432000 4194304 4196468 140721892617728 140278052809744 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23016] ppid=23009 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23016/stat : 23016 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039478 26735009792 11545 33554432000 4194304 4196468 140721892617728 140278051757200 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23017] ppid=23009 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/23011/task/23017/stat : 23017 (java) S 23009 23009 22583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90039478 26735009792 11545 33554432000 4194304 4196468 140721892617728 140278050703632 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23018] ppid=23009 vsize=26108408 memory=140681720984495 CPUtime=0 cores=0-7
/proc/23011/task/23018/stat : 23018 (java) S 23009 23009 22583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90039478 26735009792 11545 33554432000 4194304 4196468 140721892617728 140278049651088 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23019] ppid=23009 vsize=26108408 memory=140681720986800 CPUtime=0 cores=0-7
/proc/23011/task/23019/stat : 23019 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039478 26735009792 11545 33554432000 4194304 4196468 140721892617728 140278048598544 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23020] ppid=23009 vsize=26108408 memory=140681720989104 CPUtime=0 cores=0-7
/proc/23011/task/23020/stat : 23020 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039478 26735009792 11545 33554432000 4194304 4196468 140721892617728 140278047546000 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23021] ppid=23009 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23021/stat : 23021 (java) S 23009 23009 22583 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90039479 26735009792 11545 33554432000 4194304 4196468 140721892617728 140277892385264 140278496459394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23022] ppid=23009 vsize=26108408 memory=281363441985168 CPUtime=0 cores=0-7
/proc/23011/task/23022/stat : 23022 (java) S 23009 23009 22583 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90039480 26735009792 11545 33554432000 4194304 4196468 140721892617728 140277891331488 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23023] ppid=23009 vsize=26108408 memory=281363441992080 CPUtime=0 cores=0-7
/proc/23011/task/23023/stat : 23023 (java) S 23009 23009 22583 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90039480 26735009792 11545 33554432000 4194304 4196468 140721892617728 140277890278896 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23024] ppid=23009 vsize=26108408 memory=281363441933360 CPUtime=0 cores=0-7
/proc/23011/task/23024/stat : 23024 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039483 26735009792 11545 33554432000 4194304 4196468 140721892617728 140277889227472 140278496466843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23025] ppid=23009 vsize=26108408 memory=281363442005904 CPUtime=0.03 cores=0-7
/proc/23011/task/23025/stat : 23025 (java) S 23009 23009 22583 0 -1 1077944384 599 0 0 0 3 0 0 0 20 0 20 0 90039483 26735009792 11545 33554432000 4194304 4196468 140721892617728 140277888174064 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23026] ppid=23009 vsize=26108408 memory=281363442012816 CPUtime=0.02 cores=0-7
/proc/23011/task/23026/stat : 23026 (java) S 23009 23009 22583 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 20 0 90039483 26735009792 11545 33554432000 4194304 4196468 140721892617728 140277887121520 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23027] ppid=23009 vsize=26108408 memory=281363442010512 CPUtime=0.04 cores=0-7
/proc/23011/task/23027/stat : 23027 (java) R 23009 23009 22583 0 -1 4202560 209 0 0 0 4 0 0 0 20 0 20 0 90039483 26735009792 11545 33554432000 4194304 4196468 140721892617728 140277886049992 140278474043056 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23028] ppid=23009 vsize=26108408 memory=281363442026672 CPUtime=0.12 cores=0-7
/proc/23011/task/23028/stat : 23028 (java) S 23009 23009 22583 0 -1 1077944384 1063 0 0 0 12 0 0 0 20 0 20 0 90039483 26735009792 11545 33554432000 4194304 4196468 140721892617728 140277885016432 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23029] ppid=23009 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23029/stat : 23029 (java) S 23009 23009 22583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90039483 26735009792 11545 33554432000 4194304 4196468 140721892617728 140277883964128 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23030] ppid=23009 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/23011/task/23030/stat : 23030 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90039483 26735009792 11545 33554432000 4194304 4196468 140721892617728 140277882911664 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47584 KiB
[startup+0.701065 s]
/proc/loadavg: 6.53 7.71 8.02 9/208 23077
/proc/meminfo: memFree=22217208/32770624 swapFree=67108796/67108860
[pid=23009] ppid=23006 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23009/stat : 23009 (xcsp3-exec) S 23006 23009 22583 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90039477 115843072 363 33554432000 4194304 5098028 140727443596272 140727443594376 139964747321980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25726976 140727443604533 140727443604736 140727443604736 140727443607498 0
/proc/23009/statm: 28282 363 305 221 0 87 0
[pid=23011] ppid=23009 vsize=26644072 memory=170760 CPUtime=2.37 cores=0-7
/proc/23011/stat : 23011 (java) S 23009 23009 22583 0 -1 1077944320 14904 0 0 0 228 9 0 0 20 0 28 0 90039477 27283529728 42690 33554432000 4194304 4196468 140721892617728 140721892600272 140278496448247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
/proc/23011/statm: 6661018 42690 3384 1 0 6622212 0
[pid=23011/tid=23012] ppid=23009 vsize=26644072 memory=239504556340182 CPUtime=0.46 cores=0-7
/proc/23011/task/23012/stat : 23012 (java) S 23009 23009 22583 0 -1 1077944384 6639 0 0 0 43 3 0 0 20 0 28 0 90039477 27283529728 42690 33554432000 4194304 4196468 140721892617728 140278500689024 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23013] ppid=23009 vsize=26644072 memory=281363442321536 CPUtime=0 cores=0-7
/proc/23011/task/23013/stat : 23013 (java) S 23009 23009 22583 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 90039478 27283529728 42690 33554432000 4194304 4196468 140721892617728 140278054914832 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23014] ppid=23009 vsize=26644072 memory=5085241279643 CPUtime=0 cores=0-7
/proc/23011/task/23014/stat : 23014 (java) S 23009 23009 22583 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 90039478 27283529728 42690 33554432000 4194304 4196468 140721892617728 140278053862288 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23015] ppid=23009 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23015/stat : 23015 (java) S 23009 23009 22583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90039478 27283529728 42690 33554432000 4194304 4196468 140721892617728 140278052809744 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
################
# More data... #
################
[pid=23011/tid=23028] ppid=23009 vsize=26644072 memory=2608 CPUtime=0.39 cores=0-7
/proc/23011/task/23028/stat : 23028 (java) S 23009 23009 22583 0 -1 1077944384 2214 0 0 0 39 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277885016432 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23029] ppid=23009 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23029/stat : 23029 (java) S 23009 23009 22583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277883964128 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23030] ppid=23009 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23030/stat : 23030 (java) S 23009 23009 22583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277882911664 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23206] ppid=23009 vsize=26644072 memory=0 CPUtime=0.99 cores=0-7
/proc/23011/task/23206/stat : 23206 (java) R 23009 23009 22583 0 -1 4202560 18 0 0 0 95 4 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277870972096 140278137454997 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23207] ppid=23009 vsize=26644072 memory=0 CPUtime=1 cores=0-7
/proc/23011/task/23207/stat : 23207 (java) R 23009 23009 22583 0 -1 4202560 18 0 0 0 98 2 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277873078656 140278137753174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23208] ppid=23009 vsize=26644072 memory=0 CPUtime=0.99 cores=0-7
/proc/23011/task/23208/stat : 23208 (java) R 23009 23009 22583 0 -1 4202560 18 0 0 0 96 3 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277867815328 140278137427315 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23209] ppid=23009 vsize=26644072 memory=0 CPUtime=1.1 cores=0-7
/proc/23011/task/23209/stat : 23209 (java) R 23009 23009 22583 0 -1 4202560 21 0 0 0 109 1 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277866761856 140278138979339 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23210] ppid=23009 vsize=26644072 memory=0 CPUtime=1.03 cores=0-7
/proc/23011/task/23210/stat : 23210 (java) S 23009 23009 22583 0 -1 1077944384 18 0 0 0 100 3 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277872025344 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23211] ppid=23009 vsize=26644072 memory=6944656592455097440 CPUtime=0.98 cores=0-7
/proc/23011/task/23211/stat : 23211 (java) R 23009 23009 22583 0 -1 4202560 18 0 0 0 94 4 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277868867456 140278477854522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23212] ppid=23009 vsize=26644072 memory=8976414709404591081 CPUtime=1.01 cores=0-7
/proc/23011/task/23212/stat : 23212 (java) R 23009 23009 22583 0 -1 1077944384 17 0 0 0 98 3 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277865709568 140278496458453 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23213] ppid=23009 vsize=26644072 memory=6944656429229881706 CPUtime=1.04 cores=0-7
/proc/23011/task/23213/stat : 23213 (java) R 23009 23009 22583 0 -1 4202560 18 0 0 0 102 2 0 0 20 0 28 0 90039787 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277874131072 140278137234817 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
Current children cumulated CPU time: 26.26 s
Current children cumulated vsize: 26757200 KiB
Current children cumulated memory: 209864 KiB
[startup+4.60093 s]
/proc/loadavg: 6.53 7.71 8.02 6/208 23213
/proc/meminfo: memFree=22167440/32770624 swapFree=67108796/67108860
[pid=23009] ppid=23006 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23009/stat : 23009 (xcsp3-exec) S 23006 23009 22583 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90039477 115843072 363 33554432000 4194304 5098028 140727443596272 140727443594376 139964747321980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25726976 140727443604533 140727443604736 140727443604736 140727443607498 0
/proc/23009/statm: 28282 363 305 221 0 87 0
[pid=23011] ppid=23009 vsize=26644072 memory=208412 CPUtime=27.58 cores=0-7
/proc/23011/stat : 23011 (java) S 23009 23009 22583 0 -1 1077944320 19449 0 0 0 2681 77 0 0 20 0 28 0 90039477 27283529728 52103 33554432000 4194304 4196468 140721892617728 140721892600272 140278496448247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
/proc/23011/statm: 6661018 52103 3401 1 0 6622212 0
[pid=23011/tid=23012] ppid=23009 vsize=26644072 memory=7308895142485716329 CPUtime=0.46 cores=0-7
/proc/23011/task/23012/stat : 23012 (java) S 23009 23009 22583 0 -1 1077944384 6639 0 0 0 43 3 0 0 20 0 28 0 90039477 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278500689024 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23013] ppid=23009 vsize=26644072 memory=7308895142485716329 CPUtime=0 cores=0-7
/proc/23011/task/23013/stat : 23013 (java) S 23009 23009 22583 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278054914832 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23014] ppid=23009 vsize=26644072 memory=7308895142485716329 CPUtime=0.01 cores=0-7
/proc/23011/task/23014/stat : 23014 (java) S 23009 23009 22583 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278053862288 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23015] ppid=23009 vsize=26644072 memory=6370719275257063784 CPUtime=0 cores=0-7
/proc/23011/task/23015/stat : 23015 (java) S 23009 23009 22583 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278052809744 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23016] ppid=23009 vsize=26644072 memory=6370719275257063784 CPUtime=0.01 cores=0-7
/proc/23011/task/23016/stat : 23016 (java) S 23009 23009 22583 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278051757200 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23017] ppid=23009 vsize=26644072 memory=281363443037968 CPUtime=0.01 cores=0-7
/proc/23011/task/23017/stat : 23017 (java) S 23009 23009 22583 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278050703632 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23018] ppid=23009 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23018/stat : 23018 (java) S 23009 23009 22583 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278049651088 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23019] ppid=23009 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23019/stat : 23019 (java) S 23009 23009 22583 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278048598544 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23020] ppid=23009 vsize=26644072 memory=0 CPUtime=0.01 cores=0-7
/proc/23011/task/23020/stat : 23020 (java) S 23009 23009 22583 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278047546000 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23021] ppid=23009 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23021/stat : 23021 (java) S 23009 23009 22583 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 90039479 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277892385264 140278496459394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23022] ppid=23009 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23022/stat : 23022 (java) S 23009 23009 22583 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 90039480 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277891331552 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23023] ppid=23009 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23023/stat : 23023 (java) S 23009 23009 22583 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 90039480 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277890278896 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23024] ppid=23009 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23024/stat : 23024 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277889227472 140278496466843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23025] ppid=23009 vsize=26644072 memory=0 CPUtime=0.7 cores=0-7
/proc/23011/task/23025/stat : 23025 (java) S 23009 23009 22583 0 -1 1077944384 2289 0 0 0 70 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277888174064 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23026] ppid=23009 vsize=26644072 memory=0 CPUtime=0.56 cores=0-7
/proc/23011/task/23026/stat : 23026 (java) S 23009 23009 22583 0 -1 1077944384 1574 0 0 0 56 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277887121520 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23027] ppid=23009 vsize=26644072 memory=0 CPUtime=0.61 cores=0-7
/proc/23011/task/23027/stat : 23027 (java) S 23009 23009 22583 0 -1 1077944384 1834 0 0 0 61 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277886068976 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23028] ppid=23009 vsize=26644072 memory=0 CPUtime=0.39 cores=0-7
/proc/23011/task/23028/stat : 23028 (java) S 23009 23009 22583 0 -1 1077944384 2214 0 0 0 39 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277885016432 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23029] ppid=23009 vsize=26644072 memory=7450762932971192428 CPUtime=0 cores=0-7
/proc/23011/task/23029/stat : 23029 (java) S 23009 23009 22583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277883964128 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23030] ppid=23009 vsize=26644072 memory=7517159033909830208 CPUtime=0 cores=0-7
/proc/23011/task/23030/stat : 23030 (java) S 23009 23009 22583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277882911664 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23206] ppid=23009 vsize=26644072 memory=7649399358578832178 CPUtime=1.14 cores=0-7
/proc/23011/task/23206/stat : 23206 (java) R 23009 23009 22583 0 -1 1077944384 18 0 0 0 109 5 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277870972096 140278496458453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23207] ppid=23009 vsize=26644072 memory=0 CPUtime=1.17 cores=0-7
/proc/23011/task/23207/stat : 23207 (java) S 23009 23009 22583 0 -1 1077944384 18 0 0 0 114 3 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277873078656 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23208] ppid=23009 vsize=26644072 memory=35220 CPUtime=1.16 cores=0-7
/proc/23011/task/23208/stat : 23208 (java) R 23009 23009 22583 0 -1 4202560 18 0 0 0 112 4 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277867815424 140278480958592 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23209] ppid=23009 vsize=26644072 memory=0 CPUtime=1.28 cores=0-7
/proc/23011/task/23209/stat : 23209 (java) R 23009 23009 22583 0 -1 4202560 21 0 0 0 127 1 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277866761856 140278138331776 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23210] ppid=23009 vsize=26644072 memory=0 CPUtime=1.2 cores=0-7
/proc/23011/task/23210/stat : 23210 (java) R 23009 23009 22583 0 -1 4202560 18 0 0 0 116 4 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277872025344 140278478590039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23211] ppid=23009 vsize=26644072 memory=0 CPUtime=1.15 cores=0-7
/proc/23011/task/23211/stat : 23211 (java) R 23009 23009 22583 0 -1 4202560 18 0 0 0 110 5 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277868867456 140278480949125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23212] ppid=23009 vsize=26644072 memory=0 CPUtime=1.17 cores=0-7
/proc/23011/task/23212/stat : 23212 (java) S 23009 23009 22583 0 -1 1077944384 17 0 0 0 113 4 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277865709568 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23213] ppid=23009 vsize=26644072 memory=0 CPUtime=1.22 cores=0-7
/proc/23011/task/23213/stat : 23213 (java) R 23009 23009 22583 0 -1 4202560 18 0 0 0 119 3 0 0 20 0 28 0 90039787 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277874130976 140278137428767 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
Current children cumulated CPU time: 27.58 s
Current children cumulated vsize: 26757200 KiB
Current children cumulated memory: 209864 KiB
[startup+4.70109 s]
/proc/loadavg: 6.53 7.71 8.02 6/208 23213
/proc/meminfo: memFree=22167440/32770624 swapFree=67108796/67108860
[pid=23009] ppid=23006 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23009/stat : 23009 (xcsp3-exec) S 23006 23009 22583 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90039477 115843072 363 33554432000 4194304 5098028 140727443596272 140727443594376 139964747321980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25726976 140727443604533 140727443604736 140727443604736 140727443607498 0
/proc/23009/statm: 28282 363 305 221 0 87 0
[pid=23011] ppid=23009 vsize=26644072 memory=208412 CPUtime=28.23 cores=0-7
/proc/23011/stat : 23011 (java) S 23009 23009 22583 0 -1 1077944320 19449 0 0 0 2744 79 0 0 20 0 28 0 90039477 27283529728 52103 33554432000 4194304 4196468 140721892617728 140721892600272 140278496448247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
/proc/23011/statm: 6661018 52103 3401 1 0 6622212 0
[pid=23011/tid=23012] ppid=23009 vsize=26644072 memory=206368 CPUtime=0.46 cores=0-7
/proc/23011/task/23012/stat : 23012 (java) S 23009 23009 22583 0 -1 1077944384 6639 0 0 0 43 3 0 0 20 0 28 0 90039477 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278500689024 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23013] ppid=23009 vsize=26644072 memory=288285597486023830 CPUtime=0 cores=0-7
/proc/23011/task/23013/stat : 23013 (java) S 23009 23009 22583 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278054914832 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23014] ppid=23009 vsize=26644072 memory=0 CPUtime=0.01 cores=0-7
/proc/23011/task/23014/stat : 23014 (java) S 23009 23009 22583 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278053862288 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23015] ppid=23009 vsize=26644072 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/23011/task/23015/stat : 23015 (java) S 23009 23009 22583 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278052809744 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23016] ppid=23009 vsize=26644072 memory=0 CPUtime=0.01 cores=0-7
/proc/23011/task/23016/stat : 23016 (java) S 23009 23009 22583 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278051757200 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23017] ppid=23009 vsize=26644072 memory=0 CPUtime=0.01 cores=0-7
/proc/23011/task/23017/stat : 23017 (java) S 23009 23009 22583 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278050703632 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23018] ppid=23009 vsize=26644072 memory=204344 CPUtime=0 cores=0-7
/proc/23011/task/23018/stat : 23018 (java) S 23009 23009 22583 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278049651088 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23019] ppid=23009 vsize=26644072 memory=-8412654338247390874 CPUtime=0 cores=0-7
/proc/23011/task/23019/stat : 23019 (java) S 23009 23009 22583 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278048598544 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23020] ppid=23009 vsize=26644072 memory=5450916424063158595 CPUtime=0.01 cores=0-7
/proc/23011/task/23020/stat : 23020 (java) S 23009 23009 22583 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 90039478 27283529728 52103 33554432000 4194304 4196468 140721892617728 140278047546000 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23021] ppid=23009 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23021/stat : 23021 (java) S 23009 23009 22583 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 90039479 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277892385264 140278496459394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23022] ppid=23009 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/23011/task/23022/stat : 23022 (java) S 23009 23009 22583 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 90039480 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277891331552 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23023] ppid=23009 vsize=26644072 memory=281363442389744 CPUtime=0 cores=0-7
/proc/23011/task/23023/stat : 23023 (java) S 23009 23009 22583 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 90039480 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277890278896 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23024] ppid=23009 vsize=26644072 memory=140681721196296 CPUtime=0 cores=0-7
/proc/23011/task/23024/stat : 23024 (java) S 23009 23009 22583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277889227472 140278496466843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23025] ppid=23009 vsize=26644072 memory=8172175605944181593 CPUtime=0.7 cores=0-7
/proc/23011/task/23025/stat : 23025 (java) S 23009 23009 22583 0 -1 1077944384 2289 0 0 0 70 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277888174064 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23026] ppid=23009 vsize=26644072 memory=7594874792531155313 CPUtime=0.56 cores=0-7
/proc/23011/task/23026/stat : 23026 (java) S 23009 23009 22583 0 -1 1077944384 1574 0 0 0 56 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277887121520 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23027] ppid=23009 vsize=26644072 memory=7594874792531155313 CPUtime=0.61 cores=0-7
/proc/23011/task/23027/stat : 23027 (java) S 23009 23009 22583 0 -1 1077944384 1834 0 0 0 61 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277886068976 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23028] ppid=23009 vsize=26644072 memory=56 CPUtime=0.39 cores=0-7
/proc/23011/task/23028/stat : 23028 (java) S 23009 23009 22583 0 -1 1077944384 2214 0 0 0 39 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277885016432 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23029] ppid=23009 vsize=26644072 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/23011/task/23029/stat : 23029 (java) S 23009 23009 22583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277883964128 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23030] ppid=23009 vsize=26644072 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/23011/task/23030/stat : 23030 (java) S 23009 23009 22583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90039483 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277882911664 140278496459394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23206] ppid=23009 vsize=26644072 memory=6656426216303648864 CPUtime=1.22 cores=0-7
/proc/23011/task/23206/stat : 23206 (java) S 23009 23009 22583 0 -1 1077944384 18 0 0 0 117 5 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277870972096 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23207] ppid=23009 vsize=26644072 memory=-4695043397844020537 CPUtime=1.25 cores=0-7
/proc/23011/task/23207/stat : 23207 (java) R 23009 23009 22583 0 -1 4202560 18 0 0 0 122 3 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277873078656 140278480949955 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23208] ppid=23009 vsize=26644072 memory=6944656592455360569 CPUtime=1.23 cores=0-7
/proc/23011/task/23208/stat : 23208 (java) R 23009 23009 22583 0 -1 4202560 18 0 0 0 119 4 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277867815424 140278496460182 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23209] ppid=23009 vsize=26644072 memory=56 CPUtime=1.37 cores=0-7
/proc/23011/task/23209/stat : 23209 (java) R 23009 23009 22583 0 -1 4202560 21 0 0 0 135 2 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277866761856 140278496469594 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23210] ppid=23009 vsize=26644072 memory=303430223234596890 CPUtime=1.28 cores=0-7
/proc/23011/task/23210/stat : 23210 (java) R 23009 23009 22583 0 -1 4202560 18 0 0 0 124 4 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277872025248 140278496469594 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23211] ppid=23009 vsize=26644072 memory=297237782420783417 CPUtime=1.22 cores=0-7
/proc/23011/task/23211/stat : 23211 (java) S 23009 23009 22583 0 -1 1077944384 18 0 0 0 117 5 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277868867456 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23212] ppid=23009 vsize=26644072 memory=15539617717815893 CPUtime=1.25 cores=0-7
/proc/23011/task/23212/stat : 23212 (java) R 23009 23009 22583 0 -1 1077944384 17 0 0 0 121 4 0 0 20 0 28 0 90039786 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277865709568 140278496458453 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
[pid=23011/tid=23213] ppid=23009 vsize=26644072 memory=7011348500760777048 CPUtime=1.3 cores=0-7
/proc/23011/task/23213/stat : 23213 (java) S 23009 23009 22583 0 -1 1077944384 18 0 0 0 127 3 0 0 20 0 28 0 90039787 27283529728 52103 33554432000 4194304 4196468 140721892617728 140277874131072 140278496458453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9531392 140721892623489 140721892623661 140721892623661 140721892626383 0
Current children cumulated CPU time: 28.23 s
Current children cumulated vsize: 26757200 KiB
Current children cumulated memory: 209864 KiB
Child status: 0
Real time (s): 4.74453
CPU time (s): 28.4866
CPU user time (s): 27.6711
CPU system time (s): 0.815474
CPU usage (%): 600.409
Max. virtual memory (cumulated for all children) (KiB): 26757200
Max. memory (cumulated for all children) (KiB): 209864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.6711
system time used= 0.815474
maximum resident set size= 211100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20046
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 282768
involuntary context switches= 178
# summary of solver processes directly reported to runsolver:
# pid: 23009
# total CPU time (s): 28.4866
# total CPU user time (s): 27.6711
# total CPU system time (s): 0.815474
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057203 second user time and 0.090912 second system time
The end
Begin job on node138 at 2018-07-27 22:52:43
IDJOB=4297370
IDBENCH=141539
IDSOLVER=2760
FILE ID=node138/4297370-1532724763
RUNJOBID= node138-1532724759-22610
PBS_JOBID= 21022340
Free space on /tmp= 53804 MiB
SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Knapsack/Knapsack-40-150-00_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297370-1532724763/watcher-4297370-1532724763 -o /tmp/evaluation-result-4297370-1532724763/solver-4297370-1532724763 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532724759-22610 --watchdog 2580 HOME/xcsp3-exec -seed 1725655738 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297370-1532724763.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= c033178a1c92732c6616d8bd8ee8c714
RANDOM SEED=1725655738
node138.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.71
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.71
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.71
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.71
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: 22364544 kB
MemAvailable: 31920528 kB
Buffers: 192776 kB
Cached: 9574320 kB
SwapCached: 44 kB
Active: 2477800 kB
Inactive: 7348244 kB
Active(anon): 3096 kB
Inactive(anon): 83748 kB
Active(file): 2474704 kB
Inactive(file): 7264496 kB
Unevictable: 7280 kB
Mlocked: 7280 kB
SwapTotal: 67108860 kB
SwapFree: 67108796 kB
Dirty: 22060 kB
Writeback: 0 kB
AnonPages: 63652 kB
Mapped: 36708 kB
Shmem: 25164 kB
Slab: 273544 kB
SReclaimable: 245244 kB
SUnreclaim: 28300 kB
KernelStack: 3552 kB
PageTables: 4836 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 324280 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 112000 kB
DirectMap2M: 33433600 kB
Free space on /tmp at the end= 53780 MiB
End job on node138 at 2018-07-27 22:52:48