0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394417-1568433994.xml" -tl '20160s' -p 8
0.11/0.18 c Choco e747e1e
0.11/0.18 c [HOME/instance-4394417-1568433994.xml, -tl, 20160s, -p, 8]
0.32/0.22 c 8 solvers in parallel
0.32/0.28 c parse instance...
0.71/0.47 c solve instance...
0.71/0.50 o 170
0.71/0.52 o 173
1.01/0.53 o 423
1.01/0.55 o 432
1.01/0.56 o 451
1.01/0.57 o 653
1.01/0.57 o 824
1.01/0.60 o 831
1.44/0.61 o 850
1.44/0.67 o 866
1.44/0.68 o 893
1.44/0.69 o 904
1.44/0.69 o 907
1.44/0.69 o 987
2.00/0.71 o 1009
2.00/0.73 o 1014
2.00/0.75 o 1038
2.00/0.77 o 1061
2.00/0.77 o 1073
2.00/0.78 o 1092
2.00/0.80 o 1107
2.00/0.80 o 1108
2.76/0.81 o 1117
2.76/0.81 o 1118
2.76/0.82 o 1147
2.76/0.83 o 1152
2.76/0.84 o 1155
2.76/0.86 o 1162
2.76/0.87 o 1171
2.76/0.89 o 1188
2.76/0.89 o 1193
2.76/0.90 o 1205
3.41/0.91 o 1226
3.41/0.93 o 1230
3.41/0.94 o 1239
3.41/0.97 o 1251
3.41/0.98 o 1289
149.83/48.22 s OPTIMUM FOUND
149.83/48.22 v <instantiation>
149.83/48.22 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] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] </list>
149.83/48.22 v <values>1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 </values>
149.83/48.22 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 (14523 MiB free)
memory of node 1: 16384 MiB (15620 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394417-1568433994/watcher-4394417-1568433994 -o /tmp/evaluation-result-4394417-1568433994/solver-4394417-1568433994 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568426266-31650 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 100163847 HOME/instance-4394417-1568433994.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1973, runsolver pid=1970
[startup+0.10014 s]*
/proc/loadavg: 5.07 6.53 7.17 2/212 1994
/proc/meminfo: memFree=30850328/32770624 swapFree=66967048/67108860
[pid=1973] ppid=1970 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1973/stat : 1973 (xcsp3-exec) S 1970 1973 31623 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419666239 115843072 364 33554432000 4194304 5098028 140729708344992 140729708343096 140518843916924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35905536 140729708352374 140729708352617 140729708352617 140729708355530 0
/proc/1973/statm: 28282 364 305 221 0 87 0
[pid=1975] ppid=1973 vsize=28227388 memory=29816 CPUtime=0.11 cores=0-7
/proc/1975/stat : 1975 (java) S 1973 1973 31623 0 -1 1077944320 5364 0 0 0 10 1 0 0 20 0 20 0 419666239 28904845312 7454 33554432000 4194304 4196468 140725084157008 140725084139552 140352892743415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
/proc/1975/statm: 7056847 7454 3124 1 0 7019032 0
[pid=1975/tid=1976] ppid=1973 vsize=28227388 memory=288230380178243832 CPUtime=0.09 cores=0-7
/proc/1975/task/1976/stat : 1976 (java) R 1973 1973 31623 0 -1 4202560 3366 0 0 0 8 1 0 0 20 0 20 0 419666240 28904845312 7518 33554432000 4194304 4196468 140725084157008 140352896979840 140352892765341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1977] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1977/stat : 1977 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 7518 33554432000 4194304 4196468 140725084157008 140352845363472 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1978] ppid=1973 vsize=28227388 memory=3062274 CPUtime=0 cores=0-7
/proc/1975/task/1978/stat : 1978 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 7518 33554432000 4194304 4196468 140725084157008 140352844310928 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1979] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1979/stat : 1979 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 7518 33554432000 4194304 4196468 140725084157008 140352843258384 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1980] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1980/stat : 1980 (java) S 1973 1973 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 7518 33554432000 4194304 4196468 140725084157008 140352842205840 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1981] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1981/stat : 1981 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 7518 33554432000 4194304 4196468 140725084157008 140352841153296 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1982] ppid=1973 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1975/task/1982/stat : 1982 (java) S 1973 1973 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 7518 33554432000 4194304 4196468 140725084157008 140352840100752 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1983] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1983/stat : 1983 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 7518 33554432000 4194304 4196468 140725084157008 140352839048208 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1984] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1984/stat : 1984 (java) S 1973 1973 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 7518 33554432000 4194304 4196468 140725084157008 140352837995664 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1985] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1985/stat : 1985 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666242 28904845312 7518 33554432000 4194304 4196468 140725084157008 140351558260720 140352892754562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1986] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1986/stat : 1986 (java) S 1973 1973 31623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419666242 28904845312 7518 33554432000 4194304 4196468 140725084157008 140351557206944 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1987] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1987/stat : 1987 (java) S 1973 1973 31623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419666243 28904845312 7518 33554432000 4194304 4196468 140725084157008 140351556154352 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1988] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1988/stat : 1988 (java) S 1973 1973 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419666245 28904845312 7518 33554432000 4194304 4196468 140725084157008 140351555102928 140352892762011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1989] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1989/stat : 1989 (java) S 1973 1973 31623 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 419666245 28904845312 7518 33554432000 4194304 4196468 140725084157008 140351554050544 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1990] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1990/stat : 1990 (java) S 1973 1973 31623 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 419666245 28904845312 7518 33554432000 4194304 4196468 140725084157008 140351552998000 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1991] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1991/stat : 1991 (java) S 1973 1973 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419666245 28904845312 7518 33554432000 4194304 4196468 140725084157008 140351551945456 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1992] ppid=1973 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/1975/task/1992/stat : 1992 (java) S 1973 1973 31623 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 20 0 419666245 28904845312 7518 33554432000 4194304 4196468 140725084157008 140351550892912 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1993] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1993/stat : 1993 (java) S 1973 1973 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419666245 28904845312 7518 33554432000 4194304 4196468 140725084157008 140351549839584 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1994] ppid=1973 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1975/task/1994/stat : 1994 (java) S 1973 1973 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419666246 28904845312 7518 33554432000 4194304 4196468 140725084157008 140351548787120 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31272 KiB
[startup+0.210684 s]*
/proc/loadavg: 5.07 6.53 7.17 4/212 1994
/proc/meminfo: memFree=30836736/32770624 swapFree=66967048/67108860
[pid=1973] ppid=1970 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1973/stat : 1973 (xcsp3-exec) S 1970 1973 31623 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419666239 115843072 364 33554432000 4194304 5098028 140729708344992 140729708343096 140518843916924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35905536 140729708352374 140729708352617 140729708352617 140729708355530 0
/proc/1973/statm: 28282 364 305 221 0 87 0
[pid=1975] ppid=1973 vsize=28227388 memory=41152 CPUtime=0.32 cores=0-7
/proc/1975/stat : 1975 (java) S 1973 1973 31623 0 -1 1077944320 9053 0 0 0 29 3 0 0 20 0 20 0 419666239 28904845312 10288 33554432000 4194304 4196468 140725084157008 140725084139552 140352892743415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
/proc/1975/statm: 7056847 10288 3301 1 0 7019032 0
[pid=1975/tid=1976] ppid=1973 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/1975/task/1976/stat : 1976 (java) R 1973 1973 31623 0 -1 4202560 6190 0 0 0 17 2 0 0 20 0 20 0 419666240 28904845312 10288 33554432000 4194304 4196468 140725084157008 140352896973136 140352884994021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1977] ppid=1973 vsize=28227388 memory=339 CPUtime=0 cores=0-7
/proc/1975/task/1977/stat : 1977 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 10288 33554432000 4194304 4196468 140725084157008 140352845363472 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1978] ppid=1973 vsize=28227388 memory=3833602544584259232 CPUtime=0 cores=0-7
/proc/1975/task/1978/stat : 1978 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 10288 33554432000 4194304 4196468 140725084157008 140352844310928 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1979] ppid=1973 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1975/task/1979/stat : 1979 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 10288 33554432000 4194304 4196468 140725084157008 140352843258384 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1980] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1980/stat : 1980 (java) S 1973 1973 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 10288 33554432000 4194304 4196468 140725084157008 140352842205840 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1981] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1981/stat : 1981 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 10288 33554432000 4194304 4196468 140725084157008 140352841153296 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1982] ppid=1973 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1975/task/1982/stat : 1982 (java) S 1973 1973 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 10288 33554432000 4194304 4196468 140725084157008 140352840100752 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1983] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1983/stat : 1983 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 10288 33554432000 4194304 4196468 140725084157008 140352839048208 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1984] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1984/stat : 1984 (java) S 1973 1973 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419666241 28904845312 10288 33554432000 4194304 4196468 140725084157008 140352837995664 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1985] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1985/stat : 1985 (java) S 1973 1973 31623 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 419666242 28904845312 10288 33554432000 4194304 4196468 140725084157008 140351558260720 140352892754562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1986] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1986/stat : 1986 (java) S 1973 1973 31623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419666242 28904845312 10288 33554432000 4194304 4196468 140725084157008 140351557206944 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1987] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1987/stat : 1987 (java) S 1973 1973 31623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419666243 28904845312 10288 33554432000 4194304 4196468 140725084157008 140351556154352 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1988] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1988/stat : 1988 (java) S 1973 1973 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419666245 28904845312 10288 33554432000 4194304 4196468 140725084157008 140351555102928 140352892762011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1989] ppid=1973 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/1975/task/1989/stat : 1989 (java) S 1973 1973 31623 0 -1 1077944384 655 0 0 0 2 0 0 0 20 0 20 0 419666245 28904845312 10288 33554432000 4194304 4196468 140725084157008 140351554050544 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1990] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1990/stat : 1990 (java) S 1973 1973 31623 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 419666245 28904845312 10288 33554432000 4194304 4196468 140725084157008 140351552998000 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1991] ppid=1973 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/1975/task/1991/stat : 1991 (java) S 1973 1973 31623 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 20 0 419666245 28904845312 10288 33554432000 4194304 4196468 140725084157008 140351551945456 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1992] ppid=1973 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/1975/task/1992/stat : 1992 (java) R 1973 1973 31623 0 -1 4202560 726 0 0 0 7 0 0 0 20 0 20 0 419666245 28904845312 10288 33554432000 4194304 4196468 140725084157008 140351550892720 140352872051256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1993] ppid=1973 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1993/stat : 1993 (java) S 1973 1973 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419666245 28904845312 10288 33554432000 4194304 4196468 140725084157008 140351549839584 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1994] ppid=1973 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1975/task/1994/stat : 1994 (java) S 1973 1973 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419666246 28904845312 10288 33554432000 4194304 4196468 140725084157008 140351548787120 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42608 KiB
[startup+0.310551 s]*
/proc/loadavg: 5.07 6.53 7.17 5/212 1994
/proc/meminfo: memFree=30830200/32770624 swapFree=66967048/67108860
[pid=1973] ppid=1970 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1973/stat : 1973 (xcsp3-exec) S 1970 1973 31623 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419666239 115843072 364 33554432000 4194304 5098028 140729708344992 140729708343096 140518843916924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35905536 140729708352374 140729708352617 140729708352617 140729708355530 0
/proc/1973/statm: 28282 364 305 221 0 87 0
[pid=1975] ppid=1973 vsize=28231644 memory=50068 CPUtime=0.51 cores=0-7
/proc/1975/stat : 1975 (java) S 1973 1973 31623 0 -1 1077944320 10360 0 0 0 47 4 0 0 20 0 20 0 419666239 28909203456 12517 33554432000 4194304 4196468 140725084157008 140725084139552 140352892743415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
/proc/1975/statm: 7057911 12517 3366 1 0 7019032 0
[pid=1975/tid=1976] ppid=1973 vsize=28231644 memory=1398720917958146503 CPUtime=0.3 cores=0-7
/proc/1975/task/1976/stat : 1976 (java) R 1973 1973 31623 0 -1 4202560 7285 0 0 0 27 3 0 0 20 0 20 0 419666240 28909203456 12549 33554432000 4194304 4196468 140725084157008 140352896974528 140352892765341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1977] ppid=1973 vsize=28231644 memory=2832 CPUtime=0 cores=0-7
/proc/1975/task/1977/stat : 1977 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666241 28909203456 12549 33554432000 4194304 4196468 140725084157008 140352845363472 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1978] ppid=1973 vsize=28231644 memory=1192 CPUtime=0 cores=0-7
/proc/1975/task/1978/stat : 1978 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666241 28909203456 12549 33554432000 4194304 4196468 140725084157008 140352844310928 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1979] ppid=1973 vsize=28231644 memory=940 CPUtime=0 cores=0-7
/proc/1975/task/1979/stat : 1979 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666241 28909203456 12549 33554432000 4194304 4196468 140725084157008 140352843258384 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1980] ppid=1973 vsize=28231644 memory=14008 CPUtime=0 cores=0-7
/proc/1975/task/1980/stat : 1980 (java) S 1973 1973 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419666241 28909203456 12549 33554432000 4194304 4196468 140725084157008 140352842205840 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1981] ppid=1973 vsize=28231644 memory=11824 CPUtime=0 cores=0-7
/proc/1975/task/1981/stat : 1981 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666241 28909203456 12549 33554432000 4194304 4196468 140725084157008 140352841153296 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1982] ppid=1973 vsize=28231644 memory=19964 CPUtime=0 cores=0-7
/proc/1975/task/1982/stat : 1982 (java) S 1973 1973 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419666241 28909203456 12549 33554432000 4194304 4196468 140725084157008 140352840100752 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1983] ppid=1973 vsize=28231644 memory=2120 CPUtime=0 cores=0-7
/proc/1975/task/1983/stat : 1983 (java) S 1973 1973 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419666241 28909203456 12549 33554432000 4194304 4196468 140725084157008 140352839048208 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1984] ppid=1973 vsize=28231644 memory=500 CPUtime=0 cores=0-7
/proc/1975/task/1984/stat : 1984 (java) S 1973 1973 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419666241 28909203456 12549 33554432000 4194304 4196468 140725084157008 140352837995664 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1985] ppid=1973 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1985/stat : 1985 (java) S 1973 1973 31623 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 419666242 28909203456 12549 33554432000 4194304 4196468 140725084157008 140351558260720 140352892754562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1986] ppid=1973 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1986/stat : 1986 (java) S 1973 1973 31623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419666242 28909203456 12549 33554432000 4194304 4196468 140725084157008 140351557206944 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1987] ppid=1973 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1987/stat : 1987 (java) S 1973 1973 31623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419666243 28909203456 12549 33554432000 4194304 4196468 140725084157008 140351556154352 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1988] ppid=1973 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1988/stat : 1988 (java) S 1973 1973 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419666245 28909203456 12549 33554432000 4194304 4196468 140725084157008 140351555102928 140352892762011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1989] ppid=1973 vsize=28231644 memory=2244 CPUtime=0.03 cores=0-7
/proc/1975/task/1989/stat : 1989 (java) S 1973 1973 31623 0 -1 1077944384 663 0 0 0 3 0 0 0 20 0 20 0 419666245 28909203456 12549 33554432000 4194304 4196468 140725084157008 140351554050544 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1990] ppid=1973 vsize=28231644 memory=2244 CPUtime=0.02 cores=0-7
/proc/1975/task/1990/stat : 1990 (java) S 1973 1973 31623 0 -1 1077944384 49 0 0 0 2 0 0 0 20 0 20 0 419666245 28909203456 12549 33554432000 4194304 4196468 140725084157008 140351552998000 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1991] ppid=1973 vsize=28231644 memory=2244 CPUtime=0.02 cores=0-7
/proc/1975/task/1991/stat : 1991 (java) R 1973 1973 31623 0 -1 4202560 243 0 0 0 2 0 0 0 20 0 20 0 419666245 28909203456 12549 33554432000 4194304 4196468 140725084157008 140351551926472 140352872434143 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1992] ppid=1973 vsize=28231644 memory=2244 CPUtime=0.12 cores=0-7
/proc/1975/task/1992/stat : 1992 (java) S 1973 1973 31623 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 20 0 419666245 28909203456 12549 33554432000 4194304 4196468 140725084157008 140351550892912 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1993] ppid=1973 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1993/stat : 1993 (java) S 1973 1973 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419666245 28909203456 12549 33554432000 4194304 4196468 140725084157008 140351549839584 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1994] ppid=1973 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/1975/task/1994/stat : 1994 (java) S 1973 1973 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419666246 28909203456 12549 33554432000 4194304 4196468 140725084157008 140351548787120 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51524 KiB
[startup+0.700875 s]
/proc/loadavg: 5.07 6.53 7.17 8/218 2007
/proc/meminfo: memFree=30790832/32770624 swapFree=66967048/67108860
[pid=1973] ppid=1970 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1973/stat : 1973 (xcsp3-exec) S 1970 1973 31623 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419666239 115843072 364 33554432000 4194304 5098028 140729708344992 140729708343096 140518843916924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35905536 140729708352374 140729708352617 140729708352617 140729708355530 0
/proc/1973/statm: 28282 364 305 221 0 87 0
[pid=1975] ppid=1973 vsize=28832844 memory=176936 CPUtime=2 cores=0-7
/proc/1975/stat : 1975 (java) S 1973 1973 31623 0 -1 1077944320 16509 0 0 0 189 11 0 0 20 0 25 0 419666239 29524832256 44234 33554432000 4194304 4196468 140725084157008 140725084139552 140352892743415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
/proc/1975/statm: 7208211 44234 3481 1 0 7169313 0
[pid=1975/tid=1976] ppid=1973 vsize=28832844 memory=47 CPUtime=0.48 cores=0-7
/proc/1975/task/1976/stat : 1976 (java) S 1973 1973 31623 0 -1 1077944384 8628 0 0 0 44 4 0 0 20 0 25 0 419666240 29524832256 44234 33554432000 4194304 4196468 140725084157008 140352896984192 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1977] ppid=1973 vsize=28832844 memory=139632608115464 CPUtime=0 cores=0-7
/proc/1975/task/1977/stat : 1977 (java) S 1973 1973 31623 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 25 0 419666241 29524832256 44234 33554432000 4194304 4196468 140725084157008 140352845363472 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1978] ppid=1973 vsize=28832844 memory=279265216236032 CPUtime=0 cores=0-7
/proc/1975/task/1978/stat : 1978 (java) S 1973 1973 31623 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 25 0 419666241 29524832256 44234 33554432000 4194304 4196468 140725084157008 140352844310928 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1979] ppid=1973 vsize=28832844 memory=13365938227929 CPUtime=0 cores=0-7
/proc/1975/task/1979/stat : 1979 (java) S 1973 1973 31623 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 25 0 419666241 29524832256 44234 33554432000 4194304 4196468 140725084157008 140352843258384 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
################
# More data... #
################
[pid=1975/tid=1992] ppid=1973 vsize=28901456 memory=3260 CPUtime=0.77 cores=0-7
/proc/1975/task/1992/stat : 1992 (java) S 1973 1973 31623 0 -1 1077944384 4353 0 0 0 75 2 0 0 20 0 28 0 419666245 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351550892912 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1993] ppid=1973 vsize=28901456 memory=1456 CPUtime=0 cores=0-7
/proc/1975/task/1993/stat : 1993 (java) S 1973 1973 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419666245 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351549839584 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1994] ppid=1973 vsize=28901456 memory=2271736 CPUtime=0.01 cores=0-7
/proc/1975/task/1994/stat : 1994 (java) S 1973 1973 31623 0 -1 1077944384 940 0 0 0 0 1 0 0 20 0 28 0 419666246 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351548787120 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2291] ppid=1973 vsize=28901456 memory=1764 CPUtime=13.14 cores=0-7
/proc/1975/task/2291/stat : 2291 (java) S 1973 1973 31623 0 -1 1077944384 1010 0 0 0 1310 4 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351471705664 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2292] ppid=1973 vsize=28901456 memory=111632 CPUtime=13.2 cores=0-7
/proc/1975/task/2292/stat : 2292 (java) S 1973 1973 31623 0 -1 1077944384 209 0 0 0 1317 3 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351470654576 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2293] ppid=1973 vsize=28901456 memory=804 CPUtime=45.48 cores=0-7
/proc/1975/task/2293/stat : 2293 (java) R 1973 1973 31623 0 -1 4202560 3464 0 0 0 4528 20 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351462228088 140352510307080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2294] ppid=1973 vsize=28901456 memory=1732 CPUtime=13.28 cores=0-7
/proc/1975/task/2294/stat : 2294 (java) S 1973 1973 31623 0 -1 1077944384 166 0 0 0 1324 4 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351466444144 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2295] ppid=1973 vsize=28901456 memory=1808 CPUtime=13.26 cores=0-7
/proc/1975/task/2295/stat : 2295 (java) S 1973 1973 31623 0 -1 1077944384 1404 0 0 0 1310 16 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351469602288 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2296] ppid=1973 vsize=28901456 memory=924 CPUtime=13.27 cores=0-7
/proc/1975/task/2296/stat : 2296 (java) S 1973 1973 31623 0 -1 1077944384 1058 0 0 0 1315 12 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351464339056 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2297] ppid=1973 vsize=28901456 memory=4492 CPUtime=13.36 cores=0-7
/proc/1975/task/2297/stat : 2297 (java) S 1973 1973 31623 0 -1 1077944384 2125 0 0 0 1329 7 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351465390832 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2298] ppid=1973 vsize=28901456 memory=4104 CPUtime=13.34 cores=0-7
/proc/1975/task/2298/stat : 2298 (java) S 1973 1973 31623 0 -1 1077944384 648 0 0 0 1327 7 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351468548976 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
Current children cumulated CPU time: 148.81 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 2273200 KiB
[startup+48.001 s]*
/proc/loadavg: 3.74 6.02 6.97 2/219 2301
/proc/meminfo: memFree=28606124/32770624 swapFree=66967048/67108860
[pid=1973] ppid=1970 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1973/stat : 1973 (xcsp3-exec) S 1970 1973 31623 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419666239 115843072 364 33554432000 4194304 5098028 140729708344992 140729708343096 140518843916924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35905536 140729708352374 140729708352617 140729708352617 140729708355530 0
/proc/1973/statm: 28282 364 305 221 0 87 0
[pid=1975] ppid=1973 vsize=28901456 memory=2271744 CPUtime=149.62 cores=0-7
/proc/1975/stat : 1975 (java) S 1973 1973 31623 0 -1 1077944320 78103 0 0 0 14817 145 0 0 20 0 28 0 419666239 29595090944 567936 33554432000 4194304 4196468 140725084157008 140725084139552 140352892743415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
/proc/1975/statm: 7225364 567936 3519 1 0 7186466 0
[pid=1975/tid=1976] ppid=1973 vsize=28901456 memory=1398720917958146503 CPUtime=0.49 cores=0-7
/proc/1975/task/1976/stat : 1976 (java) S 1973 1973 31623 0 -1 1077944384 8628 0 0 0 45 4 0 0 20 0 28 0 419666240 29595090944 567936 33554432000 4194304 4196468 140725084157008 140352896984192 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1977] ppid=1973 vsize=28901456 memory=1520 CPUtime=0.13 cores=0-7
/proc/1975/task/1977/stat : 1977 (java) S 1973 1973 31623 0 -1 1077944384 241 0 0 0 8 5 0 0 20 0 28 0 419666241 29595090944 567936 33554432000 4194304 4196468 140725084157008 140352845363472 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1978] ppid=1973 vsize=28901456 memory=1980 CPUtime=0.14 cores=0-7
/proc/1975/task/1978/stat : 1978 (java) S 1973 1973 31623 0 -1 1077944384 307 0 0 0 9 5 0 0 20 0 28 0 419666241 29595090944 567936 33554432000 4194304 4196468 140725084157008 140352844310928 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1979] ppid=1973 vsize=28901456 memory=2572 CPUtime=0.13 cores=0-7
/proc/1975/task/1979/stat : 1979 (java) S 1973 1973 31623 0 -1 1077944384 183 0 0 0 8 5 0 0 20 0 28 0 419666241 29595090944 567936 33554432000 4194304 4196468 140725084157008 140352843258384 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1980] ppid=1973 vsize=28901456 memory=2271736 CPUtime=0.11 cores=0-7
/proc/1975/task/1980/stat : 1980 (java) S 1973 1973 31623 0 -1 1077944384 165 0 0 0 7 4 0 0 20 0 28 0 419666241 29595090944 567936 33554432000 4194304 4196468 140725084157008 140352842205840 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1981] ppid=1973 vsize=28901456 memory=1456 CPUtime=0.12 cores=0-7
/proc/1975/task/1981/stat : 1981 (java) S 1973 1973 31623 0 -1 1077944384 166 0 0 0 8 4 0 0 20 0 28 0 419666241 29595090944 567936 33554432000 4194304 4196468 140725084157008 140352841153296 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1982] ppid=1973 vsize=28901456 memory=8112282956445269571 CPUtime=0.14 cores=0-7
/proc/1975/task/1982/stat : 1982 (java) S 1973 1973 31623 0 -1 1077944384 215 0 0 0 9 5 0 0 20 0 28 0 419666241 29595090944 567936 33554432000 4194304 4196468 140725084157008 140352840100752 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1983] ppid=1973 vsize=28901456 memory=804 CPUtime=0.14 cores=0-7
/proc/1975/task/1983/stat : 1983 (java) S 1973 1973 31623 0 -1 1077944384 545 0 0 0 9 5 0 0 20 0 28 0 419666241 29595090944 567936 33554432000 4194304 4196468 140725084157008 140352839048208 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1984] ppid=1973 vsize=28901456 memory=1732 CPUtime=0.13 cores=0-7
/proc/1975/task/1984/stat : 1984 (java) S 1973 1973 31623 0 -1 1077944384 569 0 0 0 8 5 0 0 20 0 28 0 419666241 29595090944 567936 33554432000 4194304 4196468 140725084157008 140352837995664 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1985] ppid=1973 vsize=28901456 memory=1808 CPUtime=0.03 cores=0-7
/proc/1975/task/1985/stat : 1985 (java) S 1973 1973 31623 0 -1 1077944384 2951 0 0 0 2 1 0 0 20 0 28 0 419666242 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351558260720 140352892754562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1986] ppid=1973 vsize=28901456 memory=924 CPUtime=0 cores=0-7
/proc/1975/task/1986/stat : 1986 (java) S 1973 1973 31623 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 419666242 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351557207008 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1987] ppid=1973 vsize=28901456 memory=4492 CPUtime=0 cores=0-7
/proc/1975/task/1987/stat : 1987 (java) S 1973 1973 31623 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 419666243 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351556154368 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1988] ppid=1973 vsize=28901456 memory=4104 CPUtime=0 cores=0-7
/proc/1975/task/1988/stat : 1988 (java) S 1973 1973 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419666245 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351555102928 140352892762011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1989] ppid=1973 vsize=28901456 memory=1398720917958146503 CPUtime=1.73 cores=0-7
/proc/1975/task/1989/stat : 1989 (java) S 1973 1973 31623 0 -1 1077944384 7361 0 0 0 171 2 0 0 20 0 28 0 419666245 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351554050544 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1990] ppid=1973 vsize=28901456 memory=0 CPUtime=2.7 cores=0-7
/proc/1975/task/1990/stat : 1990 (java) S 1973 1973 31623 0 -1 1077944384 28097 0 0 0 264 6 0 0 20 0 28 0 419666245 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351552998000 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1991] ppid=1973 vsize=28901456 memory=0 CPUtime=1.87 cores=0-7
/proc/1975/task/1991/stat : 1991 (java) S 1973 1973 31623 0 -1 1077944384 6429 0 0 0 186 1 0 0 20 0 28 0 419666245 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351551945456 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1992] ppid=1973 vsize=28901456 memory=0 CPUtime=0.77 cores=0-7
/proc/1975/task/1992/stat : 1992 (java) S 1973 1973 31623 0 -1 1077944384 4353 0 0 0 75 2 0 0 20 0 28 0 419666245 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351550892912 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1993] ppid=1973 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1993/stat : 1993 (java) S 1973 1973 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419666245 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351549839584 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1994] ppid=1973 vsize=28901456 memory=0 CPUtime=0.01 cores=0-7
/proc/1975/task/1994/stat : 1994 (java) S 1973 1973 31623 0 -1 1077944384 940 0 0 0 0 1 0 0 20 0 28 0 419666246 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351548787120 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2291] ppid=1973 vsize=28901456 memory=0 CPUtime=13.14 cores=0-7
/proc/1975/task/2291/stat : 2291 (java) S 1973 1973 31623 0 -1 1077944384 1010 0 0 0 1310 4 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351471705664 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2292] ppid=1973 vsize=28901456 memory=2271744 CPUtime=13.2 cores=0-7
/proc/1975/task/2292/stat : 2292 (java) S 1973 1973 31623 0 -1 1077944384 209 0 0 0 1317 3 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351470654576 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2293] ppid=1973 vsize=28901456 memory=1456 CPUtime=46.29 cores=0-7
/proc/1975/task/2293/stat : 2293 (java) R 1973 1973 31623 0 -1 4202560 3502 0 0 0 4609 20 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351462228088 140352510307135 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2294] ppid=1973 vsize=28901456 memory=2271744 CPUtime=13.28 cores=0-7
/proc/1975/task/2294/stat : 2294 (java) S 1973 1973 31623 0 -1 1077944384 166 0 0 0 1324 4 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351466444144 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2295] ppid=1973 vsize=28901456 memory=15823300290938746 CPUtime=13.26 cores=0-7
/proc/1975/task/2295/stat : 2295 (java) S 1973 1973 31623 0 -1 1077944384 1404 0 0 0 1310 16 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351469602288 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2296] ppid=1973 vsize=28901456 memory=288230583166042426 CPUtime=13.27 cores=0-7
/proc/1975/task/2296/stat : 2296 (java) S 1973 1973 31623 0 -1 1077944384 1058 0 0 0 1315 12 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351464339056 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2297] ppid=1973 vsize=28901456 memory=15823300290938746 CPUtime=13.36 cores=0-7
/proc/1975/task/2297/stat : 2297 (java) S 1973 1973 31623 0 -1 1077944384 2125 0 0 0 1329 7 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351465390832 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2298] ppid=1973 vsize=28901456 memory=924 CPUtime=13.34 cores=0-7
/proc/1975/task/2298/stat : 2298 (java) S 1973 1973 31623 0 -1 1077944384 648 0 0 0 1327 7 0 0 20 0 28 0 419666338 29595090944 567936 33554432000 4194304 4196468 140725084157008 140351468548976 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
Current children cumulated CPU time: 149.62 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 2273200 KiB
[startup+48.201 s]
/proc/loadavg: 3.74 6.02 6.97 2/219 2301
/proc/meminfo: memFree=28606124/32770624 swapFree=66967048/67108860
[pid=1973] ppid=1970 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1973/stat : 1973 (xcsp3-exec) S 1970 1973 31623 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419666239 115843072 364 33554432000 4194304 5098028 140729708344992 140729708343096 140518843916924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35905536 140729708352374 140729708352617 140729708352617 140729708355530 0
/proc/1973/statm: 28282 364 305 221 0 87 0
[pid=1975] ppid=1973 vsize=28901456 memory=2271760 CPUtime=149.83 cores=0-7
/proc/1975/stat : 1975 (java) S 1973 1973 31623 0 -1 1077944320 78817 0 0 0 14838 145 0 0 20 0 28 0 419666239 29595090944 567940 33554432000 4194304 4196468 140725084157008 140725084139552 140352892743415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
/proc/1975/statm: 7225364 567940 3519 1 0 7186466 0
[pid=1975/tid=1976] ppid=1973 vsize=28901456 memory=1398720917958146503 CPUtime=0.49 cores=0-7
/proc/1975/task/1976/stat : 1976 (java) S 1973 1973 31623 0 -1 1077944384 8628 0 0 0 45 4 0 0 20 0 28 0 419666240 29595090944 567940 33554432000 4194304 4196468 140725084157008 140352896984192 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1977] ppid=1973 vsize=28901456 memory=0 CPUtime=0.13 cores=0-7
/proc/1975/task/1977/stat : 1977 (java) S 1973 1973 31623 0 -1 1077944384 241 0 0 0 8 5 0 0 20 0 28 0 419666241 29595090944 567940 33554432000 4194304 4196468 140725084157008 140352845363472 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1978] ppid=1973 vsize=28901456 memory=0 CPUtime=0.14 cores=0-7
/proc/1975/task/1978/stat : 1978 (java) S 1973 1973 31623 0 -1 1077944384 307 0 0 0 9 5 0 0 20 0 28 0 419666241 29595090944 567940 33554432000 4194304 4196468 140725084157008 140352844310928 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1979] ppid=1973 vsize=28901456 memory=0 CPUtime=0.13 cores=0-7
/proc/1975/task/1979/stat : 1979 (java) S 1973 1973 31623 0 -1 1077944384 183 0 0 0 8 5 0 0 20 0 28 0 419666241 29595090944 567940 33554432000 4194304 4196468 140725084157008 140352843258384 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1980] ppid=1973 vsize=28901456 memory=1456 CPUtime=0.11 cores=0-7
/proc/1975/task/1980/stat : 1980 (java) S 1973 1973 31623 0 -1 1077944384 165 0 0 0 7 4 0 0 20 0 28 0 419666241 29595090944 567940 33554432000 4194304 4196468 140725084157008 140352842205840 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1981] ppid=1973 vsize=28901456 memory=2271736 CPUtime=0.12 cores=0-7
/proc/1975/task/1981/stat : 1981 (java) S 1973 1973 31623 0 -1 1077944384 166 0 0 0 8 4 0 0 20 0 28 0 419666241 29595090944 567940 33554432000 4194304 4196468 140725084157008 140352841153296 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1982] ppid=1973 vsize=28901456 memory=7524786462354788967 CPUtime=0.14 cores=0-7
/proc/1975/task/1982/stat : 1982 (java) S 1973 1973 31623 0 -1 1077944384 215 0 0 0 9 5 0 0 20 0 28 0 419666241 29595090944 567940 33554432000 4194304 4196468 140725084157008 140352840100752 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1983] ppid=1973 vsize=28901456 memory=7524786462354788967 CPUtime=0.14 cores=0-7
/proc/1975/task/1983/stat : 1983 (java) S 1973 1973 31623 0 -1 1077944384 545 0 0 0 9 5 0 0 20 0 28 0 419666241 29595090944 567940 33554432000 4194304 4196468 140725084157008 140352839048208 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1984] ppid=1973 vsize=28901456 memory=288230574492221466 CPUtime=0.13 cores=0-7
/proc/1975/task/1984/stat : 1984 (java) S 1973 1973 31623 0 -1 1077944384 569 0 0 0 8 5 0 0 20 0 28 0 419666241 29595090944 567940 33554432000 4194304 4196468 140725084157008 140352837995664 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1985] ppid=1973 vsize=28901456 memory=288230583166042426 CPUtime=0.03 cores=0-7
/proc/1975/task/1985/stat : 1985 (java) S 1973 1973 31623 0 -1 1077944384 2951 0 0 0 2 1 0 0 20 0 28 0 419666242 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351558260720 140352892754562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1986] ppid=1973 vsize=28901456 memory=15823300290938746 CPUtime=0 cores=0-7
/proc/1975/task/1986/stat : 1986 (java) S 1973 1973 31623 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 419666242 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351557207008 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1987] ppid=1973 vsize=28901456 memory=2271736 CPUtime=0 cores=0-7
/proc/1975/task/1987/stat : 1987 (java) S 1973 1973 31623 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 419666243 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351556154368 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1988] ppid=1973 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/1975/task/1988/stat : 1988 (java) S 1973 1973 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419666245 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351555102928 140352892762011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1989] ppid=1973 vsize=28901456 memory=148103357271929 CPUtime=1.73 cores=0-7
/proc/1975/task/1989/stat : 1989 (java) S 1973 1973 31623 0 -1 1077944384 7434 0 0 0 171 2 0 0 20 0 28 0 419666245 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351554050544 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1990] ppid=1973 vsize=28901456 memory=0 CPUtime=2.71 cores=0-7
/proc/1975/task/1990/stat : 1990 (java) R 1973 1973 31623 0 -1 4202560 28215 0 0 0 265 6 0 0 20 0 28 0 419666245 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351552998000 140352873443712 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1991] ppid=1973 vsize=28901456 memory=6944652177228980320 CPUtime=1.88 cores=0-7
/proc/1975/task/1991/stat : 1991 (java) S 1973 1973 31623 0 -1 1077944384 6543 0 0 0 187 1 0 0 20 0 28 0 419666245 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351551945456 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1992] ppid=1973 vsize=28901456 memory=0 CPUtime=0.77 cores=0-7
/proc/1975/task/1992/stat : 1992 (java) S 1973 1973 31623 0 -1 1077944384 4458 0 0 0 75 2 0 0 20 0 28 0 419666245 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351550892912 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1993] ppid=1973 vsize=28901456 memory=9457 CPUtime=0 cores=0-7
/proc/1975/task/1993/stat : 1993 (java) S 1973 1973 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419666245 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351549839584 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=1994] ppid=1973 vsize=28901456 memory=17713 CPUtime=0.01 cores=0-7
/proc/1975/task/1994/stat : 1994 (java) S 1973 1973 31623 0 -1 1077944384 940 0 0 0 0 1 0 0 20 0 28 0 419666246 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351548787120 140352892754562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2291] ppid=1973 vsize=28901456 memory=1456 CPUtime=13.14 cores=0-7
/proc/1975/task/2291/stat : 2291 (java) S 1973 1973 31623 0 -1 1077944384 1010 0 0 0 1310 4 0 0 20 0 28 0 419666338 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351471705664 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2292] ppid=1973 vsize=28901456 memory=2271736 CPUtime=13.2 cores=0-7
/proc/1975/task/2292/stat : 2292 (java) S 1973 1973 31623 0 -1 1077944384 209 0 0 0 1317 3 0 0 20 0 28 0 419666338 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351470654576 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2293] ppid=1973 vsize=28901456 memory=3620 CPUtime=46.48 cores=0-7
/proc/1975/task/2293/stat : 2293 (java) R 1973 1973 31623 0 -1 4202560 3837 0 0 0 4628 20 0 0 20 0 28 0 419666338 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351462230168 140352501730288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2294] ppid=1973 vsize=28901456 memory=8112282956445269571 CPUtime=13.28 cores=0-7
/proc/1975/task/2294/stat : 2294 (java) S 1973 1973 31623 0 -1 1077944384 166 0 0 0 1324 4 0 0 20 0 28 0 419666338 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351466444144 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2295] ppid=1973 vsize=28901456 memory=928 CPUtime=13.26 cores=0-7
/proc/1975/task/2295/stat : 2295 (java) S 1973 1973 31623 0 -1 1077944384 1404 0 0 0 1310 16 0 0 20 0 28 0 419666338 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351469602288 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2296] ppid=1973 vsize=28901456 memory=1520 CPUtime=13.27 cores=0-7
/proc/1975/task/2296/stat : 2296 (java) S 1973 1973 31623 0 -1 1077944384 1058 0 0 0 1315 12 0 0 20 0 28 0 419666338 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351464339056 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2297] ppid=1973 vsize=28901456 memory=1980 CPUtime=13.36 cores=0-7
/proc/1975/task/2297/stat : 2297 (java) S 1973 1973 31623 0 -1 1077944384 2125 0 0 0 1329 7 0 0 20 0 28 0 419666338 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351465390832 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
[pid=1975/tid=2298] ppid=1973 vsize=28901456 memory=2572 CPUtime=13.34 cores=0-7
/proc/1975/task/2298/stat : 2298 (java) S 1973 1973 31623 0 -1 1077944384 648 0 0 0 1327 7 0 0 20 0 28 0 419666338 29595090944 567940 33554432000 4194304 4196468 140725084157008 140351468548976 140352892753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32796672 140725084161002 140725084161174 140725084161174 140725084164047 0
Current children cumulated CPU time: 149.83 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 2273216 KiB
Child status: 0
Real time (s): 48.2586
CPU time (s): 149.943
CPU user time (s): 148.456
CPU system time (s): 1.48664
CPU usage (%): 310.707
Max. virtual memory (cumulated for all children) (KiB): 29014584
Max. memory (cumulated for all children) (KiB): 2273216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 148.456
system time used= 1.48664
maximum resident set size= 2271860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81347
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39682
involuntary context switches= 1272
# summary of solver processes directly reported to runsolver:
# pid: 1973
# total CPU time (s): 149.943
# total CPU user time (s): 148.456
# total CPU system time (s): 1.48664
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.424782 second user time and 0.586117 second system time
The end
Begin job on node125 at 2019-09-14 06:05:52
IDJOB=4394417
IDBENCH=133461
IDSOLVER=2843
FILE ID=node125/4394417-1568433994
RUNJOBID= node125-1568426266-31650
PBS_JOBID= 21702287
Free space on /tmp= 59780 MiB
SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-04.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394417-1568433994/watcher-4394417-1568433994 -o /tmp/evaluation-result-4394417-1568433994/solver-4394417-1568433994 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568426266-31650 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 100163847 HOME/instance-4394417-1568433994.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 9de932a4b5bfbe7a07e43c684f6299af
RANDOM SEED=100163847
node125.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.29
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.29
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.29
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.29
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: 30867956 kB
MemAvailable: 31871080 kB
Buffers: 150116 kB
Cached: 1145260 kB
SwapCached: 38320 kB
Active: 679928 kB
Inactive: 658328 kB
Active(anon): 21820 kB
Inactive(anon): 60816 kB
Active(file): 658108 kB
Inactive(file): 597512 kB
Unevictable: 108024 kB
Mlocked: 108024 kB
SwapTotal: 67108860 kB
SwapFree: 66967048 kB
Dirty: 26000 kB
Writeback: 0 kB
AnonPages: 113936 kB
Mapped: 43676 kB
Shmem: 31276 kB
Slab: 155980 kB
SReclaimable: 126676 kB
SUnreclaim: 29304 kB
KernelStack: 3680 kB
PageTables: 5468 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 498088 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 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= 59752 MiB
End job on node125 at 2019-09-14 06:06:40