0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271045-1502757707.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4271045-1502757707.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
44.84/34.92 c solve instance...
55.62/36.34 s SATISFIABLE
55.62/36.34 v <instantiation>
55.62/36.34 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] </list>
55.62/36.34 v <values>22 19 7 4 13 8 1 24 18 14 21 20 6 15 3 9 23 12 11 10 5 2 16 17 25 </values>
55.62/36.34 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 (13916 MiB free)
memory of node 1: 16384 MiB (14173 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271045-1502757707/watcher-4271045-1502757707 -o /tmp/evaluation-result-4271045-1502757707/solver-4271045-1502757707 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502749227-5203 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2066583789 HOME/instance-4271045-1502757707.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6095, runsolver pid=6092
[startup+0.100133 s]*
/proc/loadavg: 4.31 7.48 8.28 3/199 6116
/proc/meminfo: memFree=28748544/32770624 swapFree=67108860/67108860
[pid=6095] ppid=6092 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6095/stat : 6095 (xcsp3-exec) S 6092 6095 5176 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108851714 9740288 346 33554432000 4194304 5098028 140729968061088 140729968059192 140268158546556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14295040 140729968067684 140729968067895 140729968067895 140729968070635 0
/proc/6095/statm: 2378 346 289 221 0 87 0
[pid=6097] ppid=6095 vsize=25999808 memory=26248 CPUtime=0.11 cores=0-7
/proc/6097/stat : 6097 (java) S 6095 6095 5176 0 -1 1077944320 5506 0 0 0 10 1 0 0 20 0 20 0 108851714 26623803392 6562 33554432000 4194304 4196468 140727015378160 140727015360704 139712553897719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
/proc/6097/statm: 6499952 6562 2844 1 0 6488269 0
[pid=6097/tid=6098] ppid=6095 vsize=25999808 memory=4785807371164349342 CPUtime=0.09 cores=0-7
/proc/6097/task/6098/stat : 6098 (java) R 6095 6095 5176 0 -1 4202560 3504 0 0 0 8 1 0 0 20 0 20 0 108851714 26623803392 6562 33554432000 4194304 4196468 140727015378160 139712558130992 139712553909654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6099] ppid=6095 vsize=25999808 memory=732369786832260069 CPUtime=0 cores=0-7
/proc/6097/task/6099/stat : 6099 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851715 26623803392 6562 33554432000 4194304 4196468 140727015378160 139712476478480 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6100] ppid=6095 vsize=25999808 memory=139648494806656 CPUtime=0 cores=0-7
/proc/6097/task/6100/stat : 6100 (java) S 6095 6095 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108851715 26623803392 6562 33554432000 4194304 4196468 140727015378160 139712475425936 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6101] ppid=6095 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6101/stat : 6101 (java) S 6095 6095 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108851715 26623803392 6562 33554432000 4194304 4196468 140727015378160 139712474372880 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6102] ppid=6095 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6102/stat : 6102 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851715 26623803392 6562 33554432000 4194304 4196468 140727015378160 139712473320336 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6103] ppid=6095 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6103/stat : 6103 (java) S 6095 6095 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108851715 26623803392 6562 33554432000 4194304 4196468 140727015378160 139712472267280 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6104] ppid=6095 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6097/task/6104/stat : 6104 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851715 26623803392 6562 33554432000 4194304 4196468 140727015378160 139712471214736 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6105] ppid=6095 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6105/stat : 6105 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851715 26623803392 6562 33554432000 4194304 4196468 140727015378160 139712470161680 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6106] ppid=6095 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6106/stat : 6106 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851715 26623803392 6562 33554432000 4194304 4196468 140727015378160 139712469109136 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6107] ppid=6095 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6107/stat : 6107 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851716 26623803392 6562 33554432000 4194304 4196468 140727015378160 139711228836592 139712553908866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6108] ppid=6095 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6108/stat : 6108 (java) S 6095 6095 5176 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108851717 26623803392 6562 33554432000 4194304 4196468 140727015378160 139711227782816 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6109] ppid=6095 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6109/stat : 6109 (java) S 6095 6095 5176 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108851717 26623803392 6562 33554432000 4194304 4196468 140727015378160 139711226729712 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6110] ppid=6095 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6110/stat : 6110 (java) S 6095 6095 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108851720 26623803392 6562 33554432000 4194304 4196468 140727015378160 139711225678288 139712553916315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6111] ppid=6095 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6111/stat : 6111 (java) S 6095 6095 5176 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 108851720 26623803392 6562 33554432000 4194304 4196468 140727015378160 139711224625392 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6112] ppid=6095 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6112/stat : 6112 (java) S 6095 6095 5176 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 108851720 26623803392 6562 33554432000 4194304 4196468 140727015378160 139711223572848 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6113] ppid=6095 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6113/stat : 6113 (java) S 6095 6095 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108851720 26623803392 6562 33554432000 4194304 4196468 140727015378160 139711222519792 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6114] ppid=6095 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/6097/task/6114/stat : 6114 (java) R 6095 6095 5176 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 20 0 108851720 26623803392 6562 33554432000 4194304 4196468 140727015378160 139711221467248 139712553909654 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6115] ppid=6095 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6115/stat : 6115 (java) S 6095 6095 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108851720 26623803392 6562 33554432000 4194304 4196468 140727015378160 139711220415456 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6116] ppid=6095 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6097/task/6116/stat : 6116 (java) S 6095 6095 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108851720 26623803392 6562 33554432000 4194304 4196468 140727015378160 139711219362992 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27632 KiB
[startup+0.20973 s]*
/proc/loadavg: 4.31 7.48 8.28 3/199 6116
/proc/meminfo: memFree=28736636/32770624 swapFree=67108860/67108860
[pid=6095] ppid=6092 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6095/stat : 6095 (xcsp3-exec) S 6092 6095 5176 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108851714 9740288 346 33554432000 4194304 5098028 140729968061088 140729968059192 140268158546556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14295040 140729968067684 140729968067895 140729968067895 140729968070635 0
/proc/6095/statm: 2378 346 289 221 0 87 0
[pid=6097] ppid=6095 vsize=26004064 memory=38612 CPUtime=0.33 cores=0-7
/proc/6097/stat : 6097 (java) S 6095 6095 5176 0 -1 1077944320 8300 0 0 0 30 3 0 0 20 0 20 0 108851714 26628161536 9653 33554432000 4194304 4196468 140727015378160 140727015360704 139712553897719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
/proc/6097/statm: 6501016 9653 2972 1 0 6488269 0
[pid=6097/tid=6098] ppid=6095 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7
/proc/6097/task/6098/stat : 6098 (java) S 6095 6095 5176 0 -1 1077944384 5404 0 0 0 18 2 0 0 20 0 20 0 108851714 26628161536 9653 33554432000 4194304 4196468 140727015378160 139712558118712 139712553907925 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6099] ppid=6095 vsize=26004064 memory=732369786832260069 CPUtime=0 cores=0-7
/proc/6097/task/6099/stat : 6099 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 9653 33554432000 4194304 4196468 140727015378160 139712476478480 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6100] ppid=6095 vsize=26004064 memory=139648494806656 CPUtime=0 cores=0-7
/proc/6097/task/6100/stat : 6100 (java) S 6095 6095 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 9653 33554432000 4194304 4196468 140727015378160 139712475425936 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6101] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6101/stat : 6101 (java) S 6095 6095 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 9653 33554432000 4194304 4196468 140727015378160 139712474372880 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6102] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6102/stat : 6102 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 9653 33554432000 4194304 4196468 140727015378160 139712473320336 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6103] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6103/stat : 6103 (java) S 6095 6095 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 9653 33554432000 4194304 4196468 140727015378160 139712472267280 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6104] ppid=6095 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6097/task/6104/stat : 6104 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 9653 33554432000 4194304 4196468 140727015378160 139712471214736 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6105] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6105/stat : 6105 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 9653 33554432000 4194304 4196468 140727015378160 139712470161680 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6106] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6106/stat : 6106 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 9653 33554432000 4194304 4196468 140727015378160 139712469109136 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6107] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6107/stat : 6107 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851716 26628161536 9653 33554432000 4194304 4196468 140727015378160 139711228836592 139712553908866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6108] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6108/stat : 6108 (java) S 6095 6095 5176 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108851717 26628161536 9653 33554432000 4194304 4196468 140727015378160 139711227782816 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6109] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6109/stat : 6109 (java) S 6095 6095 5176 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108851717 26628161536 9653 33554432000 4194304 4196468 140727015378160 139711226729712 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6110] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6110/stat : 6110 (java) S 6095 6095 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108851720 26628161536 9653 33554432000 4194304 4196468 140727015378160 139711225678288 139712553916315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6111] ppid=6095 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/6097/task/6111/stat : 6111 (java) S 6095 6095 5176 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 20 0 108851720 26628161536 9653 33554432000 4194304 4196468 140727015378160 139711224625392 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6112] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6112/stat : 6112 (java) S 6095 6095 5176 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 20 0 108851720 26628161536 9653 33554432000 4194304 4196468 140727015378160 139711223572848 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6113] ppid=6095 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/6097/task/6113/stat : 6113 (java) S 6095 6095 5176 0 -1 1077944384 323 0 0 0 2 0 0 0 20 0 20 0 108851720 26628161536 9653 33554432000 4194304 4196468 140727015378160 139711222519792 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6114] ppid=6095 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/6097/task/6114/stat : 6114 (java) R 6095 6095 5176 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 20 0 108851720 26628161536 9653 33554432000 4194304 4196468 140727015378160 139711221467248 139712553909654 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6115] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6115/stat : 6115 (java) S 6095 6095 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108851720 26628161536 9653 33554432000 4194304 4196468 140727015378160 139711220415456 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6116] ppid=6095 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6097/task/6116/stat : 6116 (java) S 6095 6095 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108851720 26628161536 9653 33554432000 4194304 4196468 140727015378160 139711219362992 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39996 KiB
[startup+0.309417 s]*
/proc/loadavg: 4.31 7.48 8.28 3/199 6116
/proc/meminfo: memFree=28730152/32770624 swapFree=67108860/67108860
[pid=6095] ppid=6092 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6095/stat : 6095 (xcsp3-exec) S 6092 6095 5176 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108851714 9740288 346 33554432000 4194304 5098028 140729968061088 140729968059192 140268158546556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14295040 140729968067684 140729968067895 140729968067895 140729968070635 0
/proc/6095/statm: 2378 346 289 221 0 87 0
[pid=6097] ppid=6095 vsize=26004064 memory=45584 CPUtime=0.48 cores=0-7
/proc/6097/stat : 6097 (java) S 6095 6095 5176 0 -1 1077944320 9145 0 0 0 44 4 0 0 20 0 20 0 108851714 26628161536 11396 33554432000 4194304 4196468 140727015378160 140727015360704 139712553897719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
/proc/6097/statm: 6501016 11396 3085 1 0 6488269 0
[pid=6097/tid=6098] ppid=6095 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6097/task/6098/stat : 6098 (java) R 6095 6095 5176 0 -1 4202560 6072 0 0 0 26 3 0 0 20 0 20 0 108851714 26628161536 11396 33554432000 4194304 4196468 140727015378160 139712558135456 139712553919645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6099] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6099/stat : 6099 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 11396 33554432000 4194304 4196468 140727015378160 139712476478480 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6100] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6100/stat : 6100 (java) S 6095 6095 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 11396 33554432000 4194304 4196468 140727015378160 139712475425936 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6101] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6101/stat : 6101 (java) S 6095 6095 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 11396 33554432000 4194304 4196468 140727015378160 139712474372880 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6102] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6102/stat : 6102 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 11396 33554432000 4194304 4196468 140727015378160 139712473320336 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6103] ppid=6095 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/6097/task/6103/stat : 6103 (java) S 6095 6095 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 11396 33554432000 4194304 4196468 140727015378160 139712472267280 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6104] ppid=6095 vsize=26004064 memory=139648378696623 CPUtime=0 cores=0-7
/proc/6097/task/6104/stat : 6104 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 11396 33554432000 4194304 4196468 140727015378160 139712471214736 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6105] ppid=6095 vsize=26004064 memory=139648378698928 CPUtime=0 cores=0-7
/proc/6097/task/6105/stat : 6105 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 11396 33554432000 4194304 4196468 140727015378160 139712470161680 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6106] ppid=6095 vsize=26004064 memory=139648378701232 CPUtime=0 cores=0-7
/proc/6097/task/6106/stat : 6106 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851715 26628161536 11396 33554432000 4194304 4196468 140727015378160 139712469109136 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6107] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6107/stat : 6107 (java) S 6095 6095 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108851716 26628161536 11396 33554432000 4194304 4196468 140727015378160 139711228836592 139712553908866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6108] ppid=6095 vsize=26004064 memory=279296757409424 CPUtime=0 cores=0-7
/proc/6097/task/6108/stat : 6108 (java) S 6095 6095 5176 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108851717 26628161536 11396 33554432000 4194304 4196468 140727015378160 139711227782816 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6109] ppid=6095 vsize=26004064 memory=279296757416336 CPUtime=0 cores=0-7
/proc/6097/task/6109/stat : 6109 (java) S 6095 6095 5176 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108851717 26628161536 11396 33554432000 4194304 4196468 140727015378160 139711226729712 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6110] ppid=6095 vsize=26004064 memory=279296757357616 CPUtime=0 cores=0-7
/proc/6097/task/6110/stat : 6110 (java) S 6095 6095 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108851720 26628161536 11396 33554432000 4194304 4196468 140727015378160 139711225678288 139712553916315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6111] ppid=6095 vsize=26004064 memory=279296757430160 CPUtime=0.02 cores=0-7
/proc/6097/task/6111/stat : 6111 (java) R 6095 6095 5176 0 -1 4202560 394 0 0 0 2 0 0 0 20 0 20 0 108851720 26628161536 11396 33554432000 4194304 4196468 140727015378160 139711224625392 139712546187185 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6112] ppid=6095 vsize=26004064 memory=279296757437072 CPUtime=0.01 cores=0-7
/proc/6097/task/6112/stat : 6112 (java) R 6095 6095 5176 0 -1 4202560 161 0 0 0 1 0 0 0 20 0 20 0 108851720 26628161536 11396 33554432000 4194304 4196468 140727015378160 139711223572848 139712533734057 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6113] ppid=6095 vsize=26004064 memory=279296757434768 CPUtime=0.03 cores=0-7
/proc/6097/task/6113/stat : 6113 (java) S 6095 6095 5176 0 -1 1077944384 376 0 0 0 3 0 0 0 20 0 20 0 108851720 26628161536 11396 33554432000 4194304 4196468 140727015378160 139711222519792 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6114] ppid=6095 vsize=26004064 memory=279296757450928 CPUtime=0.11 cores=0-7
/proc/6097/task/6114/stat : 6114 (java) S 6095 6095 5176 0 -1 1077944384 845 0 0 0 11 0 0 0 20 0 20 0 108851720 26628161536 11396 33554432000 4194304 4196468 140727015378160 139711221467248 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6115] ppid=6095 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6115/stat : 6115 (java) S 6095 6095 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108851720 26628161536 11396 33554432000 4194304 4196468 140727015378160 139711220415456 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6116] ppid=6095 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6097/task/6116/stat : 6116 (java) S 6095 6095 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108851720 26628161536 11396 33554432000 4194304 4196468 140727015378160 139711219362992 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46968 KiB
[startup+0.701019 s]
/proc/loadavg: 4.31 7.48 8.28 5/199 6116
/proc/meminfo: memFree=28661644/32770624 swapFree=67108860/67108860
[pid=6095] ppid=6092 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6095/stat : 6095 (xcsp3-exec) S 6092 6095 5176 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108851714 9740288 346 33554432000 4194304 5098028 140729968061088 140729968059192 140268158546556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14295040 140729968067684 140729968067895 140729968067895 140729968070635 0
/proc/6095/statm: 2378 346 289 221 0 87 0
[pid=6097] ppid=6095 vsize=26004140 memory=213968 CPUtime=1.52 cores=0-7
/proc/6097/stat : 6097 (java) S 6095 6095 5176 0 -1 1077944320 12394 0 0 0 142 10 0 0 20 0 20 0 108851714 26628239360 53492 33554432000 4194304 4196468 140727015378160 140727015360704 139712553897719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
/proc/6097/statm: 6501035 53492 3206 1 0 6488269 0
[pid=6097/tid=6098] ppid=6095 vsize=26004140 memory=279296757745856 CPUtime=0.66 cores=0-7
/proc/6097/task/6098/stat : 6098 (java) R 6095 6095 5176 0 -1 4202560 6429 0 0 0 61 5 0 0 20 0 20 0 108851714 26628239360 53492 33554432000 4194304 4196468 140727015378160 139712558130512 139712151963523 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6099] ppid=6095 vsize=26004140 memory=12064 CPUtime=0 cores=0-7
/proc/6097/task/6099/stat : 6099 (java) S 6095 6095 5176 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 108851715 26628239360 53492 33554432000 4194304 4196468 140727015378160 139712476478480 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6100] ppid=6095 vsize=26004140 memory=1004 CPUtime=0 cores=0-7
/proc/6097/task/6100/stat : 6100 (java) S 6095 6095 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108851715 26628239360 53492 33554432000 4194304 4196468 140727015378160 139712475425936 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6101] ppid=6095 vsize=26004140 memory=1228 CPUtime=0 cores=0-7
/proc/6097/task/6101/stat : 6101 (java) S 6095 6095 5176 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 108851715 26628239360 53492 33554432000 4194304 4196468 140727015378160 139712474372880 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
################
# More data... #
################
[pid=6097/tid=6114] ppid=6095 vsize=26538700 memory=288230621803970871 CPUtime=0.53 cores=0-7
/proc/6097/task/6114/stat : 6114 (java) S 6095 6095 5176 0 -1 1077944384 4817 0 0 0 52 1 0 0 20 0 28 0 108851720 27175628800 625271 33554432000 4194304 4196468 140727015378160 139711221467248 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6115] ppid=6095 vsize=26538700 memory=15254844206221894 CPUtime=0 cores=0-7
/proc/6097/task/6115/stat : 6115 (java) S 6095 6095 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108851720 27175628800 625271 33554432000 4194304 4196468 140727015378160 139711220415456 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6116] ppid=6095 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6097/task/6116/stat : 6116 (java) S 6095 6095 5176 0 -1 1077944384 583 0 0 0 0 0 0 0 20 0 28 0 108851720 27175628800 625271 33554432000 4194304 4196468 140727015378160 139711219362992 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6118] ppid=6095 vsize=26538700 memory=0 CPUtime=0.98 cores=0-7
/proc/6097/task/6118/stat : 6118 (java) R 6095 6095 5176 0 -1 4202560 69 0 0 0 98 0 0 0 20 0 28 0 108855207 27175628800 625271 33554432000 4194304 4196468 140727015378160 139711211354536 139712148910212 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6119] ppid=6095 vsize=26538700 memory=7811282878723550312 CPUtime=0.8 cores=0-7
/proc/6097/task/6119/stat : 6119 (java) R 6095 6095 5176 0 -1 4202560 45 0 0 0 80 0 0 0 20 0 28 0 108855207 27175628800 625271 33554432000 4194304 4196468 140727015378160 139711210303112 139712148911078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6120] ppid=6095 vsize=26538700 memory=5450909908396308010 CPUtime=0.6 cores=0-7
/proc/6097/task/6120/stat : 6120 (java) R 6095 6095 5176 0 -1 4202560 114 0 0 0 60 0 0 0 20 0 28 0 108855207 27175628800 625271 33554432000 4194304 4196468 140727015378160 139711209248504 139712154154734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6121] ppid=6095 vsize=26538700 memory=7881418569234802007 CPUtime=0.95 cores=0-7
/proc/6097/task/6121/stat : 6121 (java) R 6095 6095 5176 0 -1 4202560 60 0 0 0 95 0 0 0 20 0 28 0 108855207 27175628800 625271 33554432000 4194304 4196468 140727015378160 139711208193856 139712148941881 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6122] ppid=6095 vsize=26538700 memory=7523663835381846360 CPUtime=0.88 cores=0-7
/proc/6097/task/6122/stat : 6122 (java) R 6095 6095 5176 0 -1 4202560 62 0 0 0 88 0 0 0 20 0 28 0 108855207 27175628800 625271 33554432000 4194304 4196468 140727015378160 139711207136136 139712154468406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6123] ppid=6095 vsize=26538700 memory=7596836364208203089 CPUtime=0.99 cores=0-7
/proc/6097/task/6123/stat : 6123 (java) R 6095 6095 5176 0 -1 4202560 45 0 0 0 99 0 0 0 20 0 28 0 108855207 27175628800 625271 33554432000 4194304 4196468 140727015378160 139711206091896 139712148935348 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6124] ppid=6095 vsize=26538700 memory=5791741727969404777 CPUtime=1.03 cores=0-7
/proc/6097/task/6124/stat : 6124 (java) R 6095 6095 5176 0 -1 4202560 39 0 0 0 103 0 0 0 20 0 28 0 108855207 27175628800 625271 33554432000 4194304 4196468 140727015378160 139711205039880 139712148924133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6125] ppid=6095 vsize=26538700 memory=7521969500747878756 CPUtime=0.77 cores=0-7
/proc/6097/task/6125/stat : 6125 (java) R 6095 6095 5176 0 -1 4202560 48 0 0 0 77 0 0 0 20 0 28 0 108855207 27175628800 625271 33554432000 4194304 4196468 140727015378160 139711203979688 139712148920008 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
Current children cumulated CPU time: 53.3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2502208 KiB
[startup+36.2021 s]
/proc/loadavg: 3.60 6.88 8.05 13/207 6125
/proc/meminfo: memFree=26270100/32770624 swapFree=67108860/67108860
[pid=6095] ppid=6092 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6095/stat : 6095 (xcsp3-exec) S 6092 6095 5176 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108851714 9740288 346 33554432000 4194304 5098028 140729968061088 140729968059192 140268158546556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14295040 140729968067684 140729968067895 140729968067895 140729968070635 0
/proc/6095/statm: 2378 346 289 221 0 87 0
[pid=6097] ppid=6095 vsize=26538700 memory=2506312 CPUtime=54.83 cores=0-7
/proc/6097/stat : 6097 (java) S 6095 6095 5176 0 -1 1077944320 61943 0 0 0 5189 294 0 0 20 0 28 0 108851714 27175628800 626578 33554432000 4194304 4196468 140727015378160 140727015360704 139712553897719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
/proc/6097/statm: 6634675 626578 3262 1 0 6621909 0
[pid=6097/tid=6098] ppid=6095 vsize=26538700 memory=15254844206221894 CPUtime=31.49 cores=0-7
/proc/6097/task/6098/stat : 6098 (java) S 6095 6095 5176 0 -1 1077944384 14579 0 0 0 3120 29 0 0 20 0 28 0 108851714 27175628800 626578 33554432000 4194304 4196468 140727015378160 139712558138496 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6099] ppid=6095 vsize=26538700 memory=1384 CPUtime=1.13 cores=0-7
/proc/6097/task/6099/stat : 6099 (java) S 6095 6095 5176 0 -1 1077944384 1375 0 0 0 80 33 0 0 20 0 28 0 108851715 27175628800 626578 33554432000 4194304 4196468 140727015378160 139712476478480 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6100] ppid=6095 vsize=26538700 memory=1384 CPUtime=1.12 cores=0-7
/proc/6097/task/6100/stat : 6100 (java) S 6095 6095 5176 0 -1 1077944384 1568 0 0 0 83 29 0 0 20 0 28 0 108851715 27175628800 626578 33554432000 4194304 4196468 140727015378160 139712475425936 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6101] ppid=6095 vsize=26538700 memory=2476700 CPUtime=1.15 cores=0-7
/proc/6097/task/6101/stat : 6101 (java) S 6095 6095 5176 0 -1 1077944384 1223 0 0 0 83 32 0 0 20 0 28 0 108851715 27175628800 626578 33554432000 4194304 4196468 140727015378160 139712474372880 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6102] ppid=6095 vsize=26538700 memory=1584 CPUtime=1.13 cores=0-7
/proc/6097/task/6102/stat : 6102 (java) S 6095 6095 5176 0 -1 1077944384 1111 0 0 0 83 30 0 0 20 0 28 0 108851715 27175628800 626578 33554432000 4194304 4196468 140727015378160 139712473320336 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6103] ppid=6095 vsize=26538700 memory=2196 CPUtime=1.12 cores=0-7
/proc/6097/task/6103/stat : 6103 (java) S 6095 6095 5176 0 -1 1077944384 1027 0 0 0 81 31 0 0 20 0 28 0 108851715 27175628800 626578 33554432000 4194304 4196468 140727015378160 139712472267280 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6104] ppid=6095 vsize=26538700 memory=6508 CPUtime=1.12 cores=0-7
/proc/6097/task/6104/stat : 6104 (java) S 6095 6095 5176 0 -1 1077944384 1551 0 0 0 79 33 0 0 20 0 28 0 108851715 27175628800 626578 33554432000 4194304 4196468 140727015378160 139712471214736 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6105] ppid=6095 vsize=26538700 memory=840 CPUtime=1.12 cores=0-7
/proc/6097/task/6105/stat : 6105 (java) S 6095 6095 5176 0 -1 1077944384 1749 0 0 0 81 31 0 0 20 0 28 0 108851715 27175628800 626578 33554432000 4194304 4196468 140727015378160 139712470161680 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6106] ppid=6095 vsize=26538700 memory=1692 CPUtime=1.14 cores=0-7
/proc/6097/task/6106/stat : 6106 (java) S 6095 6095 5176 0 -1 1077944384 1322 0 0 0 83 31 0 0 20 0 28 0 108851715 27175628800 626578 33554432000 4194304 4196468 140727015378160 139712469109136 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6107] ppid=6095 vsize=26538700 memory=916 CPUtime=2.23 cores=0-7
/proc/6097/task/6107/stat : 6107 (java) S 6095 6095 5176 0 -1 1077944384 5064 0 0 0 221 2 0 0 20 0 28 0 108851716 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711228836592 139712553908866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6108] ppid=6095 vsize=26538700 memory=5716 CPUtime=0 cores=0-7
/proc/6097/task/6108/stat : 6108 (java) S 6095 6095 5176 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 108851717 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711227782880 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6109] ppid=6095 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/6097/task/6109/stat : 6109 (java) S 6095 6095 5176 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 28 0 108851717 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711226729728 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6110] ppid=6095 vsize=26538700 memory=8026091175109746790 CPUtime=0 cores=0-7
/proc/6097/task/6110/stat : 6110 (java) S 6095 6095 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108851720 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711225678288 139712553916315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6111] ppid=6095 vsize=26538700 memory=8026091175109746790 CPUtime=0.95 cores=0-7
/proc/6097/task/6111/stat : 6111 (java) R 6095 6095 5176 0 -1 4202560 9017 0 0 0 94 1 0 0 20 0 28 0 108851720 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711224611272 139712533590819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6112] ppid=6095 vsize=26538700 memory=8026091175109746790 CPUtime=1.05 cores=0-7
/proc/6097/task/6112/stat : 6112 (java) R 6095 6095 5176 0 -1 4202560 5361 0 0 0 104 1 0 0 20 0 28 0 108851720 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711223554256 139712535228699 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6113] ppid=6095 vsize=26538700 memory=3047711553219693942 CPUtime=1.17 cores=0-7
/proc/6097/task/6113/stat : 6113 (java) R 6095 6095 5176 0 -1 4202560 9043 0 0 0 116 1 0 0 20 0 28 0 108851720 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711222505888 139712537383865 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6114] ppid=6095 vsize=26538700 memory=4426639978525455914 CPUtime=0.54 cores=0-7
/proc/6097/task/6114/stat : 6114 (java) S 6095 6095 5176 0 -1 1077944384 4932 0 0 0 53 1 0 0 20 0 28 0 108851720 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711221467248 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6115] ppid=6095 vsize=26538700 memory=4629546024076873078 CPUtime=0 cores=0-7
/proc/6097/task/6115/stat : 6115 (java) S 6095 6095 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108851720 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711220415456 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6116] ppid=6095 vsize=26538700 memory=-7521736447810188379 CPUtime=0 cores=0-7
/proc/6097/task/6116/stat : 6116 (java) S 6095 6095 5176 0 -1 1077944384 585 0 0 0 0 0 0 0 20 0 28 0 108851720 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711219362992 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6118] ppid=6095 vsize=26538700 memory=7897517683652307531 CPUtime=1.15 cores=0-7
/proc/6097/task/6118/stat : 6118 (java) R 6095 6095 5176 0 -1 4202560 103 0 0 0 115 0 0 0 20 0 28 0 108855207 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711211354536 139712148924133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6119] ppid=6095 vsize=26538700 memory=-8412652160765825907 CPUtime=0.93 cores=0-7
/proc/6097/task/6119/stat : 6119 (java) R 6095 6095 5176 0 -1 4202560 78 0 0 0 93 0 0 0 20 0 28 0 108855207 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711210303112 139712148924133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6120] ppid=6095 vsize=26538700 memory=8514726395715349656 CPUtime=0.69 cores=0-7
/proc/6097/task/6120/stat : 6120 (java) S 6095 6095 5176 0 -1 1077944384 291 0 0 0 69 0 0 0 20 0 28 0 108855207 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711209251792 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6121] ppid=6095 vsize=26538700 memory=-8634980985311628903 CPUtime=1.14 cores=0-7
/proc/6097/task/6121/stat : 6121 (java) R 6095 6095 5176 0 -1 4202560 95 0 0 0 114 0 0 0 20 0 28 0 108855207 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711208193856 139712148937295 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6122] ppid=6095 vsize=26538700 memory=7100839878645619564 CPUtime=1.03 cores=0-7
/proc/6097/task/6122/stat : 6122 (java) S 6095 6095 5176 0 -1 1077944384 227 0 0 0 103 0 0 0 20 0 28 0 108855207 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711207146192 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6123] ppid=6095 vsize=26538700 memory=3047711553320166262 CPUtime=1.14 cores=0-7
/proc/6097/task/6123/stat : 6123 (java) R 6095 6095 5176 0 -1 4202560 53 0 0 0 114 0 0 0 20 0 28 0 108855207 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711206091896 139712149118010 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6124] ppid=6095 vsize=26538700 memory=8514701219730523551 CPUtime=1.16 cores=0-7
/proc/6097/task/6124/stat : 6124 (java) S 6095 6095 5176 0 -1 1077944384 142 0 0 0 116 0 0 0 20 0 28 0 108855207 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711205041616 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6125] ppid=6095 vsize=26538700 memory=6008484035798983777 CPUtime=0.94 cores=0-7
/proc/6097/task/6125/stat : 6125 (java) R 6095 6095 5176 0 -1 4202560 58 0 0 0 94 0 0 0 20 0 28 0 108855207 27175628800 626578 33554432000 4194304 4196468 140727015378160 139711203979688 139712148924355 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
Current children cumulated CPU time: 54.83 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2507696 KiB
[startup+36.3021 s]
/proc/loadavg: 3.60 6.88 8.05 13/207 6125
/proc/meminfo: memFree=26270100/32770624 swapFree=67108860/67108860
[pid=6095] ppid=6092 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6095/stat : 6095 (xcsp3-exec) S 6092 6095 5176 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108851714 9740288 346 33554432000 4194304 5098028 140729968061088 140729968059192 140268158546556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14295040 140729968067684 140729968067895 140729968067895 140729968070635 0
/proc/6095/statm: 2378 346 289 221 0 87 0
[pid=6097] ppid=6095 vsize=26538700 memory=2507696 CPUtime=55.62 cores=0-7
/proc/6097/stat : 6097 (java) S 6095 6095 5176 0 -1 1077944320 64003 0 0 0 5268 294 0 0 20 0 28 0 108851714 27175628800 626924 33554432000 4194304 4196468 140727015378160 140727015360704 139712553897719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
/proc/6097/statm: 6634675 626924 3267 1 0 6621909 0
[pid=6097/tid=6098] ppid=6095 vsize=26538700 memory=1384 CPUtime=31.49 cores=0-7
/proc/6097/task/6098/stat : 6098 (java) S 6095 6095 5176 0 -1 1077944384 14579 0 0 0 3120 29 0 0 20 0 28 0 108851714 27175628800 626924 33554432000 4194304 4196468 140727015378160 139712558138496 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6099] ppid=6095 vsize=26538700 memory=2503672 CPUtime=1.13 cores=0-7
/proc/6097/task/6099/stat : 6099 (java) S 6095 6095 5176 0 -1 1077944384 1375 0 0 0 80 33 0 0 20 0 28 0 108851715 27175628800 626924 33554432000 4194304 4196468 140727015378160 139712476478480 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6100] ppid=6095 vsize=26538700 memory=115 CPUtime=1.12 cores=0-7
/proc/6097/task/6100/stat : 6100 (java) S 6095 6095 5176 0 -1 1077944384 1568 0 0 0 83 29 0 0 20 0 28 0 108851715 27175628800 626924 33554432000 4194304 4196468 140727015378160 139712475425936 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6101] ppid=6095 vsize=26538700 memory=6944656425122961013 CPUtime=1.15 cores=0-7
/proc/6097/task/6101/stat : 6101 (java) S 6095 6095 5176 0 -1 1077944384 1223 0 0 0 83 32 0 0 20 0 28 0 108851715 27175628800 626924 33554432000 4194304 4196468 140727015378160 139712474372880 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6102] ppid=6095 vsize=26538700 memory=6933690296315519121 CPUtime=1.13 cores=0-7
/proc/6097/task/6102/stat : 6102 (java) S 6095 6095 5176 0 -1 1077944384 1111 0 0 0 83 30 0 0 20 0 28 0 108851715 27175628800 626924 33554432000 4194304 4196468 140727015378160 139712473320336 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6103] ppid=6095 vsize=26538700 memory=8584 CPUtime=1.12 cores=0-7
/proc/6097/task/6103/stat : 6103 (java) S 6095 6095 5176 0 -1 1077944384 1027 0 0 0 81 31 0 0 20 0 28 0 108851715 27175628800 626924 33554432000 4194304 4196468 140727015378160 139712472267280 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6104] ppid=6095 vsize=26538700 memory=792 CPUtime=1.12 cores=0-7
/proc/6097/task/6104/stat : 6104 (java) S 6095 6095 5176 0 -1 1077944384 1551 0 0 0 79 33 0 0 20 0 28 0 108851715 27175628800 626924 33554432000 4194304 4196468 140727015378160 139712471214736 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6105] ppid=6095 vsize=26538700 memory=1292 CPUtime=1.12 cores=0-7
/proc/6097/task/6105/stat : 6105 (java) S 6095 6095 5176 0 -1 1077944384 1749 0 0 0 81 31 0 0 20 0 28 0 108851715 27175628800 626924 33554432000 4194304 4196468 140727015378160 139712470161680 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6106] ppid=6095 vsize=26538700 memory=2476724 CPUtime=1.14 cores=0-7
/proc/6097/task/6106/stat : 6106 (java) S 6095 6095 5176 0 -1 1077944384 1322 0 0 0 83 31 0 0 20 0 28 0 108851715 27175628800 626924 33554432000 4194304 4196468 140727015378160 139712469109136 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6107] ppid=6095 vsize=26538700 memory=0 CPUtime=2.23 cores=0-7
/proc/6097/task/6107/stat : 6107 (java) S 6095 6095 5176 0 -1 1077944384 5064 0 0 0 221 2 0 0 20 0 28 0 108851716 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711228836592 139712553908866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6108] ppid=6095 vsize=26538700 memory=279296757393744 CPUtime=0 cores=0-7
/proc/6097/task/6108/stat : 6108 (java) S 6095 6095 5176 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 108851717 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711227782880 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6109] ppid=6095 vsize=26538700 memory=279296758619200 CPUtime=0 cores=0-7
/proc/6097/task/6109/stat : 6109 (java) S 6095 6095 5176 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 28 0 108851717 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711226729728 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6110] ppid=6095 vsize=26538700 memory=3617270329966541544 CPUtime=0 cores=0-7
/proc/6097/task/6110/stat : 6110 (java) S 6095 6095 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108851720 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711225678288 139712553916315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6111] ppid=6095 vsize=26538700 memory=-8557293805485005724 CPUtime=1.04 cores=0-7
/proc/6097/task/6111/stat : 6111 (java) R 6095 6095 5176 0 -1 4202560 10036 0 0 0 103 1 0 0 20 0 28 0 108851720 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711224611184 139712539012951 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6112] ppid=6095 vsize=26538700 memory=1384 CPUtime=1.15 cores=0-7
/proc/6097/task/6112/stat : 6112 (java) R 6095 6095 5176 0 -1 4202560 5862 0 0 0 114 1 0 0 20 0 28 0 108851720 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711223557616 139712546139161 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6113] ppid=6095 vsize=26538700 memory=2476724 CPUtime=1.28 cores=0-7
/proc/6097/task/6113/stat : 6113 (java) R 6095 6095 5176 0 -1 4202560 9547 0 0 0 126 2 0 0 20 0 28 0 108851720 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711222512280 139712535417398 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6114] ppid=6095 vsize=26538700 memory=8026091175109746790 CPUtime=0.54 cores=0-7
/proc/6097/task/6114/stat : 6114 (java) S 6095 6095 5176 0 -1 1077944384 4932 0 0 0 53 1 0 0 20 0 28 0 108851720 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711221467248 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6115] ppid=6095 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/6097/task/6115/stat : 6115 (java) S 6095 6095 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108851720 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711220415456 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6116] ppid=6095 vsize=26538700 memory=2472388 CPUtime=0 cores=0-7
/proc/6097/task/6116/stat : 6116 (java) S 6095 6095 5176 0 -1 1077944384 585 0 0 0 0 0 0 0 20 0 28 0 108851720 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711219362992 139712553908866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6118] ppid=6095 vsize=26538700 memory=33 CPUtime=1.25 cores=0-7
/proc/6097/task/6118/stat : 6118 (java) R 6095 6095 5176 0 -1 4202560 103 0 0 0 125 0 0 0 20 0 28 0 108855207 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711211354536 139712148920008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6119] ppid=6095 vsize=26538700 memory=1384 CPUtime=1.03 cores=0-7
/proc/6097/task/6119/stat : 6119 (java) R 6095 6095 5176 0 -1 4202560 78 0 0 0 103 0 0 0 20 0 28 0 108855207 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711210303112 139712148924133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6120] ppid=6095 vsize=26538700 memory=2476724 CPUtime=0.69 cores=0-7
/proc/6097/task/6120/stat : 6120 (java) S 6095 6095 5176 0 -1 1077944384 291 0 0 0 69 0 0 0 20 0 28 0 108855207 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711209251792 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6121] ppid=6095 vsize=26538700 memory=15254844206221894 CPUtime=1.24 cores=0-7
/proc/6097/task/6121/stat : 6121 (java) R 6095 6095 5176 0 -1 4202560 95 0 0 0 124 0 0 0 20 0 28 0 108855207 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711208193856 139712148832595 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6122] ppid=6095 vsize=26538700 memory=2476724 CPUtime=1.03 cores=0-7
/proc/6097/task/6122/stat : 6122 (java) S 6095 6095 5176 0 -1 1077944384 227 0 0 0 103 0 0 0 20 0 28 0 108855207 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711207146192 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6123] ppid=6095 vsize=26538700 memory=1384 CPUtime=1.24 cores=0-7
/proc/6097/task/6123/stat : 6123 (java) R 6095 6095 5176 0 -1 4202560 72 0 0 0 124 0 0 0 20 0 28 0 108855207 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711206091896 139712148937523 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6124] ppid=6095 vsize=26538700 memory=2476700 CPUtime=1.16 cores=0-7
/proc/6097/task/6124/stat : 6124 (java) S 6095 6095 5176 0 -1 1077944384 142 0 0 0 116 0 0 0 20 0 28 0 108855207 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711205041616 139712553907925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
[pid=6097/tid=6125] ppid=6095 vsize=26538700 memory=2476700 CPUtime=1.04 cores=0-7
/proc/6097/task/6125/stat : 6125 (java) R 6095 6095 5176 0 -1 4202560 76 0 0 0 104 0 0 0 20 0 28 0 108855207 27175628800 626924 33554432000 4194304 4196468 140727015378160 139711203979688 139712148941872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35328000 140727015380114 140727015380291 140727015380291 140727015382991 0
Current children cumulated CPU time: 55.62 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2509080 KiB
Child status: 0
Real time (s): 36.3844
CPU time (s): 55.9768
CPU user time (s): 53.0064
CPU system time (s): 2.9704
CPU usage (%): 153.848
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2509080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.0064
system time used= 2.9704
maximum resident set size= 2510696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65708
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6002
involuntary context switches= 445
# summary of solver processes directly reported to runsolver:
# pid: 6095
# total CPU time (s): 55.9768
# total CPU user time (s): 53.0064
# total CPU system time (s): 2.9704
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.219669 second user time and 0.433588 second system time
The end
Begin job on node148 at 2017-08-15 02:27:28
IDJOB=4271045
IDBENCH=133256
IDSOLVER=2662
FILE ID=node148/4271045-1502757707
RUNJOBID= node148-1502749227-5203
PBS_JOBID= 20629071
Free space on /tmp= 61612 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/MagicSquare/MagicSquare-table-s1/MagicSquare-5-table.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271045-1502757707/watcher-4271045-1502757707 -o /tmp/evaluation-result-4271045-1502757707/solver-4271045-1502757707 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502749227-5203 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2066583789 HOME/instance-4271045-1502757707.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 61ed6ce3ae3f811d4d1b54502d982bfc
RANDOM SEED=2066583789
node148.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.19
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.19
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.19
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.19
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: 28764108 kB
MemAvailable: 31985808 kB
Buffers: 246976 kB
Cached: 3262216 kB
SwapCached: 0 kB
Active: 830448 kB
Inactive: 2732544 kB
Active(anon): 5080 kB
Inactive(anon): 76664 kB
Active(file): 825368 kB
Inactive(file): 2655880 kB
Unevictable: 6208 kB
Mlocked: 6208 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 14656 kB
Writeback: 4 kB
AnonPages: 60232 kB
Mapped: 45488 kB
Shmem: 25224 kB
Slab: 139228 kB
SReclaimable: 112572 kB
SUnreclaim: 26656 kB
KernelStack: 3152 kB
PageTables: 4664 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 325192 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 126336 kB
DirectMap2M: 33419264 kB
Free space on /tmp at the end= 61604 MiB
End job on node148 at 2017-08-15 02:28:05