0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404576-1569005464.xml" -tl '20160s' -p 8
0.12/0.18 c Choco 3fb4b153
0.12/0.18 c [HOME/instance-4404576-1569005464.xml, -tl, 20160s, -p, 8]
0.33/0.22 c 8 solvers in parallel
0.33/0.29 c parse instance...
1.05/0.57 c solve instance...
1.48/0.65 o 198
1.48/0.67 o 183
1.48/0.68 o 170
1.48/0.68 o 147
1.48/0.69 o 90
2.03/0.70 o 86
2.03/0.70 o 85
1456.29/183.82 s OPTIMUM FOUND
1456.29/183.82 v <instantiation>
1456.29/183.82 v <list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] </list>
1456.29/183.82 v <values>0 4 2 1 3 7 8 9 13 11 10 14 12 6 5 10 1 6 1 8 1 4 8 2 6 13 5 11 4 5 </values>
1456.29/183.82 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 (13251 MiB free)
memory of node 1: 16384 MiB (12341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404576-1569005464/watcher-4404576-1569005464 -o /var/tmp/evaluation-result-4404576-1569005464/solver-4404576-1569005464 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569005419-13542 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1306792550 HOME/instance-4404576-1569005464.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=13559, runsolver pid=13556
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 7.45 7.99 7.92 2/212 13580
/proc/meminfo: memFree=26191504/32770624 swapFree=67001832/67108860
[pid=13559] ppid=13556 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13559/stat : 13559 (xcsp3-exec) S 13556 13559 13515 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476794986 115843072 362 33554432000 4194304 5098028 140721135684320 140721135682424 140261895037564 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37429248 140721135690577 140721135690837 140721135690837 140721135693766 0
/proc/13559/statm: 28282 362 304 221 0 87 0
[pid=13561] ppid=13559 vsize=28227396 memory=29036 CPUtime=0.12 cores=0-7
/proc/13561/stat : 13561 (java) S 13559 13559 13515 0 -1 1077944320 5734 0 0 0 11 1 0 0 20 0 20 0 476794986 28904853504 7259 33554432000 4194304 4196468 140728251510272 140728251492816 140195369119479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
/proc/13561/statm: 7056849 7259 3123 1 0 7019032 0
[pid=13561/tid=13562] ppid=13559 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13561/task/13562/stat : 13562 (java) R 13559 13559 13515 0 -1 4202560 3646 0 0 0 8 1 0 0 20 0 20 0 476794986 28904853504 7259 33554432000 4194304 4196468 140728251510272 140195373345616 140195348829920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13563] ppid=13559 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13561/task/13563/stat : 13563 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 7259 33554432000 4194304 4196468 140728251510272 140195321740304 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13564] ppid=13559 vsize=28227396 memory=140525584053888 CPUtime=0 cores=0-7
/proc/13561/task/13564/stat : 13564 (java) S 13559 13559 13515 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 7259 33554432000 4194304 4196468 140728251510272 140195320687760 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13565] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13565/stat : 13565 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 7259 33554432000 4194304 4196468 140728251510272 140195319634704 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13566] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13566/stat : 13566 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 7259 33554432000 4194304 4196468 140728251510272 140195318582160 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13567] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13567/stat : 13567 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 7259 33554432000 4194304 4196468 140728251510272 140195317529104 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13568] ppid=13559 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13561/task/13568/stat : 13568 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 7259 33554432000 4194304 4196468 140728251510272 140194915146384 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13569] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13569/stat : 13569 (java) S 13559 13559 13515 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 7259 33554432000 4194304 4196468 140728251510272 140194914093328 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13570] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13570/stat : 13570 (java) S 13559 13559 13515 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 7259 33554432000 4194304 4196468 140728251510272 140194913040784 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13571] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13571/stat : 13571 (java) S 13559 13559 13515 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476794989 28904853504 7259 33554432000 4194304 4196468 140728251510272 140193900235504 140195369130626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13572] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13572/stat : 13572 (java) S 13559 13559 13515 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476794989 28904853504 7259 33554432000 4194304 4196468 140728251510272 140193899181728 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13573] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13573/stat : 13573 (java) S 13559 13559 13515 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476794989 28904853504 7259 33554432000 4194304 4196468 140728251510272 140193898128624 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13574] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13574/stat : 13574 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794992 28904853504 7259 33554432000 4194304 4196468 140728251510272 140193897077200 140195369138075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13575] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13575/stat : 13575 (java) S 13559 13559 13515 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 476794992 28904853504 7259 33554432000 4194304 4196468 140728251510272 140193896024304 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13576] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13576/stat : 13576 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794992 28904853504 7259 33554432000 4194304 4196468 140728251510272 140193894971760 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13577] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13577/stat : 13577 (java) S 13559 13559 13515 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 476794992 28904853504 7259 33554432000 4194304 4196468 140728251510272 140193893918704 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13578] ppid=13559 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13561/task/13578/stat : 13578 (java) R 13559 13559 13515 0 -1 4202560 357 0 0 0 1 0 0 0 20 0 20 0 476794992 28904853504 7259 33554432000 4194304 4196468 140728251510272 140193892866160 140195348128027 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13579] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13579/stat : 13579 (java) S 13559 13559 13515 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476794992 28904853504 7259 33554432000 4194304 4196468 140728251510272 140193891814368 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13580] ppid=13559 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13561/task/13580/stat : 13580 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794992 28904853504 7259 33554432000 4194304 4196468 140728251510272 140193890761904 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30484 KiB
[startup+0.210183 s]*
/proc/loadavg: 7.45 7.99 7.92 3/212 13580
/proc/meminfo: memFree=26178240/32770624 swapFree=67001832/67108860
[pid=13559] ppid=13556 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13559/stat : 13559 (xcsp3-exec) S 13556 13559 13515 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476794986 115843072 362 33554432000 4194304 5098028 140721135684320 140721135682424 140261895037564 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37429248 140721135690577 140721135690837 140721135690837 140721135693766 0
/proc/13559/statm: 28282 362 304 221 0 87 0
[pid=13561] ppid=13559 vsize=28227396 memory=41092 CPUtime=0.33 cores=0-7
/proc/13561/stat : 13561 (java) S 13559 13559 13515 0 -1 1077944320 9490 0 0 0 30 3 0 0 20 0 20 0 476794986 28904853504 10273 33554432000 4194304 4196468 140728251510272 140728251492816 140195369119479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
/proc/13561/statm: 7056849 10273 3306 1 0 7019032 0
[pid=13561/tid=13562] ppid=13559 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/13561/task/13562/stat : 13562 (java) R 13559 13559 13515 0 -1 4202560 6636 0 0 0 18 2 0 0 20 0 20 0 476794986 28904853504 10273 33554432000 4194304 4196468 140728251510272 140195373352208 140195361797493 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13563] ppid=13559 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/13561/task/13563/stat : 13563 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 10273 33554432000 4194304 4196468 140728251510272 140195321740304 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13564] ppid=13559 vsize=28227396 memory=140525587616448 CPUtime=0 cores=0-7
/proc/13561/task/13564/stat : 13564 (java) S 13559 13559 13515 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 10273 33554432000 4194304 4196468 140728251510272 140195320687760 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13565] ppid=13559 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13561/task/13565/stat : 13565 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 10273 33554432000 4194304 4196468 140728251510272 140195319634704 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13566] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13566/stat : 13566 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 10273 33554432000 4194304 4196468 140728251510272 140195318582160 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13567] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13567/stat : 13567 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 10273 33554432000 4194304 4196468 140728251510272 140195317529104 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13568] ppid=13559 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13561/task/13568/stat : 13568 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 10273 33554432000 4194304 4196468 140728251510272 140194915146384 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13569] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13569/stat : 13569 (java) S 13559 13559 13515 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 10273 33554432000 4194304 4196468 140728251510272 140194914093328 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13570] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13570/stat : 13570 (java) S 13559 13559 13515 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476794987 28904853504 10273 33554432000 4194304 4196468 140728251510272 140194913040784 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13571] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13571/stat : 13571 (java) S 13559 13559 13515 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476794989 28904853504 10273 33554432000 4194304 4196468 140728251510272 140193900235504 140195369130626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13572] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13572/stat : 13572 (java) S 13559 13559 13515 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476794989 28904853504 10273 33554432000 4194304 4196468 140728251510272 140193899181728 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13573] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13573/stat : 13573 (java) S 13559 13559 13515 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476794989 28904853504 10273 33554432000 4194304 4196468 140728251510272 140193898128624 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13574] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13574/stat : 13574 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794992 28904853504 10273 33554432000 4194304 4196468 140728251510272 140193897077200 140195369138075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13575] ppid=13559 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13561/task/13575/stat : 13575 (java) S 13559 13559 13515 0 -1 1077944384 488 0 0 0 1 0 0 0 20 0 20 0 476794992 28904853504 10273 33554432000 4194304 4196468 140728251510272 140193896024304 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13576] ppid=13559 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13561/task/13576/stat : 13576 (java) S 13559 13559 13515 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 20 0 476794992 28904853504 10273 33554432000 4194304 4196468 140728251510272 140193894971760 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13577] ppid=13559 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/13561/task/13577/stat : 13577 (java) S 13559 13559 13515 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 20 0 476794992 28904853504 10273 33554432000 4194304 4196468 140728251510272 140193893918704 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13578] ppid=13559 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/13561/task/13578/stat : 13578 (java) S 13559 13559 13515 0 -1 1077944384 775 0 0 0 7 0 0 0 20 0 20 0 476794992 28904853504 10273 33554432000 4194304 4196468 140728251510272 140193892866160 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13579] ppid=13559 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13579/stat : 13579 (java) S 13559 13559 13515 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476794992 28904853504 10273 33554432000 4194304 4196468 140728251510272 140193891814368 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13580] ppid=13559 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13561/task/13580/stat : 13580 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794992 28904853504 10273 33554432000 4194304 4196468 140728251510272 140193890761904 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42540 KiB
[startup+0.30959 s]*
/proc/loadavg: 7.45 7.99 7.92 2/212 13580
/proc/meminfo: memFree=26173884/32770624 swapFree=67001832/67108860
[pid=13559] ppid=13556 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13559/stat : 13559 (xcsp3-exec) S 13556 13559 13515 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476794986 115843072 362 33554432000 4194304 5098028 140721135684320 140721135682424 140261895037564 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37429248 140721135690577 140721135690837 140721135690837 140721135693766 0
/proc/13559/statm: 28282 362 304 221 0 87 0
[pid=13561] ppid=13559 vsize=28231652 memory=49328 CPUtime=0.51 cores=0-7
/proc/13561/stat : 13561 (java) S 13559 13559 13515 0 -1 1077944320 10670 0 0 0 47 4 0 0 20 0 20 0 476794986 28909211648 12332 33554432000 4194304 4196468 140728251510272 140728251492816 140195369119479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
/proc/13561/statm: 7057913 12332 3339 1 0 7019032 0
[pid=13561/tid=13562] ppid=13559 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/13561/task/13562/stat : 13562 (java) R 13559 13559 13515 0 -1 4202560 7707 0 0 0 27 3 0 0 20 0 20 0 476794986 28909211648 12332 33554432000 4194304 4196468 140728251510272 140195373350592 140195361797493 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13563] ppid=13559 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13563/stat : 13563 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794987 28909211648 12332 33554432000 4194304 4196468 140728251510272 140195321740304 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13564] ppid=13559 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13564/stat : 13564 (java) S 13559 13559 13515 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476794987 28909211648 12332 33554432000 4194304 4196468 140728251510272 140195320687760 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13565] ppid=13559 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13565/stat : 13565 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794987 28909211648 12332 33554432000 4194304 4196468 140728251510272 140195319634704 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13566] ppid=13559 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13566/stat : 13566 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794987 28909211648 12332 33554432000 4194304 4196468 140728251510272 140195318582160 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13567] ppid=13559 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/13561/task/13567/stat : 13567 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794987 28909211648 12332 33554432000 4194304 4196468 140728251510272 140195317529104 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13568] ppid=13559 vsize=28231652 memory=140525424440239 CPUtime=0 cores=0-7
/proc/13561/task/13568/stat : 13568 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794987 28909211648 12332 33554432000 4194304 4196468 140728251510272 140194915146384 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13569] ppid=13559 vsize=28231652 memory=140525424442544 CPUtime=0 cores=0-7
/proc/13561/task/13569/stat : 13569 (java) S 13559 13559 13515 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476794987 28909211648 12332 33554432000 4194304 4196468 140728251510272 140194914093328 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13570] ppid=13559 vsize=28231652 memory=140525424444848 CPUtime=0 cores=0-7
/proc/13561/task/13570/stat : 13570 (java) S 13559 13559 13515 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476794987 28909211648 12332 33554432000 4194304 4196468 140728251510272 140194913040784 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13571] ppid=13559 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13571/stat : 13571 (java) S 13559 13559 13515 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476794989 28909211648 12332 33554432000 4194304 4196468 140728251510272 140193900235504 140195369130626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13572] ppid=13559 vsize=28231652 memory=281050848896656 CPUtime=0 cores=0-7
/proc/13561/task/13572/stat : 13572 (java) S 13559 13559 13515 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476794989 28909211648 12332 33554432000 4194304 4196468 140728251510272 140193899181728 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13573] ppid=13559 vsize=28231652 memory=281050848903568 CPUtime=0 cores=0-7
/proc/13561/task/13573/stat : 13573 (java) S 13559 13559 13515 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476794989 28909211648 12332 33554432000 4194304 4196468 140728251510272 140193898128624 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13574] ppid=13559 vsize=28231652 memory=281050848844848 CPUtime=0 cores=0-7
/proc/13561/task/13574/stat : 13574 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794992 28909211648 12332 33554432000 4194304 4196468 140728251510272 140193897077200 140195369138075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13575] ppid=13559 vsize=28231652 memory=281050848917392 CPUtime=0.02 cores=0-7
/proc/13561/task/13575/stat : 13575 (java) S 13559 13559 13515 0 -1 1077944384 497 0 0 0 2 0 0 0 20 0 20 0 476794992 28909211648 12332 33554432000 4194304 4196468 140728251510272 140193896024304 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13576] ppid=13559 vsize=28231652 memory=281050848924304 CPUtime=0.02 cores=0-7
/proc/13561/task/13576/stat : 13576 (java) S 13559 13559 13515 0 -1 1077944384 78 0 0 0 2 0 0 0 20 0 20 0 476794992 28909211648 12332 33554432000 4194304 4196468 140728251510272 140193894971760 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13577] ppid=13559 vsize=28231652 memory=281050848922000 CPUtime=0.02 cores=0-7
/proc/13561/task/13577/stat : 13577 (java) S 13559 13559 13515 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 20 0 476794992 28909211648 12332 33554432000 4194304 4196468 140728251510272 140193893918704 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13578] ppid=13559 vsize=28231652 memory=281050848938160 CPUtime=0.12 cores=0-7
/proc/13561/task/13578/stat : 13578 (java) S 13559 13559 13515 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 20 0 476794992 28909211648 12332 33554432000 4194304 4196468 140728251510272 140193892866160 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13579] ppid=13559 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13579/stat : 13579 (java) S 13559 13559 13515 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476794992 28909211648 12332 33554432000 4194304 4196468 140728251510272 140193891814368 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13580] ppid=13559 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/13561/task/13580/stat : 13580 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476794992 28909211648 12332 33554432000 4194304 4196468 140728251510272 140193890761904 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50776 KiB
[startup+0.700969 s]
/proc/loadavg: 7.45 7.99 7.92 6/212 13580
/proc/meminfo: memFree=26154504/32770624 swapFree=67001832/67108860
[pid=13559] ppid=13556 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13559/stat : 13559 (xcsp3-exec) S 13556 13559 13515 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476794986 115843072 362 33554432000 4194304 5098028 140721135684320 140721135682424 140261895037564 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37429248 140721135690577 140721135690837 140721135690837 140721135693766 0
/proc/13559/statm: 28282 362 304 221 0 87 0
[pid=13561] ppid=13559 vsize=28767316 memory=168044 CPUtime=2.03 cores=0-7
/proc/13561/stat : 13561 (java) S 13559 13559 13515 0 -1 1077944320 16522 0 0 0 194 9 0 0 20 0 21 0 476794986 29457731584 42011 33554432000 4194304 4196468 140728251510272 140728251492816 140195369119479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
/proc/13561/statm: 7191829 42011 3458 1 0 7152929 0
[pid=13561/tid=13562] ppid=13559 vsize=28767316 memory=281050849296048 CPUtime=0.56 cores=0-7
/proc/13561/task/13562/stat : 13562 (java) S 13559 13559 13515 0 -1 1077944384 9403 0 0 0 53 3 0 0 20 0 21 0 476794986 29457731584 42011 33554432000 4194304 4196468 140728251510272 140195373360256 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13563] ppid=13559 vsize=28767316 memory=140525424649072 CPUtime=0 cores=0-7
/proc/13561/task/13563/stat : 13563 (java) R 13559 13559 13515 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 21 0 476794987 29457731584 42011 33554432000 4194304 4196468 140728251510272 140195321740304 140195354163953 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13564] ppid=13559 vsize=28767316 memory=0 CPUtime=0 cores=0-7
/proc/13561/task/13564/stat : 13564 (java) R 13559 13559 13515 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 476794987 29457731584 42011 33554432000 4194304 4196468 140728251510272 140195320687760 140195369129685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13565] ppid=13559 vsize=28767316 memory=1056 CPUtime=0 cores=0-7
/proc/13561/task/13565/stat : 13565 (java) R 13559 13559 13515 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 21 0 476794987 29457731584 42011 33554432000 4194304 4196468 140728251510272 140195319632336 140195354160419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
################
# More data... #
################
[pid=13561/tid=13578] ppid=13559 vsize=28767316 memory=265272 CPUtime=0.63 cores=0-7
/proc/13561/task/13578/stat : 13578 (java) S 13559 13559 13515 0 -1 1077944384 8896 0 0 0 62 1 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193892866160 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13579] ppid=13559 vsize=28767316 memory=1448 CPUtime=0 cores=0-7
/proc/13561/task/13579/stat : 13579 (java) S 13559 13559 13515 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193891814368 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13580] ppid=13559 vsize=28767316 memory=226812 CPUtime=0.03 cores=0-7
/proc/13561/task/13580/stat : 13580 (java) S 13559 13559 13515 0 -1 1077944384 1675 0 0 0 0 3 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193890761904 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13637] ppid=13559 vsize=28767316 memory=636 CPUtime=180.07 cores=0-7
/proc/13561/task/13637/stat : 13637 (java) R 13559 13559 13515 0 -1 4202560 1231 0 0 0 18006 1 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193879440824 140195002276118 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13638] ppid=13559 vsize=28767316 memory=2836 CPUtime=180.59 cores=0-7
/proc/13561/task/13638/stat : 13638 (java) R 13559 13559 13515 0 -1 4202560 1062 0 0 0 18058 1 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193878389400 140195002276197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13639] ppid=13559 vsize=28767316 memory=1056 CPUtime=179.68 cores=0-7
/proc/13561/task/13639/stat : 13639 (java) R 13559 13559 13515 0 -1 4202560 5461 0 0 0 17966 2 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193875231000 140195353496496 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13640] ppid=13559 vsize=28767316 memory=1568 CPUtime=180.41 cores=0-7
/proc/13561/task/13640/stat : 13640 (java) R 13559 13559 13515 0 -1 4202560 2745 0 0 0 18039 2 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193877335904 140195002767079 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13641] ppid=13559 vsize=28767316 memory=1056 CPUtime=180.36 cores=0-7
/proc/13561/task/13641/stat : 13641 (java) R 13559 13559 13515 0 -1 4202560 2476 0 0 0 18035 1 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193876282912 140195002276167 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13642] ppid=13559 vsize=28767316 memory=1556 CPUtime=180.61 cores=0-7
/proc/13561/task/13642/stat : 13642 (java) R 13559 13559 13515 0 -1 4202560 1522 0 0 0 18060 1 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193881546904 140195002311724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13643] ppid=13559 vsize=28767316 memory=500 CPUtime=180.45 cores=0-7
/proc/13561/task/13643/stat : 13643 (java) R 13559 13559 13515 0 -1 4202560 1102 0 0 0 18045 0 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193874178840 140195002339504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13644] ppid=13559 vsize=28767316 memory=932 CPUtime=180.33 cores=0-7
/proc/13561/task/13644/stat : 13644 (java) R 13559 13559 13515 0 -1 4202560 1894 0 0 0 18032 1 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193880495000 140195001938126 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
Current children cumulated CPU time: 1451.51 s
Current children cumulated vsize: 28880444 KiB
Current children cumulated memory: 266720 KiB
[startup+183.601 s]
/proc/loadavg: 8.05 8.02 7.94 9/220 13655
/proc/meminfo: memFree=25958180/32770624 swapFree=67001832/67108860
[pid=13559] ppid=13556 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13559/stat : 13559 (xcsp3-exec) S 13556 13559 13515 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476794986 115843072 362 33554432000 4194304 5098028 140721135684320 140721135682424 140261895037564 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37429248 140721135690577 140721135690837 140721135690837 140721135693766 0
/proc/13559/statm: 28282 362 304 221 0 87 0
[pid=13561] ppid=13559 vsize=28767316 memory=265272 CPUtime=1454.69 cores=0-7
/proc/13561/stat : 13561 (java) S 13559 13559 13515 0 -1 1077944320 99634 0 0 0 145412 57 0 0 20 0 28 0 476794986 29457731584 66318 33554432000 4194304 4196468 140728251510272 140728251492816 140195369119479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
/proc/13561/statm: 7191829 66318 3517 1 0 7152929 0
[pid=13561/tid=13562] ppid=13559 vsize=28767316 memory=265272 CPUtime=0.56 cores=0-7
/proc/13561/task/13562/stat : 13562 (java) S 13559 13559 13515 0 -1 1077944384 9403 0 0 0 53 3 0 0 20 0 28 0 476794986 29457731584 66318 33554432000 4194304 4196468 140728251510272 140195373360256 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13563] ppid=13559 vsize=28767316 memory=180608 CPUtime=0.27 cores=0-7
/proc/13561/task/13563/stat : 13563 (java) S 13559 13559 13515 0 -1 1077944384 1671 0 0 0 24 3 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140195321740304 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13564] ppid=13559 vsize=28767316 memory=6791534058613427641 CPUtime=0.26 cores=0-7
/proc/13561/task/13564/stat : 13564 (java) S 13559 13559 13515 0 -1 1077944384 2175 0 0 0 24 2 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140195320687760 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13565] ppid=13559 vsize=28767316 memory=796 CPUtime=0.26 cores=0-7
/proc/13561/task/13565/stat : 13565 (java) S 13559 13559 13515 0 -1 1077944384 1094 0 0 0 23 3 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140195319634704 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13566] ppid=13559 vsize=28767316 memory=4100 CPUtime=0.28 cores=0-7
/proc/13561/task/13566/stat : 13566 (java) S 13559 13559 13515 0 -1 1077944384 739 0 0 0 25 3 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140195318582160 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13567] ppid=13559 vsize=28767316 memory=1804 CPUtime=0.26 cores=0-7
/proc/13561/task/13567/stat : 13567 (java) S 13559 13559 13515 0 -1 1077944384 1333 0 0 0 23 3 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140195317529104 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13568] ppid=13559 vsize=28767316 memory=916 CPUtime=0.27 cores=0-7
/proc/13561/task/13568/stat : 13568 (java) S 13559 13559 13515 0 -1 1077944384 1355 0 0 0 24 3 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140194915146384 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13569] ppid=13559 vsize=28767316 memory=3908 CPUtime=0.26 cores=0-7
/proc/13561/task/13569/stat : 13569 (java) S 13559 13559 13515 0 -1 1077944384 2374 0 0 0 23 3 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140194914093328 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13570] ppid=13559 vsize=28767316 memory=1412 CPUtime=0.27 cores=0-7
/proc/13561/task/13570/stat : 13570 (java) S 13559 13559 13515 0 -1 1077944384 1989 0 0 0 23 4 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140194913040784 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13571] ppid=13559 vsize=28767316 memory=2024 CPUtime=0.28 cores=0-7
/proc/13561/task/13571/stat : 13571 (java) S 13559 13559 13515 0 -1 1077944384 5063 0 0 0 25 3 0 0 20 0 28 0 476794989 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193900235504 140195369130626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13572] ppid=13559 vsize=28767316 memory=1416 CPUtime=0 cores=0-7
/proc/13561/task/13572/stat : 13572 (java) S 13559 13559 13515 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 476794989 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193899181792 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13573] ppid=13559 vsize=28767316 memory=776 CPUtime=0 cores=0-7
/proc/13561/task/13573/stat : 13573 (java) S 13559 13559 13515 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 476794989 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193898128640 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13574] ppid=13559 vsize=28767316 memory=3540 CPUtime=0 cores=0-7
/proc/13561/task/13574/stat : 13574 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193897077200 140195369138075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13575] ppid=13559 vsize=28767316 memory=1228 CPUtime=1.43 cores=0-7
/proc/13561/task/13575/stat : 13575 (java) S 13559 13559 13515 0 -1 1077944384 13637 0 0 0 141 2 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193896024304 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13576] ppid=13559 vsize=28767316 memory=10600 CPUtime=1.6 cores=0-7
/proc/13561/task/13576/stat : 13576 (java) S 13559 13559 13515 0 -1 1077944384 14887 0 0 0 158 2 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193894971760 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13577] ppid=13559 vsize=28767316 memory=1736 CPUtime=1.63 cores=0-7
/proc/13561/task/13577/stat : 13577 (java) S 13559 13559 13515 0 -1 1077944384 13253 0 0 0 162 1 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193893918704 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13578] ppid=13559 vsize=28767316 memory=6072 CPUtime=0.63 cores=0-7
/proc/13561/task/13578/stat : 13578 (java) S 13559 13559 13515 0 -1 1077944384 8896 0 0 0 62 1 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193892866160 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13579] ppid=13559 vsize=28767316 memory=636 CPUtime=0 cores=0-7
/proc/13561/task/13579/stat : 13579 (java) S 13559 13559 13515 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193891814368 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13580] ppid=13559 vsize=28767316 memory=2836 CPUtime=0.03 cores=0-7
/proc/13561/task/13580/stat : 13580 (java) S 13559 13559 13515 0 -1 1077944384 1677 0 0 0 0 3 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193890761904 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13637] ppid=13559 vsize=28767316 memory=1056 CPUtime=180.47 cores=0-7
/proc/13561/task/13637/stat : 13637 (java) R 13559 13559 13515 0 -1 4202560 1231 0 0 0 18046 1 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193879436760 140195001938309 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13638] ppid=13559 vsize=28767316 memory=1568 CPUtime=180.98 cores=0-7
/proc/13561/task/13638/stat : 13638 (java) R 13559 13559 13515 0 -1 4202560 1062 0 0 0 18097 1 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193878384744 140195002276099 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13639] ppid=13559 vsize=28767316 memory=1056 CPUtime=180.08 cores=0-7
/proc/13561/task/13639/stat : 13639 (java) R 13559 13559 13515 0 -1 4202560 5461 0 0 0 18006 2 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193875228832 140195003040272 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13640] ppid=13559 vsize=28767316 memory=14008 CPUtime=180.81 cores=0-7
/proc/13561/task/13640/stat : 13640 (java) R 13559 13559 13515 0 -1 4202560 2745 0 0 0 18079 2 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193877331824 140195002411328 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13641] ppid=13559 vsize=28767316 memory=12040 CPUtime=180.76 cores=0-7
/proc/13561/task/13641/stat : 13641 (java) R 13559 13559 13515 0 -1 4202560 2476 0 0 0 18075 1 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193876279352 140195002041183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13642] ppid=13559 vsize=28767316 memory=2120 CPUtime=181.01 cores=0-7
/proc/13561/task/13642/stat : 13642 (java) R 13559 13559 13515 0 -1 4202560 1522 0 0 0 18100 1 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193881542096 140195002042999 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13643] ppid=13559 vsize=28767316 memory=30136 CPUtime=180.85 cores=0-7
/proc/13561/task/13643/stat : 13643 (java) R 13559 13559 13515 0 -1 4202560 1102 0 0 0 18085 0 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193874174336 140195002335972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13644] ppid=13559 vsize=28767316 memory=1556 CPUtime=180.73 cores=0-7
/proc/13561/task/13644/stat : 13644 (java) R 13559 13559 13515 0 -1 4202560 1895 0 0 0 18072 1 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193880490824 140195002276034 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
Current children cumulated CPU time: 1454.69 s
Current children cumulated vsize: 28880444 KiB
Current children cumulated memory: 266720 KiB
[startup+183.801 s]
/proc/loadavg: 8.05 8.02 7.94 9/220 13655
/proc/meminfo: memFree=25958180/32770624 swapFree=67001832/67108860
[pid=13559] ppid=13556 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13559/stat : 13559 (xcsp3-exec) S 13556 13559 13515 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476794986 115843072 362 33554432000 4194304 5098028 140721135684320 140721135682424 140261895037564 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37429248 140721135690577 140721135690837 140721135690837 140721135693766 0
/proc/13559/statm: 28282 362 304 221 0 87 0
[pid=13561] ppid=13559 vsize=28767316 memory=265272 CPUtime=1456.29 cores=0-7
/proc/13561/stat : 13561 (java) S 13559 13559 13515 0 -1 1077944320 99634 0 0 0 145572 57 0 0 20 0 28 0 476794986 29457731584 66318 33554432000 4194304 4196468 140728251510272 140728251492816 140195369119479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
/proc/13561/statm: 7191829 66318 3517 1 0 7152929 0
[pid=13561/tid=13562] ppid=13559 vsize=28767316 memory=1824 CPUtime=0.56 cores=0-7
/proc/13561/task/13562/stat : 13562 (java) S 13559 13559 13515 0 -1 1077944384 9403 0 0 0 53 3 0 0 20 0 28 0 476794986 29457731584 66318 33554432000 4194304 4196468 140728251510272 140195373360256 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13563] ppid=13559 vsize=28767316 memory=1656 CPUtime=0.27 cores=0-7
/proc/13561/task/13563/stat : 13563 (java) S 13559 13559 13515 0 -1 1077944384 1671 0 0 0 24 3 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140195321740304 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13564] ppid=13559 vsize=28767316 memory=804 CPUtime=0.26 cores=0-7
/proc/13561/task/13564/stat : 13564 (java) S 13559 13559 13515 0 -1 1077944384 2175 0 0 0 24 2 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140195320687760 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13565] ppid=13559 vsize=28767316 memory=1448 CPUtime=0.26 cores=0-7
/proc/13561/task/13565/stat : 13565 (java) S 13559 13559 13515 0 -1 1077944384 1094 0 0 0 23 3 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140195319634704 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13566] ppid=13559 vsize=28767316 memory=1980 CPUtime=0.28 cores=0-7
/proc/13561/task/13566/stat : 13566 (java) S 13559 13559 13515 0 -1 1077944384 739 0 0 0 25 3 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140195318582160 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13567] ppid=13559 vsize=28767316 memory=2676 CPUtime=0.26 cores=0-7
/proc/13561/task/13567/stat : 13567 (java) S 13559 13559 13515 0 -1 1077944384 1333 0 0 0 23 3 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140195317529104 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13568] ppid=13559 vsize=28767316 memory=1764 CPUtime=0.27 cores=0-7
/proc/13561/task/13568/stat : 13568 (java) S 13559 13559 13515 0 -1 1077944384 1355 0 0 0 24 3 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140194915146384 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13569] ppid=13559 vsize=28767316 memory=111632 CPUtime=0.26 cores=0-7
/proc/13561/task/13569/stat : 13569 (java) S 13559 13559 13515 0 -1 1077944384 2374 0 0 0 23 3 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140194914093328 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13570] ppid=13559 vsize=28767316 memory=796 CPUtime=0.27 cores=0-7
/proc/13561/task/13570/stat : 13570 (java) S 13559 13559 13515 0 -1 1077944384 1989 0 0 0 23 4 0 0 20 0 28 0 476794987 29457731584 66318 33554432000 4194304 4196468 140728251510272 140194913040784 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13571] ppid=13559 vsize=28767316 memory=4100 CPUtime=0.28 cores=0-7
/proc/13561/task/13571/stat : 13571 (java) S 13559 13559 13515 0 -1 1077944384 5063 0 0 0 25 3 0 0 20 0 28 0 476794989 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193900235504 140195369130626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13572] ppid=13559 vsize=28767316 memory=1804 CPUtime=0 cores=0-7
/proc/13561/task/13572/stat : 13572 (java) S 13559 13559 13515 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 476794989 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193899181792 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13573] ppid=13559 vsize=28767316 memory=916 CPUtime=0 cores=0-7
/proc/13561/task/13573/stat : 13573 (java) S 13559 13559 13515 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 476794989 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193898128640 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13574] ppid=13559 vsize=28767316 memory=3908 CPUtime=0 cores=0-7
/proc/13561/task/13574/stat : 13574 (java) S 13559 13559 13515 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193897077200 140195369138075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13575] ppid=13559 vsize=28767316 memory=1412 CPUtime=1.43 cores=0-7
/proc/13561/task/13575/stat : 13575 (java) S 13559 13559 13515 0 -1 1077944384 13637 0 0 0 141 2 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193896024304 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13576] ppid=13559 vsize=28767316 memory=3552 CPUtime=1.6 cores=0-7
/proc/13561/task/13576/stat : 13576 (java) S 13559 13559 13515 0 -1 1077944384 14887 0 0 0 158 2 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193894971760 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13577] ppid=13559 vsize=28767316 memory=1448 CPUtime=1.63 cores=0-7
/proc/13561/task/13577/stat : 13577 (java) S 13559 13559 13515 0 -1 1077944384 13253 0 0 0 162 1 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193893918704 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13578] ppid=13559 vsize=28767316 memory=265272 CPUtime=0.63 cores=0-7
/proc/13561/task/13578/stat : 13578 (java) S 13559 13559 13515 0 -1 1077944384 8896 0 0 0 62 1 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193892866160 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13579] ppid=13559 vsize=28767316 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13561/task/13579/stat : 13579 (java) S 13559 13559 13515 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193891814368 140195369129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13580] ppid=13559 vsize=28767316 memory=4872558044660077418 CPUtime=0.03 cores=0-7
/proc/13561/task/13580/stat : 13580 (java) S 13559 13559 13515 0 -1 1077944384 1677 0 0 0 0 3 0 0 20 0 28 0 476794992 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193890761904 140195369130626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13637] ppid=13559 vsize=28767316 memory=17919 CPUtime=180.67 cores=0-7
/proc/13561/task/13637/stat : 13637 (java) R 13559 13559 13515 0 -1 4202560 1231 0 0 0 18066 1 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193879436760 140195002274889 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13638] ppid=13559 vsize=28767316 memory=17832 CPUtime=181.18 cores=0-7
/proc/13561/task/13638/stat : 13638 (java) R 13559 13559 13515 0 -1 4202560 1062 0 0 0 18117 1 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193878384744 140195002275678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13639] ppid=13559 vsize=28767316 memory=17902 CPUtime=180.27 cores=0-7
/proc/13561/task/13639/stat : 13639 (java) R 13559 13559 13515 0 -1 4202560 5461 0 0 0 18025 2 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193875228832 140195002311293 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13640] ppid=13559 vsize=28767316 memory=17897 CPUtime=181.01 cores=0-7
/proc/13561/task/13640/stat : 13640 (java) R 13559 13559 13515 0 -1 4202560 2745 0 0 0 18099 2 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193877331960 140195002275931 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13641] ppid=13559 vsize=28767316 memory=17922 CPUtime=180.96 cores=0-7
/proc/13561/task/13641/stat : 13641 (java) R 13559 13559 13515 0 -1 4202560 2476 0 0 0 18095 1 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193876279352 140195001533780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13642] ppid=13559 vsize=28767316 memory=17905 CPUtime=181.21 cores=0-7
/proc/13561/task/13642/stat : 13642 (java) R 13559 13559 13515 0 -1 4202560 1522 0 0 0 18120 1 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193881542096 140195002275887 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13643] ppid=13559 vsize=28767316 memory=17893 CPUtime=181.05 cores=0-7
/proc/13561/task/13643/stat : 13643 (java) R 13559 13559 13515 0 -1 4202560 1102 0 0 0 18105 0 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193874174336 140195001534501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
[pid=13561/tid=13644] ppid=13559 vsize=28767316 memory=0 CPUtime=180.93 cores=0-7
/proc/13561/task/13644/stat : 13644 (java) R 13559 13559 13515 0 -1 4202560 1895 0 0 0 18092 1 0 0 20 0 28 0 476795057 29457731584 66318 33554432000 4194304 4196468 140728251510272 140193880490824 140195002337799 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31485952 140728251511766 140728251511942 140728251511942 140728251514831 0
Current children cumulated CPU time: 1456.29 s
Current children cumulated vsize: 28880444 KiB
Current children cumulated memory: 266720 KiB
Child status: 0
Real time (s): 183.836
CPU time (s): 1456.49
CPU user time (s): 1455.9
CPU system time (s): 0.589067
CPU usage (%): 792.277
Max. virtual memory (cumulated for all children) (KiB): 28880444
Max. memory (cumulated for all children) (KiB): 266720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1455.9
system time used= 0.589067
maximum resident set size= 266116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101114
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30089
involuntary context switches= 19086
# summary of solver processes directly reported to runsolver:
# pid: 13559
# total CPU time (s): 1456.49
# total CPU user time (s): 1455.9
# total CPU system time (s): 0.589067
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.58429 second user time and 2.09685 second system time
The end
Begin job on node136 at 2019-09-20 20:50:19
IDJOB=4404576
IDBENCH=135750
IDSOLVER=2865
FILE ID=node136/4404576-1569005464
RUNJOBID= node136-1569005419-13542
PBS_JOBID= 21704758
Free space on /var/tmp= 13488 MiB
SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n15/TravellingSalesman-15-30-17.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 /var/tmp/evaluation-result-4404576-1569005464/watcher-4404576-1569005464 -o /var/tmp/evaluation-result-4404576-1569005464/solver-4404576-1569005464 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569005419-13542 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1306792550 HOME/instance-4404576-1569005464.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 97cdfd39e69e24a1288603b41de82026
RANDOM SEED=1306792550
node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 26206704 kB
MemAvailable: 31850032 kB
Buffers: 90220 kB
Cached: 5690100 kB
SwapCached: 3504 kB
Active: 2668040 kB
Inactive: 3116864 kB
Active(anon): 4884 kB
Inactive(anon): 48112 kB
Active(file): 2663156 kB
Inactive(file): 3068752 kB
Unevictable: 110484 kB
Mlocked: 110484 kB
SwapTotal: 67108860 kB
SwapFree: 67001832 kB
Dirty: 26088 kB
Writeback: 12 kB
AnonPages: 119012 kB
Mapped: 52396 kB
Shmem: 39796 kB
Slab: 369244 kB
SReclaimable: 339880 kB
SUnreclaim: 29364 kB
KernelStack: 3616 kB
PageTables: 5500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506780 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 73728 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /var/tmp at the end= 13460 MiB
End job on node136 at 2019-09-20 20:53:23