0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271348-1502833943.xml" -tl '20160s' -p 8 -x 0
0.11/0.15 c [HOME/instance-4271348-1502833943.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
794.06/231.96 c solve instance...
804.69/233.68 o 2
805.00/233.75 o 1
805.00/233.76 s OPTIMUM FOUND
805.00/233.76 v <instantiation>
805.00/233.76 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] </list>
805.00/233.76 v <values>0 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 </values>
805.00/233.76 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 (13865 MiB free)
memory of node 1: 16384 MiB (14154 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271348-1502833943/watcher-4271348-1502833943 -o /tmp/evaluation-result-4271348-1502833943/solver-4271348-1502833943 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502824654-16350 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1429654089 HOME/instance-4271348-1502833943.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=17138, runsolver pid=17135
[startup+0.100118 s]*
/proc/loadavg: 7.77 8.26 8.08 3/199 17159
/proc/meminfo: memFree=28677456/32770624 swapFree=67108860/67108860
[pid=17138] ppid=17135 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17138/stat : 17138 (xcsp3-exec) S 17135 17138 16323 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 116475291 9740288 346 33554432000 4194304 5098028 140736794820528 140736794818632 139923728556668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26824704 140736794825828 140736794826039 140736794826039 140736794828779 0
/proc/17138/statm: 2378 346 289 221 0 87 0
[pid=17140] ppid=17138 vsize=25999808 memory=26292 CPUtime=0.11 cores=0-7
/proc/17140/stat : 17140 (java) S 17138 17138 16323 0 -1 1077944320 5502 0 0 0 10 1 0 0 20 0 20 0 116475292 26623803392 6573 33554432000 4194304 4196468 140737047190096 140737047172640 140058136862455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
/proc/17140/statm: 6499952 6573 2847 1 0 6488269 0
[pid=17140/tid=17141] ppid=17138 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/17140/task/17141/stat : 17141 (java) R 17138 17138 16323 0 -1 4202560 3514 0 0 0 8 1 0 0 20 0 20 0 116475292 26623803392 6573 33554432000 4194304 4196468 140737047190096 140058141095728 140058136883802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17142] ppid=17138 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17140/task/17142/stat : 17142 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475293 26623803392 6573 33554432000 4194304 4196468 140737047190096 140058089482896 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17143] ppid=17138 vsize=25999808 memory=139975460959872 CPUtime=0 cores=0-7
/proc/17140/task/17143/stat : 17143 (java) S 17138 17138 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116475293 26623803392 6573 33554432000 4194304 4196468 140737047190096 140058088430096 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17144] ppid=17138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17144/stat : 17144 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475293 26623803392 6573 33554432000 4194304 4196468 140737047190096 140058087377296 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17145] ppid=17138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17145/stat : 17145 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475293 26623803392 6573 33554432000 4194304 4196468 140737047190096 140058086324496 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17146] ppid=17138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17146/stat : 17146 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475293 26623803392 6573 33554432000 4194304 4196468 140737047190096 140058085272720 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17147] ppid=17138 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17140/task/17147/stat : 17147 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475293 26623803392 6573 33554432000 4194304 4196468 140737047190096 140058084219920 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17148] ppid=17138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17148/stat : 17148 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475293 26623803392 6573 33554432000 4194304 4196468 140737047190096 140058083167120 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17149] ppid=17138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17149/stat : 17149 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475293 26623803392 6573 33554432000 4194304 4196468 140737047190096 140058082114320 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17150] ppid=17138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17150/stat : 17150 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475294 26623803392 6573 33554432000 4194304 4196468 140737047190096 140056475965808 140058136873602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17151] ppid=17138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17151/stat : 17151 (java) S 17138 17138 16323 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116475295 26623803392 6573 33554432000 4194304 4196468 140737047190096 140056474911776 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17152] ppid=17138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17152/stat : 17152 (java) S 17138 17138 16323 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116475295 26623803392 6573 33554432000 4194304 4196468 140737047190096 140056473858928 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17153] ppid=17138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17153/stat : 17153 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475297 26623803392 6573 33554432000 4194304 4196468 140737047190096 140056472807248 140058136881051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17154] ppid=17138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17154/stat : 17154 (java) S 17138 17138 16323 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 116475297 26623803392 6573 33554432000 4194304 4196468 140737047190096 140056471755632 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17155] ppid=17138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17155/stat : 17155 (java) S 17138 17138 16323 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 116475297 26623803392 6573 33554432000 4194304 4196468 140737047190096 140056470702832 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17156] ppid=17138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17156/stat : 17156 (java) S 17138 17138 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116475297 26623803392 6573 33554432000 4194304 4196468 140737047190096 140056469650032 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17157] ppid=17138 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/17140/task/17157/stat : 17157 (java) R 17138 17138 16323 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 20 0 116475297 26623803392 6573 33554432000 4194304 4196468 140737047190096 140055863618032 140058116001172 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17158] ppid=17138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17158/stat : 17158 (java) S 17138 17138 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116475298 26623803392 6573 33554432000 4194304 4196468 140737047190096 140055862565472 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17159] ppid=17138 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17140/task/17159/stat : 17159 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475298 26623803392 6573 33554432000 4194304 4196468 140737047190096 140055861512752 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27676 KiB
[startup+0.210298 s]*
/proc/loadavg: 7.77 8.26 8.08 2/199 17159
/proc/meminfo: memFree=28669068/32770624 swapFree=67108860/67108860
[pid=17138] ppid=17135 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17138/stat : 17138 (xcsp3-exec) S 17135 17138 16323 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 116475291 9740288 346 33554432000 4194304 5098028 140736794820528 140736794818632 139923728556668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26824704 140736794825828 140736794826039 140736794826039 140736794828779 0
/proc/17138/statm: 2378 346 289 221 0 87 0
[pid=17140] ppid=17138 vsize=26004064 memory=38776 CPUtime=0.33 cores=0-7
/proc/17140/stat : 17140 (java) S 17138 17138 16323 0 -1 1077944320 8245 0 0 0 30 3 0 0 20 0 20 0 116475292 26628161536 9694 33554432000 4194304 4196468 140737047190096 140737047172640 140058136862455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
/proc/17140/statm: 6501016 9694 3032 1 0 6488269 0
[pid=17140/tid=17141] ppid=17138 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17140/task/17141/stat : 17141 (java) R 17138 17138 16323 0 -1 4202560 5433 0 0 0 18 1 0 0 20 0 20 0 116475292 26628161536 9694 33554432000 4194304 4196468 140737047190096 140058141083448 140058120942942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17142] ppid=17138 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/17140/task/17142/stat : 17142 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 9694 33554432000 4194304 4196468 140737047190096 140058089482896 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17143] ppid=17138 vsize=26004064 memory=3978564703644595872 CPUtime=0 cores=0-7
/proc/17140/task/17143/stat : 17143 (java) S 17138 17138 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 9694 33554432000 4194304 4196468 140737047190096 140058088430096 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17144] ppid=17138 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17140/task/17144/stat : 17144 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 9694 33554432000 4194304 4196468 140737047190096 140058087377296 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17145] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17145/stat : 17145 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 9694 33554432000 4194304 4196468 140737047190096 140058086324496 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17146] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17146/stat : 17146 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 9694 33554432000 4194304 4196468 140737047190096 140058085272720 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17147] ppid=17138 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17140/task/17147/stat : 17147 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 9694 33554432000 4194304 4196468 140737047190096 140058084219920 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17148] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17148/stat : 17148 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 9694 33554432000 4194304 4196468 140737047190096 140058083167120 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17149] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17149/stat : 17149 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 9694 33554432000 4194304 4196468 140737047190096 140058082114320 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17150] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17150/stat : 17150 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475294 26628161536 9694 33554432000 4194304 4196468 140737047190096 140056475965808 140058136873602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17151] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17151/stat : 17151 (java) S 17138 17138 16323 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116475295 26628161536 9694 33554432000 4194304 4196468 140737047190096 140056474911776 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17152] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17152/stat : 17152 (java) S 17138 17138 16323 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116475295 26628161536 9694 33554432000 4194304 4196468 140737047190096 140056473858928 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17153] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17153/stat : 17153 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475297 26628161536 9694 33554432000 4194304 4196468 140737047190096 140056472807248 140058136881051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17154] ppid=17138 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/17140/task/17154/stat : 17154 (java) S 17138 17138 16323 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 20 0 116475297 26628161536 9694 33554432000 4194304 4196468 140737047190096 140056471755632 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17155] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17155/stat : 17155 (java) S 17138 17138 16323 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 20 0 116475297 26628161536 9694 33554432000 4194304 4196468 140737047190096 140056470702832 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17156] ppid=17138 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17140/task/17156/stat : 17156 (java) S 17138 17138 16323 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 116475297 26628161536 9694 33554432000 4194304 4196468 140737047190096 140056469650032 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17157] ppid=17138 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/17140/task/17157/stat : 17157 (java) S 17138 17138 16323 0 -1 1077944384 738 0 0 0 7 0 0 0 20 0 20 0 116475297 26628161536 9694 33554432000 4194304 4196468 140737047190096 140055863618032 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17158] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17158/stat : 17158 (java) S 17138 17138 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116475298 26628161536 9694 33554432000 4194304 4196468 140737047190096 140055862565472 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17159] ppid=17138 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17140/task/17159/stat : 17159 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475298 26628161536 9694 33554432000 4194304 4196468 140737047190096 140055861512752 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40160 KiB
[startup+0.309783 s]*
/proc/loadavg: 7.77 8.26 8.08 4/199 17159
/proc/meminfo: memFree=28662492/32770624 swapFree=67108860/67108860
[pid=17138] ppid=17135 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17138/stat : 17138 (xcsp3-exec) S 17135 17138 16323 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 116475291 9740288 346 33554432000 4194304 5098028 140736794820528 140736794818632 139923728556668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26824704 140736794825828 140736794826039 140736794826039 140736794828779 0
/proc/17138/statm: 2378 346 289 221 0 87 0
[pid=17140] ppid=17138 vsize=26004064 memory=45720 CPUtime=0.49 cores=0-7
/proc/17140/stat : 17140 (java) S 17138 17138 16323 0 -1 1077944320 9173 0 0 0 45 4 0 0 20 0 20 0 116475292 26628161536 11430 33554432000 4194304 4196468 140737047190096 140737047172640 140058136862455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
/proc/17140/statm: 6501016 11430 3058 1 0 6488269 0
[pid=17140/tid=17141] ppid=17138 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17140/task/17141/stat : 17141 (java) R 17138 17138 16323 0 -1 4202560 6141 0 0 0 27 2 0 0 20 0 20 0 116475292 26628161536 11496 33554432000 4194304 4196468 140737047190096 140058141100912 140058129540469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17142] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17142/stat : 17142 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 11496 33554432000 4194304 4196468 140737047190096 140058089482896 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17143] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17143/stat : 17143 (java) S 17138 17138 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 11496 33554432000 4194304 4196468 140737047190096 140058088430096 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17144] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17144/stat : 17144 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 11496 33554432000 4194304 4196468 140737047190096 140058087377296 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17145] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17145/stat : 17145 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 11496 33554432000 4194304 4196468 140737047190096 140058086324496 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17146] ppid=17138 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/17140/task/17146/stat : 17146 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 11496 33554432000 4194304 4196468 140737047190096 140058085272720 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17147] ppid=17138 vsize=26004064 memory=139975333082031 CPUtime=0 cores=0-7
/proc/17140/task/17147/stat : 17147 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 11496 33554432000 4194304 4196468 140737047190096 140058084219920 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17148] ppid=17138 vsize=26004064 memory=139975333084336 CPUtime=0 cores=0-7
/proc/17140/task/17148/stat : 17148 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 11496 33554432000 4194304 4196468 140737047190096 140058083167120 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17149] ppid=17138 vsize=26004064 memory=139975333086640 CPUtime=0 cores=0-7
/proc/17140/task/17149/stat : 17149 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475293 26628161536 11496 33554432000 4194304 4196468 140737047190096 140058082114320 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17150] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17150/stat : 17150 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475294 26628161536 11496 33554432000 4194304 4196468 140737047190096 140056475965808 140058136873602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17151] ppid=17138 vsize=26004064 memory=279950666180240 CPUtime=0 cores=0-7
/proc/17140/task/17151/stat : 17151 (java) S 17138 17138 16323 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116475295 26628161536 11496 33554432000 4194304 4196468 140737047190096 140056474911776 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17152] ppid=17138 vsize=26004064 memory=279950666187152 CPUtime=0 cores=0-7
/proc/17140/task/17152/stat : 17152 (java) S 17138 17138 16323 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116475295 26628161536 11496 33554432000 4194304 4196468 140737047190096 140056473858928 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17153] ppid=17138 vsize=26004064 memory=279950666128432 CPUtime=0 cores=0-7
/proc/17140/task/17153/stat : 17153 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475297 26628161536 11496 33554432000 4194304 4196468 140737047190096 140056472807248 140058136881051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17154] ppid=17138 vsize=26004064 memory=279950666200976 CPUtime=0.03 cores=0-7
/proc/17140/task/17154/stat : 17154 (java) S 17138 17138 16323 0 -1 1077944384 566 0 0 0 3 0 0 0 20 0 20 0 116475297 26628161536 11496 33554432000 4194304 4196468 140737047190096 140056471755632 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17155] ppid=17138 vsize=26004064 memory=279950666207888 CPUtime=0.01 cores=0-7
/proc/17140/task/17155/stat : 17155 (java) R 17138 17138 16323 0 -1 4202560 206 0 0 0 1 0 0 0 20 0 20 0 116475297 26628161536 11496 33554432000 4194304 4196468 140737047190096 140056470702832 140058129151837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17156] ppid=17138 vsize=26004064 memory=279950666205584 CPUtime=0.01 cores=0-7
/proc/17140/task/17156/stat : 17156 (java) S 17138 17138 16323 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 20 0 116475297 26628161536 11496 33554432000 4194304 4196468 140737047190096 140056469650032 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17157] ppid=17138 vsize=26004064 memory=279950666221744 CPUtime=0.12 cores=0-7
/proc/17140/task/17157/stat : 17157 (java) R 17138 17138 16323 0 -1 4202560 848 0 0 0 12 0 0 0 20 0 20 0 116475297 26628161536 11496 33554432000 4194304 4196468 140737047190096 140055863614768 140058116831231 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17158] ppid=17138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17158/stat : 17158 (java) S 17138 17138 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116475298 26628161536 11496 33554432000 4194304 4196468 140737047190096 140055862565472 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17159] ppid=17138 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17140/task/17159/stat : 17159 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475298 26628161536 11496 33554432000 4194304 4196468 140737047190096 140055861512752 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47104 KiB
[startup+0.700895 s]
/proc/loadavg: 7.77 8.26 8.08 2/199 17159
/proc/meminfo: memFree=28642848/32770624 swapFree=67108860/67108860
[pid=17138] ppid=17135 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17138/stat : 17138 (xcsp3-exec) S 17135 17138 16323 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 116475291 9740288 346 33554432000 4194304 5098028 140736794820528 140736794818632 139923728556668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26824704 140736794825828 140736794826039 140736794826039 140736794828779 0
/proc/17138/statm: 2378 346 289 221 0 87 0
[pid=17140] ppid=17138 vsize=26006188 memory=74176 CPUtime=1.16 cores=0-7
/proc/17140/stat : 17140 (java) S 17138 17138 16323 0 -1 1077944320 10668 0 0 0 111 5 0 0 20 0 20 0 116475292 26630336512 18544 33554432000 4194304 4196468 140737047190096 140737047172640 140058136862455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
/proc/17140/statm: 6501547 18544 3179 1 0 6488781 0
[pid=17140/tid=17141] ppid=17138 vsize=26006188 memory=279950666579632 CPUtime=0.67 cores=0-7
/proc/17140/task/17141/stat : 17141 (java) R 17138 17138 16323 0 -1 4202560 6708 0 0 0 65 2 0 0 20 0 20 0 116475292 26630336512 18544 33554432000 4194304 4196468 140737047190096 140058141094128 140057762470245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17142] ppid=17138 vsize=26006188 memory=139975333290864 CPUtime=0 cores=0-7
/proc/17140/task/17142/stat : 17142 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116475293 26630336512 18544 33554432000 4194304 4196468 140737047190096 140058089482896 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17143] ppid=17138 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17143/stat : 17143 (java) S 17138 17138 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116475293 26630336512 18544 33554432000 4194304 4196468 140737047190096 140058088430096 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17144] ppid=17138 vsize=26006188 memory=1204 CPUtime=0 cores=0-7
/proc/17140/task/17144/stat : 17144 (java) S 17138 17138 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116475293 26630336512 18544 33554432000 4194304 4196468 140737047190096 140058087377296 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
################
# More data... #
################
[pid=17140/tid=17170] ppid=17138 vsize=26538700 memory=15876 CPUtime=0.02 cores=0-7
/proc/17140/task/17170/stat : 17170 (java) R 17138 17138 16323 0 -1 4202560 45 0 0 0 2 0 0 0 20 0 28 0 116498489 27175628800 3017397 33554432000 4194304 4196468 140737047190096 140055851894800 140057764446133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17171] ppid=17138 vsize=26538700 memory=16432 CPUtime=0.02 cores=0-7
/proc/17140/task/17171/stat : 17171 (java) R 17138 17138 16323 0 -1 4202560 42 0 0 0 2 0 0 0 20 0 28 0 116498489 27175628800 3017397 33554432000 4194304 4196468 140737047190096 140055850843984 140057764446059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17172] ppid=17138 vsize=26538700 memory=19376 CPUtime=0.02 cores=0-7
/proc/17140/task/17172/stat : 17172 (java) R 17138 17138 16323 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 28 0 116498489 27175628800 3017397 33554432000 4194304 4196468 140737047190096 140055849789736 140057764446059 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17173] ppid=17138 vsize=26538700 memory=4044 CPUtime=0.03 cores=0-7
/proc/17140/task/17173/stat : 17173 (java) R 17138 17138 16323 0 -1 4202560 68 0 0 0 3 0 0 0 20 0 28 0 116498489 27175628800 3017398 33554432000 4194304 4196468 140737047190096 140055848737648 140057764446133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17174] ppid=17138 vsize=26538700 memory=1792 CPUtime=0.02 cores=0-7
/proc/17140/task/17174/stat : 17174 (java) R 17138 17138 16323 0 -1 4202560 36 0 0 0 2 0 0 0 20 0 28 0 116498489 27175628800 3017398 33554432000 4194304 4196468 140737047190096 140055847684848 140057764446133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17175] ppid=17138 vsize=26538700 memory=636 CPUtime=0.01 cores=0-7
/proc/17140/task/17175/stat : 17175 (java) R 17138 17138 16323 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 28 0 116498489 27175628800 3017398 33554432000 4194304 4196468 140737047190096 140055846627760 140057764446133 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
Current children cumulated CPU time: 794.39 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 12070972 KiB
[startup+232.802 s]
/proc/loadavg: 3.15 5.62 7.04 10/207 17175
/proc/meminfo: memFree=16615508/32770624 swapFree=67108860/67108860
[pid=17138] ppid=17135 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17138/stat : 17138 (xcsp3-exec) S 17135 17138 16323 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 116475291 9740288 346 33554432000 4194304 5098028 140736794820528 140736794818632 139923728556668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26824704 140736794825828 140736794826039 140736794826039 140736794828779 0
/proc/17138/statm: 2378 346 289 221 0 87 0
[pid=17140] ppid=17138 vsize=26538700 memory=12216148 CPUtime=800.56 cores=0-7
/proc/17140/stat : 17140 (java) S 17138 17138 16323 0 -1 1077944320 520188 0 0 0 76693 3363 0 0 20 0 28 0 116475292 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140737047172640 140058136862455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
/proc/17140/statm: 6634675 3054037 3268 1 0 6621909 0
[pid=17140/tid=17141] ppid=17138 vsize=26538700 memory=1292 CPUtime=119.96 cores=0-7
/proc/17140/task/17141/stat : 17141 (java) S 17138 17138 16323 0 -1 1077944384 23320 0 0 0 11985 11 0 0 20 0 28 0 116475292 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140058141103232 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17142] ppid=17138 vsize=26538700 memory=1728 CPUtime=80.71 cores=0-7
/proc/17140/task/17142/stat : 17142 (java) R 17138 17138 16323 0 -1 4202560 40418 0 0 0 7674 397 0 0 20 0 28 0 116475293 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140058089483096 140058116057594 0 4 0 16800975 0 0 0 -1 5 0 0 35 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17143] ppid=17138 vsize=26538700 memory=12064 CPUtime=80.46 cores=0-7
/proc/17140/task/17143/stat : 17143 (java) R 17138 17138 16323 0 -1 4202560 39523 0 0 0 7627 419 0 0 20 0 28 0 116475293 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140058088430296 140058116056871 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17144] ppid=17138 vsize=26538700 memory=1004 CPUtime=80.62 cores=0-7
/proc/17140/task/17144/stat : 17144 (java) R 17138 17138 16323 0 -1 4202560 45957 0 0 0 7650 412 0 0 20 0 28 0 116475293 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140058087377184 140058121310639 0 4 0 16800975 0 0 0 -1 7 0 0 40 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17145] ppid=17138 vsize=26538700 memory=1228 CPUtime=80.6 cores=0-7
/proc/17140/task/17145/stat : 17145 (java) R 17138 17138 16323 0 -1 4202560 86766 0 0 0 7646 414 0 0 20 0 28 0 116475293 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140058086324696 140058121310624 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17146] ppid=17138 vsize=26538700 memory=1952 CPUtime=80.97 cores=0-7
/proc/17140/task/17146/stat : 17146 (java) R 17138 17138 16323 0 -1 4202560 44217 0 0 0 7689 408 0 0 20 0 28 0 116475293 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140058085272920 140058121310624 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17147] ppid=17138 vsize=26538700 memory=5796 CPUtime=80.93 cores=0-7
/proc/17140/task/17147/stat : 17147 (java) R 17138 17138 16323 0 -1 4202560 40491 0 0 0 7691 402 0 0 20 0 28 0 116475293 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140058084220120 140058121310639 0 4 0 16800975 0 0 0 -1 2 0 0 33 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17148] ppid=17138 vsize=26538700 memory=4616 CPUtime=81.03 cores=0-7
/proc/17140/task/17148/stat : 17148 (java) R 17138 17138 16323 0 -1 4202560 64838 0 0 0 7682 421 0 0 20 0 28 0 116475293 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140058083167320 140058121310639 0 4 0 16800975 0 0 0 -1 6 0 0 33 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17149] ppid=17138 vsize=26538700 memory=8588 CPUtime=80.54 cores=0-7
/proc/17140/task/17149/stat : 17149 (java) R 17138 17138 16323 0 -1 4202560 49628 0 0 0 7637 417 0 0 20 0 28 0 116475293 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140058082114520 140058121310624 0 4 0 16800975 0 0 0 -1 0 0 0 38 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17150] ppid=17138 vsize=26538700 memory=792 CPUtime=30.05 cores=0-7
/proc/17140/task/17150/stat : 17150 (java) S 17138 17138 16323 0 -1 1077944384 54115 0 0 0 2962 43 0 0 20 0 28 0 116475294 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140056475964320 140058136872661 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17151] ppid=17138 vsize=26538700 memory=1204 CPUtime=0 cores=0-7
/proc/17140/task/17151/stat : 17151 (java) S 17138 17138 16323 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 28 0 116475295 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140056474911840 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17152] ppid=17138 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/17140/task/17152/stat : 17152 (java) S 17138 17138 16323 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 28 0 116475295 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140056473858944 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17153] ppid=17138 vsize=26538700 memory=11988904 CPUtime=0 cores=0-7
/proc/17140/task/17153/stat : 17153 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 116475297 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140056472807248 140058136881051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17154] ppid=17138 vsize=26538700 memory=6791534058613427641 CPUtime=0.34 cores=0-7
/proc/17140/task/17154/stat : 17154 (java) S 17138 17138 16323 0 -1 1077944384 5074 0 0 0 33 1 0 0 20 0 28 0 116475297 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140056471746912 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17155] ppid=17138 vsize=26538700 memory=4872558044660077418 CPUtime=0.42 cores=0-7
/proc/17140/task/17155/stat : 17155 (java) S 17138 17138 16323 0 -1 1077944384 6384 0 0 0 41 1 0 0 20 0 28 0 116475297 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140056470702592 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17156] ppid=17138 vsize=26538700 memory=4498404016631593313 CPUtime=0.35 cores=0-7
/proc/17140/task/17156/stat : 17156 (java) S 17138 17138 16323 0 -1 1077944384 3219 0 0 0 34 1 0 0 20 0 28 0 116475297 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140056469650032 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17157] ppid=17138 vsize=26538700 memory=-8458152057954561420 CPUtime=0.58 cores=0-7
/proc/17140/task/17157/stat : 17157 (java) S 17138 17138 16323 0 -1 1077944384 12370 0 0 0 56 2 0 0 20 0 28 0 116475297 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140055863618032 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17158] ppid=17138 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/17140/task/17158/stat : 17158 (java) S 17138 17138 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 116475298 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140055862565472 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17159] ppid=17138 vsize=26538700 memory=1728 CPUtime=0.1 cores=0-7
/proc/17140/task/17159/stat : 17159 (java) S 17138 17138 16323 0 -1 1077944384 806 0 0 0 4 6 0 0 20 0 28 0 116475298 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140055861512752 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17168] ppid=17138 vsize=26538700 memory=1440 CPUtime=0.33 cores=0-7
/proc/17140/task/17168/stat : 17168 (java) S 17138 17138 16323 0 -1 1077944384 261 0 0 0 33 0 0 0 20 0 28 0 116498489 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140055853999840 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17169] ppid=17138 vsize=26538700 memory=15876 CPUtime=0.36 cores=0-7
/proc/17140/task/17169/stat : 17169 (java) S 17138 17138 16323 0 -1 1077944384 190 0 0 0 32 4 0 0 20 0 28 0 116498489 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140055852948720 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17170] ppid=17138 vsize=26538700 memory=16432 CPUtime=0.29 cores=0-7
/proc/17140/task/17170/stat : 17170 (java) S 17138 17138 16323 0 -1 1077944384 47 0 0 0 29 0 0 0 20 0 28 0 116498489 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140055851896464 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17171] ppid=17138 vsize=26538700 memory=19376 CPUtime=0.36 cores=0-7
/proc/17140/task/17171/stat : 17171 (java) S 17138 17138 16323 0 -1 1077944384 50 0 0 0 36 0 0 0 20 0 28 0 116498489 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140055850843296 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17172] ppid=17138 vsize=26538700 memory=4044 CPUtime=0.35 cores=0-7
/proc/17140/task/17172/stat : 17172 (java) S 17138 17138 16323 0 -1 1077944384 566 0 0 0 35 0 0 0 20 0 28 0 116498489 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140055849786816 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17173] ppid=17138 vsize=26538700 memory=1792 CPUtime=0.37 cores=0-7
/proc/17140/task/17173/stat : 17173 (java) S 17138 17138 16323 0 -1 1077944384 71 0 0 0 37 0 0 0 20 0 28 0 116498489 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140055848738112 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17174] ppid=17138 vsize=26538700 memory=288230574492221466 CPUtime=0.31 cores=0-7
/proc/17140/task/17174/stat : 17174 (java) S 17138 17138 16323 0 -1 1077944384 40 0 0 0 31 0 0 0 20 0 28 0 116498489 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140055847683312 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17175] ppid=17138 vsize=26538700 memory=288230621803970871 CPUtime=0.34 cores=0-7
/proc/17140/task/17175/stat : 17175 (java) S 17138 17138 16323 0 -1 1077944384 212 0 0 0 34 0 0 0 20 0 28 0 116498489 27175628800 3054037 33554432000 4194304 4196468 140737047190096 140055846631840 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
Current children cumulated CPU time: 800.56 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 12217532 KiB
[startup+233.601 s]
/proc/loadavg: 3.15 5.62 7.04 11/207 17175
/proc/meminfo: memFree=16322828/32770624 swapFree=67108860/67108860
[pid=17138] ppid=17135 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17138/stat : 17138 (xcsp3-exec) S 17135 17138 16323 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 116475291 9740288 346 33554432000 4194304 5098028 140736794820528 140736794818632 139923728556668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26824704 140736794825828 140736794826039 140736794826039 140736794828779 0
/proc/17138/statm: 2378 346 289 221 0 87 0
[pid=17140] ppid=17138 vsize=26538700 memory=12436844 CPUtime=804.69 cores=0-7
/proc/17140/stat : 17140 (java) S 17138 17138 16323 0 -1 1077944320 522242 0 0 0 77098 3371 0 0 20 0 28 0 116475292 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140737047172640 140058136862455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
/proc/17140/statm: 6634675 3109211 3270 1 0 6621909 0
[pid=17140/tid=17141] ppid=17138 vsize=26538700 memory=1228 CPUtime=119.96 cores=0-7
/proc/17140/task/17141/stat : 17141 (java) S 17138 17138 16323 0 -1 1077944384 23320 0 0 0 11985 11 0 0 20 0 28 0 116475292 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140058141103232 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17142] ppid=17138 vsize=26538700 memory=1952 CPUtime=80.96 cores=0-7
/proc/17140/task/17142/stat : 17142 (java) S 17138 17138 16323 0 -1 1077944384 40437 0 0 0 7699 397 0 0 20 0 28 0 116475293 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140058089482896 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17143] ppid=17138 vsize=26538700 memory=5796 CPUtime=80.72 cores=0-7
/proc/17140/task/17143/stat : 17143 (java) S 17138 17138 16323 0 -1 1077944384 39583 0 0 0 7652 420 0 0 20 0 28 0 116475293 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140058088430096 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 42 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17144] ppid=17138 vsize=26538700 memory=6791534058613427641 CPUtime=80.88 cores=0-7
/proc/17140/task/17144/stat : 17144 (java) S 17138 17138 16323 0 -1 1077944384 46033 0 0 0 7675 413 0 0 20 0 28 0 116475293 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140058087377296 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17145] ppid=17138 vsize=26538700 memory=5859273736576262501 CPUtime=80.84 cores=0-7
/proc/17140/task/17145/stat : 17145 (java) S 17138 17138 16323 0 -1 1077944384 86804 0 0 0 7669 415 0 0 20 0 28 0 116475293 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140058086324496 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17146] ppid=17138 vsize=26538700 memory=7230638416007948375 CPUtime=81.23 cores=0-7
/proc/17140/task/17146/stat : 17146 (java) S 17138 17138 16323 0 -1 1077944384 44237 0 0 0 7714 409 0 0 20 0 28 0 116475293 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140058085272720 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17147] ppid=17138 vsize=26538700 memory=7230638415855315031 CPUtime=81.19 cores=0-7
/proc/17140/task/17147/stat : 17147 (java) S 17138 17138 16323 0 -1 1077944384 40521 0 0 0 7716 403 0 0 20 0 28 0 116475293 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140058084219920 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17148] ppid=17138 vsize=26538700 memory=288230583132501290 CPUtime=81.28 cores=0-7
/proc/17140/task/17148/stat : 17148 (java) S 17138 17138 16323 0 -1 1077944384 64860 0 0 0 7706 422 0 0 20 0 28 0 116475293 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140058083167120 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17149] ppid=17138 vsize=26538700 memory=1384 CPUtime=80.8 cores=0-7
/proc/17140/task/17149/stat : 17149 (java) S 17138 17138 16323 0 -1 1077944384 49648 0 0 0 7662 418 0 0 20 0 28 0 116475293 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140058082114320 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17150] ppid=17138 vsize=26538700 memory=11988904 CPUtime=30.05 cores=0-7
/proc/17140/task/17150/stat : 17150 (java) S 17138 17138 16323 0 -1 1077944384 54128 0 0 0 2962 43 0 0 20 0 28 0 116475294 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140056475965808 140058136873602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17151] ppid=17138 vsize=26538700 memory=960 CPUtime=0 cores=0-7
/proc/17140/task/17151/stat : 17151 (java) S 17138 17138 16323 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 28 0 116475295 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140056474911840 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17152] ppid=17138 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/17140/task/17152/stat : 17152 (java) S 17138 17138 16323 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 28 0 116475295 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140056473858944 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17153] ppid=17138 vsize=26538700 memory=2424 CPUtime=0 cores=0-7
/proc/17140/task/17153/stat : 17153 (java) S 17138 17138 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 116475297 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140056472807248 140058136881051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17154] ppid=17138 vsize=26538700 memory=6791534058613427641 CPUtime=0.38 cores=0-7
/proc/17140/task/17154/stat : 17154 (java) S 17138 17138 16323 0 -1 1077944384 5141 0 0 0 37 1 0 0 20 0 28 0 116475297 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140056471755632 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17155] ppid=17138 vsize=26538700 memory=6944656592455360604 CPUtime=0.5 cores=0-7
/proc/17140/task/17155/stat : 17155 (java) S 17138 17138 16323 0 -1 1077944384 6785 0 0 0 49 1 0 0 20 0 28 0 116475297 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140056470702832 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17156] ppid=17138 vsize=26538700 memory=6944652027076318631 CPUtime=0.42 cores=0-7
/proc/17140/task/17156/stat : 17156 (java) S 17138 17138 16323 0 -1 1077944384 3559 0 0 0 41 1 0 0 20 0 28 0 116475297 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140056469650032 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17157] ppid=17138 vsize=26538700 memory=6944656592455359580 CPUtime=0.6 cores=0-7
/proc/17140/task/17157/stat : 17157 (java) S 17138 17138 16323 0 -1 1077944384 12511 0 0 0 58 2 0 0 20 0 28 0 116475297 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140055863618032 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17158] ppid=17138 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/17140/task/17158/stat : 17158 (java) S 17138 17138 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 116475298 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140055862565472 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17159] ppid=17138 vsize=26538700 memory=1728 CPUtime=0.1 cores=0-7
/proc/17140/task/17159/stat : 17159 (java) S 17138 17138 16323 0 -1 1077944384 806 0 0 0 4 6 0 0 20 0 28 0 116475298 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140055861512752 140058136873602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17168] ppid=17138 vsize=26538700 memory=1440 CPUtime=0.68 cores=0-7
/proc/17140/task/17168/stat : 17168 (java) S 17138 17138 16323 0 -1 1077944384 532 0 0 0 68 0 0 0 20 0 28 0 116498489 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140055854001712 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17169] ppid=17138 vsize=26538700 memory=15876 CPUtime=0.52 cores=0-7
/proc/17140/task/17169/stat : 17169 (java) S 17138 17138 16323 0 -1 1077944384 222 0 0 0 48 4 0 0 20 0 28 0 116498489 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140055852950224 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17170] ppid=17138 vsize=26538700 memory=16432 CPUtime=0.55 cores=0-7
/proc/17140/task/17170/stat : 17170 (java) S 17138 17138 16323 0 -1 1077944384 48 0 0 0 55 0 0 0 20 0 28 0 116498489 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140055851898448 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17171] ppid=17138 vsize=26538700 memory=19376 CPUtime=0.52 cores=0-7
/proc/17140/task/17171/stat : 17171 (java) S 17138 17138 16323 0 -1 1077944384 51 0 0 0 52 0 0 0 20 0 28 0 116498489 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140055850845648 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17172] ppid=17138 vsize=26538700 memory=4044 CPUtime=0.87 cores=0-7
/proc/17140/task/17172/stat : 17172 (java) R 17138 17138 16323 0 -1 4202560 566 0 0 0 87 0 0 0 20 0 28 0 116498489 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140055849786816 140057764920924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17173] ppid=17138 vsize=26538700 memory=12435308 CPUtime=0.53 cores=0-7
/proc/17140/task/17173/stat : 17173 (java) S 17138 17138 16323 0 -1 1077944384 561 0 0 0 53 0 0 0 20 0 28 0 116498489 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140055848740048 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17174] ppid=17138 vsize=26538700 memory=1384 CPUtime=0.43 cores=0-7
/proc/17140/task/17174/stat : 17174 (java) S 17138 17138 16323 0 -1 1077944384 51 0 0 0 43 0 0 0 20 0 28 0 116498489 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140055847687248 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
[pid=17140/tid=17175] ppid=17138 vsize=26538700 memory=1384 CPUtime=0.48 cores=0-7
/proc/17140/task/17175/stat : 17175 (java) S 17138 17138 16323 0 -1 1077944384 213 0 0 0 48 0 0 0 20 0 28 0 116498489 27175628800 3109211 33554432000 4194304 4196468 140737047190096 140055846634448 140058136872661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7847936 140737047196818 140737047196995 140737047196995 140737047199695 0
Current children cumulated CPU time: 804.69 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 12438228 KiB
[startup+233.801 s]
/proc/loadavg: 3.15 5.62 7.04 11/207 17175
/proc/meminfo: memFree=16322828/32770624 swapFree=67108860/67108860
[pid=17138] ppid=17135 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17138/stat : 17138 (xcsp3-exec) S 17135 17138 16323 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 116475291 9740288 346 33554432000 4194304 5098028 140736794820528 140736794818632 139923728556668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26824704 140736794825828 140736794826039 140736794826039 140736794828779 0
/proc/17138/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB
Child status: 0
Real time (s): 233.823
CPU time (s): 805.306
CPU user time (s): 771.522
CPU system time (s): 33.7843
CPU usage (%): 344.408
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 12438352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 771.522
system time used= 33.7843
maximum resident set size= 12437124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523670
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39797
involuntary context switches= 14370
# summary of solver processes directly reported to runsolver:
# pid: 17138
# total CPU time (s): 805.306
# total CPU user time (s): 771.522
# total CPU system time (s): 33.7843
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.76039 second user time and 2.39082 second system time
The end
Begin job on node148 at 2017-08-15 23:38:04
IDJOB=4271348
IDBENCH=139741
IDSOLVER=2662
FILE ID=node148/4271348-1502833943
RUNJOBID= node148-1502824654-16350
PBS_JOBID= 20629833
Free space on /tmp= 61624 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-04-06.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-4271348-1502833943/watcher-4271348-1502833943 -o /tmp/evaluation-result-4271348-1502833943/solver-4271348-1502833943 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502824654-16350 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1429654089 HOME/instance-4271348-1502833943.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= bc597584f482d34acd2131afdcab0789
RANDOM SEED=1429654089
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: 28694092 kB
MemAvailable: 31987156 kB
Buffers: 268620 kB
Cached: 3310740 kB
SwapCached: 0 kB
Active: 881008 kB
Inactive: 2750496 kB
Active(anon): 3400 kB
Inactive(anon): 76628 kB
Active(file): 877608 kB
Inactive(file): 2673868 kB
Unevictable: 6208 kB
Mlocked: 6208 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7784 kB
Writeback: 0 kB
AnonPages: 58844 kB
Mapped: 46636 kB
Shmem: 25224 kB
Slab: 141380 kB
SReclaimable: 114848 kB
SUnreclaim: 26532 kB
KernelStack: 3232 kB
PageTables: 4832 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323268 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= 61616 MiB
End job on node148 at 2017-08-15 23:41:58