0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399810-1568702754.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4399810-1568702754.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.29 c parse instance...
1.05/0.58 c solve instance...
1.46/0.67 o 39044
1.46/0.69 o 29497
1.46/0.69 o 27650
2.00/0.70 o 27540
2.00/0.70 o 27001
2.00/0.72 o 26833
2.00/0.73 o 26372
2.00/0.73 o 26090
2.00/0.74 o 10625
2.00/0.75 o 9922
2.00/0.76 o 9918
2.00/0.76 o 9879
2.00/0.77 o 8464
2.00/0.77 o 8340
2.00/0.78 o 8283
2.00/0.78 o 7538
2.00/0.79 o 7488
2.00/0.79 o 7451
2.50/0.82 o 6958
2.50/0.83 o 6823
2.50/0.83 o 6733
2.50/0.84 o 5791
2.50/0.84 o 5701
2.50/0.86 o 5619
3.16/0.91 o 5141
3.16/0.92 o 5059
8.60/1.61 o 5054
10.98/1.95 o 4992
10.98/1.95 o 4752
37.98/5.36 s OPTIMUM FOUND
37.98/5.36 v <instantiation>
37.98/5.36 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] d[0][1] d[0][2] d[1][3] d[2][4] d[3][5] d[4][6] d[5][7] d[6][8] d[7][9] d[8][10] d[9][11] d[10][12] d[11][13] d[12][14] </list>
37.98/5.36 v <values>12 1 4 6 7 0 13 5 3 2 14 8 11 10 9 4 2 3 1 5 12 39 20 50 1 4 11 10 13 </values>
37.98/5.36 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 (14205 MiB free)
memory of node 1: 16384 MiB (15396 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399810-1568702754/watcher-4399810-1568702754 -o /tmp/evaluation-result-4399810-1568702754/solver-4399810-1568702754 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568702458-10886 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 159999705 HOME/instance-4399810-1568702754.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11011, runsolver pid=11008
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 1.03 0.99 1.68 3/211 11032
/proc/meminfo: memFree=30294012/32770624 swapFree=66967456/67108860
[pid=11011] ppid=11008 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 10859 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446542222 115843072 364 33554432000 4194304 5098028 140728735902112 140728735900216 140515534705276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26542080 140728735908726 140728735908969 140728735908969 140728735911882 0
/proc/11011/statm: 28282 364 305 221 0 87 0
[pid=11013] ppid=11011 vsize=28227396 memory=30220 CPUtime=0.12 cores=0-7
/proc/11013/stat : 11013 (java) S 11011 11011 10859 0 -1 1077944320 5958 0 0 0 11 1 0 0 20 0 20 0 446542222 28904853504 7555 33554432000 4194304 4196468 140728101704096 140728101686640 139907400879863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
/proc/11013/statm: 7056849 7555 3150 1 0 7019032 0
[pid=11013/tid=11014] ppid=11011 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/11013/task/11014/stat : 11014 (java) R 11011 11011 10859 0 -1 4202560 3883 0 0 0 8 0 0 0 20 0 20 0 446542223 28904853504 7555 33554432000 4194304 4196468 140728101704096 139907405116288 139907400891798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11015] ppid=11011 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 7555 33554432000 4194304 4196468 140728101704096 139907353500176 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11016] ppid=11011 vsize=28227396 memory=140156922877568 CPUtime=0 cores=0-7
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 7555 33554432000 4194304 4196468 140728101704096 139906951010960 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11017] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 7555 33554432000 4194304 4196468 140728101704096 139906949957904 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11018] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 7555 33554432000 4194304 4196468 140728101704096 139906948905360 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11019] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 7555 33554432000 4194304 4196468 140728101704096 139906947853328 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11020] ppid=11011 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 7555 33554432000 4194304 4196468 140728101704096 139906946800784 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11021] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 7555 33554432000 4194304 4196468 140728101704096 139906945747728 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11022] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 7555 33554432000 4194304 4196468 140728101704096 139906944695184 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11023] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11023/stat : 11023 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542225 28904853504 7555 33554432000 4194304 4196468 140728101704096 139905998997744 139907400891010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11024] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446542226 28904853504 7555 33554432000 4194304 4196468 140728101704096 139905997943968 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11025] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 10859 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446542226 28904853504 7555 33554432000 4194304 4196468 140728101704096 139905996890864 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11026] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446542228 28904853504 7555 33554432000 4194304 4196468 140728101704096 139905995839440 139907400898459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11027] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 10859 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 20 0 446542228 28904853504 7555 33554432000 4194304 4196468 140728101704096 139905994787568 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11028] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11028/stat : 11028 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446542228 28904853504 7555 33554432000 4194304 4196468 140728101704096 139905993735024 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11029] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11029/stat : 11029 (java) S 11011 11011 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446542228 28904853504 7555 33554432000 4194304 4196468 140728101704096 139905992681968 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11030] ppid=11011 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/11013/task/11030/stat : 11030 (java) R 11011 11011 10859 0 -1 4202560 340 0 0 0 1 0 0 0 20 0 20 0 446542228 28904853504 7555 33554432000 4194304 4196468 140728101704096 139905991629424 139907400891798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11031] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11031/stat : 11031 (java) S 11011 11011 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446542229 28904853504 7555 33554432000 4194304 4196468 140728101704096 139905990576608 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11032] ppid=11011 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11013/task/11032/stat : 11032 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446542229 28904853504 7555 33554432000 4194304 4196468 140728101704096 139905989524144 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31676 KiB
[startup+0.2107 s]*
/proc/loadavg: 1.03 0.99 1.68 2/211 11032
/proc/meminfo: memFree=30280988/32770624 swapFree=66967456/67108860
[pid=11011] ppid=11008 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 10859 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446542222 115843072 364 33554432000 4194304 5098028 140728735902112 140728735900216 140515534705276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26542080 140728735908726 140728735908969 140728735908969 140728735911882 0
/proc/11011/statm: 28282 364 305 221 0 87 0
[pid=11013] ppid=11011 vsize=28227396 memory=41288 CPUtime=0.34 cores=0-7
/proc/11013/stat : 11013 (java) S 11011 11011 10859 0 -1 1077944320 9510 0 0 0 31 3 0 0 20 0 20 0 446542222 28904853504 10322 33554432000 4194304 4196468 140728101704096 140728101686640 139907400879863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
/proc/11013/statm: 7056849 10322 3281 1 0 7019032 0
[pid=11013/tid=11014] ppid=11011 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/11013/task/11014/stat : 11014 (java) R 11011 11011 10859 0 -1 4202560 6685 0 0 0 18 2 0 0 20 0 20 0 446542223 28904853504 10322 33554432000 4194304 4196468 140728101704096 139907405113568 139907034643412 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11015] ppid=11011 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 10322 33554432000 4194304 4196468 140728101704096 139907353500176 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11016] ppid=11011 vsize=28227396 memory=3976871615724902048 CPUtime=0 cores=0-7
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 10322 33554432000 4194304 4196468 140728101704096 139906951010960 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11017] ppid=11011 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 10322 33554432000 4194304 4196468 140728101704096 139906949957904 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11018] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 10322 33554432000 4194304 4196468 140728101704096 139906948905360 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11019] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 10322 33554432000 4194304 4196468 140728101704096 139906947853328 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11020] ppid=11011 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 10322 33554432000 4194304 4196468 140728101704096 139906946800784 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11021] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 10322 33554432000 4194304 4196468 140728101704096 139906945747728 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11022] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542224 28904853504 10322 33554432000 4194304 4196468 140728101704096 139906944695184 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11023] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11023/stat : 11023 (java) S 11011 11011 10859 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446542225 28904853504 10322 33554432000 4194304 4196468 140728101704096 139905998997744 139907400891010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11024] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446542226 28904853504 10322 33554432000 4194304 4196468 140728101704096 139905997943968 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11025] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 10859 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446542226 28904853504 10322 33554432000 4194304 4196468 140728101704096 139905996890864 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11026] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446542228 28904853504 10322 33554432000 4194304 4196468 140728101704096 139905995839440 139907400898459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11027] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 10859 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 446542228 28904853504 10322 33554432000 4194304 4196468 140728101704096 139905994787568 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11028] ppid=11011 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/11013/task/11028/stat : 11028 (java) S 11011 11011 10859 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 20 0 446542228 28904853504 10322 33554432000 4194304 4196468 140728101704096 139905993735024 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11029] ppid=11011 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/11013/task/11029/stat : 11029 (java) S 11011 11011 10859 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 20 0 446542228 28904853504 10322 33554432000 4194304 4196468 140728101704096 139905992681968 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11030] ppid=11011 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/11013/task/11030/stat : 11030 (java) R 11011 11011 10859 0 -1 4202560 727 0 0 0 7 0 0 0 20 0 20 0 446542228 28904853504 10322 33554432000 4194304 4196468 140728101704096 139905991629424 139907380181570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11031] ppid=11011 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11031/stat : 11031 (java) S 11011 11011 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446542229 28904853504 10322 33554432000 4194304 4196468 140728101704096 139905990576608 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11032] ppid=11011 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11013/task/11032/stat : 11032 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446542229 28904853504 10322 33554432000 4194304 4196468 140728101704096 139905989524144 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42744 KiB
[startup+0.310877 s]*
/proc/loadavg: 1.03 0.99 1.68 5/211 11032
/proc/meminfo: memFree=30274092/32770624 swapFree=66967456/67108860
[pid=11011] ppid=11008 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 10859 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446542222 115843072 364 33554432000 4194304 5098028 140728735902112 140728735900216 140515534705276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26542080 140728735908726 140728735908969 140728735908969 140728735911882 0
/proc/11011/statm: 28282 364 305 221 0 87 0
[pid=11013] ppid=11011 vsize=28231652 memory=49816 CPUtime=0.53 cores=0-7
/proc/11013/stat : 11013 (java) S 11011 11011 10859 0 -1 1077944320 10855 0 0 0 49 4 0 0 20 0 20 0 446542222 28909211648 12454 33554432000 4194304 4196468 140728101704096 140728101686640 139907400879863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
/proc/11013/statm: 7057913 12454 3337 1 0 7019032 0
[pid=11013/tid=11014] ppid=11011 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/11013/task/11014/stat : 11014 (java) R 11011 11011 10859 0 -1 4202560 7798 0 0 0 27 2 0 0 20 0 20 0 446542223 28909211648 12485 33554432000 4194304 4196468 140728101704096 139907405110976 139907384960350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11015] ppid=11011 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542224 28909211648 12485 33554432000 4194304 4196468 140728101704096 139907353500176 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11016] ppid=11011 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446542224 28909211648 12485 33554432000 4194304 4196468 140728101704096 139906951010960 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11017] ppid=11011 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446542224 28909211648 12485 33554432000 4194304 4196468 140728101704096 139906949957904 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11018] ppid=11011 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446542224 28909211648 12485 33554432000 4194304 4196468 140728101704096 139906948905360 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11019] ppid=11011 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542224 28909211648 12485 33554432000 4194304 4196468 140728101704096 139906947853328 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11020] ppid=11011 vsize=28231652 memory=140156795447983 CPUtime=0 cores=0-7
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542224 28909211648 12485 33554432000 4194304 4196468 140728101704096 139906946800784 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11021] ppid=11011 vsize=28231652 memory=140156795450288 CPUtime=0 cores=0-7
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542224 28909211648 12485 33554432000 4194304 4196468 140728101704096 139906945747728 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11022] ppid=11011 vsize=28231652 memory=140156795452592 CPUtime=0 cores=0-7
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446542224 28909211648 12485 33554432000 4194304 4196468 140728101704096 139906944695184 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11023] ppid=11011 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11023/stat : 11023 (java) S 11011 11011 10859 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446542225 28909211648 12485 33554432000 4194304 4196468 140728101704096 139905998997744 139907400891010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11024] ppid=11011 vsize=28231652 memory=280313590919056 CPUtime=0 cores=0-7
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446542226 28909211648 12485 33554432000 4194304 4196468 140728101704096 139905997943968 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11025] ppid=11011 vsize=28231652 memory=280313590916752 CPUtime=0 cores=0-7
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 10859 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446542226 28909211648 12485 33554432000 4194304 4196468 140728101704096 139905996890864 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11026] ppid=11011 vsize=28231652 memory=280313590923664 CPUtime=0 cores=0-7
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446542228 28909211648 12485 33554432000 4194304 4196468 140728101704096 139905995839440 139907400898459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11027] ppid=11011 vsize=28231652 memory=280313590864944 CPUtime=0.01 cores=0-7
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 10859 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 20 0 446542228 28909211648 12485 33554432000 4194304 4196468 140728101704096 139905994787568 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11028] ppid=11011 vsize=28231652 memory=280313590937488 CPUtime=0.02 cores=0-7
/proc/11013/task/11028/stat : 11028 (java) S 11011 11011 10859 0 -1 1077944384 75 0 0 0 2 0 0 0 20 0 20 0 446542228 28909211648 12485 33554432000 4194304 4196468 140728101704096 139905993735024 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11029] ppid=11011 vsize=28231652 memory=280313590944400 CPUtime=0.04 cores=0-7
/proc/11013/task/11029/stat : 11029 (java) R 11011 11011 10859 0 -1 4202560 395 0 0 0 4 0 0 0 20 0 20 0 446542228 28909211648 12485 33554432000 4194304 4196468 140728101704096 139905992672352 139907380572904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11030] ppid=11011 vsize=28231652 memory=280313590942096 CPUtime=0.12 cores=0-7
/proc/11013/task/11030/stat : 11030 (java) S 11011 11011 10859 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 20 0 446542228 28909211648 12485 33554432000 4194304 4196468 140728101704096 139905991629424 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11031] ppid=11011 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11031/stat : 11031 (java) S 11011 11011 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446542229 28909211648 12485 33554432000 4194304 4196468 140728101704096 139905990576608 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11032] ppid=11011 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/11013/task/11032/stat : 11032 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446542229 28909211648 12485 33554432000 4194304 4196468 140728101704096 139905989524144 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51272 KiB
[startup+0.70168 s]
/proc/loadavg: 1.03 0.99 1.68 5/211 11032
/proc/meminfo: memFree=30257272/32770624 swapFree=66967456/67108860
[pid=11011] ppid=11008 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 10859 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446542222 115843072 364 33554432000 4194304 5098028 140728735902112 140728735900216 140515534705276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26542080 140728735908726 140728735908969 140728735908969 140728735911882 0
/proc/11011/statm: 28282 364 305 221 0 87 0
[pid=11013] ppid=11011 vsize=28767316 memory=138496 CPUtime=2 cores=0-7
/proc/11013/stat : 11013 (java) S 11011 11011 10859 0 -1 1077944320 15545 0 0 0 192 8 0 0 20 0 26 0 446542222 29457731584 34624 33554432000 4194304 4196468 140728101704096 140728101686640 139907400879863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
/proc/11013/statm: 7191829 34624 3459 1 0 7152929 0
[pid=11013/tid=11014] ppid=11011 vsize=28767316 memory=0 CPUtime=0.58 cores=0-7
/proc/11013/task/11014/stat : 11014 (java) S 11011 11011 10859 0 -1 1077944384 9240 0 0 0 54 4 0 0 20 0 26 0 446542223 29457731584 34624 33554432000 4194304 4196468 140728101704096 139907405120640 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11015] ppid=11011 vsize=28767316 memory=140156795659120 CPUtime=0 cores=0-7
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 446542224 29457731584 34624 33554432000 4194304 4196468 140728101704096 139907353500176 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11016] ppid=11011 vsize=28767316 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 446542224 29457731584 34624 33554432000 4194304 4196468 140728101704096 139906951010960 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11017] ppid=11011 vsize=28767316 memory=1192 CPUtime=0 cores=0-7
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 446542224 29457731584 34624 33554432000 4194304 4196468 140728101704096 139906949957904 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
################
# More data... #
################
[pid=11013/tid=11030] ppid=11011 vsize=28901464 memory=49477150837482 CPUtime=0.61 cores=0-7
/proc/11013/task/11030/stat : 11030 (java) S 11011 11011 10859 0 -1 1077944384 3695 0 0 0 60 1 0 0 20 0 28 0 446542228 29595099136 57489 33554432000 4194304 4196468 140728101704096 139905991629424 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11031] ppid=11011 vsize=28901464 memory=49477150837482 CPUtime=0 cores=0-7
/proc/11013/task/11031/stat : 11031 (java) S 11011 11011 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446542229 29595099136 57489 33554432000 4194304 4196468 140728101704096 139905990576608 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11032] ppid=11011 vsize=28901464 memory=49477150837482 CPUtime=0 cores=0-7
/proc/11013/task/11032/stat : 11032 (java) S 11011 11011 10859 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 446542229 29595099136 57489 33554432000 4194304 4196468 140728101704096 139905989524144 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11263] ppid=11011 vsize=28901464 memory=49477150837482 CPUtime=2.65 cores=0-7
/proc/11013/task/11263/stat : 11263 (java) R 11011 11011 10859 0 -1 4202560 221 0 0 0 265 0 0 0 20 0 28 0 446542418 29595099136 57489 33554432000 4194304 4196468 140728101704096 139905970830616 139907037797540 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11264] ppid=11011 vsize=28901464 memory=49477150837226 CPUtime=2.48 cores=0-7
/proc/11013/task/11264/stat : 11264 (java) R 11011 11011 10859 0 -1 4202560 62 0 0 0 248 0 0 0 20 0 28 0 446542418 29595099136 57489 33554432000 4194304 4196468 140728101704096 139905972937272 139907039325178 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11265] ppid=11011 vsize=28901464 memory=49477150837226 CPUtime=2.71 cores=0-7
/proc/11013/task/11265/stat : 11265 (java) R 11011 11011 10859 0 -1 4202560 52 0 0 0 271 0 0 0 20 0 28 0 446542418 29595099136 57489 33554432000 4194304 4196468 140728101704096 139905979252600 139907038320567 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11266] ppid=11011 vsize=28901464 memory=49477150836970 CPUtime=2.49 cores=0-7
/proc/11013/task/11266/stat : 11266 (java) R 11011 11011 10859 0 -1 4202560 83 0 0 0 249 0 0 0 20 0 28 0 446542418 29595099136 57489 33554432000 4194304 4196468 140728101704096 139905980306936 139907038046185 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11267] ppid=11011 vsize=28901464 memory=140156795788624 CPUtime=2.65 cores=0-7
/proc/11013/task/11267/stat : 11267 (java) R 11011 11011 10859 0 -1 4202560 108 0 0 0 265 0 0 0 20 0 28 0 446542418 29595099136 57489 33554432000 4194304 4196468 140728101704096 139905977147480 139907037798824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11268] ppid=11011 vsize=28901464 memory=-7816663703405220396 CPUtime=2.61 cores=0-7
/proc/11013/task/11268/stat : 11268 (java) R 11011 11011 10859 0 -1 4202560 74 0 0 0 261 0 0 0 20 0 28 0 446542418 29595099136 57489 33554432000 4194304 4196468 140728101704096 139905971884152 139907037588035 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11269] ppid=11011 vsize=28901464 memory=-7674914008656224160 CPUtime=2.56 cores=0-7
/proc/11013/task/11269/stat : 11269 (java) R 11011 11011 10859 0 -1 4202560 46 0 0 0 256 0 0 0 20 0 28 0 446542418 29595099136 57489 33554432000 4194304 4196468 140728101704096 139905975042568 139907039325126 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11270] ppid=11011 vsize=28901464 memory=6944656592455359580 CPUtime=2.68 cores=0-7
/proc/11013/task/11270/stat : 11270 (java) R 11011 11011 10859 0 -1 4202560 69 0 0 0 268 0 0 0 20 0 28 0 446542419 29595099136 57489 33554432000 4194304 4196468 140728101704096 139905973989688 139907038046801 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
Current children cumulated CPU time: 34.01 s
Current children cumulated vsize: 29014592 KiB
Current children cumulated memory: 231412 KiB
[startup+5.20136 s]
/proc/loadavg: 1.35 1.06 1.70 9/219 11270
/proc/meminfo: memFree=30093416/32770624 swapFree=66967456/67108860
[pid=11011] ppid=11008 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 10859 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446542222 115843072 364 33554432000 4194304 5098028 140728735902112 140728735900216 140515534705276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26542080 140728735908726 140728735908969 140728735908969 140728735911882 0
/proc/11011/statm: 28282 364 305 221 0 87 0
[pid=11013] ppid=11011 vsize=28901464 memory=230656 CPUtime=37.18 cores=0-7
/proc/11013/stat : 11013 (java) S 11011 11011 10859 0 -1 1077944320 34114 0 0 0 3699 19 0 0 20 0 28 0 446542222 29595099136 57664 33554432000 4194304 4196468 140728101704096 140728101686640 139907400879863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
/proc/11013/statm: 7225366 57664 3508 1 0 7186466 0
[pid=11013/tid=11014] ppid=11011 vsize=28901464 memory=187445257721605 CPUtime=0.59 cores=0-7
/proc/11013/task/11014/stat : 11014 (java) S 11011 11011 10859 0 -1 1077944384 9241 0 0 0 55 4 0 0 20 0 28 0 446542223 29595099136 57664 33554432000 4194304 4196468 140728101704096 139907405120640 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11015] ppid=11011 vsize=28901464 memory=187445257721606 CPUtime=0 cores=0-7
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 10859 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57664 33554432000 4194304 4196468 140728101704096 139907353500176 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11016] ppid=11011 vsize=28901464 memory=187445257721607 CPUtime=0 cores=0-7
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 10859 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57664 33554432000 4194304 4196468 140728101704096 139906951010960 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11017] ppid=11011 vsize=28901464 memory=187445257721608 CPUtime=0 cores=0-7
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 10859 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57664 33554432000 4194304 4196468 140728101704096 139906949957904 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11018] ppid=11011 vsize=28901464 memory=187445257721609 CPUtime=0 cores=0-7
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 10859 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57664 33554432000 4194304 4196468 140728101704096 139906948905360 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11019] ppid=11011 vsize=28901464 memory=140156795449985 CPUtime=0 cores=0-7
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 10859 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57664 33554432000 4194304 4196468 140728101704096 139906947853328 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11020] ppid=11011 vsize=28901464 memory=3008818844995576 CPUtime=0 cores=0-7
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 10859 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57664 33554432000 4194304 4196468 140728101704096 139906946800784 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11021] ppid=11011 vsize=28901464 memory=140157667771944 CPUtime=0 cores=0-7
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 10859 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57664 33554432000 4194304 4196468 140728101704096 139906945747728 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11022] ppid=11011 vsize=28901464 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 10859 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57664 33554432000 4194304 4196468 140728101704096 139906944695184 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11023] ppid=11011 vsize=28901464 memory=-3756611412707075625 CPUtime=0 cores=0-7
/proc/11013/task/11023/stat : 11023 (java) S 11011 11011 10859 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 28 0 446542225 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905998997744 139907400891010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11024] ppid=11011 vsize=28901464 memory=8028676333680759155 CPUtime=0 cores=0-7
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446542226 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905997944032 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11025] ppid=11011 vsize=28901464 memory=4137293581110450563 CPUtime=0 cores=0-7
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 10859 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446542226 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905996890880 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11026] ppid=11011 vsize=28901464 memory=1456 CPUtime=0 cores=0-7
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446542228 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905995839440 139907400898459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11027] ppid=11011 vsize=28901464 memory=229956 CPUtime=1.4 cores=0-7
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 10859 0 -1 1077944384 3420 0 0 0 139 1 0 0 20 0 28 0 446542228 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905994787568 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11028] ppid=11011 vsize=28901464 memory=-6293351487673515973 CPUtime=1.49 cores=0-7
/proc/11013/task/11028/stat : 11028 (java) R 11011 11011 10859 0 -1 4202560 4623 0 0 0 148 1 0 0 20 0 28 0 446542228 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905993716488 139907378108429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11029] ppid=11011 vsize=28901464 memory=-8253387987130605991 CPUtime=1.7 cores=0-7
/proc/11013/task/11029/stat : 11029 (java) S 11011 11011 10859 0 -1 1077944384 5100 0 0 0 169 1 0 0 20 0 28 0 446542228 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905992681968 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11030] ppid=11011 vsize=28901464 memory=4643050290721413699 CPUtime=0.61 cores=0-7
/proc/11013/task/11030/stat : 11030 (java) S 11011 11011 10859 0 -1 1077944384 3741 0 0 0 60 1 0 0 20 0 28 0 446542228 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905991629424 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11031] ppid=11011 vsize=28901464 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11031/stat : 11031 (java) S 11011 11011 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446542229 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905990576608 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11032] ppid=11011 vsize=28901464 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11032/stat : 11032 (java) S 11011 11011 10859 0 -1 1077944384 698 0 0 0 0 0 0 0 20 0 28 0 446542229 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905989524144 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11263] ppid=11011 vsize=28901464 memory=6440526044203406950 CPUtime=3.05 cores=0-7
/proc/11013/task/11263/stat : 11263 (java) R 11011 11011 10859 0 -1 4202560 267 0 0 0 304 1 0 0 20 0 28 0 446542418 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905970830368 139907037797693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11264] ppid=11011 vsize=28901464 memory=4639098309541129060 CPUtime=2.87 cores=0-7
/proc/11013/task/11264/stat : 11264 (java) R 11011 11011 10859 0 -1 4202560 109 0 0 0 287 0 0 0 20 0 28 0 446542418 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905972937120 139907038503647 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11265] ppid=11011 vsize=28901464 memory=0 CPUtime=3.11 cores=0-7
/proc/11013/task/11265/stat : 11265 (java) R 11011 11011 10859 0 -1 4202560 163 0 0 0 311 0 0 0 20 0 28 0 446542418 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905979252744 139907037798065 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11266] ppid=11011 vsize=28901464 memory=280313591909952 CPUtime=2.86 cores=0-7
/proc/11013/task/11266/stat : 11266 (java) R 11011 11011 10859 0 -1 4202560 137 0 0 0 285 1 0 0 20 0 28 0 446542418 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905980305456 139907037798446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11267] ppid=11011 vsize=28901464 memory=140156795998608 CPUtime=3.04 cores=0-7
/proc/11013/task/11267/stat : 11267 (java) R 11011 11011 10859 0 -1 4202560 136 0 0 0 304 0 0 0 20 0 28 0 446542418 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905977148088 139907037797264 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11268] ppid=11011 vsize=28901464 memory=0 CPUtime=3.01 cores=0-7
/proc/11013/task/11268/stat : 11268 (java) R 11011 11011 10859 0 -1 4202560 113 0 0 0 301 0 0 0 20 0 28 0 446542418 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905971884592 139907037797731 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11269] ppid=11011 vsize=28901464 memory=0 CPUtime=2.94 cores=0-7
/proc/11013/task/11269/stat : 11269 (java) R 11011 11011 10859 0 -1 4202560 128 0 0 0 294 0 0 0 20 0 28 0 446542418 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905975042512 139907037797683 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11270] ppid=11011 vsize=28901464 memory=0 CPUtime=3.03 cores=0-7
/proc/11013/task/11270/stat : 11270 (java) R 11011 11011 10859 0 -1 4202560 81 0 0 0 303 0 0 0 20 0 28 0 446542419 29595099136 57664 33554432000 4194304 4196468 140728101704096 139905973990024 139907039049670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
Current children cumulated CPU time: 37.18 s
Current children cumulated vsize: 29014592 KiB
Current children cumulated memory: 232112 KiB
[startup+5.30135 s]
/proc/loadavg: 1.35 1.06 1.70 9/219 11270
/proc/meminfo: memFree=30093416/32770624 swapFree=66967456/67108860
[pid=11011] ppid=11008 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 10859 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446542222 115843072 364 33554432000 4194304 5098028 140728735902112 140728735900216 140515534705276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26542080 140728735908726 140728735908969 140728735908969 140728735911882 0
/proc/11011/statm: 28282 364 305 221 0 87 0
[pid=11013] ppid=11011 vsize=28901464 memory=230660 CPUtime=37.98 cores=0-7
/proc/11013/stat : 11013 (java) S 11011 11011 10859 0 -1 1077944320 34262 0 0 0 3779 19 0 0 20 0 28 0 446542222 29595099136 57665 33554432000 4194304 4196468 140728101704096 140728101686640 139907400879863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
/proc/11013/statm: 7225366 57665 3508 1 0 7186466 0
[pid=11013/tid=11014] ppid=11011 vsize=28901464 memory=1456 CPUtime=0.59 cores=0-7
/proc/11013/task/11014/stat : 11014 (java) S 11011 11011 10859 0 -1 1077944384 9241 0 0 0 55 4 0 0 20 0 28 0 446542223 29595099136 57665 33554432000 4194304 4196468 140728101704096 139907405120640 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11015] ppid=11011 vsize=28901464 memory=229148 CPUtime=0 cores=0-7
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 10859 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57665 33554432000 4194304 4196468 140728101704096 139907353500176 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11016] ppid=11011 vsize=28901464 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 10859 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57665 33554432000 4194304 4196468 140728101704096 139906951010960 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11017] ppid=11011 vsize=28901464 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 10859 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57665 33554432000 4194304 4196468 140728101704096 139906949957904 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11018] ppid=11011 vsize=28901464 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 10859 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57665 33554432000 4194304 4196468 140728101704096 139906948905360 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11019] ppid=11011 vsize=28901464 memory=229952 CPUtime=0 cores=0-7
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 10859 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57665 33554432000 4194304 4196468 140728101704096 139906947853328 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11020] ppid=11011 vsize=28901464 memory=229708 CPUtime=0 cores=0-7
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 10859 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57665 33554432000 4194304 4196468 140728101704096 139906946800784 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11021] ppid=11011 vsize=28901464 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 10859 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57665 33554432000 4194304 4196468 140728101704096 139906945747728 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11022] ppid=11011 vsize=28901464 memory=280313590810752 CPUtime=0 cores=0-7
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 10859 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 446542224 29595099136 57665 33554432000 4194304 4196468 140728101704096 139906944695184 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11023] ppid=11011 vsize=28901464 memory=288230604624110384 CPUtime=0 cores=0-7
/proc/11013/task/11023/stat : 11023 (java) S 11011 11011 10859 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 28 0 446542225 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905998997744 139907400891010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11024] ppid=11011 vsize=28901464 memory=14694093276076847 CPUtime=0 cores=0-7
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446542226 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905997944032 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11025] ppid=11011 vsize=28901464 memory=187445257721602 CPUtime=0 cores=0-7
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 10859 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446542226 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905996890880 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11026] ppid=11011 vsize=28901464 memory=1456 CPUtime=0 cores=0-7
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446542228 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905995839440 139907400898459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11027] ppid=11011 vsize=28901464 memory=228656 CPUtime=1.4 cores=0-7
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 10859 0 -1 1077944384 3420 0 0 0 139 1 0 0 20 0 28 0 446542228 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905994787568 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11028] ppid=11011 vsize=28901464 memory=0 CPUtime=1.51 cores=0-7
/proc/11013/task/11028/stat : 11028 (java) S 11011 11011 10859 0 -1 1077944384 4686 0 0 0 150 1 0 0 20 0 28 0 446542228 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905993735024 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11029] ppid=11011 vsize=28901464 memory=0 CPUtime=1.7 cores=0-7
/proc/11013/task/11029/stat : 11029 (java) S 11011 11011 10859 0 -1 1077944384 5100 0 0 0 169 1 0 0 20 0 28 0 446542228 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905992681968 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11030] ppid=11011 vsize=28901464 memory=0 CPUtime=0.61 cores=0-7
/proc/11013/task/11030/stat : 11030 (java) S 11011 11011 10859 0 -1 1077944384 3811 0 0 0 60 1 0 0 20 0 28 0 446542228 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905991629424 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11031] ppid=11011 vsize=28901464 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11031/stat : 11031 (java) S 11011 11011 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446542229 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905990576608 139907400890069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11032] ppid=11011 vsize=28901464 memory=0 CPUtime=0 cores=0-7
/proc/11013/task/11032/stat : 11032 (java) S 11011 11011 10859 0 -1 1077944384 698 0 0 0 0 0 0 0 20 0 28 0 446542229 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905989524144 139907400891010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11263] ppid=11011 vsize=28901464 memory=0 CPUtime=3.15 cores=0-7
/proc/11013/task/11263/stat : 11263 (java) R 11011 11011 10859 0 -1 4202560 277 0 0 0 314 1 0 0 20 0 28 0 446542418 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905970830368 139907038830859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11264] ppid=11011 vsize=28901464 memory=15537410121403819 CPUtime=2.97 cores=0-7
/proc/11013/task/11264/stat : 11264 (java) R 11011 11011 10859 0 -1 4202560 109 0 0 0 297 0 0 0 20 0 28 0 446542418 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905972937120 139907038692495 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11265] ppid=11011 vsize=28901464 memory=0 CPUtime=3.21 cores=0-7
/proc/11013/task/11265/stat : 11265 (java) R 11011 11011 10859 0 -1 4202560 163 0 0 0 321 0 0 0 20 0 28 0 446542418 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905979252128 139907038410029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11266] ppid=11011 vsize=28901464 memory=0 CPUtime=2.94 cores=0-7
/proc/11013/task/11266/stat : 11266 (java) R 11011 11011 10859 0 -1 4202560 140 0 0 0 293 1 0 0 20 0 28 0 446542418 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905980305456 139907039404378 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11267] ppid=11011 vsize=28901464 memory=0 CPUtime=3.14 cores=0-7
/proc/11013/task/11267/stat : 11267 (java) R 11011 11011 10859 0 -1 4202560 136 0 0 0 314 0 0 0 20 0 28 0 446542418 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905977147720 139907038697686 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11268] ppid=11011 vsize=28901464 memory=0 CPUtime=3.11 cores=0-7
/proc/11013/task/11268/stat : 11268 (java) R 11011 11011 10859 0 -1 4202560 113 0 0 0 311 0 0 0 20 0 28 0 446542418 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905971883648 139907038046199 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11269] ppid=11011 vsize=28901464 memory=0 CPUtime=3.04 cores=0-7
/proc/11013/task/11269/stat : 11269 (java) R 11011 11011 10859 0 -1 4202560 129 0 0 0 304 0 0 0 20 0 28 0 446542418 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905975042512 139907038971654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
[pid=11013/tid=11270] ppid=11011 vsize=28901464 memory=1456 CPUtime=3.11 cores=0-7
/proc/11013/task/11270/stat : 11270 (java) R 11011 11011 10859 0 -1 4202560 82 0 0 0 311 0 0 0 20 0 28 0 446542419 29595099136 57665 33554432000 4194304 4196468 140728101704096 139905973990024 139907038409703 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140728101708778 140728101708950 140728101708950 140728101711823 0
Current children cumulated CPU time: 37.98 s
Current children cumulated vsize: 29014592 KiB
Current children cumulated memory: 232116 KiB
Child status: 0
Real time (s): 5.38036
CPU time (s): 38.5331
CPU user time (s): 38.3287
CPU system time (s): 0.204466
CPU usage (%): 716.182
Max. virtual memory (cumulated for all children) (KiB): 29014592
Max. memory (cumulated for all children) (KiB): 232116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.3287
system time used= 0.204466
maximum resident set size= 230812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35663
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5841
involuntary context switches= 1028
# summary of solver processes directly reported to runsolver:
# pid: 11011
# total CPU time (s): 38.5331
# total CPU user time (s): 38.3287
# total CPU system time (s): 0.204466
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.086669 second user time and 0.085543 second system time
The end
Begin job on node125 at 2019-09-17 08:45:11
IDJOB=4399810
IDBENCH=123040
IDSOLVER=2854
FILE ID=node125/4399810-1568702754
RUNJOBID= node125-1568702458-10886
PBS_JOBID= 21703918
Free space on /tmp= 59732 MiB
SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-chr15c.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-4399810-1568702754/watcher-4399810-1568702754 -o /tmp/evaluation-result-4399810-1568702754/solver-4399810-1568702754 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568702458-10886 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 159999705 HOME/instance-4399810-1568702754.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= ce755c39cb9d6ddef8bea85f09074509
RANDOM SEED=159999705
node125.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.29
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.29
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.29
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.29
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: 30311456 kB
MemAvailable: 31862304 kB
Buffers: 207772 kB
Cached: 1641104 kB
SwapCached: 38412 kB
Active: 819324 kB
Inactive: 1070904 kB
Active(anon): 21372 kB
Inactive(anon): 68464 kB
Active(file): 797952 kB
Inactive(file): 1002440 kB
Unevictable: 108972 kB
Mlocked: 108972 kB
SwapTotal: 67108860 kB
SwapFree: 66967456 kB
Dirty: 26164 kB
Writeback: 0 kB
AnonPages: 124676 kB
Mapped: 48160 kB
Shmem: 39868 kB
Slab: 162036 kB
SReclaimable: 132584 kB
SUnreclaim: 29452 kB
KernelStack: 3712 kB
PageTables: 5612 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 505804 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 79872 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 114048 kB
DirectMap2M: 33431552 kB
Free space on /tmp at the end= 59704 MiB
End job on node125 at 2019-09-17 08:45:17