0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271352-1502834384.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4271352-1502834384.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
20.55/6.69 c solve instance...
31.52/8.26 o 15
37.05/11.87 o 14
1264.51/1236.07 o 13
1268.56/1236.62 o 12
1292.97/1241.45 o 11
2612.14/2480.64 o 10
2925.94/2520.10 s SATISFIABLE
2925.94/2520.10 v <instantiation>
2925.94/2520.10 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] </list>
2925.94/2520.10 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 1 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 1 2 3 4 5 5 5 5 5 5 5 5 5 5 5 5 5 0 1 2 3 4 5 6 6 6 6 6 6 6 6 6 6 6 6 0 1 2 3 4 5 6 7 7 7 7 7 7 7 7 7 7 7 0 1 2 3 4 5 6 7 8 8 8 8 8 8 8 8 8 8 0 1 2 3 4 5 6 7 8 9 9 9 9 9 9 9 9 9 0 1 2 3 4 5 6 7 8 9 10 10 10 10 10 10 10 10 0 1 2 4 5 6 7 8 9 10 3 4 5 6 7 8 9 10 0 1 2 4 5 6 7 8 9 10 3 5 4 7 6 9 10 8 0 1 2 4 5 6 7 8 9 10 3 6 7 4 5 10 8 9 0 1 2 4 5 6 7 8 9 10 3 7 8 9 10 4 5 6 0 1 2 4 5 6 7 8 9 10 3 8 6 10 9 5 4 7 </values>
2925.94/2520.10 v </instantiation>
2925.94/2520.10 c Unexpected resolution interruption!
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 (13503 MiB free)
memory of node 1: 16384 MiB (14582 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271352-1502834384/watcher-4271352-1502834384 -o /tmp/evaluation-result-4271352-1502834384/solver-4271352-1502834384 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502825631-5298 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 99578659 HOME/instance-4271352-1502834384.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=5913, runsolver pid=5910
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 4.94 3.65 2.89 2/199 5934
/proc/meminfo: memFree=28743692/32770624 swapFree=67108860/67108860
[pid=5913] ppid=5910 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5913/stat : 5913 (xcsp3-exec) S 5910 5913 5271 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116519310 9740288 346 33554432000 4194304 5098028 140735899746688 140735899744792 139701996733052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9093120 140735899755622 140735899755831 140735899755831 140735899758571 0
/proc/5913/statm: 2378 346 289 221 0 87 0
[pid=5915] ppid=5913 vsize=25999808 memory=27344 CPUtime=0.12 cores=0-7
/proc/5915/stat : 5915 (java) S 5913 5913 5271 0 -1 1077944320 5719 0 0 0 10 2 0 0 20 0 20 0 116519310 26623803392 6836 33554432000 4194304 4196468 140720841829696 140720841812240 139969166270199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
/proc/5915/statm: 6499952 6836 2864 1 0 6488269 0
[pid=5915/tid=5916] ppid=5913 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/5915/task/5916/stat : 5916 (java) R 5913 5913 5271 0 -1 4202560 3715 0 0 0 7 1 0 0 20 0 20 0 116519311 26623803392 6836 33554432000 4194304 4196468 140720841829696 139969170503472 139969166282134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5917] ppid=5913 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5915/task/5917/stat : 5917 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26623803392 6836 33554432000 4194304 4196468 140720841829696 139969118890768 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5918] ppid=5913 vsize=25999808 memory=140595696928384 CPUtime=0 cores=0-7
/proc/5915/task/5918/stat : 5918 (java) S 5913 5913 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116519311 26623803392 6836 33554432000 4194304 4196468 140720841829696 139969117838224 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5919] ppid=5913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5919/stat : 5919 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26623803392 6836 33554432000 4194304 4196468 140720841829696 139969116785680 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5920] ppid=5913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5920/stat : 5920 (java) S 5913 5913 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116519311 26623803392 6836 33554432000 4194304 4196468 140720841829696 139969115733136 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5921] ppid=5913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5921/stat : 5921 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26623803392 6836 33554432000 4194304 4196468 140720841829696 139969114679568 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5922] ppid=5913 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5915/task/5922/stat : 5922 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26623803392 6836 33554432000 4194304 4196468 140720841829696 139969113627024 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5923] ppid=5913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5923/stat : 5923 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26623803392 6836 33554432000 4194304 4196468 140720841829696 139969112574480 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5924] ppid=5913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5924/stat : 5924 (java) S 5913 5913 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116519312 26623803392 6836 33554432000 4194304 4196468 140720841829696 139969111521936 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5925] ppid=5913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5925/stat : 5925 (java) S 5913 5913 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116519313 26623803392 6836 33554432000 4194304 4196468 140720841829696 139968562031088 139969166281346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5926] ppid=5913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5926/stat : 5926 (java) S 5913 5913 5271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116519313 26623803392 6836 33554432000 4194304 4196468 140720841829696 139968560977312 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5927] ppid=5913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5927/stat : 5927 (java) S 5913 5913 5271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116519314 26623803392 6836 33554432000 4194304 4196468 140720841829696 139968559924720 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5928] ppid=5913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5928/stat : 5928 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519316 26623803392 6836 33554432000 4194304 4196468 140720841829696 139968558873296 139969166288795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5929] ppid=5913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5929/stat : 5929 (java) S 5913 5913 5271 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 116519316 26623803392 6836 33554432000 4194304 4196468 140720841829696 139968557819888 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5930] ppid=5913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5930/stat : 5930 (java) S 5913 5913 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116519316 26623803392 6836 33554432000 4194304 4196468 140720841829696 139968556767344 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5931] ppid=5913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5931/stat : 5931 (java) S 5913 5913 5271 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 116519316 26623803392 6836 33554432000 4194304 4196468 140720841829696 139968487876848 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5932] ppid=5913 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/5915/task/5932/stat : 5932 (java) S 5913 5913 5271 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 20 0 116519316 26623803392 6836 33554432000 4194304 4196468 140720841829696 139968486824304 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5933] ppid=5913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5933/stat : 5933 (java) S 5913 5913 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116519316 26623803392 6836 33554432000 4194304 4196468 140720841829696 139968485772000 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5934] ppid=5913 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5915/task/5934/stat : 5934 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519316 26623803392 6836 33554432000 4194304 4196468 140720841829696 139968484719536 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28728 KiB
[startup+0.210389 s]*
/proc/loadavg: 4.94 3.65 2.89 2/199 5934
/proc/meminfo: memFree=28732636/32770624 swapFree=67108860/67108860
[pid=5913] ppid=5910 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5913/stat : 5913 (xcsp3-exec) S 5910 5913 5271 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116519310 9740288 346 33554432000 4194304 5098028 140735899746688 140735899744792 139701996733052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9093120 140735899755622 140735899755831 140735899755831 140735899758571 0
/proc/5913/statm: 2378 346 289 221 0 87 0
[pid=5915] ppid=5913 vsize=26004064 memory=39244 CPUtime=0.33 cores=0-7
/proc/5915/stat : 5915 (java) S 5913 5913 5271 0 -1 1077944320 8335 0 0 0 30 3 0 0 20 0 20 0 116519310 26628161536 9811 33554432000 4194304 4196468 140720841829696 140720841812240 139969166270199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
/proc/5915/statm: 6501016 9811 3061 1 0 6488269 0
[pid=5915/tid=5916] ppid=5913 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5915/task/5916/stat : 5916 (java) R 5913 5913 5271 0 -1 4202560 5434 0 0 0 17 2 0 0 20 0 20 0 116519311 26628161536 9811 33554432000 4194304 4196468 140720841829696 139969170491192 139969166282134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5917] ppid=5913 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/5915/task/5917/stat : 5917 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26628161536 9811 33554432000 4194304 4196468 140720841829696 139969118890768 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5918] ppid=5913 vsize=26004064 memory=140595696937223 CPUtime=0 cores=0-7
/proc/5915/task/5918/stat : 5918 (java) S 5913 5913 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116519311 26628161536 9811 33554432000 4194304 4196468 140720841829696 139969117838224 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5919] ppid=5913 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5915/task/5919/stat : 5919 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26628161536 9811 33554432000 4194304 4196468 140720841829696 139969116785680 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5920] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5920/stat : 5920 (java) S 5913 5913 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116519311 26628161536 9811 33554432000 4194304 4196468 140720841829696 139969115733136 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5921] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5921/stat : 5921 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26628161536 9811 33554432000 4194304 4196468 140720841829696 139969114679568 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5922] ppid=5913 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5915/task/5922/stat : 5922 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26628161536 9811 33554432000 4194304 4196468 140720841829696 139969113627024 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5923] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5923/stat : 5923 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26628161536 9811 33554432000 4194304 4196468 140720841829696 139969112574480 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5924] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5924/stat : 5924 (java) S 5913 5913 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116519312 26628161536 9811 33554432000 4194304 4196468 140720841829696 139969111521936 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5925] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5925/stat : 5925 (java) S 5913 5913 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116519313 26628161536 9811 33554432000 4194304 4196468 140720841829696 139968562031088 139969166281346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5926] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5926/stat : 5926 (java) S 5913 5913 5271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116519313 26628161536 9811 33554432000 4194304 4196468 140720841829696 139968560977312 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5927] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5927/stat : 5927 (java) S 5913 5913 5271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116519314 26628161536 9811 33554432000 4194304 4196468 140720841829696 139968559924720 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5928] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5928/stat : 5928 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519316 26628161536 9811 33554432000 4194304 4196468 140720841829696 139968558873296 139969166288795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5929] ppid=5913 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5915/task/5929/stat : 5929 (java) S 5913 5913 5271 0 -1 1077944384 562 0 0 0 1 0 0 0 20 0 20 0 116519316 26628161536 9811 33554432000 4194304 4196468 140720841829696 139968557819888 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5930] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5930/stat : 5930 (java) S 5913 5913 5271 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 116519316 26628161536 9811 33554432000 4194304 4196468 140720841829696 139968556767344 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5931] ppid=5913 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/5915/task/5931/stat : 5931 (java) S 5913 5913 5271 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 20 0 116519316 26628161536 9811 33554432000 4194304 4196468 140720841829696 139968487876848 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5932] ppid=5913 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/5915/task/5932/stat : 5932 (java) R 5913 5913 5271 0 -1 4202560 749 0 0 0 8 0 0 0 20 0 20 0 116519316 26628161536 9811 33554432000 4194304 4196468 140720841829696 139968486824304 139969151408382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5933] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5933/stat : 5933 (java) S 5913 5913 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116519316 26628161536 9811 33554432000 4194304 4196468 140720841829696 139968485772000 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5934] ppid=5913 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5915/task/5934/stat : 5934 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519316 26628161536 9811 33554432000 4194304 4196468 140720841829696 139968484719536 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40628 KiB
[startup+0.310168 s]*
/proc/loadavg: 4.94 3.65 2.89 4/199 5934
/proc/meminfo: memFree=28728852/32770624 swapFree=67108860/67108860
[pid=5913] ppid=5910 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5913/stat : 5913 (xcsp3-exec) S 5910 5913 5271 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116519310 9740288 346 33554432000 4194304 5098028 140735899746688 140735899744792 139701996733052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9093120 140735899755622 140735899755831 140735899755831 140735899758571 0
/proc/5913/statm: 2378 346 289 221 0 87 0
[pid=5915] ppid=5913 vsize=26004064 memory=46232 CPUtime=0.5 cores=0-7
/proc/5915/stat : 5915 (java) S 5913 5913 5271 0 -1 1077944320 9229 0 0 0 47 3 0 0 20 0 20 0 116519310 26628161536 11558 33554432000 4194304 4196468 140720841829696 140720841812240 139969166270199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
/proc/5915/statm: 6501016 11558 3093 1 0 6488269 0
[pid=5915/tid=5916] ppid=5913 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5915/task/5916/stat : 5916 (java) R 5913 5913 5271 0 -1 4202560 6106 0 0 0 27 2 0 0 20 0 20 0 116519311 26628161536 11558 33554432000 4194304 4196468 140720841829696 139969170508016 139969166282134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5917] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5917/stat : 5917 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26628161536 11558 33554432000 4194304 4196468 140720841829696 139969118890768 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5918] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5918/stat : 5918 (java) S 5913 5913 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116519311 26628161536 11558 33554432000 4194304 4196468 140720841829696 139969117838224 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5919] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5919/stat : 5919 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26628161536 11558 33554432000 4194304 4196468 140720841829696 139969116785680 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5920] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5920/stat : 5920 (java) S 5913 5913 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116519311 26628161536 11558 33554432000 4194304 4196468 140720841829696 139969115733136 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5921] ppid=5913 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/5915/task/5921/stat : 5921 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26628161536 11558 33554432000 4194304 4196468 140720841829696 139969114679568 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5922] ppid=5913 vsize=26004064 memory=140595553203119 CPUtime=0 cores=0-7
/proc/5915/task/5922/stat : 5922 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26628161536 11558 33554432000 4194304 4196468 140720841829696 139969113627024 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5923] ppid=5913 vsize=26004064 memory=140595553205424 CPUtime=0 cores=0-7
/proc/5915/task/5923/stat : 5923 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26628161536 11558 33554432000 4194304 4196468 140720841829696 139969112574480 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5924] ppid=5913 vsize=26004064 memory=140595553207728 CPUtime=0 cores=0-7
/proc/5915/task/5924/stat : 5924 (java) S 5913 5913 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116519312 26628161536 11558 33554432000 4194304 4196468 140720841829696 139969111521936 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5925] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5925/stat : 5925 (java) S 5913 5913 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116519313 26628161536 11558 33554432000 4194304 4196468 140720841829696 139968562031088 139969166281346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5926] ppid=5913 vsize=26004064 memory=281191106422416 CPUtime=0 cores=0-7
/proc/5915/task/5926/stat : 5926 (java) S 5913 5913 5271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116519313 26628161536 11558 33554432000 4194304 4196468 140720841829696 139968560977312 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5927] ppid=5913 vsize=26004064 memory=281191106429328 CPUtime=0 cores=0-7
/proc/5915/task/5927/stat : 5927 (java) S 5913 5913 5271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116519314 26628161536 11558 33554432000 4194304 4196468 140720841829696 139968559924720 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5928] ppid=5913 vsize=26004064 memory=281191106370608 CPUtime=0 cores=0-7
/proc/5915/task/5928/stat : 5928 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519316 26628161536 11558 33554432000 4194304 4196468 140720841829696 139968558873296 139969166288795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5929] ppid=5913 vsize=26004064 memory=281191106443152 CPUtime=0.01 cores=0-7
/proc/5915/task/5929/stat : 5929 (java) S 5913 5913 5271 0 -1 1077944384 564 0 0 0 1 0 0 0 20 0 20 0 116519316 26628161536 11558 33554432000 4194304 4196468 140720841829696 139968557819888 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5930] ppid=5913 vsize=26004064 memory=281191106450064 CPUtime=0.01 cores=0-7
/proc/5915/task/5930/stat : 5930 (java) R 5913 5913 5271 0 -1 4202560 48 0 0 0 1 0 0 0 20 0 20 0 116519316 26628161536 11558 33554432000 4194304 4196468 140720841829696 139968556767344 139969149770605 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5931] ppid=5913 vsize=26004064 memory=281191106447760 CPUtime=0.03 cores=0-7
/proc/5915/task/5931/stat : 5931 (java) S 5913 5913 5271 0 -1 1077944384 344 0 0 0 3 0 0 0 20 0 20 0 116519316 26628161536 11558 33554432000 4194304 4196468 140720841829696 139968487876848 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5932] ppid=5913 vsize=26004064 memory=281191106463920 CPUtime=0.13 cores=0-7
/proc/5915/task/5932/stat : 5932 (java) R 5913 5913 5271 0 -1 4202560 865 0 0 0 13 0 0 0 20 0 20 0 116519316 26628161536 11558 33554432000 4194304 4196468 140720841829696 139968486821240 139969145673332 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5933] ppid=5913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5933/stat : 5933 (java) S 5913 5913 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116519316 26628161536 11558 33554432000 4194304 4196468 140720841829696 139968485772000 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5934] ppid=5913 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5915/task/5934/stat : 5934 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519316 26628161536 11558 33554432000 4194304 4196468 140720841829696 139968484719536 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47616 KiB
[startup+0.700951 s]
/proc/loadavg: 4.94 3.65 2.89 5/199 5934
/proc/meminfo: memFree=28702084/32770624 swapFree=67108860/67108860
[pid=5913] ppid=5910 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5913/stat : 5913 (xcsp3-exec) S 5910 5913 5271 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116519310 9740288 346 33554432000 4194304 5098028 140735899746688 140735899744792 139701996733052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9093120 140735899755622 140735899755831 140735899755831 140735899758571 0
/proc/5913/statm: 2378 346 289 221 0 87 0
[pid=5915] ppid=5913 vsize=26004140 memory=167988 CPUtime=2.06 cores=0-7
/proc/5915/stat : 5915 (java) S 5913 5913 5271 0 -1 1077944320 13101 0 0 0 200 6 0 0 20 0 20 0 116519310 26628239360 41997 33554432000 4194304 4196468 140720841829696 140720841812240 139969166270199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
/proc/5915/statm: 6501035 41997 3201 1 0 6488269 0
[pid=5915/tid=5916] ppid=5913 vsize=26004140 memory=281191106821808 CPUtime=0.67 cores=0-7
/proc/5915/task/5916/stat : 5916 (java) R 5913 5913 5271 0 -1 4202560 6447 0 0 0 63 4 0 0 20 0 20 0 116519311 26628239360 41997 33554432000 4194304 4196468 140720841829696 139969170504952 139968776921017 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5917] ppid=5913 vsize=26004140 memory=140595553411952 CPUtime=0 cores=0-7
/proc/5915/task/5917/stat : 5917 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26628239360 41997 33554432000 4194304 4196468 140720841829696 139969118890768 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5918] ppid=5913 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/5915/task/5918/stat : 5918 (java) S 5913 5913 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116519311 26628239360 41997 33554432000 4194304 4196468 140720841829696 139969117838224 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5919] ppid=5913 vsize=26004140 memory=1200 CPUtime=0 cores=0-7
/proc/5915/task/5919/stat : 5919 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116519311 26628239360 41997 33554432000 4194304 4196468 140720841829696 139969116785680 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
################
# More data... #
################
[pid=5915/tid=6035] ppid=5913 vsize=26538700 memory=1384 CPUtime=11.23 cores=0-7
/proc/5915/task/6035/stat : 6035 (java) S 5913 5913 5271 0 -1 1077944384 878 0 0 0 1121 2 0 0 20 0 28 0 116643456 27175628800 734089 33554432000 4194304 4196468 140720841829696 139968477209936 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
Current children cumulated CPU time: 2573.82 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2937740 KiB
[startup+2502.3 s]
/proc/loadavg: 2.80 1.42 1.29 9/207 6061
/proc/meminfo: memFree=25473964/32770624 swapFree=67108860/67108860
[pid=5913] ppid=5910 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5913/stat : 5913 (xcsp3-exec) S 5910 5913 5271 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116519310 9740288 346 33554432000 4194304 5098028 140735899746688 140735899744792 139701996733052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9093120 140735899755622 140735899755831 140735899755831 140735899758571 0
/proc/5913/statm: 2378 346 289 221 0 87 0
[pid=5915] ppid=5913 vsize=26538700 memory=3292848 CPUtime=2784.74 cores=0-7
/proc/5915/stat : 5915 (java) S 5913 5913 5271 0 -1 1077944320 120782 0 0 0 277895 579 0 0 20 0 28 0 116519310 27175628800 823212 33554432000 4194304 4196468 140720841829696 140720841812240 139969166270199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
/proc/5915/statm: 6634675 823212 3296 1 0 6621909 0
[pid=5915/tid=5916] ppid=5913 vsize=26538700 memory=3010104 CPUtime=5.4 cores=0-7
/proc/5915/task/5916/stat : 5916 (java) S 5913 5913 5271 0 -1 1077944384 9431 0 0 0 514 26 0 0 20 0 28 0 116519311 27175628800 823212 33554432000 4194304 4196468 140720841829696 139969170510976 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5917] ppid=5913 vsize=26538700 memory=3292840 CPUtime=1.91 cores=0-7
/proc/5915/task/5917/stat : 5917 (java) S 5913 5913 5271 0 -1 1077944384 1375 0 0 0 144 47 0 0 20 0 28 0 116519311 27175628800 823212 33554432000 4194304 4196468 140720841829696 139969118890768 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5918] ppid=5913 vsize=26538700 memory=3292840 CPUtime=1.88 cores=0-7
/proc/5915/task/5918/stat : 5918 (java) S 5913 5913 5271 0 -1 1077944384 1500 0 0 0 140 48 0 0 20 0 28 0 116519311 27175628800 823212 33554432000 4194304 4196468 140720841829696 139969117838224 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5919] ppid=5913 vsize=26538700 memory=3292840 CPUtime=1.86 cores=0-7
/proc/5915/task/5919/stat : 5919 (java) S 5913 5913 5271 0 -1 1077944384 1482 0 0 0 138 48 0 0 20 0 28 0 116519311 27175628800 823212 33554432000 4194304 4196468 140720841829696 139969116785680 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5920] ppid=5913 vsize=26538700 memory=3292840 CPUtime=1.87 cores=0-7
/proc/5915/task/5920/stat : 5920 (java) S 5913 5913 5271 0 -1 1077944384 1190 0 0 0 142 45 0 0 20 0 28 0 116519311 27175628800 823212 33554432000 4194304 4196468 140720841829696 139969115733136 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5921] ppid=5913 vsize=26538700 memory=3292848 CPUtime=1.9 cores=0-7
/proc/5915/task/5921/stat : 5921 (java) S 5913 5913 5271 0 -1 1077944384 1606 0 0 0 141 49 0 0 20 0 28 0 116519311 27175628800 823212 33554432000 4194304 4196468 140720841829696 139969114679568 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5922] ppid=5913 vsize=26538700 memory=3292848 CPUtime=1.92 cores=0-7
/proc/5915/task/5922/stat : 5922 (java) S 5913 5913 5271 0 -1 1077944384 1630 0 0 0 141 51 0 0 20 0 28 0 116519311 27175628800 823212 33554432000 4194304 4196468 140720841829696 139969113627024 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5923] ppid=5913 vsize=26538700 memory=3292848 CPUtime=1.84 cores=0-7
/proc/5915/task/5923/stat : 5923 (java) S 5913 5913 5271 0 -1 1077944384 1822 0 0 0 138 46 0 0 20 0 28 0 116519311 27175628800 823212 33554432000 4194304 4196468 140720841829696 139969112574480 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5924] ppid=5913 vsize=26538700 memory=34502722 CPUtime=1.9 cores=0-7
/proc/5915/task/5924/stat : 5924 (java) S 5913 5913 5271 0 -1 1077944384 1902 0 0 0 143 47 0 0 20 0 28 0 116519312 27175628800 823212 33554432000 4194304 4196468 140720841829696 139969111521936 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5925] ppid=5913 vsize=26538700 memory=281191107709184 CPUtime=0.32 cores=0-7
/proc/5915/task/5925/stat : 5925 (java) S 5913 5913 5271 0 -1 1077944384 4037 0 0 0 28 4 0 0 20 0 28 0 116519313 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968562031088 139969166281346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5926] ppid=5913 vsize=26538700 memory=7740388499335506032 CPUtime=0 cores=0-7
/proc/5915/task/5926/stat : 5926 (java) S 5913 5913 5271 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 116519313 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968560977376 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5927] ppid=5913 vsize=26538700 memory=164 CPUtime=0 cores=0-7
/proc/5915/task/5927/stat : 5927 (java) S 5913 5913 5271 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 116519314 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968559924736 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5928] ppid=5913 vsize=26538700 memory=281191107897808 CPUtime=0 cores=0-7
/proc/5915/task/5928/stat : 5928 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 116519316 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968558873296 139969166288795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5929] ppid=5913 vsize=26538700 memory=2936356 CPUtime=2.95 cores=0-7
/proc/5915/task/5929/stat : 5929 (java) S 5913 5913 5271 0 -1 1077944384 11472 0 0 0 292 3 0 0 20 0 28 0 116519316 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968557819888 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5930] ppid=5913 vsize=26538700 memory=1384 CPUtime=3.22 cores=0-7
/proc/5915/task/5930/stat : 5930 (java) S 5913 5913 5271 0 -1 1077944384 13848 0 0 0 318 4 0 0 20 0 28 0 116519316 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968556767344 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5931] ppid=5913 vsize=26538700 memory=3292840 CPUtime=3.2 cores=0-7
/proc/5915/task/5931/stat : 5931 (java) S 5913 5913 5271 0 -1 1077944384 11783 0 0 0 318 2 0 0 20 0 28 0 116519316 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968487876848 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5932] ppid=5913 vsize=26538700 memory=1384 CPUtime=1 cores=0-7
/proc/5915/task/5932/stat : 5932 (java) S 5913 5913 5271 0 -1 1077944384 10667 0 0 0 97 3 0 0 20 0 28 0 116519316 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968486824304 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5933] ppid=5913 vsize=26538700 memory=4144 CPUtime=0 cores=0-7
/proc/5915/task/5933/stat : 5933 (java) S 5913 5913 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 116519316 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968485772000 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5934] ppid=5913 vsize=26538700 memory=32960 CPUtime=1.07 cores=0-7
/proc/5915/task/5934/stat : 5934 (java) S 5913 5913 5271 0 -1 1077944384 4555 0 0 0 45 62 0 0 20 0 28 0 116519316 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968484719536 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6054] ppid=5913 vsize=26538700 memory=0 CPUtime=21.26 cores=0-7
/proc/5915/task/6054/stat : 6054 (java) R 5913 5913 5271 0 -1 4202560 768 0 0 0 2123 3 0 0 20 0 28 0 116767374 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968470888024 139968776395727 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6055] ppid=5913 vsize=26538700 memory=6655300316396806240 CPUtime=21.17 cores=0-7
/proc/5915/task/6055/stat : 6055 (java) R 5913 5913 5271 0 -1 4202560 1100 0 0 0 2113 4 0 0 20 0 28 0 116767374 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968472994920 139968778602882 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6056] ppid=5913 vsize=26538700 memory=281191106742048 CPUtime=21.23 cores=0-7
/proc/5915/task/6056/stat : 6056 (java) R 5913 5913 5271 0 -1 4202560 704 0 0 0 2120 3 0 0 20 0 28 0 116767374 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968476151752 139968778602837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6057] ppid=5913 vsize=26538700 memory=281191107966432 CPUtime=21.22 cores=0-7
/proc/5915/task/6057/stat : 6057 (java) R 5913 5913 5271 0 -1 4202560 967 0 0 0 2122 0 0 0 20 0 28 0 116767375 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968477204648 139968775500102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6058] ppid=5913 vsize=26538700 memory=916 CPUtime=21.03 cores=0-7
/proc/5915/task/6058/stat : 6058 (java) R 5913 5913 5271 0 -1 4202560 1315 0 0 0 2099 4 0 0 20 0 28 0 116767375 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968474046280 139968779217074 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6059] ppid=5913 vsize=26538700 memory=4752 CPUtime=21.27 cores=0-7
/proc/5915/task/6059/stat : 6059 (java) R 5913 5913 5271 0 -1 4202560 850 0 0 0 2122 5 0 0 20 0 28 0 116767375 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968471940880 139968778802061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6060] ppid=5913 vsize=26538700 memory=4100 CPUtime=21.21 cores=0-7
/proc/5915/task/6060/stat : 6060 (java) R 5913 5913 5271 0 -1 4202560 1565 0 0 0 2113 8 0 0 20 0 28 0 116767375 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968469835912 139968779216218 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6061] ppid=5913 vsize=26538700 memory=0 CPUtime=21.09 cores=0-7
/proc/5915/task/6061/stat : 6061 (java) R 5913 5913 5271 0 -1 4202560 2537 0 0 0 2091 18 0 0 20 0 28 0 116767375 27175628800 823212 33554432000 4194304 4196468 140720841829696 139968475099736 139968782249578 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
Current children cumulated CPU time: 2784.74 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3294232 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 3.95 1.74 1.40 9/207 6061
/proc/meminfo: memFree=25167096/32770624 swapFree=67108860/67108860
[pid=5913] ppid=5910 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5913/stat : 5913 (xcsp3-exec) S 5910 5913 5271 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116519310 9740288 346 33554432000 4194304 5098028 140735899746688 140735899744792 139701996733052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9093120 140735899755622 140735899755831 140735899755831 140735899758571 0
/proc/5913/statm: 2378 346 289 221 0 87 0
[pid=5915] ppid=5913 vsize=26538700 memory=3599004 CPUtime=2925.94 cores=0-7
/proc/5915/stat : 5915 (java) S 5913 5913 5271 0 -1 1077944320 133253 0 0 0 291925 669 0 0 20 0 28 0 116519310 27175628800 899751 33554432000 4194304 4196468 140720841829696 140720841812240 139969166270199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
/proc/5915/statm: 6634675 899751 3296 1 0 6621909 0
[pid=5915/tid=5916] ppid=5913 vsize=26538700 memory=8112282956445269571 CPUtime=5.4 cores=0-7
/proc/5915/task/5916/stat : 5916 (java) S 5913 5913 5271 0 -1 1077944384 9431 0 0 0 514 26 0 0 20 0 28 0 116519311 27175628800 899751 33554432000 4194304 4196468 140720841829696 139969170510976 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5917] ppid=5913 vsize=26538700 memory=4872558044660077418 CPUtime=2.23 cores=0-7
/proc/5915/task/5917/stat : 5917 (java) S 5913 5913 5271 0 -1 1077944384 2031 0 0 0 166 57 0 0 20 0 28 0 116519311 27175628800 899751 33554432000 4194304 4196468 140720841829696 139969118890768 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5918] ppid=5913 vsize=26538700 memory=1944 CPUtime=2.21 cores=0-7
/proc/5915/task/5918/stat : 5918 (java) S 5913 5913 5271 0 -1 1077944384 2046 0 0 0 164 57 0 0 20 0 28 0 116519311 27175628800 899751 33554432000 4194304 4196468 140720841829696 139969117838224 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5919] ppid=5913 vsize=26538700 memory=1200 CPUtime=2.18 cores=0-7
/proc/5915/task/5919/stat : 5919 (java) S 5913 5913 5271 0 -1 1077944384 2077 0 0 0 162 56 0 0 20 0 28 0 116519311 27175628800 899751 33554432000 4194304 4196468 140720841829696 139969116785680 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5920] ppid=5913 vsize=26538700 memory=1424 CPUtime=2.19 cores=0-7
/proc/5915/task/5920/stat : 5920 (java) S 5913 5913 5271 0 -1 1077944384 1636 0 0 0 165 54 0 0 20 0 28 0 116519311 27175628800 899751 33554432000 4194304 4196468 140720841829696 139969115733136 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5921] ppid=5913 vsize=26538700 memory=8568 CPUtime=2.23 cores=0-7
/proc/5915/task/5921/stat : 5921 (java) S 5913 5913 5271 0 -1 1077944384 2559 0 0 0 166 57 0 0 20 0 28 0 116519311 27175628800 899751 33554432000 4194304 4196468 140720841829696 139969114679568 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5922] ppid=5913 vsize=26538700 memory=15872 CPUtime=2.25 cores=0-7
/proc/5915/task/5922/stat : 5922 (java) S 5913 5913 5271 0 -1 1077944384 2141 0 0 0 164 61 0 0 20 0 28 0 116519311 27175628800 899751 33554432000 4194304 4196468 140720841829696 139969113627024 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5923] ppid=5913 vsize=26538700 memory=4052 CPUtime=2.15 cores=0-7
/proc/5915/task/5923/stat : 5923 (java) S 5913 5913 5271 0 -1 1077944384 2315 0 0 0 160 55 0 0 20 0 28 0 116519311 27175628800 899751 33554432000 4194304 4196468 140720841829696 139969112574480 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5924] ppid=5913 vsize=26538700 memory=3599004 CPUtime=2.22 cores=0-7
/proc/5915/task/5924/stat : 5924 (java) S 5913 5913 5271 0 -1 1077944384 2241 0 0 0 166 56 0 0 20 0 28 0 116519312 27175628800 899751 33554432000 4194304 4196468 140720841829696 139969111521936 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5925] ppid=5913 vsize=26538700 memory=1384 CPUtime=0.33 cores=0-7
/proc/5915/task/5925/stat : 5925 (java) S 5913 5913 5271 0 -1 1077944384 4744 0 0 0 29 4 0 0 20 0 28 0 116519313 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968562031088 139969166281346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5926] ppid=5913 vsize=26538700 memory=3599004 CPUtime=0 cores=0-7
/proc/5915/task/5926/stat : 5926 (java) S 5913 5913 5271 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 116519313 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968560977376 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5927] ppid=5913 vsize=26538700 memory=1944 CPUtime=0 cores=0-7
/proc/5915/task/5927/stat : 5927 (java) S 5913 5913 5271 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 116519314 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968559924736 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5928] ppid=5913 vsize=26538700 memory=1200 CPUtime=0 cores=0-7
/proc/5915/task/5928/stat : 5928 (java) S 5913 5913 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 116519316 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968558873296 139969166288795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5929] ppid=5913 vsize=26538700 memory=1424 CPUtime=2.98 cores=0-7
/proc/5915/task/5929/stat : 5929 (java) S 5913 5913 5271 0 -1 1077944384 12021 0 0 0 295 3 0 0 20 0 28 0 116519316 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968557819888 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5930] ppid=5913 vsize=26538700 memory=0 CPUtime=3.23 cores=0-7
/proc/5915/task/5930/stat : 5930 (java) S 5913 5913 5271 0 -1 1077944384 13947 0 0 0 319 4 0 0 20 0 28 0 116519316 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968556767344 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5931] ppid=5913 vsize=26538700 memory=8171313584581922905 CPUtime=3.22 cores=0-7
/proc/5915/task/5931/stat : 5931 (java) S 5913 5913 5271 0 -1 1077944384 11930 0 0 0 320 2 0 0 20 0 28 0 116519316 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968487876848 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5932] ppid=5913 vsize=26538700 memory=4279073131472642624 CPUtime=1 cores=0-7
/proc/5915/task/5932/stat : 5932 (java) S 5913 5913 5271 0 -1 1077944384 11259 0 0 0 97 3 0 0 20 0 28 0 116519316 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968486824304 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5933] ppid=5913 vsize=26538700 memory=4144 CPUtime=0 cores=0-7
/proc/5915/task/5933/stat : 5933 (java) S 5913 5913 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 116519316 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968485772000 139969166280405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=5934] ppid=5913 vsize=26538700 memory=32960 CPUtime=1.09 cores=0-7
/proc/5915/task/5934/stat : 5934 (java) S 5913 5913 5271 0 -1 1077944384 4624 0 0 0 46 63 0 0 20 0 28 0 116519316 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968484719536 139969166281346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6054] ppid=5913 vsize=26538700 memory=1384 CPUtime=38.64 cores=0-7
/proc/5915/task/6054/stat : 6054 (java) R 5913 5913 5271 0 -1 4202560 1055 0 0 0 3860 4 0 0 20 0 28 0 116767374 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968470888024 139968776395731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6055] ppid=5913 vsize=26538700 memory=3599004 CPUtime=38.54 cores=0-7
/proc/5915/task/6055/stat : 6055 (java) R 5913 5913 5271 0 -1 4202560 1615 0 0 0 3850 4 0 0 20 0 28 0 116767374 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968472994312 139968777829772 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6056] ppid=5913 vsize=26538700 memory=1292 CPUtime=38.6 cores=0-7
/proc/5915/task/6056/stat : 6056 (java) R 5913 5913 5271 0 -1 4202560 1052 0 0 0 3856 4 0 0 20 0 28 0 116767374 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968476151672 139968776836622 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6057] ppid=5913 vsize=26538700 memory=2428 CPUtime=38.55 cores=0-7
/proc/5915/task/6057/stat : 6057 (java) R 5913 5913 5271 0 -1 4202560 2110 0 0 0 3854 1 0 0 20 0 28 0 116767375 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968477203952 139968782217968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6058] ppid=5913 vsize=26538700 memory=1728 CPUtime=38.04 cores=0-7
/proc/5915/task/6058/stat : 6058 (java) R 5913 5913 5271 0 -1 4202560 2124 0 0 0 3797 7 0 0 20 0 28 0 116767375 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968474046280 139968779216349 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6059] ppid=5913 vsize=26538700 memory=792 CPUtime=38.64 cores=0-7
/proc/5915/task/6059/stat : 6059 (java) R 5913 5913 5271 0 -1 4202560 1162 0 0 0 3857 7 0 0 20 0 28 0 116767375 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968471941448 139968778602882 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6060] ppid=5913 vsize=26538700 memory=9992 CPUtime=38.58 cores=0-7
/proc/5915/task/6060/stat : 6060 (java) R 5913 5913 5271 0 -1 4202560 2631 0 0 0 3848 10 0 0 20 0 28 0 116767375 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968469835912 139968779216488 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
[pid=5915/tid=6061] ppid=5913 vsize=26538700 memory=1224 CPUtime=38.46 cores=0-7
/proc/5915/task/6061/stat : 6061 (java) R 5913 5913 5271 0 -1 4202560 3826 0 0 0 3821 25 0 0 20 0 28 0 116767375 27175628800 899751 33554432000 4194304 4196468 140720841829696 139968475099656 139968777934699 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25407488 140720841835666 140720841835843 140720841835843 140720841838543 0
Current children cumulated CPU time: 2925.94 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3600388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 5913 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000986 s, system=0.000986 s
[startup+2520.13 s]
# the end of solver process 5915 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2920.1 s, system=6.71001 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.13
CPU time (s): 2926.81
CPU user time (s): 2920.1
CPU system time (s): 6.71001
CPU usage (%): 116.137
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 3600388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2920.1
system time used= 6.71001
maximum resident set size= 3599568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134321
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62348
involuntary context switches= 6374
# summary of solver processes directly reported to runsolver:
# pid: 5913,5915
# total CPU time (s): 2926.81
# total CPU user time (s): 2920.1
# total CPU system time (s): 6.71001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0164 second user time and 28.8424 second system time
The end
Begin job on node151 at 2017-08-15 23:45:26
IDJOB=4271352
IDBENCH=139753
IDSOLVER=2662
FILE ID=node151/4271352-1502834384
RUNJOBID= node151-1502825631-5298
PBS_JOBID= 20629834
Free space on /tmp= 61836 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-16-18.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-4271352-1502834384/watcher-4271352-1502834384 -o /tmp/evaluation-result-4271352-1502834384/solver-4271352-1502834384 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502825631-5298 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 99578659 HOME/instance-4271352-1502834384.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= dd156cd3c4e4f48d7499665f65319a51
RANDOM SEED=99578659
node151.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 : 5332.95
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 : 5332.95
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 : 5332.95
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 : 5332.95
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: 28759856 kB
MemAvailable: 31986460 kB
Buffers: 302552 kB
Cached: 3213492 kB
SwapCached: 0 kB
Active: 980844 kB
Inactive: 2589788 kB
Active(anon): 56988 kB
Inactive(anon): 25048 kB
Active(file): 923856 kB
Inactive(file): 2564740 kB
Unevictable: 7020 kB
Mlocked: 7020 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8408 kB
Writeback: 0 kB
AnonPages: 59804 kB
Mapped: 46600 kB
Shmem: 25224 kB
Slab: 134352 kB
SReclaimable: 107684 kB
SUnreclaim: 26668 kB
KernelStack: 3184 kB
PageTables: 4716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 324880 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 114048 kB
DirectMap2M: 33431552 kB
Free space on /tmp at the end= 61828 MiB
End job on node151 at 2017-08-16 00:27:26