0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280996-1503124329.xml" -tl '20160s' -p 8 -x 0
0.11/0.15 c [HOME/instance-4280996-1503124329.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
6.76/3.41 c solve instance...
18.39/4.95 s SATISFIABLE
18.39/4.95 v <instantiation>
18.39/4.95 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] </list>
18.39/4.95 v <values>2 78 32 71 71 47 73 145 71 123 129 61 17 174 103 128 28 56 134 157 50 120 155 164 150 102 159 20 130 93 162 147 52 99 44 130 35 175 113 172 </values>
18.39/4.95 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 (13012 MiB free)
memory of node 1: 16384 MiB (12580 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280996-1503124329/watcher-4280996-1503124329 -o /tmp/evaluation-result-4280996-1503124329/solver-4280996-1503124329 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503120685-6639 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1974639745 HOME/instance-4280996-1503124329.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7168, runsolver pid=7165
Current StackSize limit: 8192 KiB
[startup+0.100139 s]*
/proc/loadavg: 8.00 7.35 7.77 2/199 7189
/proc/meminfo: memFree=26191644/32770624 swapFree=67108860/67108860
[pid=7168] ppid=7165 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7168/stat : 7168 (xcsp3-exec) S 7165 7168 6612 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145520563 9740288 346 33554432000 4194304 5098028 140732791838016 140732791836120 139796912857724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22261760 140732791845988 140732791846199 140732791846199 140732791848939 0
/proc/7168/statm: 2378 346 289 221 0 87 0
[pid=7170] ppid=7168 vsize=25999808 memory=27260 CPUtime=0.11 cores=0-7
/proc/7170/stat : 7170 (java) S 7168 7168 6612 0 -1 1077944320 5184 0 0 0 10 1 0 0 20 0 20 0 145520563 26623803392 6815 33554432000 4194304 4196468 140735259795856 140735259778400 140636588105463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
/proc/7170/statm: 6499952 6815 2846 1 0 6488269 0
[pid=7170/tid=7171] ppid=7168 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/7170/task/7171/stat : 7171 (java) R 7168 7168 6612 0 -1 4202560 3175 0 0 0 8 1 0 0 20 0 20 0 145520563 26623803392 6880 33554432000 4194304 4196468 140735259795856 140636592326272 140636588127389 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7172] ppid=7168 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7170/task/7172/stat : 7172 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520564 26623803392 6880 33554432000 4194304 4196468 140735259795856 140636557818768 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7173] ppid=7168 vsize=25999808 memory=140494446077568 CPUtime=0 cores=0-7
/proc/7170/task/7173/stat : 7173 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520564 26623803392 6880 33554432000 4194304 4196468 140735259795856 140636145658640 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7174] ppid=7168 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7174/stat : 7174 (java) S 7168 7168 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145520564 26623803392 6880 33554432000 4194304 4196468 140735259795856 140636144606352 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7175] ppid=7168 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7175/stat : 7175 (java) S 7168 7168 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145520564 26623803392 6880 33554432000 4194304 4196468 140735259795856 140636143553552 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7176] ppid=7168 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7176/stat : 7176 (java) S 7168 7168 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145520564 26623803392 6880 33554432000 4194304 4196468 140735259795856 140636142500240 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7177] ppid=7168 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7170/task/7177/stat : 7177 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520564 26623803392 6880 33554432000 4194304 4196468 140735259795856 140636141447440 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7178] ppid=7168 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7178/stat : 7178 (java) S 7168 7168 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145520564 26623803392 6880 33554432000 4194304 4196468 140735259795856 140636140395152 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7179] ppid=7168 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7179/stat : 7179 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520564 26623803392 6880 33554432000 4194304 4196468 140735259795856 140636139342352 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7180] ppid=7168 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7180/stat : 7180 (java) S 7168 7168 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145520566 26623803392 6880 33554432000 4194304 4196468 140735259795856 140635715525232 140636588116610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7181] ppid=7168 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7181/stat : 7181 (java) S 7168 7168 6612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145520566 26623803392 6880 33554432000 4194304 4196468 140735259795856 140635714471200 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7182] ppid=7168 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7182/stat : 7182 (java) S 7168 7168 6612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145520566 26623803392 6880 33554432000 4194304 4196468 140735259795856 140635713418864 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7183] ppid=7168 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7183/stat : 7183 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520569 26623803392 6880 33554432000 4194304 4196468 140735259795856 140635712367184 140636588124059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7184] ppid=7168 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7184/stat : 7184 (java) S 7168 7168 6612 0 -1 1077944384 452 0 0 0 0 0 0 0 20 0 20 0 145520569 26623803392 6880 33554432000 4194304 4196468 140735259795856 140635711314032 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7185] ppid=7168 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7185/stat : 7185 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520569 26623803392 6880 33554432000 4194304 4196468 140735259795856 140635710261232 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7186] ppid=7168 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7186/stat : 7186 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520569 26623803392 6880 33554432000 4194304 4196468 140735259795856 140635709208944 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7187] ppid=7168 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/7170/task/7187/stat : 7187 (java) R 7168 7168 6612 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 20 0 145520569 26623803392 6880 33554432000 4194304 4196468 140735259795856 140635708156144 140636566810183 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7188] ppid=7168 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7188/stat : 7188 (java) S 7168 7168 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145520569 26623803392 6880 33554432000 4194304 4196468 140735259795856 140635707104096 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7189] ppid=7168 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7170/task/7189/stat : 7189 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520569 26623803392 6880 33554432000 4194304 4196468 140735259795856 140635706051376 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28644 KiB
[startup+0.210119 s]*
/proc/loadavg: 8.00 7.35 7.77 2/199 7189
/proc/meminfo: memFree=26182768/32770624 swapFree=67108860/67108860
[pid=7168] ppid=7165 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7168/stat : 7168 (xcsp3-exec) S 7165 7168 6612 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145520563 9740288 346 33554432000 4194304 5098028 140732791838016 140732791836120 139796912857724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22261760 140732791845988 140732791846199 140732791846199 140732791848939 0
/proc/7168/statm: 2378 346 289 221 0 87 0
[pid=7170] ppid=7168 vsize=26004064 memory=39472 CPUtime=0.33 cores=0-7
/proc/7170/stat : 7170 (java) S 7168 7168 6612 0 -1 1077944320 7956 0 0 0 31 2 0 0 20 0 20 0 145520563 26628161536 9868 33554432000 4194304 4196468 140735259795856 140735259778400 140636588105463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
/proc/7170/statm: 6501016 9868 3026 1 0 6488269 0
[pid=7170/tid=7171] ppid=7168 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/7170/task/7171/stat : 7171 (java) R 7168 7168 6612 0 -1 4202560 4898 0 0 0 18 1 0 0 20 0 20 0 145520563 26628161536 9871 33554432000 4194304 4196468 140735259795856 140636592326456 140636476398186 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7172] ppid=7168 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/7170/task/7172/stat : 7172 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 9871 33554432000 4194304 4196468 140735259795856 140636557818768 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7173] ppid=7168 vsize=26004064 memory=140494446735416 CPUtime=0 cores=0-7
/proc/7170/task/7173/stat : 7173 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 9871 33554432000 4194304 4196468 140735259795856 140636145658640 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7174] ppid=7168 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7170/task/7174/stat : 7174 (java) S 7168 7168 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 9871 33554432000 4194304 4196468 140735259795856 140636144606352 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7175] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7175/stat : 7175 (java) S 7168 7168 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 9871 33554432000 4194304 4196468 140735259795856 140636143553552 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7176] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7176/stat : 7176 (java) S 7168 7168 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 9871 33554432000 4194304 4196468 140735259795856 140636142500240 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7177] ppid=7168 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7170/task/7177/stat : 7177 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 9871 33554432000 4194304 4196468 140735259795856 140636141447440 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7178] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7178/stat : 7178 (java) S 7168 7168 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 9871 33554432000 4194304 4196468 140735259795856 140636140395152 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7179] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7179/stat : 7179 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 9871 33554432000 4194304 4196468 140735259795856 140636139342352 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7180] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7180/stat : 7180 (java) S 7168 7168 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145520566 26628161536 9871 33554432000 4194304 4196468 140735259795856 140635715525232 140636588116610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7181] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7181/stat : 7181 (java) S 7168 7168 6612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145520566 26628161536 9871 33554432000 4194304 4196468 140735259795856 140635714471200 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7182] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7182/stat : 7182 (java) S 7168 7168 6612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145520566 26628161536 9871 33554432000 4194304 4196468 140735259795856 140635713418864 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7183] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7183/stat : 7183 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520569 26628161536 9871 33554432000 4194304 4196468 140735259795856 140635712367184 140636588124059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7184] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7184/stat : 7184 (java) S 7168 7168 6612 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 20 0 145520569 26628161536 9871 33554432000 4194304 4196468 140735259795856 140635711314032 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7185] ppid=7168 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/7170/task/7185/stat : 7185 (java) S 7168 7168 6612 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 20 0 145520569 26628161536 9871 33554432000 4194304 4196468 140735259795856 140635710261232 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7186] ppid=7168 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/7170/task/7186/stat : 7186 (java) S 7168 7168 6612 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 145520569 26628161536 9871 33554432000 4194304 4196468 140735259795856 140635709208944 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7187] ppid=7168 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/7170/task/7187/stat : 7187 (java) S 7168 7168 6612 0 -1 1077944384 839 0 0 0 7 0 0 0 20 0 20 0 145520569 26628161536 9871 33554432000 4194304 4196468 140735259795856 140635708156144 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7188] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7188/stat : 7188 (java) S 7168 7168 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145520569 26628161536 9871 33554432000 4194304 4196468 140735259795856 140635707104096 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7189] ppid=7168 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7170/task/7189/stat : 7189 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520569 26628161536 9871 33554432000 4194304 4196468 140735259795856 140635706051376 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40856 KiB
[startup+0.309351 s]*
/proc/loadavg: 8.00 7.35 7.77 2/199 7189
/proc/meminfo: memFree=26176192/32770624 swapFree=67108860/67108860
[pid=7168] ppid=7165 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7168/stat : 7168 (xcsp3-exec) S 7165 7168 6612 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145520563 9740288 346 33554432000 4194304 5098028 140732791838016 140732791836120 139796912857724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22261760 140732791845988 140732791846199 140732791846199 140732791848939 0
/proc/7168/statm: 2378 346 289 221 0 87 0
[pid=7170] ppid=7168 vsize=26004064 memory=46144 CPUtime=0.48 cores=0-7
/proc/7170/stat : 7170 (java) S 7168 7168 6612 0 -1 1077944320 8756 0 0 0 46 2 0 0 20 0 20 0 145520563 26628161536 11536 33554432000 4194304 4196468 140735259795856 140735259778400 140636588105463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
/proc/7170/statm: 6501016 11536 3086 1 0 6488269 0
[pid=7170/tid=7171] ppid=7168 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7170/task/7171/stat : 7171 (java) R 7168 7168 6612 0 -1 4202560 5568 0 0 0 27 2 0 0 20 0 20 0 145520563 26628161536 11602 33554432000 4194304 4196468 140735259795856 140636592339232 140636224806428 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7172] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7172/stat : 7172 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 11602 33554432000 4194304 4196468 140735259795856 140636557818768 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7173] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7173/stat : 7173 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 11602 33554432000 4194304 4196468 140735259795856 140636145658640 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7174] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7174/stat : 7174 (java) S 7168 7168 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 11602 33554432000 4194304 4196468 140735259795856 140636144606352 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7175] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7175/stat : 7175 (java) S 7168 7168 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 11602 33554432000 4194304 4196468 140735259795856 140636143553552 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7176] ppid=7168 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/7170/task/7176/stat : 7176 (java) S 7168 7168 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 11602 33554432000 4194304 4196468 140735259795856 140636142500240 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7177] ppid=7168 vsize=26004064 memory=140494285927343 CPUtime=0 cores=0-7
/proc/7170/task/7177/stat : 7177 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 11602 33554432000 4194304 4196468 140735259795856 140636141447440 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7178] ppid=7168 vsize=26004064 memory=140494285929648 CPUtime=0 cores=0-7
/proc/7170/task/7178/stat : 7178 (java) S 7168 7168 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 11602 33554432000 4194304 4196468 140735259795856 140636140395152 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7179] ppid=7168 vsize=26004064 memory=140494285931952 CPUtime=0 cores=0-7
/proc/7170/task/7179/stat : 7179 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520564 26628161536 11602 33554432000 4194304 4196468 140735259795856 140636139342352 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7180] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7180/stat : 7180 (java) S 7168 7168 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145520566 26628161536 11602 33554432000 4194304 4196468 140735259795856 140635715525232 140636588116610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7181] ppid=7168 vsize=26004064 memory=280988571870864 CPUtime=0 cores=0-7
/proc/7170/task/7181/stat : 7181 (java) S 7168 7168 6612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145520566 26628161536 11602 33554432000 4194304 4196468 140735259795856 140635714471200 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7182] ppid=7168 vsize=26004064 memory=280988571877776 CPUtime=0 cores=0-7
/proc/7170/task/7182/stat : 7182 (java) S 7168 7168 6612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145520566 26628161536 11602 33554432000 4194304 4196468 140735259795856 140635713418864 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7183] ppid=7168 vsize=26004064 memory=280988571819056 CPUtime=0 cores=0-7
/proc/7170/task/7183/stat : 7183 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520569 26628161536 11602 33554432000 4194304 4196468 140735259795856 140635712367184 140636588124059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7184] ppid=7168 vsize=26004064 memory=280988571891600 CPUtime=0.01 cores=0-7
/proc/7170/task/7184/stat : 7184 (java) S 7168 7168 6612 0 -1 1077944384 532 0 0 0 1 0 0 0 20 0 20 0 145520569 26628161536 11602 33554432000 4194304 4196468 140735259795856 140635711314032 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7185] ppid=7168 vsize=26004064 memory=280988571898512 CPUtime=0.03 cores=0-7
/proc/7170/task/7185/stat : 7185 (java) S 7168 7168 6612 0 -1 1077944384 367 0 0 0 3 0 0 0 20 0 20 0 145520569 26628161536 11602 33554432000 4194304 4196468 140735259795856 140635710261232 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7186] ppid=7168 vsize=26004064 memory=280988571896208 CPUtime=0.02 cores=0-7
/proc/7170/task/7186/stat : 7186 (java) S 7168 7168 6612 0 -1 1077944384 61 0 0 0 2 0 0 0 20 0 20 0 145520569 26628161536 11602 33554432000 4194304 4196468 140735259795856 140635709208944 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7187] ppid=7168 vsize=26004064 memory=280988571912368 CPUtime=0.11 cores=0-7
/proc/7170/task/7187/stat : 7187 (java) R 7168 7168 6612 0 -1 4202560 926 0 0 0 11 0 0 0 20 0 20 0 145520569 26628161536 11602 33554432000 4194304 4196468 140735259795856 140635708156144 140636581202299 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7188] ppid=7168 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7188/stat : 7188 (java) S 7168 7168 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145520569 26628161536 11602 33554432000 4194304 4196468 140735259795856 140635707104096 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7189] ppid=7168 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7170/task/7189/stat : 7189 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145520569 26628161536 11602 33554432000 4194304 4196468 140735259795856 140635706051376 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47528 KiB
[startup+0.700997 s]
/proc/loadavg: 7.52 7.26 7.74 5/199 7189
/proc/meminfo: memFree=26131684/32770624 swapFree=67108860/67108860
[pid=7168] ppid=7165 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7168/stat : 7168 (xcsp3-exec) S 7165 7168 6612 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145520563 9740288 346 33554432000 4194304 5098028 140732791838016 140732791836120 139796912857724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22261760 140732791845988 140732791846199 140732791846199 140732791848939 0
/proc/7168/statm: 2378 346 289 221 0 87 0
[pid=7170] ppid=7168 vsize=26004140 memory=191956 CPUtime=1.7 cores=0-7
/proc/7170/stat : 7170 (java) S 7168 7168 6612 0 -1 1077944320 12519 0 0 0 162 8 0 0 20 0 20 0 145520563 26628239360 47989 33554432000 4194304 4196468 140735259795856 140735259778400 140636588105463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
/proc/7170/statm: 6501035 47989 3210 1 0 6488269 0
[pid=7170/tid=7171] ppid=7168 vsize=26004140 memory=280988572270256 CPUtime=0.66 cores=0-7
/proc/7170/task/7171/stat : 7171 (java) R 7168 7168 6612 0 -1 4202560 5898 0 0 0 63 3 0 0 20 0 20 0 145520563 26628239360 47989 33554432000 4194304 4196468 140735259795856 140636592338800 140636227731072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7172] ppid=7168 vsize=26004140 memory=140494286136176 CPUtime=0 cores=0-7
/proc/7170/task/7172/stat : 7172 (java) S 7168 7168 6612 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 145520564 26628239360 47989 33554432000 4194304 4196468 140735259795856 140636557818768 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7173] ppid=7168 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7173/stat : 7173 (java) S 7168 7168 6612 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 145520564 26628239360 47989 33554432000 4194304 4196468 140735259795856 140636145658640 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7174] ppid=7168 vsize=26004140 memory=1004 CPUtime=0 cores=0-7
/proc/7170/task/7174/stat : 7174 (java) S 7168 7168 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145520564 26628239360 47989 33554432000 4194304 4196468 140735259795856 140636144606352 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
################
# More data... #
################
[pid=7170/tid=7187] ppid=7168 vsize=26538700 memory=18292 CPUtime=0.61 cores=0-7
/proc/7170/task/7187/stat : 7187 (java) S 7168 7168 6612 0 -1 1077944384 2671 0 0 0 61 0 0 0 20 0 28 0 145520569 27175628800 318311 33554432000 4194304 4196468 140735259795856 140635708156144 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7188] ppid=7168 vsize=26538700 memory=1792 CPUtime=0 cores=0-7
/proc/7170/task/7188/stat : 7188 (java) S 7168 7168 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145520569 27175628800 318311 33554432000 4194304 4196468 140735259795856 140635707104096 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7189] ppid=7168 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7189/stat : 7189 (java) S 7168 7168 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145520569 27175628800 318311 33554432000 4194304 4196468 140735259795856 140635706051376 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7190] ppid=7168 vsize=26538700 memory=0 CPUtime=0.72 cores=0-7
/proc/7170/task/7190/stat : 7190 (java) R 7168 7168 6612 0 -1 4202560 71 0 0 0 72 0 0 0 20 0 28 0 145520905 27175628800 318311 33554432000 4194304 4196468 140735259795856 140635698040824 140636231643929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7191] ppid=7168 vsize=26538700 memory=0 CPUtime=0.75 cores=0-7
/proc/7170/task/7191/stat : 7191 (java) R 7168 7168 6612 0 -1 4202560 53 0 0 0 75 0 0 0 20 0 28 0 145520905 27175628800 318311 33554432000 4194304 4196468 140735259795856 140635696988272 140636231643375 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7192] ppid=7168 vsize=26538700 memory=0 CPUtime=0.69 cores=0-7
/proc/7170/task/7192/stat : 7192 (java) R 7168 7168 6612 0 -1 4202560 43 0 0 0 69 0 0 0 20 0 28 0 145520905 27175628800 318311 33554432000 4194304 4196468 140735259795856 140635695934312 140636230621057 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7193] ppid=7168 vsize=26538700 memory=280988572182192 CPUtime=0.83 cores=0-7
/proc/7170/task/7193/stat : 7193 (java) R 7168 7168 6612 0 -1 4202560 31 0 0 0 83 0 0 0 20 0 28 0 145520905 27175628800 318311 33554432000 4194304 4196468 140735259795856 140635694882712 140636230925624 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7194] ppid=7168 vsize=26538700 memory=3467965122233027837 CPUtime=0.84 cores=0-7
/proc/7170/task/7194/stat : 7194 (java) R 7168 7168 6612 0 -1 4202560 36 0 0 0 84 0 0 0 20 0 28 0 145520905 27175628800 318311 33554432000 4194304 4196468 140735259795856 140635693829088 140636231643966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7195] ppid=7168 vsize=26538700 memory=4638778428397538640 CPUtime=0.73 cores=0-7
/proc/7170/task/7195/stat : 7195 (java) R 7168 7168 6612 0 -1 4202560 71 0 0 0 73 0 0 0 20 0 28 0 145520905 27175628800 318311 33554432000 4194304 4196468 140735259795856 140635692779432 140636231643880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7196] ppid=7168 vsize=26538700 memory=7367994820037468493 CPUtime=0.71 cores=0-7
/proc/7170/task/7196/stat : 7196 (java) R 7168 7168 6612 0 -1 4202560 36 0 0 0 71 0 0 0 20 0 28 0 145520905 27175628800 318311 33554432000 4194304 4196468 140735259795856 140635691725432 140636231644044 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7197] ppid=7168 vsize=26538700 memory=161 CPUtime=0.81 cores=0-7
/proc/7170/task/7197/stat : 7197 (java) R 7168 7168 6612 0 -1 4202560 25 0 0 0 81 0 0 0 20 0 28 0 145520906 27175628800 318311 33554432000 4194304 4196468 140735259795856 140635690674344 140636231796127 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
Current children cumulated CPU time: 14.41 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1274628 KiB
[startup+4.80156 s]
/proc/loadavg: 7.52 7.26 7.74 13/207 7197
/proc/meminfo: memFree=24947340/32770624 swapFree=67108860/67108860
[pid=7168] ppid=7165 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7168/stat : 7168 (xcsp3-exec) S 7165 7168 6612 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145520563 9740288 346 33554432000 4194304 5098028 140732791838016 140732791836120 139796912857724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22261760 140732791845988 140732791846199 140732791846199 140732791848939 0
/proc/7168/statm: 2378 346 289 221 0 87 0
[pid=7170] ppid=7168 vsize=26538700 memory=1274612 CPUtime=17.59 cores=0-7
/proc/7170/stat : 7170 (java) S 7168 7168 6612 0 -1 1077944320 22993 0 0 0 1655 104 0 0 20 0 28 0 145520563 27175628800 318653 33554432000 4194304 4196468 140735259795856 140735259778400 140636588105463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
/proc/7170/statm: 6634675 318653 3271 1 0 6621909 0
[pid=7170/tid=7171] ppid=7168 vsize=26538700 memory=3089 CPUtime=3.15 cores=0-7
/proc/7170/task/7171/stat : 7171 (java) S 7168 7168 6612 0 -1 1077944384 6793 0 0 0 298 17 0 0 20 0 28 0 145520563 27175628800 318653 33554432000 4194304 4196468 140735259795856 140636592346240 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7172] ppid=7168 vsize=26538700 memory=25252 CPUtime=0.21 cores=0-7
/proc/7170/task/7172/stat : 7172 (java) S 7168 7168 6612 0 -1 1077944384 146 0 0 0 12 9 0 0 20 0 28 0 145520564 27175628800 318653 33554432000 4194304 4196468 140735259795856 140636557818768 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7173] ppid=7168 vsize=26538700 memory=0 CPUtime=0.19 cores=0-7
/proc/7170/task/7173/stat : 7173 (java) S 7168 7168 6612 0 -1 1077944384 130 0 0 0 11 8 0 0 20 0 28 0 145520564 27175628800 318653 33554432000 4194304 4196468 140735259795856 140636145658640 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7174] ppid=7168 vsize=26538700 memory=0 CPUtime=0.19 cores=0-7
/proc/7170/task/7174/stat : 7174 (java) S 7168 7168 6612 0 -1 1077944384 173 0 0 0 10 9 0 0 20 0 28 0 145520564 27175628800 318653 33554432000 4194304 4196468 140735259795856 140636144606352 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7175] ppid=7168 vsize=26538700 memory=0 CPUtime=0.19 cores=0-7
/proc/7170/task/7175/stat : 7175 (java) S 7168 7168 6612 0 -1 1077944384 129 0 0 0 10 9 0 0 20 0 28 0 145520564 27175628800 318653 33554432000 4194304 4196468 140735259795856 140636143553552 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7176] ppid=7168 vsize=26538700 memory=0 CPUtime=0.21 cores=0-7
/proc/7170/task/7176/stat : 7176 (java) S 7168 7168 6612 0 -1 1077944384 399 0 0 0 11 10 0 0 20 0 28 0 145520564 27175628800 318653 33554432000 4194304 4196468 140735259795856 140636142500240 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7177] ppid=7168 vsize=26538700 memory=0 CPUtime=0.21 cores=0-7
/proc/7170/task/7177/stat : 7177 (java) S 7168 7168 6612 0 -1 1077944384 144 0 0 0 11 10 0 0 20 0 28 0 145520564 27175628800 318653 33554432000 4194304 4196468 140735259795856 140636141447440 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7178] ppid=7168 vsize=26538700 memory=33 CPUtime=0.19 cores=0-7
/proc/7170/task/7178/stat : 7178 (java) S 7168 7168 6612 0 -1 1077944384 146 0 0 0 11 8 0 0 20 0 28 0 145520564 27175628800 318653 33554432000 4194304 4196468 140735259795856 140636140395152 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7179] ppid=7168 vsize=26538700 memory=40 CPUtime=0.21 cores=0-7
/proc/7170/task/7179/stat : 7179 (java) S 7168 7168 6612 0 -1 1077944384 149 0 0 0 12 9 0 0 20 0 28 0 145520564 27175628800 318653 33554432000 4194304 4196468 140735259795856 140636139342352 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7180] ppid=7168 vsize=26538700 memory=43 CPUtime=0.01 cores=0-7
/proc/7170/task/7180/stat : 7180 (java) S 7168 7168 6612 0 -1 1077944384 1022 0 0 0 1 0 0 0 20 0 28 0 145520566 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635715525232 140636588116610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7181] ppid=7168 vsize=26538700 memory=42 CPUtime=0 cores=0-7
/proc/7170/task/7181/stat : 7181 (java) S 7168 7168 6612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 145520566 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635714471264 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7182] ppid=7168 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7182/stat : 7182 (java) S 7168 7168 6612 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 145520566 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635713418880 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7183] ppid=7168 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7183/stat : 7183 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145520569 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635712367184 140636588124059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7184] ppid=7168 vsize=26538700 memory=0 CPUtime=0.9 cores=0-7
/proc/7170/task/7184/stat : 7184 (java) S 7168 7168 6612 0 -1 1077944384 3283 0 0 0 88 2 0 0 20 0 28 0 145520569 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635711314032 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7185] ppid=7168 vsize=26538700 memory=2209 CPUtime=1.02 cores=0-7
/proc/7170/task/7185/stat : 7185 (java) S 7168 7168 6612 0 -1 1077944384 2581 0 0 0 100 2 0 0 20 0 28 0 145520569 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635710261232 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7186] ppid=7168 vsize=26538700 memory=4580 CPUtime=1.15 cores=0-7
/proc/7170/task/7186/stat : 7186 (java) S 7168 7168 6612 0 -1 1077944384 2734 0 0 0 114 1 0 0 20 0 28 0 145520569 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635709208944 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7187] ppid=7168 vsize=26538700 memory=0 CPUtime=0.63 cores=0-7
/proc/7170/task/7187/stat : 7187 (java) S 7168 7168 6612 0 -1 1077944384 2738 0 0 0 63 0 0 0 20 0 28 0 145520569 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635708156144 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7188] ppid=7168 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7188/stat : 7188 (java) S 7168 7168 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145520569 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635707104096 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7189] ppid=7168 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7189/stat : 7189 (java) S 7168 7168 6612 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 145520569 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635706051376 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7190] ppid=7168 vsize=26538700 memory=0 CPUtime=1.1 cores=0-7
/proc/7170/task/7190/stat : 7190 (java) R 7168 7168 6612 0 -1 4202560 125 0 0 0 110 0 0 0 20 0 28 0 145520905 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635698040264 140636232030198 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7191] ppid=7168 vsize=26538700 memory=0 CPUtime=1.12 cores=0-7
/proc/7170/task/7191/stat : 7191 (java) R 7168 7168 6612 0 -1 4202560 99 0 0 0 112 0 0 0 20 0 28 0 145520905 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635696988320 140636230621109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7192] ppid=7168 vsize=26538700 memory=-7091624348563251104 CPUtime=1.08 cores=0-7
/proc/7170/task/7192/stat : 7192 (java) R 7168 7168 6612 0 -1 4202560 259 0 0 0 108 0 0 0 20 0 28 0 145520905 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635695937608 140636230620788 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7193] ppid=7168 vsize=26538700 memory=-7674914008656224160 CPUtime=1.22 cores=0-7
/proc/7170/task/7193/stat : 7193 (java) R 7168 7168 6612 0 -1 4202560 95 0 0 0 122 0 0 0 20 0 28 0 145520905 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635694881648 140636231643906 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7194] ppid=7168 vsize=26538700 memory=4206186544037388384 CPUtime=1.21 cores=0-7
/proc/7170/task/7194/stat : 7194 (java) R 7168 7168 6612 0 -1 4202560 156 0 0 0 121 0 0 0 20 0 28 0 145520905 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635693830032 140636231813687 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7195] ppid=7168 vsize=26538700 memory=-3252517613199061085 CPUtime=1.05 cores=0-7
/proc/7170/task/7195/stat : 7195 (java) R 7168 7168 6612 0 -1 4202560 171 0 0 0 105 0 0 0 20 0 28 0 145520905 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635692777032 140636231796089 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7196] ppid=7168 vsize=26538700 memory=-8096454439705354400 CPUtime=1.05 cores=0-7
/proc/7170/task/7196/stat : 7196 (java) R 7168 7168 6612 0 -1 4202560 141 0 0 0 105 0 0 0 20 0 28 0 145520905 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635691724944 140636231813590 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7197] ppid=7168 vsize=26538700 memory=9023629670928638048 CPUtime=1.09 cores=0-7
/proc/7170/task/7197/stat : 7197 (java) R 7168 7168 6612 0 -1 4202560 67 0 0 0 109 0 0 0 20 0 28 0 145520906 27175628800 318653 33554432000 4194304 4196468 140735259795856 140635690672216 140636231795805 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
Current children cumulated CPU time: 17.59 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1275996 KiB
[startup+4.90157 s]
/proc/loadavg: 7.52 7.26 7.74 13/207 7197
/proc/meminfo: memFree=24947340/32770624 swapFree=67108860/67108860
[pid=7168] ppid=7165 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7168/stat : 7168 (xcsp3-exec) S 7165 7168 6612 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145520563 9740288 346 33554432000 4194304 5098028 140732791838016 140732791836120 139796912857724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22261760 140732791845988 140732791846199 140732791846199 140732791848939 0
/proc/7168/statm: 2378 346 289 221 0 87 0
[pid=7170] ppid=7168 vsize=26538700 memory=1274680 CPUtime=18.39 cores=0-7
/proc/7170/stat : 7170 (java) S 7168 7168 6612 0 -1 1077944320 22994 0 0 0 1735 104 0 0 20 0 28 0 145520563 27175628800 318670 33554432000 4194304 4196468 140735259795856 140735259778400 140636588105463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
/proc/7170/statm: 6634675 318670 3271 1 0 6621909 0
[pid=7170/tid=7171] ppid=7168 vsize=26538700 memory=6944656592455097440 CPUtime=3.15 cores=0-7
/proc/7170/task/7171/stat : 7171 (java) S 7168 7168 6612 0 -1 1077944384 6793 0 0 0 298 17 0 0 20 0 28 0 145520563 27175628800 318670 33554432000 4194304 4196468 140735259795856 140636592346240 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7172] ppid=7168 vsize=26538700 memory=5788 CPUtime=0.21 cores=0-7
/proc/7170/task/7172/stat : 7172 (java) S 7168 7168 6612 0 -1 1077944384 146 0 0 0 12 9 0 0 20 0 28 0 145520564 27175628800 318670 33554432000 4194304 4196468 140735259795856 140636557818768 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7173] ppid=7168 vsize=26538700 memory=1228 CPUtime=0.19 cores=0-7
/proc/7170/task/7173/stat : 7173 (java) S 7168 7168 6612 0 -1 1077944384 130 0 0 0 11 8 0 0 20 0 28 0 145520564 27175628800 318670 33554432000 4194304 4196468 140735259795856 140636145658640 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7174] ppid=7168 vsize=26538700 memory=0 CPUtime=0.19 cores=0-7
/proc/7170/task/7174/stat : 7174 (java) S 7168 7168 6612 0 -1 1077944384 173 0 0 0 10 9 0 0 20 0 28 0 145520564 27175628800 318670 33554432000 4194304 4196468 140735259795856 140636144606352 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7175] ppid=7168 vsize=26538700 memory=7738987790123815779 CPUtime=0.19 cores=0-7
/proc/7170/task/7175/stat : 7175 (java) S 7168 7168 6612 0 -1 1077944384 129 0 0 0 10 9 0 0 20 0 28 0 145520564 27175628800 318670 33554432000 4194304 4196468 140735259795856 140636143553552 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7176] ppid=7168 vsize=26538700 memory=1269148 CPUtime=0.21 cores=0-7
/proc/7170/task/7176/stat : 7176 (java) S 7168 7168 6612 0 -1 1077944384 399 0 0 0 11 10 0 0 20 0 28 0 145520564 27175628800 318670 33554432000 4194304 4196468 140735259795856 140636142500240 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7177] ppid=7168 vsize=26538700 memory=904268 CPUtime=0.21 cores=0-7
/proc/7170/task/7177/stat : 7177 (java) S 7168 7168 6612 0 -1 1077944384 144 0 0 0 11 10 0 0 20 0 28 0 145520564 27175628800 318670 33554432000 4194304 4196468 140735259795856 140636141447440 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7178] ppid=7168 vsize=26538700 memory=56 CPUtime=0.19 cores=0-7
/proc/7170/task/7178/stat : 7178 (java) S 7168 7168 6612 0 -1 1077944384 146 0 0 0 11 8 0 0 20 0 28 0 145520564 27175628800 318670 33554432000 4194304 4196468 140735259795856 140636140395152 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7179] ppid=7168 vsize=26538700 memory=6944652177228980320 CPUtime=0.21 cores=0-7
/proc/7170/task/7179/stat : 7179 (java) S 7168 7168 6612 0 -1 1077944384 149 0 0 0 12 9 0 0 20 0 28 0 145520564 27175628800 318670 33554432000 4194304 4196468 140735259795856 140636139342352 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7180] ppid=7168 vsize=26538700 memory=55 CPUtime=0.01 cores=0-7
/proc/7170/task/7180/stat : 7180 (java) S 7168 7168 6612 0 -1 1077944384 1022 0 0 0 1 0 0 0 20 0 28 0 145520566 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635715525232 140636588116610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7181] ppid=7168 vsize=26538700 memory=916 CPUtime=0 cores=0-7
/proc/7170/task/7181/stat : 7181 (java) S 7168 7168 6612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 145520566 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635714471264 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7182] ppid=7168 vsize=26538700 memory=4424 CPUtime=0 cores=0-7
/proc/7170/task/7182/stat : 7182 (java) S 7168 7168 6612 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 145520566 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635713418880 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7183] ppid=7168 vsize=26538700 memory=4104 CPUtime=0 cores=0-7
/proc/7170/task/7183/stat : 7183 (java) S 7168 7168 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145520569 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635712367184 140636588124059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7184] ppid=7168 vsize=26538700 memory=1384 CPUtime=0.9 cores=0-7
/proc/7170/task/7184/stat : 7184 (java) S 7168 7168 6612 0 -1 1077944384 3283 0 0 0 88 2 0 0 20 0 28 0 145520569 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635711314032 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7185] ppid=7168 vsize=26538700 memory=707408 CPUtime=1.02 cores=0-7
/proc/7170/task/7185/stat : 7185 (java) S 7168 7168 6612 0 -1 1077944384 2581 0 0 0 100 2 0 0 20 0 28 0 145520569 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635710261232 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7186] ppid=7168 vsize=26538700 memory=0 CPUtime=1.15 cores=0-7
/proc/7170/task/7186/stat : 7186 (java) S 7168 7168 6612 0 -1 1077944384 2734 0 0 0 114 1 0 0 20 0 28 0 145520569 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635709208944 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7187] ppid=7168 vsize=26538700 memory=0 CPUtime=0.63 cores=0-7
/proc/7170/task/7187/stat : 7187 (java) S 7168 7168 6612 0 -1 1077944384 2739 0 0 0 63 0 0 0 20 0 28 0 145520569 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635708156144 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7188] ppid=7168 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7170/task/7188/stat : 7188 (java) S 7168 7168 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145520569 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635707104096 140636588115669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7189] ppid=7168 vsize=26538700 memory=21 CPUtime=0 cores=0-7
/proc/7170/task/7189/stat : 7189 (java) S 7168 7168 6612 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 145520569 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635706051376 140636588116610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7190] ppid=7168 vsize=26538700 memory=19 CPUtime=1.2 cores=0-7
/proc/7170/task/7190/stat : 7190 (java) R 7168 7168 6612 0 -1 4202560 125 0 0 0 120 0 0 0 20 0 28 0 145520905 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635698040264 140636231796067 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7191] ppid=7168 vsize=26538700 memory=19 CPUtime=1.22 cores=0-7
/proc/7170/task/7191/stat : 7191 (java) R 7168 7168 6612 0 -1 4202560 99 0 0 0 122 0 0 0 20 0 28 0 145520905 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635696988320 140636230620270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7192] ppid=7168 vsize=26538700 memory=19 CPUtime=1.18 cores=0-7
/proc/7170/task/7192/stat : 7192 (java) R 7168 7168 6612 0 -1 4202560 259 0 0 0 118 0 0 0 20 0 28 0 145520905 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635695937608 140636230620032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7193] ppid=7168 vsize=26538700 memory=21 CPUtime=1.32 cores=0-7
/proc/7170/task/7193/stat : 7193 (java) R 7168 7168 6612 0 -1 4202560 95 0 0 0 132 0 0 0 20 0 28 0 145520905 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635694881648 140636231796023 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7194] ppid=7168 vsize=26538700 memory=55 CPUtime=1.31 cores=0-7
/proc/7170/task/7194/stat : 7194 (java) R 7168 7168 6612 0 -1 4202560 156 0 0 0 131 0 0 0 20 0 28 0 145520905 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635693830032 140636231795574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7195] ppid=7168 vsize=26538700 memory=3118 CPUtime=1.15 cores=0-7
/proc/7170/task/7195/stat : 7195 (java) R 7168 7168 6612 0 -1 4202560 171 0 0 0 115 0 0 0 20 0 28 0 145520905 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635692777032 140636231644032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7196] ppid=7168 vsize=26538700 memory=28099 CPUtime=1.15 cores=0-7
/proc/7170/task/7196/stat : 7196 (java) R 7168 7168 6612 0 -1 4202560 141 0 0 0 115 0 0 0 20 0 28 0 145520905 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635691724944 140636231795585 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
[pid=7170/tid=7197] ppid=7168 vsize=26538700 memory=0 CPUtime=1.19 cores=0-7
/proc/7170/task/7197/stat : 7197 (java) R 7168 7168 6612 0 -1 4202560 67 0 0 0 119 0 0 0 20 0 28 0 145520906 27175628800 318670 33554432000 4194304 4196468 140735259795856 140635690672216 140636231643940 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38572032 140735259804818 140735259804995 140735259804995 140735259807695 0
Current children cumulated CPU time: 18.39 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1276064 KiB
Child status: 0
Real time (s): 4.96418
CPU time (s): 18.7876
CPU user time (s): 17.7318
CPU system time (s): 1.0558
CPU usage (%): 378.463
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1276064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.7318
system time used= 1.0558
maximum resident set size= 1274900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24437
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4162
involuntary context switches= 392
# summary of solver processes directly reported to runsolver:
# pid: 7168
# total CPU time (s): 18.7876
# total CPU user time (s): 17.7318
# total CPU system time (s): 1.0558
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064371 second user time and 0.079846 second system time
The end
Begin job on node112 at 2017-08-19 08:17:49
IDJOB=4280996
IDBENCH=122744
IDSOLVER=2675
FILE ID=node112/4280996-1503124329
RUNJOBID= node112-1503120685-6639
PBS_JOBID= 20630770
Free space on /tmp= 61852 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Random/Random-D-t090/rand-2-40-180-84-090-51.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-4280996-1503124329/watcher-4280996-1503124329 -o /tmp/evaluation-result-4280996-1503124329/solver-4280996-1503124329 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503120685-6639 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1974639745 HOME/instance-4280996-1503124329.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 4c79b3968e5ee826d76424e68e9a688a
RANDOM SEED=1974639745
node112.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.24
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.24
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.24
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.24
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: 26207536 kB
MemAvailable: 31971520 kB
Buffers: 244580 kB
Cached: 5809532 kB
SwapCached: 0 kB
Active: 1091632 kB
Inactive: 5015400 kB
Active(anon): 4820 kB
Inactive(anon): 84428 kB
Active(file): 1086812 kB
Inactive(file): 4930972 kB
Unevictable: 7840 kB
Mlocked: 7840 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 9936 kB
Writeback: 0 kB
AnonPages: 69168 kB
Mapped: 50164 kB
Shmem: 33416 kB
Slab: 151152 kB
SReclaimable: 124072 kB
SUnreclaim: 27080 kB
KernelStack: 3520 kB
PageTables: 5168 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 333364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61844 MiB
End job on node112 at 2017-08-19 08:17:54