0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281394-1503186993.xml" -tl '2016s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4281394-1503186993.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
0.70/0.43 c solve instance...
0.70/0.46 o 0
0.70/0.46 o 649
0.70/0.46 o 667
0.70/0.46 o 688
0.70/0.47 o 692
0.70/0.48 o 702
0.70/0.48 o 740
0.70/0.48 o 748
0.70/0.48 o 764
0.70/0.48 o 774
0.70/0.48 o 798
0.70/0.49 o 808
0.70/0.49 o 826
1.16/0.58 o 835
1.75/0.62 o 842
1.75/0.62 o 863
2.38/0.75 o 865
2.38/0.76 o 880
2.38/0.77 o 881
3.13/0.81 o 884
3.13/0.83 o 886
3.13/0.85 o 943
5.50/1.13 o 944
5.50/1.18 o 955
6.99/1.31 o 960
6.99/1.35 o 965
6.99/1.35 o 976
6.99/1.35 o 985
7.76/1.47 o 995
10.60/1.89 o 996
21.61/3.61 o 1006
21.61/3.61 o 1015
23.43/3.90 o 1016
33.02/5.43 o 1017
35.59/5.87 o 1018
44.88/7.25 o 1020
44.88/7.28 o 1021
45.53/7.30 s OPTIMUM FOUND
45.53/7.30 v <instantiation>
45.53/7.30 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>
45.53/7.30 v <values>0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 </values>
45.53/7.30 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 (11841 MiB free)
memory of node 1: 16384 MiB (11233 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281394-1503186993/watcher-4281394-1503186993 -o /tmp/evaluation-result-4281394-1503186993/solver-4281394-1503186993 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503176429-30780 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 52808671 HOME/instance-4281394-1503186993.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=2218, runsolver pid=2215
[startup+0.100931 s]*
/proc/loadavg: 7.30 7.45 7.47 2/201 2239
/proc/meminfo: memFree=23613236/32770624 swapFree=67108860/67108860
[pid=2218] ppid=2215 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2218/stat : 2218 (xcsp3-exec) S 2215 2218 30753 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151780019 9740288 346 33554432000 4194304 5098028 140726741942800 140726741940904 140025386283644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37146624 140726741951596 140726741951804 140726741951804 140726741954539 0
/proc/2218/statm: 2378 346 289 221 0 87 0
[pid=2220] ppid=2218 vsize=25999808 memory=26860 CPUtime=0.11 cores=0-7
/proc/2220/stat : 2220 (java) S 2218 2218 30753 0 -1 1077944320 5584 0 0 0 10 1 0 0 20 0 20 0 151780019 26623803392 6715 33554432000 4194304 4196468 140735486172432 140735486154976 140667451059959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
/proc/2220/statm: 6499952 6715 2867 1 0 6488269 0
[pid=2220/tid=2221] ppid=2218 vsize=25999808 memory=-7096649868621430206 CPUtime=0.08 cores=0-7
/proc/2220/task/2221/stat : 2221 (java) R 2218 2218 30753 0 -1 4202560 3597 0 0 0 8 0 0 0 20 0 20 0 151780020 26623803392 6715 33554432000 4194304 4196468 140735486172432 140667455285680 140667435103589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2222] ppid=2218 vsize=25999808 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/2220/task/2222/stat : 2222 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780020 26623803392 6715 33554432000 4194304 4196468 140735486172432 140667373640336 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2223] ppid=2218 vsize=25999808 memory=139798461433472 CPUtime=0 cores=0-7
/proc/2220/task/2223/stat : 2223 (java) S 2218 2218 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151780020 26623803392 6715 33554432000 4194304 4196468 140735486172432 140667372587536 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2224] ppid=2218 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2224/stat : 2224 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780020 26623803392 6715 33554432000 4194304 4196468 140735486172432 140667371534736 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2225] ppid=2218 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2225/stat : 2225 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780021 26623803392 6715 33554432000 4194304 4196468 140735486172432 140667370481936 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2226] ppid=2218 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2226/stat : 2226 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780021 26623803392 6715 33554432000 4194304 4196468 140735486172432 140667369430160 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2227] ppid=2218 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2220/task/2227/stat : 2227 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780021 26623803392 6715 33554432000 4194304 4196468 140735486172432 140667368377360 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2228] ppid=2218 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2228/stat : 2228 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780021 26623803392 6715 33554432000 4194304 4196468 140735486172432 140667367324560 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2229] ppid=2218 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2229/stat : 2229 (java) S 2218 2218 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151780021 26623803392 6715 33554432000 4194304 4196468 140735486172432 140667366271760 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2230] ppid=2218 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2230/stat : 2230 (java) S 2218 2218 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151780022 26623803392 6715 33554432000 4194304 4196468 140735486172432 140665857522032 140667451071106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2231] ppid=2218 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2231/stat : 2231 (java) S 2218 2218 30753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151780022 26623803392 6715 33554432000 4194304 4196468 140735486172432 140665856468000 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2232] ppid=2218 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2232/stat : 2232 (java) S 2218 2218 30753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151780023 26623803392 6715 33554432000 4194304 4196468 140735486172432 140665855415152 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2233] ppid=2218 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2233/stat : 2233 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780025 26623803392 6715 33554432000 4194304 4196468 140735486172432 140665854363472 140667451078555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2234] ppid=2218 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2234/stat : 2234 (java) S 2218 2218 30753 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 151780025 26623803392 6715 33554432000 4194304 4196468 140735486172432 140665853311856 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2235] ppid=2218 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2235/stat : 2235 (java) S 2218 2218 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151780025 26623803392 6715 33554432000 4194304 4196468 140735486172432 140665852259056 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2236] ppid=2218 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2236/stat : 2236 (java) S 2218 2218 30753 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 151780025 26623803392 6715 33554432000 4194304 4196468 140735486172432 140665851206256 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2237] ppid=2218 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/2220/task/2237/stat : 2237 (java) S 2218 2218 30753 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 20 0 151780025 26623803392 6715 33554432000 4194304 4196468 140735486172432 140665850153456 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2238] ppid=2218 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2238/stat : 2238 (java) S 2218 2218 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151780025 26623803392 6715 33554432000 4194304 4196468 140735486172432 140665849100896 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2239] ppid=2218 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2220/task/2239/stat : 2239 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780026 26623803392 6715 33554432000 4194304 4196468 140735486172432 140665848048176 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28244 KiB
[startup+0.210529 s]*
/proc/loadavg: 7.30 7.45 7.47 3/201 2239
/proc/meminfo: memFree=23602040/32770624 swapFree=67108860/67108860
[pid=2218] ppid=2215 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2218/stat : 2218 (xcsp3-exec) S 2215 2218 30753 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151780019 9740288 346 33554432000 4194304 5098028 140726741942800 140726741940904 140025386283644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37146624 140726741951596 140726741951804 140726741951804 140726741954539 0
/proc/2218/statm: 2378 346 289 221 0 87 0
[pid=2220] ppid=2218 vsize=26004064 memory=38840 CPUtime=0.33 cores=0-7
/proc/2220/stat : 2220 (java) S 2218 2218 30753 0 -1 1077944320 8230 0 0 0 31 2 0 0 20 0 20 0 151780019 26628161536 9710 33554432000 4194304 4196468 140735486172432 140735486154976 140667451059959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
/proc/2220/statm: 6501016 9710 3069 1 0 6488269 0
[pid=2220/tid=2221] ppid=2218 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/2220/task/2221/stat : 2221 (java) R 2218 2218 30753 0 -1 4202560 5432 0 0 0 18 1 0 0 20 0 20 0 151780020 26628161536 9710 33554432000 4194304 4196468 140735486172432 140667455280944 140667451081885 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2222] ppid=2218 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/2220/task/2222/stat : 2222 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780020 26628161536 9710 33554432000 4194304 4196468 140735486172432 140667373640336 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2223] ppid=2218 vsize=26004064 memory=139798461446057 CPUtime=0 cores=0-7
/proc/2220/task/2223/stat : 2223 (java) S 2218 2218 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151780020 26628161536 9710 33554432000 4194304 4196468 140735486172432 140667372587536 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2224] ppid=2218 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2220/task/2224/stat : 2224 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780020 26628161536 9710 33554432000 4194304 4196468 140735486172432 140667371534736 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2225] ppid=2218 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2225/stat : 2225 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780021 26628161536 9710 33554432000 4194304 4196468 140735486172432 140667370481936 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2226] ppid=2218 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2226/stat : 2226 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780021 26628161536 9710 33554432000 4194304 4196468 140735486172432 140667369430160 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2227] ppid=2218 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2220/task/2227/stat : 2227 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780021 26628161536 9710 33554432000 4194304 4196468 140735486172432 140667368377360 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2228] ppid=2218 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2228/stat : 2228 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780021 26628161536 9710 33554432000 4194304 4196468 140735486172432 140667367324560 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2229] ppid=2218 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2229/stat : 2229 (java) S 2218 2218 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151780021 26628161536 9710 33554432000 4194304 4196468 140735486172432 140667366271760 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2230] ppid=2218 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2230/stat : 2230 (java) S 2218 2218 30753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151780022 26628161536 9710 33554432000 4194304 4196468 140735486172432 140665857522032 140667451071106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2231] ppid=2218 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2231/stat : 2231 (java) S 2218 2218 30753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151780022 26628161536 9710 33554432000 4194304 4196468 140735486172432 140665856468000 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2232] ppid=2218 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2232/stat : 2232 (java) S 2218 2218 30753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151780023 26628161536 9710 33554432000 4194304 4196468 140735486172432 140665855415152 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2233] ppid=2218 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2233/stat : 2233 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780025 26628161536 9710 33554432000 4194304 4196468 140735486172432 140665854363472 140667451078555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2234] ppid=2218 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/2220/task/2234/stat : 2234 (java) S 2218 2218 30753 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 20 0 151780025 26628161536 9710 33554432000 4194304 4196468 140735486172432 140665853311856 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2235] ppid=2218 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2235/stat : 2235 (java) S 2218 2218 30753 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 151780025 26628161536 9710 33554432000 4194304 4196468 140735486172432 140665852259056 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2236] ppid=2218 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/2220/task/2236/stat : 2236 (java) S 2218 2218 30753 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 20 0 151780025 26628161536 9710 33554432000 4194304 4196468 140735486172432 140665851206256 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2237] ppid=2218 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/2220/task/2237/stat : 2237 (java) R 2218 2218 30753 0 -1 4202560 739 0 0 0 8 0 0 0 20 0 20 0 151780025 26628161536 9710 33554432000 4194304 4196468 140735486172432 140665850153456 140667040825465 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2238] ppid=2218 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2238/stat : 2238 (java) S 2218 2218 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151780025 26628161536 9710 33554432000 4194304 4196468 140735486172432 140665849100896 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2239] ppid=2218 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2220/task/2239/stat : 2239 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780026 26628161536 9710 33554432000 4194304 4196468 140735486172432 140665848048176 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40224 KiB
[startup+0.310374 s]*
/proc/loadavg: 7.30 7.45 7.47 2/201 2239
/proc/meminfo: memFree=23595092/32770624 swapFree=67108860/67108860
[pid=2218] ppid=2215 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2218/stat : 2218 (xcsp3-exec) S 2215 2218 30753 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151780019 9740288 346 33554432000 4194304 5098028 140726741942800 140726741940904 140025386283644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37146624 140726741951596 140726741951804 140726741951804 140726741954539 0
/proc/2218/statm: 2378 346 289 221 0 87 0
[pid=2220] ppid=2218 vsize=26004064 memory=46044 CPUtime=0.49 cores=0-7
/proc/2220/stat : 2220 (java) S 2218 2218 30753 0 -1 1077944320 9225 0 0 0 46 3 0 0 20 0 20 0 151780019 26628161536 11511 33554432000 4194304 4196468 140735486172432 140735486154976 140667451059959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
/proc/2220/statm: 6501016 11511 3092 1 0 6488269 0
[pid=2220/tid=2221] ppid=2218 vsize=26004140 memory=1398720917958146503 CPUtime=0.29 cores=0-7
/proc/2220/task/2221/stat : 2221 (java) R 2218 2218 30753 0 -1 4202560 6243 0 0 0 27 2 0 0 20 0 20 0 151780020 26628239360 11534 33554432000 4194304 4196468 140735486172432 140667455292320 140667435140446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2222] ppid=2218 vsize=26004140 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2220/task/2222/stat : 2222 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780020 26628239360 11534 33554432000 4194304 4196468 140735486172432 140667373640336 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2223] ppid=2218 vsize=26004140 memory=1196 CPUtime=0 cores=0-7
/proc/2220/task/2223/stat : 2223 (java) S 2218 2218 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151780020 26628239360 11534 33554432000 4194304 4196468 140735486172432 140667372587536 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2224] ppid=2218 vsize=26004140 memory=15876 CPUtime=0 cores=0-7
/proc/2220/task/2224/stat : 2224 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780020 26628239360 11534 33554432000 4194304 4196468 140735486172432 140667371534736 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2225] ppid=2218 vsize=26004140 memory=18476 CPUtime=0 cores=0-7
/proc/2220/task/2225/stat : 2225 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780021 26628239360 11534 33554432000 4194304 4196468 140735486172432 140667370481936 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2226] ppid=2218 vsize=26004140 memory=24384 CPUtime=0 cores=0-7
/proc/2220/task/2226/stat : 2226 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780021 26628239360 11534 33554432000 4194304 4196468 140735486172432 140667369430160 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2227] ppid=2218 vsize=26004140 memory=4048 CPUtime=0 cores=0-7
/proc/2220/task/2227/stat : 2227 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780021 26628239360 11534 33554432000 4194304 4196468 140735486172432 140667368377360 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2228] ppid=2218 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2228/stat : 2228 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780021 26628239360 11534 33554432000 4194304 4196468 140735486172432 140667367324560 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2229] ppid=2218 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2229/stat : 2229 (java) S 2218 2218 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151780021 26628239360 11534 33554432000 4194304 4196468 140735486172432 140667366271760 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2230] ppid=2218 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2230/stat : 2230 (java) S 2218 2218 30753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151780022 26628239360 11534 33554432000 4194304 4196468 140735486172432 140665857522032 140667451071106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2231] ppid=2218 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2231/stat : 2231 (java) S 2218 2218 30753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151780022 26628239360 11534 33554432000 4194304 4196468 140735486172432 140665856468000 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2232] ppid=2218 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2232/stat : 2232 (java) S 2218 2218 30753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151780023 26628239360 11534 33554432000 4194304 4196468 140735486172432 140665855415152 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2233] ppid=2218 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/2220/task/2233/stat : 2233 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780025 26628239360 11534 33554432000 4194304 4196468 140735486172432 140665854363472 140667451078555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2234] ppid=2218 vsize=26004140 memory=2244 CPUtime=0.02 cores=0-7
/proc/2220/task/2234/stat : 2234 (java) S 2218 2218 30753 0 -1 1077944384 571 0 0 0 2 0 0 0 20 0 20 0 151780025 26628239360 11534 33554432000 4194304 4196468 140735486172432 140665853311856 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2235] ppid=2218 vsize=26004140 memory=2244 CPUtime=0.01 cores=0-7
/proc/2220/task/2235/stat : 2235 (java) S 2218 2218 30753 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 20 0 151780025 26628239360 11534 33554432000 4194304 4196468 140735486172432 140665852259056 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2236] ppid=2218 vsize=26004140 memory=2244 CPUtime=0.03 cores=0-7
/proc/2220/task/2236/stat : 2236 (java) S 2218 2218 30753 0 -1 1077944384 293 0 0 0 3 0 0 0 20 0 20 0 151780025 26628239360 11534 33554432000 4194304 4196468 140735486172432 140665851206256 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2237] ppid=2218 vsize=26004140 memory=2244 CPUtime=0.11 cores=0-7
/proc/2220/task/2237/stat : 2237 (java) R 2218 2218 30753 0 -1 4202560 813 0 0 0 11 0 0 0 20 0 20 0 151780025 26628239360 11534 33554432000 4194304 4196468 140735486172432 140665850153456 140667435399320 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2238] ppid=2218 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2238/stat : 2238 (java) S 2218 2218 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151780025 26628239360 11534 33554432000 4194304 4196468 140735486172432 140665849100896 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2239] ppid=2218 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/2220/task/2239/stat : 2239 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151780026 26628239360 11534 33554432000 4194304 4196468 140735486172432 140665848048176 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47428 KiB
[startup+0.700958 s]
/proc/loadavg: 7.30 7.45 7.47 10/209 2354
/proc/meminfo: memFree=23468300/32770624 swapFree=67108860/67108860
[pid=2218] ppid=2215 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2218/stat : 2218 (xcsp3-exec) S 2215 2218 30753 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151780019 9740288 346 33554432000 4194304 5098028 140726741942800 140726741940904 140025386283644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37146624 140726741951596 140726741951804 140726741951804 140726741954539 0
/proc/2218/statm: 2378 346 289 221 0 87 0
[pid=2220] ppid=2218 vsize=26606292 memory=187168 CPUtime=2.38 cores=0-7
/proc/2220/stat : 2220 (java) S 2218 2218 30753 0 -1 1077944320 16861 0 0 0 229 9 0 0 20 0 28 0 151780019 27244843008 46792 33554432000 4194304 4196468 140735486172432 140735486154976 140667451059959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
/proc/2220/statm: 6651573 46792 3222 1 0 6638807 0
[pid=2220/tid=2221] ppid=2218 vsize=26606292 memory=0 CPUtime=0.42 cores=0-7
/proc/2220/task/2221/stat : 2221 (java) S 2218 2218 30753 0 -1 1077944384 6733 0 0 0 40 2 0 0 20 0 28 0 151780020 27244843008 46792 33554432000 4194304 4196468 140735486172432 140667455300736 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2222] ppid=2218 vsize=26606292 memory=6852 CPUtime=0 cores=0-7
/proc/2220/task/2222/stat : 2222 (java) S 2218 2218 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151780020 27244843008 46792 33554432000 4194304 4196468 140735486172432 140667373640336 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2223] ppid=2218 vsize=26606292 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2223/stat : 2223 (java) S 2218 2218 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151780020 27244843008 46792 33554432000 4194304 4196468 140735486172432 140667372587536 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2224] ppid=2218 vsize=26606292 memory=6154846646982632807 CPUtime=0 cores=0-7
/proc/2220/task/2224/stat : 2224 (java) S 2218 2218 30753 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 151780020 27244843008 46792 33554432000 4194304 4196468 140735486172432 140667371534736 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
################
# More data... #
################
[pid=2220/tid=2229] ppid=2218 vsize=26606292 memory=0 CPUtime=0.01 cores=0-7
/proc/2220/task/2229/stat : 2229 (java) S 2218 2218 30753 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 28 0 151780021 27244843008 84752 33554432000 4194304 4196468 140735486172432 140667366271760 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2230] ppid=2218 vsize=26606292 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2230/stat : 2230 (java) S 2218 2218 30753 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 28 0 151780022 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665857522032 140667451071106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2231] ppid=2218 vsize=26606292 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2231/stat : 2231 (java) S 2218 2218 30753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 151780022 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665856468064 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2232] ppid=2218 vsize=26606292 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2232/stat : 2232 (java) S 2218 2218 30753 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 151780023 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665855415168 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2233] ppid=2218 vsize=26606292 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2233/stat : 2233 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151780025 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665854363472 140667451078555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2234] ppid=2218 vsize=26606292 memory=0 CPUtime=1.02 cores=0-7
/proc/2220/task/2234/stat : 2234 (java) S 2218 2218 30753 0 -1 1077944384 3892 0 0 0 101 1 0 0 20 0 28 0 151780025 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665853311856 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2235] ppid=2218 vsize=26606292 memory=0 CPUtime=0.97 cores=0-7
/proc/2220/task/2235/stat : 2235 (java) S 2218 2218 30753 0 -1 1077944384 2504 0 0 0 97 0 0 0 20 0 28 0 151780025 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665852259056 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2236] ppid=2218 vsize=26606292 memory=0 CPUtime=1.03 cores=0-7
/proc/2220/task/2236/stat : 2236 (java) S 2218 2218 30753 0 -1 1077944384 3896 0 0 0 103 0 0 0 20 0 28 0 151780025 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665851206256 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2237] ppid=2218 vsize=26606292 memory=0 CPUtime=0.42 cores=0-7
/proc/2220/task/2237/stat : 2237 (java) S 2218 2218 30753 0 -1 1077944384 3014 0 0 0 41 1 0 0 20 0 28 0 151780025 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665850153456 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2238] ppid=2218 vsize=26606292 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2238/stat : 2238 (java) S 2218 2218 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151780025 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665849100896 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2239] ppid=2218 vsize=26606292 memory=2209 CPUtime=0 cores=0-7
/proc/2220/task/2239/stat : 2239 (java) S 2218 2218 30753 0 -1 1077944384 784 0 0 0 0 0 0 0 20 0 28 0 151780026 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665848048176 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2523] ppid=2218 vsize=26606292 memory=28868 CPUtime=0.75 cores=0-7
/proc/2220/task/2523/stat : 2523 (java) R 2218 2218 30753 0 -1 4202560 19 0 0 0 73 2 0 0 20 0 28 0 151780607 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665840040656 140667044214896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2524] ppid=2218 vsize=26606292 memory=0 CPUtime=0.74 cores=0-7
/proc/2220/task/2524/stat : 2524 (java) R 2218 2218 30753 0 -1 1077944384 19 0 0 0 70 4 0 0 20 0 28 0 151780607 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665831620240 140667451070165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2525] ppid=2218 vsize=26606292 memory=0 CPUtime=0.72 cores=0-7
/proc/2220/task/2525/stat : 2525 (java) R 2218 2218 30753 0 -1 4202560 19 0 0 0 69 3 0 0 20 0 28 0 151780607 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665830568464 140667451081306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2526] ppid=2218 vsize=26606292 memory=0 CPUtime=0.81 cores=0-7
/proc/2220/task/2526/stat : 2526 (java) R 2218 2218 30753 0 -1 4202560 23 0 0 0 80 1 0 0 20 0 28 0 151780607 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665834779024 140667046379598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2527] ppid=2218 vsize=26606292 memory=0 CPUtime=0.75 cores=0-7
/proc/2220/task/2527/stat : 2527 (java) R 2218 2218 30753 0 -1 4202560 21 0 0 0 73 2 0 0 20 0 28 0 151780607 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665833726224 140667044214045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2528] ppid=2218 vsize=26606292 memory=0 CPUtime=0.75 cores=0-7
/proc/2220/task/2528/stat : 2528 (java) R 2218 2218 30753 0 -1 4202560 16 0 0 0 73 2 0 0 20 0 28 0 151780607 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665836884112 140667045295865 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2529] ppid=2218 vsize=26606292 memory=0 CPUtime=0.74 cores=0-7
/proc/2220/task/2529/stat : 2529 (java) S 2218 2218 30753 0 -1 1077944384 18 0 0 0 72 2 0 0 20 0 28 0 151780607 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665832673296 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2530] ppid=2218 vsize=26606292 memory=0 CPUtime=0.77 cores=0-7
/proc/2220/task/2530/stat : 2530 (java) S 2218 2218 30753 0 -1 1077944384 19 0 0 0 75 2 0 0 20 0 28 0 151780607 27244843008 84752 33554432000 4194304 4196468 140735486172432 140665835831184 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
Current children cumulated CPU time: 42.24 s
Current children cumulated vsize: 26615804 KiB
Current children cumulated memory: 340392 KiB
[startup+7.2011 s]
/proc/loadavg: 7.11 7.41 7.46 9/209 2530
/proc/meminfo: memFree=23301080/32770624 swapFree=67108860/67108860
[pid=2218] ppid=2215 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2218/stat : 2218 (xcsp3-exec) S 2215 2218 30753 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151780019 9740288 346 33554432000 4194304 5098028 140726741942800 140726741940904 140025386283644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37146624 140726741951596 140726741951804 140726741951804 140726741954539 0
/proc/2218/statm: 2378 346 289 221 0 87 0
[pid=2220] ppid=2218 vsize=26606292 memory=340076 CPUtime=44.88 cores=0-7
/proc/2220/stat : 2220 (java) S 2218 2218 30753 0 -1 1077944320 30278 0 0 0 4352 136 0 0 20 0 28 0 151780019 27244843008 85019 33554432000 4194304 4196468 140735486172432 140735486154976 140667451059959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
/proc/2220/statm: 6651573 85019 3248 1 0 6638807 0
[pid=2220/tid=2221] ppid=2218 vsize=26606292 memory=0 CPUtime=0.43 cores=0-7
/proc/2220/task/2221/stat : 2221 (java) S 2218 2218 30753 0 -1 1077944384 6922 0 0 0 41 2 0 0 20 0 28 0 151780020 27244843008 85019 33554432000 4194304 4196468 140735486172432 140667455300736 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2222] ppid=2218 vsize=26606292 memory=8112282956445269571 CPUtime=0.01 cores=0-7
/proc/2220/task/2222/stat : 2222 (java) S 2218 2218 30753 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 28 0 151780020 27244843008 85019 33554432000 4194304 4196468 140735486172432 140667373640336 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2223] ppid=2218 vsize=26606292 memory=9191 CPUtime=0.01 cores=0-7
/proc/2220/task/2223/stat : 2223 (java) S 2218 2218 30753 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 28 0 151780020 27244843008 85019 33554432000 4194304 4196468 140735486172432 140667372587536 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2224] ppid=2218 vsize=26606292 memory=21867 CPUtime=0.01 cores=0-7
/proc/2220/task/2224/stat : 2224 (java) S 2218 2218 30753 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 28 0 151780020 27244843008 85019 33554432000 4194304 4196468 140735486172432 140667371534736 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2225] ppid=2218 vsize=26606292 memory=0 CPUtime=0.01 cores=0-7
/proc/2220/task/2225/stat : 2225 (java) S 2218 2218 30753 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 28 0 151780021 27244843008 85019 33554432000 4194304 4196468 140735486172432 140667370481936 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2226] ppid=2218 vsize=26606292 memory=2209 CPUtime=0.01 cores=0-7
/proc/2220/task/2226/stat : 2226 (java) S 2218 2218 30753 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 28 0 151780021 27244843008 85019 33554432000 4194304 4196468 140735486172432 140667369430160 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2227] ppid=2218 vsize=26606292 memory=45796 CPUtime=0.01 cores=0-7
/proc/2220/task/2227/stat : 2227 (java) S 2218 2218 30753 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 28 0 151780021 27244843008 85019 33554432000 4194304 4196468 140735486172432 140667368377360 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2228] ppid=2218 vsize=26606292 memory=0 CPUtime=0.01 cores=0-7
/proc/2220/task/2228/stat : 2228 (java) S 2218 2218 30753 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 28 0 151780021 27244843008 85019 33554432000 4194304 4196468 140735486172432 140667367324560 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2229] ppid=2218 vsize=26606292 memory=0 CPUtime=0.01 cores=0-7
/proc/2220/task/2229/stat : 2229 (java) S 2218 2218 30753 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 151780021 27244843008 85019 33554432000 4194304 4196468 140735486172432 140667366271760 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2230] ppid=2218 vsize=26606292 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2230/stat : 2230 (java) S 2218 2218 30753 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 28 0 151780022 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665857522032 140667451071106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2231] ppid=2218 vsize=26606292 memory=1 CPUtime=0 cores=0-7
/proc/2220/task/2231/stat : 2231 (java) S 2218 2218 30753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 151780022 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665856468064 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2232] ppid=2218 vsize=26606292 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2232/stat : 2232 (java) S 2218 2218 30753 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 151780023 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665855415168 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2233] ppid=2218 vsize=26606292 memory=1 CPUtime=0 cores=0-7
/proc/2220/task/2233/stat : 2233 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151780025 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665854363472 140667451078555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2234] ppid=2218 vsize=26606292 memory=0 CPUtime=1.02 cores=0-7
/proc/2220/task/2234/stat : 2234 (java) S 2218 2218 30753 0 -1 1077944384 3892 0 0 0 101 1 0 0 20 0 28 0 151780025 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665853311856 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2235] ppid=2218 vsize=26606292 memory=0 CPUtime=0.97 cores=0-7
/proc/2220/task/2235/stat : 2235 (java) S 2218 2218 30753 0 -1 1077944384 2504 0 0 0 97 0 0 0 20 0 28 0 151780025 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665852259056 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2236] ppid=2218 vsize=26606292 memory=0 CPUtime=1.03 cores=0-7
/proc/2220/task/2236/stat : 2236 (java) S 2218 2218 30753 0 -1 1077944384 3896 0 0 0 103 0 0 0 20 0 28 0 151780025 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665851206256 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2237] ppid=2218 vsize=26606292 memory=0 CPUtime=0.43 cores=0-7
/proc/2220/task/2237/stat : 2237 (java) S 2218 2218 30753 0 -1 1077944384 3093 0 0 0 42 1 0 0 20 0 28 0 151780025 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665850153456 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2238] ppid=2218 vsize=26606292 memory=101 CPUtime=0 cores=0-7
/proc/2220/task/2238/stat : 2238 (java) S 2218 2218 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151780025 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665849100896 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2239] ppid=2218 vsize=26606292 memory=97 CPUtime=0 cores=0-7
/proc/2220/task/2239/stat : 2239 (java) S 2218 2218 30753 0 -1 1077944384 784 0 0 0 0 0 0 0 20 0 28 0 151780026 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665848048176 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2523] ppid=2218 vsize=26606292 memory=103 CPUtime=1.07 cores=0-7
/proc/2220/task/2523/stat : 2523 (java) R 2218 2218 30753 0 -1 1077944384 20 0 0 0 103 4 0 0 20 0 28 0 151780607 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665840040656 140667451070165 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2524] ppid=2218 vsize=26606292 memory=42 CPUtime=1.06 cores=0-7
/proc/2220/task/2524/stat : 2524 (java) R 2218 2218 30753 0 -1 4202560 20 0 0 0 102 4 0 0 20 0 28 0 151780607 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665831620240 140667431902951 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2525] ppid=2218 vsize=26606292 memory=0 CPUtime=1.04 cores=0-7
/proc/2220/task/2525/stat : 2525 (java) S 2218 2218 30753 0 -1 1077944384 20 0 0 0 100 4 0 0 20 0 28 0 151780607 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665830568464 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2526] ppid=2218 vsize=26606292 memory=0 CPUtime=1.16 cores=0-7
/proc/2220/task/2526/stat : 2526 (java) R 2218 2218 30753 0 -1 4202560 37 0 0 0 114 2 0 0 20 0 28 0 151780607 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665834779024 140667046356282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2527] ppid=2218 vsize=26606292 memory=97 CPUtime=1.09 cores=0-7
/proc/2220/task/2527/stat : 2527 (java) R 2218 2218 30753 0 -1 4202560 34 0 0 0 106 3 0 0 20 0 28 0 151780607 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665833726128 140667045499539 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2528] ppid=2218 vsize=26606292 memory=139798300591515 CPUtime=1.08 cores=0-7
/proc/2220/task/2528/stat : 2528 (java) R 2218 2218 30753 0 -1 4202560 17 0 0 0 104 4 0 0 20 0 28 0 151780607 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665836884112 140667044215047 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2529] ppid=2218 vsize=26606292 memory=279596601187552 CPUtime=1.05 cores=0-7
/proc/2220/task/2529/stat : 2529 (java) S 2218 2218 30753 0 -1 1077944384 20 0 0 0 102 3 0 0 20 0 28 0 151780607 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665832673296 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2530] ppid=2218 vsize=26606292 memory=0 CPUtime=1.11 cores=0-7
/proc/2220/task/2530/stat : 2530 (java) R 2218 2218 30753 0 -1 4202560 41 0 0 0 108 3 0 0 20 0 28 0 151780607 27244843008 85019 33554432000 4194304 4196468 140735486172432 140665835831184 140667046025810 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
Current children cumulated CPU time: 44.88 s
Current children cumulated vsize: 26615804 KiB
Current children cumulated memory: 341460 KiB
[startup+7.30112 s]
/proc/loadavg: 7.11 7.41 7.46 9/209 2530
/proc/meminfo: memFree=23301080/32770624 swapFree=67108860/67108860
[pid=2218] ppid=2215 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2218/stat : 2218 (xcsp3-exec) S 2215 2218 30753 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151780019 9740288 346 33554432000 4194304 5098028 140726741942800 140726741940904 140025386283644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37146624 140726741951596 140726741951804 140726741951804 140726741954539 0
/proc/2218/statm: 2378 346 289 221 0 87 0
[pid=2220] ppid=2218 vsize=26606292 memory=340088 CPUtime=45.53 cores=0-7
/proc/2220/stat : 2220 (java) S 2218 2218 30753 0 -1 1077944320 30787 0 0 0 4414 139 0 0 20 0 28 0 151780019 27244843008 85022 33554432000 4194304 4196468 140735486172432 140735486154976 140667451059959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
/proc/2220/statm: 6651573 85022 3248 1 0 6638807 0
[pid=2220/tid=2221] ppid=2218 vsize=26606292 memory=8112282956445269571 CPUtime=0.43 cores=0-7
/proc/2220/task/2221/stat : 2221 (java) S 2218 2218 30753 0 -1 1077944384 6924 0 0 0 41 2 0 0 20 0 28 0 151780020 27244843008 85022 33554432000 4194304 4196468 140735486172432 140667455300736 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2222] ppid=2218 vsize=26606292 memory=21723 CPUtime=0.01 cores=0-7
/proc/2220/task/2222/stat : 2222 (java) S 2218 2218 30753 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 28 0 151780020 27244843008 85022 33554432000 4194304 4196468 140735486172432 140667373640336 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2223] ppid=2218 vsize=26606292 memory=0 CPUtime=0.01 cores=0-7
/proc/2220/task/2223/stat : 2223 (java) S 2218 2218 30753 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 28 0 151780020 27244843008 85022 33554432000 4194304 4196468 140735486172432 140667372587536 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2224] ppid=2218 vsize=26606292 memory=0 CPUtime=0.01 cores=0-7
/proc/2220/task/2224/stat : 2224 (java) S 2218 2218 30753 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 28 0 151780020 27244843008 85022 33554432000 4194304 4196468 140735486172432 140667371534736 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2225] ppid=2218 vsize=26606292 memory=3618978988182353457 CPUtime=0.01 cores=0-7
/proc/2220/task/2225/stat : 2225 (java) S 2218 2218 30753 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 28 0 151780021 27244843008 85022 33554432000 4194304 4196468 140735486172432 140667370481936 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2226] ppid=2218 vsize=26606292 memory=5938648687399508391 CPUtime=0.01 cores=0-7
/proc/2220/task/2226/stat : 2226 (java) S 2218 2218 30753 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 28 0 151780021 27244843008 85022 33554432000 4194304 4196468 140735486172432 140667369430160 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2227] ppid=2218 vsize=26606292 memory=5938648687399508391 CPUtime=0.01 cores=0-7
/proc/2220/task/2227/stat : 2227 (java) S 2218 2218 30753 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 28 0 151780021 27244843008 85022 33554432000 4194304 4196468 140735486172432 140667368377360 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2228] ppid=2218 vsize=26606292 memory=5938648687399508391 CPUtime=0.01 cores=0-7
/proc/2220/task/2228/stat : 2228 (java) S 2218 2218 30753 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 28 0 151780021 27244843008 85022 33554432000 4194304 4196468 140735486172432 140667367324560 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2229] ppid=2218 vsize=26606292 memory=139798300328833 CPUtime=0.01 cores=0-7
/proc/2220/task/2229/stat : 2229 (java) S 2218 2218 30753 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 151780021 27244843008 85022 33554432000 4194304 4196468 140735486172432 140667366271760 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2230] ppid=2218 vsize=26606292 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/2220/task/2230/stat : 2230 (java) S 2218 2218 30753 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 28 0 151780022 27244843008 85022 33554432000 4194304 4196468 140735486172432 140665857522032 140667451071106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2231] ppid=2218 vsize=26606292 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2231/stat : 2231 (java) S 2218 2218 30753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 151780022 27244843008 85022 33554432000 4194304 4196468 140735486172432 140665856468064 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2232] ppid=2218 vsize=26606292 memory=0 CPUtime=0 cores=0-7
/proc/2220/task/2232/stat : 2232 (java) S 2218 2218 30753 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 151780023 27244843008 85022 33554432000 4194304 4196468 140735486172432 140665855415168 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2233] ppid=2218 vsize=26606292 memory=55 CPUtime=0 cores=0-7
/proc/2220/task/2233/stat : 2233 (java) S 2218 2218 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151780025 27244843008 85022 33554432000 4194304 4196468 140735486172432 140665854363472 140667451078555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2234] ppid=2218 vsize=26606292 memory=-3117775541953849953 CPUtime=1.02 cores=0-7
/proc/2220/task/2234/stat : 2234 (java) S 2218 2218 30753 0 -1 1077944384 3921 0 0 0 101 1 0 0 20 0 28 0 151780025 27244843008 85022 33554432000 4194304 4196468 140735486172432 140665853311856 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2235] ppid=2218 vsize=26606292 memory=6944656592455359580 CPUtime=0.97 cores=0-7
/proc/2220/task/2235/stat : 2235 (java) S 2218 2218 30753 0 -1 1077944384 2504 0 0 0 97 0 0 0 20 0 28 0 151780025 27244843008 85022 33554432000 4194304 4196468 140735486172432 140665852259056 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2236] ppid=2218 vsize=26606292 memory=8414074075373934941 CPUtime=1.03 cores=0-7
/proc/2220/task/2236/stat : 2236 (java) S 2218 2218 30753 0 -1 1077944384 3928 0 0 0 103 0 0 0 20 0 28 0 151780025 27244843008 85022 33554432000 4194304 4196468 140735486172432 140665851206256 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2237] ppid=2218 vsize=26606292 memory=4144 CPUtime=0.43 cores=0-7
/proc/2220/task/2237/stat : 2237 (java) S 2218 2218 30753 0 -1 1077944384 3247 0 0 0 42 1 0 0 20 0 28 0 151780025 27244843008 85022 33554432000 4194304 4196468 140735486172432 140665850153456 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2238] ppid=2218 vsize=26606292 memory=42464 CPUtime=0 cores=0-7
/proc/2220/task/2238/stat : 2238 (java) S 2218 2218 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151780025 27244843008 85022 33554432000 4194304 4196468 140735486172432 140665849100896 140667451070165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
[pid=2220/tid=2239] ppid=2218 vsize=26606292 memory=1296 CPUtime=0 cores=0-7
/proc/2220/task/2239/stat : 2239 (java) S 2218 2218 30753 0 -1 1077944384 784 0 0 0 0 0 0 0 20 0 28 0 151780026 27244843008 85022 33554432000 4194304 4196468 140735486172432 140665848048176 140667451071106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37060608 140735486174360 140735486174536 140735486174536 140735486177231 0
Current children cumulated CPU time: 45.53 s
Current children cumulated vsize: 26615804 KiB
Current children cumulated memory: 341472 KiB
Child status: 0
Real time (s): 7.32071
CPU time (s): 45.6057
CPU user time (s): 44.1941
CPU system time (s): 1.41167
CPU usage (%): 622.969
Max. virtual memory (cumulated for all children) (KiB): 26615804
Max. memory (cumulated for all children) (KiB): 347692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.1941
system time used= 1.41167
maximum resident set size= 346312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 499214
involuntary context switches= 317
# summary of solver processes directly reported to runsolver:
# pid: 2218
# total CPU time (s): 45.6057
# total CPU user time (s): 44.1941
# total CPU system time (s): 1.41167
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.078049 second user time and 0.128301 second system time
The end
Begin job on node149 at 2017-08-20 01:42:13
IDJOB=4281394
IDBENCH=133504
IDSOLVER=2676
FILE ID=node149/4281394-1503186993
RUNJOBID= node149-1503176429-30780
PBS_JOBID= 20630847
Free space on /tmp= 61768 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s40/Knapsack-40-150-07.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-4281394-1503186993/watcher-4281394-1503186993 -o /tmp/evaluation-result-4281394-1503186993/solver-4281394-1503186993 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503176429-30780 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 52808671 HOME/instance-4281394-1503186993.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= ddd3703b8a67d475e5b0b20416c98cf0
RANDOM SEED=52808671
node149.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.43
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.43
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.43
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.43
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: 23629472 kB
MemAvailable: 31951036 kB
Buffers: 284572 kB
Cached: 8308652 kB
SwapCached: 0 kB
Active: 2138304 kB
Inactive: 6509848 kB
Active(anon): 3580 kB
Inactive(anon): 87456 kB
Active(file): 2134724 kB
Inactive(file): 6422392 kB
Unevictable: 7916 kB
Mlocked: 7916 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7912 kB
Writeback: 0 kB
AnonPages: 74156 kB
Mapped: 51488 kB
Shmem: 33416 kB
Slab: 187092 kB
SReclaimable: 160568 kB
SUnreclaim: 26524 kB
KernelStack: 3552 kB
PageTables: 5192 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 333584 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 97664 kB
DirectMap2M: 33447936 kB
Free space on /tmp at the end= 61764 MiB
End job on node149 at 2017-08-20 01:42:20