0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406966-1569352505.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4406966-1569352505.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
0.71/0.47 c solve instance...
0.71/0.49 o 217
0.71/0.50 o 456
0.71/0.51 o 472
0.71/0.51 o 474
0.71/0.51 o 520
1.03/0.52 o 540
1.03/0.53 o 541
1.03/0.53 o 558
1.03/0.53 o 579
1.03/0.53 o 589
1.03/0.53 o 664
1.03/0.54 o 781
1.03/0.54 o 788
1.03/0.55 o 807
1.03/0.56 o 811
1.03/0.57 o 862
1.03/0.59 o 873
1.03/0.61 o 876
1.66/0.61 o 901
1.66/0.63 o 911
1.66/0.64 o 924
1.66/0.65 o 931
1.66/0.66 o 940
1.66/0.67 o 944
1.66/0.68 o 958
1.66/0.69 o 981
2.20/0.72 o 983
2.20/0.75 o 1019
2.20/0.76 o 1024
2.20/0.77 o 1029
2.20/0.78 o 1033
2.20/0.80 o 1045
2.20/0.81 o 1049
2.20/0.90 o 1053
2.20/0.96 o 1064
2.20/0.99 o 1065
2.20/1.02 o 1070
51.06/7.84 s OPTIMUM FOUND
51.06/7.84 v <instantiation>
51.06/7.84 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>
51.06/7.84 v <values>0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 </values>
51.06/7.84 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 (13799 MiB free)
memory of node 1: 16384 MiB (11314 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406966-1569352505/watcher-4406966-1569352505 -o /tmp/evaluation-result-4406966-1569352505/solver-4406966-1569352505 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569349242-16448 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1316110347 HOME/instance-4406966-1569352505.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=20040, runsolver pid=20037
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 5.77 7.25 7.63 3/213 20061
/proc/meminfo: memFree=25700432/32770624 swapFree=66959708/67108860
[pid=20040] ppid=20037 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20040/stat : 20040 (xcsp3-exec) S 20037 20040 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511519291 115843072 364 33554432000 4194304 5098028 140734366865184 140734366863288 140237251367548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17674240 140734366868341 140734366868585 140734366868585 140734366871498 0
/proc/20040/statm: 28282 364 305 221 0 87 0
[pid=20042] ppid=20040 vsize=28227396 memory=28972 CPUtime=0.12 cores=0-7
/proc/20042/stat : 20042 (java) S 20040 20040 16421 0 -1 1077944320 5704 0 0 0 11 1 0 0 20 0 20 0 511519291 28904853504 7243 33554432000 4194304 4196468 140725708095920 140725708078464 140595486670583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
/proc/20042/statm: 7056849 7243 3122 1 0 7019032 0
[pid=20042/tid=20043] ppid=20040 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/20042/task/20043/stat : 20043 (java) R 20040 20040 16421 0 -1 4202560 3606 0 0 0 8 1 0 0 20 0 20 0 511519292 28904853504 7243 33554432000 4194304 4196468 140725708095920 140595490900352 140595470714213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20044] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20044/stat : 20044 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519292 28904853504 7243 33554432000 4194304 4196468 140725708095920 140595439291280 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20045] ppid=20040 vsize=28227396 memory=139752450799766 CPUtime=0 cores=0-7
/proc/20042/task/20045/stat : 20045 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519292 28904853504 7243 33554432000 4194304 4196468 140725708095920 140595438238480 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20046] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20046/stat : 20046 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519292 28904853504 7243 33554432000 4194304 4196468 140725708095920 140595437186192 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20047] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20047/stat : 20047 (java) S 20040 20040 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511519292 28904853504 7243 33554432000 4194304 4196468 140725708095920 140595436133392 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20048] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20048/stat : 20048 (java) S 20040 20040 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519292 28904853504 7243 33554432000 4194304 4196468 140725708095920 140595435080080 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20049] ppid=20040 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20042/task/20049/stat : 20049 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519292 28904853504 7243 33554432000 4194304 4196468 140725708095920 140595434027280 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20050] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20050/stat : 20050 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519292 28904853504 7243 33554432000 4194304 4196468 140725708095920 140595432974992 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20051] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20051/stat : 20051 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519293 28904853504 7243 33554432000 4194304 4196468 140725708095920 140595431922192 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20052] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20052/stat : 20052 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519294 28904853504 7243 33554432000 4194304 4196468 140725708095920 140594804378224 140595486681730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20053] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20053/stat : 20053 (java) S 20040 20040 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511519294 28904853504 7243 33554432000 4194304 4196468 140725708095920 140594803324192 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20054] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20054/stat : 20054 (java) S 20040 20040 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511519295 28904853504 7243 33554432000 4194304 4196468 140725708095920 140594802271856 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20055] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20055/stat : 20055 (java) S 20040 20040 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519297 28904853504 7243 33554432000 4194304 4196468 140725708095920 140594801220176 140595486689179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20056] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20056/stat : 20056 (java) S 20040 20040 16421 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 511519297 28904853504 7243 33554432000 4194304 4196468 140725708095920 140594800167024 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20057] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20057/stat : 20057 (java) S 20040 20040 16421 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 511519297 28904853504 7243 33554432000 4194304 4196468 140725708095920 140594799114224 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20058] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20058/stat : 20058 (java) S 20040 20040 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511519297 28904853504 7243 33554432000 4194304 4196468 140725708095920 140594798061936 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20059] ppid=20040 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/20042/task/20059/stat : 20059 (java) R 20040 20040 16421 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 20 0 511519297 28904853504 7243 33554432000 4194304 4196468 140725708095920 140594797009136 140595465945336 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20060] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20060/stat : 20060 (java) S 20040 20040 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511519297 28904853504 7243 33554432000 4194304 4196468 140725708095920 140594795957088 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20061] ppid=20040 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20042/task/20061/stat : 20061 (java) S 20040 20040 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519297 28904853504 7243 33554432000 4194304 4196468 140725708095920 140594794904368 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30428 KiB
[startup+0.21113 s]*
/proc/loadavg: 5.77 7.25 7.63 3/213 20061
/proc/meminfo: memFree=25687856/32770624 swapFree=66959708/67108860
[pid=20040] ppid=20037 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20040/stat : 20040 (xcsp3-exec) S 20037 20040 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511519291 115843072 364 33554432000 4194304 5098028 140734366865184 140734366863288 140237251367548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17674240 140734366868341 140734366868585 140734366868585 140734366871498 0
/proc/20040/statm: 28282 364 305 221 0 87 0
[pid=20042] ppid=20040 vsize=28227396 memory=40328 CPUtime=0.34 cores=0-7
/proc/20042/stat : 20042 (java) S 20040 20040 16421 0 -1 1077944320 9371 0 0 0 31 3 0 0 20 0 20 0 511519291 28904853504 10082 33554432000 4194304 4196468 140725708095920 140725708078464 140595486670583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
/proc/20042/statm: 7056849 10082 3263 1 0 7019032 0
[pid=20042/tid=20043] ppid=20040 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/20042/task/20043/stat : 20043 (java) R 20040 20040 16421 0 -1 4202560 6597 0 0 0 18 2 0 0 20 0 20 0 511519292 28904853504 10082 33554432000 4194304 4196468 140725708095920 140595490904320 140595470751070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20044] ppid=20040 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/20042/task/20044/stat : 20044 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519292 28904853504 10082 33554432000 4194304 4196468 140725708095920 140595439291280 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20045] ppid=20040 vsize=28227396 memory=3978841557560833696 CPUtime=0 cores=0-7
/proc/20042/task/20045/stat : 20045 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519292 28904853504 10082 33554432000 4194304 4196468 140725708095920 140595438238480 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20046] ppid=20040 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20042/task/20046/stat : 20046 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519292 28904853504 10082 33554432000 4194304 4196468 140725708095920 140595437186192 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20047] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20047/stat : 20047 (java) S 20040 20040 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511519292 28904853504 10082 33554432000 4194304 4196468 140725708095920 140595436133392 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20048] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20048/stat : 20048 (java) S 20040 20040 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519292 28904853504 10082 33554432000 4194304 4196468 140725708095920 140595435080080 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20049] ppid=20040 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20042/task/20049/stat : 20049 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519292 28904853504 10082 33554432000 4194304 4196468 140725708095920 140595434027280 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20050] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20050/stat : 20050 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519292 28904853504 10082 33554432000 4194304 4196468 140725708095920 140595432974992 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20051] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20051/stat : 20051 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519293 28904853504 10082 33554432000 4194304 4196468 140725708095920 140595431922192 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20052] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20052/stat : 20052 (java) S 20040 20040 16421 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511519294 28904853504 10082 33554432000 4194304 4196468 140725708095920 140594804378224 140595486681730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20053] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20053/stat : 20053 (java) S 20040 20040 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511519294 28904853504 10082 33554432000 4194304 4196468 140725708095920 140594803324192 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20054] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20054/stat : 20054 (java) S 20040 20040 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511519295 28904853504 10082 33554432000 4194304 4196468 140725708095920 140594802271856 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20055] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20055/stat : 20055 (java) S 20040 20040 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519297 28904853504 10082 33554432000 4194304 4196468 140725708095920 140594801220176 140595486689179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20056] ppid=20040 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/20042/task/20056/stat : 20056 (java) S 20040 20040 16421 0 -1 1077944384 416 0 0 0 2 0 0 0 20 0 20 0 511519297 28904853504 10082 33554432000 4194304 4196468 140725708095920 140594800167024 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20057] ppid=20040 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20042/task/20057/stat : 20057 (java) S 20040 20040 16421 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 20 0 511519297 28904853504 10082 33554432000 4194304 4196468 140725708095920 140594799114224 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20058] ppid=20040 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20042/task/20058/stat : 20058 (java) S 20040 20040 16421 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 511519297 28904853504 10082 33554432000 4194304 4196468 140725708095920 140594798061936 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20059] ppid=20040 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/20042/task/20059/stat : 20059 (java) R 20040 20040 16421 0 -1 4202560 806 0 0 0 8 0 0 0 20 0 20 0 511519297 28904853504 10082 33554432000 4194304 4196468 140725708095920 140594797009136 140595486691930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20060] ppid=20040 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20060/stat : 20060 (java) S 20040 20040 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511519297 28904853504 10082 33554432000 4194304 4196468 140725708095920 140594795957088 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20061] ppid=20040 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20042/task/20061/stat : 20061 (java) S 20040 20040 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519297 28904853504 10082 33554432000 4194304 4196468 140725708095920 140594794904368 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41784 KiB
[startup+0.310313 s]*
/proc/loadavg: 5.77 7.25 7.63 4/213 20061
/proc/meminfo: memFree=25680100/32770624 swapFree=66959708/67108860
[pid=20040] ppid=20037 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20040/stat : 20040 (xcsp3-exec) S 20037 20040 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511519291 115843072 364 33554432000 4194304 5098028 140734366865184 140734366863288 140237251367548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17674240 140734366868341 140734366868585 140734366868585 140734366871498 0
/proc/20040/statm: 28282 364 305 221 0 87 0
[pid=20042] ppid=20040 vsize=28231652 memory=49948 CPUtime=0.52 cores=0-7
/proc/20042/stat : 20042 (java) S 20040 20040 16421 0 -1 1077944320 10884 0 0 0 48 4 0 0 20 0 20 0 511519291 28909211648 12487 33554432000 4194304 4196468 140725708095920 140725708078464 140595486670583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
/proc/20042/statm: 7057913 12487 3343 1 0 7019032 0
[pid=20042/tid=20043] ppid=20040 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/20042/task/20043/stat : 20043 (java) R 20040 20040 16421 0 -1 4202560 7775 0 0 0 26 3 0 0 20 0 20 0 511519292 28909211648 12487 33554432000 4194304 4196468 140725708095920 140595490903904 140595470751070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20044] ppid=20040 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20044/stat : 20044 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519292 28909211648 12487 33554432000 4194304 4196468 140725708095920 140595439291280 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20045] ppid=20040 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20045/stat : 20045 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519292 28909211648 12487 33554432000 4194304 4196468 140725708095920 140595438238480 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20046] ppid=20040 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20046/stat : 20046 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519292 28909211648 12487 33554432000 4194304 4196468 140725708095920 140595437186192 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20047] ppid=20040 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20047/stat : 20047 (java) S 20040 20040 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511519292 28909211648 12487 33554432000 4194304 4196468 140725708095920 140595436133392 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20048] ppid=20040 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20048/stat : 20048 (java) S 20040 20040 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519292 28909211648 12487 33554432000 4194304 4196468 140725708095920 140595435080080 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20049] ppid=20040 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20049/stat : 20049 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519292 28909211648 12487 33554432000 4194304 4196468 140725708095920 140595434027280 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20050] ppid=20040 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20050/stat : 20050 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519292 28909211648 12487 33554432000 4194304 4196468 140725708095920 140595432974992 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20051] ppid=20040 vsize=28231652 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/20042/task/20051/stat : 20051 (java) S 20040 20040 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519293 28909211648 12487 33554432000 4194304 4196468 140725708095920 140595431922192 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20052] ppid=20040 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20052/stat : 20052 (java) S 20040 20040 16421 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511519294 28909211648 12487 33554432000 4194304 4196468 140725708095920 140594804378224 140595486681730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20053] ppid=20040 vsize=28231652 memory=279504660667776 CPUtime=0 cores=0-7
/proc/20042/task/20053/stat : 20053 (java) S 20040 20040 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511519294 28909211648 12487 33554432000 4194304 4196468 140725708095920 140594803324192 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20054] ppid=20040 vsize=28231652 memory=279504660672384 CPUtime=0 cores=0-7
/proc/20042/task/20054/stat : 20054 (java) S 20040 20040 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511519295 28909211648 12487 33554432000 4194304 4196468 140725708095920 140594802271856 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20055] ppid=20040 vsize=28231652 memory=279504660676992 CPUtime=0 cores=0-7
/proc/20042/task/20055/stat : 20055 (java) S 20040 20040 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519297 28909211648 12487 33554432000 4194304 4196468 140725708095920 140594801220176 140595486689179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20056] ppid=20040 vsize=28231652 memory=279504660681600 CPUtime=0.03 cores=0-7
/proc/20042/task/20056/stat : 20056 (java) S 20040 20040 16421 0 -1 1077944384 440 0 0 0 3 0 0 0 20 0 20 0 511519297 28909211648 12487 33554432000 4194304 4196468 140725708095920 140594800167024 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20057] ppid=20040 vsize=28231652 memory=279504660686208 CPUtime=0.02 cores=0-7
/proc/20042/task/20057/stat : 20057 (java) S 20040 20040 16421 0 -1 1077944384 224 0 0 0 2 0 0 0 20 0 20 0 511519297 28909211648 12487 33554432000 4194304 4196468 140725708095920 140594799114224 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20058] ppid=20040 vsize=28231652 memory=279504660690816 CPUtime=0.01 cores=0-7
/proc/20042/task/20058/stat : 20058 (java) R 20040 20040 16421 0 -1 4202560 173 0 0 0 1 0 0 0 20 0 20 0 511519297 28909211648 12487 33554432000 4194304 4196468 140725708095920 140594798052320 140595465926939 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20059] ppid=20040 vsize=28231652 memory=279504660695424 CPUtime=0.13 cores=0-7
/proc/20042/task/20059/stat : 20059 (java) S 20040 20040 16421 0 -1 1077944384 965 0 0 0 13 0 0 0 20 0 20 0 511519297 28909211648 12487 33554432000 4194304 4196468 140725708095920 140594797009136 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20060] ppid=20040 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20060/stat : 20060 (java) S 20040 20040 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511519297 28909211648 12487 33554432000 4194304 4196468 140725708095920 140594795957088 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20061] ppid=20040 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/20042/task/20061/stat : 20061 (java) S 20040 20040 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519297 28909211648 12487 33554432000 4194304 4196468 140725708095920 140594794904368 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51404 KiB
[startup+0.701125 s]
/proc/loadavg: 5.77 7.25 7.63 4/221 20085
/proc/meminfo: memFree=25614084/32770624 swapFree=66959708/67108860
[pid=20040] ppid=20037 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20040/stat : 20040 (xcsp3-exec) S 20037 20040 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511519291 115843072 364 33554432000 4194304 5098028 140734366865184 140734366863288 140237251367548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17674240 140734366868341 140734366868585 140734366868585 140734366871498 0
/proc/20040/statm: 28282 364 305 221 0 87 0
[pid=20042] ppid=20040 vsize=28899416 memory=191824 CPUtime=2.2 cores=0-7
/proc/20042/stat : 20042 (java) S 20040 20040 16421 0 -1 1077944320 18799 0 0 0 207 13 0 0 20 0 27 0 511519291 29593001984 47956 33554432000 4194304 4196468 140725708095920 140725708078464 140595486670583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
/proc/20042/statm: 7224854 47956 3484 1 0 7185954 0
[pid=20042/tid=20043] ppid=20040 vsize=28899416 memory=4580 CPUtime=0.46 cores=0-7
/proc/20042/task/20043/stat : 20043 (java) S 20040 20040 16421 0 -1 1077944384 9080 0 0 0 42 4 0 0 20 0 27 0 511519292 29593001984 47956 33554432000 4194304 4196468 140725708095920 140595490911360 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20044] ppid=20040 vsize=28899416 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20044/stat : 20044 (java) S 20040 20040 16421 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 27 0 511519292 29593001984 47956 33554432000 4194304 4196468 140725708095920 140595439291280 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20045] ppid=20040 vsize=28899416 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20045/stat : 20045 (java) S 20040 20040 16421 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 27 0 511519292 29593001984 47956 33554432000 4194304 4196468 140725708095920 140595438238480 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20046] ppid=20040 vsize=28899416 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20046/stat : 20046 (java) S 20040 20040 16421 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 27 0 511519292 29593001984 47956 33554432000 4194304 4196468 140725708095920 140595437186192 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
################
# More data... #
################
[pid=20042/tid=20059] ppid=20040 vsize=28899416 memory=1456 CPUtime=0.49 cores=0-7
/proc/20042/task/20059/stat : 20059 (java) S 20040 20040 16421 0 -1 1077944384 2610 0 0 0 48 1 0 0 20 0 28 0 511519297 29593001984 149972 33554432000 4194304 4196468 140725708095920 140594797009136 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20060] ppid=20040 vsize=28899416 memory=598780 CPUtime=0 cores=0-7
/proc/20042/task/20060/stat : 20060 (java) S 20040 20040 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511519297 29593001984 149972 33554432000 4194304 4196468 140725708095920 140594795957088 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20061] ppid=20040 vsize=28899416 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20061/stat : 20061 (java) S 20040 20040 16421 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 28 0 511519297 29593001984 149972 33554432000 4194304 4196468 140725708095920 140594794904368 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20356] ppid=20040 vsize=28899416 memory=279504661649952 CPUtime=4.44 cores=0-7
/proc/20042/task/20356/stat : 20356 (java) R 20040 20040 16421 0 -1 4202560 310 0 0 0 433 11 0 0 20 0 28 0 511519394 29593001984 149972 33554432000 4194304 4196468 140725708095920 140594784636112 140595466395617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20357] ppid=20040 vsize=28899416 memory=279504661595856 CPUtime=4.52 cores=0-7
/proc/20042/task/20357/stat : 20357 (java) S 20040 20040 16421 0 -1 1077944384 70 0 0 0 440 12 0 0 20 0 28 0 511519394 29593001984 149972 33554432000 4194304 4196468 140725708095920 140594783584432 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20358] ppid=20040 vsize=28899416 memory=0 CPUtime=4.47 cores=0-7
/proc/20042/task/20358/stat : 20358 (java) R 20040 20040 16421 0 -1 4202560 139 0 0 0 435 12 0 0 20 0 28 0 511519394 29593001984 149972 33554432000 4194304 4196468 140725708095920 140594782532144 140595105701057 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20359] ppid=20040 vsize=28899416 memory=0 CPUtime=4.92 cores=0-7
/proc/20042/task/20359/stat : 20359 (java) R 20040 20040 16421 0 -1 4202560 262 0 0 0 486 6 0 0 20 0 28 0 511519394 29593001984 149972 33554432000 4194304 4196468 140725708095920 140594785689936 140595103812187 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20360] ppid=20040 vsize=28899416 memory=0 CPUtime=4.58 cores=0-7
/proc/20042/task/20360/stat : 20360 (java) R 20040 20040 16421 0 -1 4202560 188 0 0 0 446 12 0 0 20 0 28 0 511519394 29593001984 149972 33554432000 4194304 4196468 140725708095920 140594776215248 140595103971105 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20361] ppid=20040 vsize=28899416 memory=9126232286719478932 CPUtime=4.62 cores=0-7
/proc/20042/task/20361/stat : 20361 (java) R 20040 20040 16421 0 -1 4202560 246 0 0 0 452 10 0 0 20 0 28 0 511519394 29593001984 149972 33554432000 4194304 4196468 140725708095920 140594780425904 140595104867296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20362] ppid=20040 vsize=28899416 memory=6944656592455359580 CPUtime=4.38 cores=0-7
/proc/20042/task/20362/stat : 20362 (java) R 20040 20040 16421 0 -1 4202560 47 0 0 0 428 10 0 0 20 0 28 0 511519394 29593001984 149972 33554432000 4194304 4196468 140725708095920 140594777268176 140595103811765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20363] ppid=20040 vsize=28899416 memory=6944656592455359580 CPUtime=4.5 cores=0-7
/proc/20042/task/20363/stat : 20363 (java) R 20040 20040 16421 0 -1 1077944384 283 0 0 0 439 11 0 0 20 0 28 0 511519395 29593001984 149972 33554432000 4194304 4196468 140725708095920 140594781478736 140595486681730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
Current children cumulated CPU time: 42.32 s
Current children cumulated vsize: 29012544 KiB
Current children cumulated memory: 601344 KiB
[startup+7.40136 s]
/proc/loadavg: 5.63 7.20 7.61 9/221 20364
/proc/meminfo: memFree=25126664/32770624 swapFree=66959708/67108860
[pid=20040] ppid=20037 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20040/stat : 20040 (xcsp3-exec) S 20037 20040 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511519291 115843072 364 33554432000 4194304 5098028 140734366865184 140734366863288 140237251367548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17674240 140734366868341 140734366868585 140734366868585 140734366871498 0
/proc/20040/statm: 28282 364 305 221 0 87 0
[pid=20042] ppid=20040 vsize=28899416 memory=602956 CPUtime=48.26 cores=0-7
/proc/20042/stat : 20042 (java) S 20040 20040 16421 0 -1 1077944320 32669 0 0 0 4706 120 0 0 20 0 28 0 511519291 29593001984 150739 33554432000 4194304 4196468 140725708095920 140725708078464 140595486670583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
/proc/20042/statm: 7224854 150739 3513 1 0 7185954 0
[pid=20042/tid=20043] ppid=20040 vsize=28899416 memory=2244 CPUtime=0.47 cores=0-7
/proc/20042/task/20043/stat : 20043 (java) S 20040 20040 16421 0 -1 1077944384 9080 0 0 0 43 4 0 0 20 0 28 0 511519292 29593001984 150739 33554432000 4194304 4196468 140725708095920 140595490911360 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20044] ppid=20040 vsize=28899416 memory=0 CPUtime=0.01 cores=0-7
/proc/20042/task/20044/stat : 20044 (java) S 20040 20040 16421 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 28 0 511519292 29593001984 150739 33554432000 4194304 4196468 140725708095920 140595439291280 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20045] ppid=20040 vsize=28899416 memory=0 CPUtime=0.01 cores=0-7
/proc/20042/task/20045/stat : 20045 (java) S 20040 20040 16421 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 28 0 511519292 29593001984 150739 33554432000 4194304 4196468 140725708095920 140595438238480 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20046] ppid=20040 vsize=28899416 memory=0 CPUtime=0.01 cores=0-7
/proc/20042/task/20046/stat : 20046 (java) S 20040 20040 16421 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 28 0 511519292 29593001984 150739 33554432000 4194304 4196468 140725708095920 140595437186192 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20047] ppid=20040 vsize=28899416 memory=0 CPUtime=0.01 cores=0-7
/proc/20042/task/20047/stat : 20047 (java) S 20040 20040 16421 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 28 0 511519292 29593001984 150739 33554432000 4194304 4196468 140725708095920 140595436133392 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20048] ppid=20040 vsize=28899416 memory=288230574492221466 CPUtime=0.01 cores=0-7
/proc/20042/task/20048/stat : 20048 (java) S 20040 20040 16421 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 28 0 511519292 29593001984 150739 33554432000 4194304 4196468 140725708095920 140595435080080 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20049] ppid=20040 vsize=28899416 memory=288230596050944315 CPUtime=0.01 cores=0-7
/proc/20042/task/20049/stat : 20049 (java) S 20040 20040 16421 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 28 0 511519292 29593001984 150739 33554432000 4194304 4196468 140725708095920 140595434027280 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20050] ppid=20040 vsize=28899416 memory=16099273431322896 CPUtime=0.01 cores=0-7
/proc/20042/task/20050/stat : 20050 (java) S 20040 20040 16421 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 28 0 511519292 29593001984 150739 33554432000 4194304 4196468 140725708095920 140595432974992 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20051] ppid=20040 vsize=28899416 memory=0 CPUtime=0.01 cores=0-7
/proc/20042/task/20051/stat : 20051 (java) S 20040 20040 16421 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 28 0 511519293 29593001984 150739 33554432000 4194304 4196468 140725708095920 140595431922192 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20052] ppid=20040 vsize=28899416 memory=0 CPUtime=0.01 cores=0-7
/proc/20042/task/20052/stat : 20052 (java) S 20040 20040 16421 0 -1 1077944384 932 0 0 0 1 0 0 0 20 0 28 0 511519294 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594804378224 140595486681730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20053] ppid=20040 vsize=28899416 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20053/stat : 20053 (java) S 20040 20040 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511519294 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594803324256 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20054] ppid=20040 vsize=28899416 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20054/stat : 20054 (java) S 20040 20040 16421 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511519295 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594802271856 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20055] ppid=20040 vsize=28899416 memory=4211821575712316032 CPUtime=0 cores=0-7
/proc/20042/task/20055/stat : 20055 (java) S 20040 20040 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511519297 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594801220176 140595486689179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20056] ppid=20040 vsize=28899416 memory=6656426216303648864 CPUtime=0.77 cores=0-7
/proc/20042/task/20056/stat : 20056 (java) S 20040 20040 16421 0 -1 1077944384 3214 0 0 0 77 0 0 0 20 0 28 0 511519297 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594800167024 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20057] ppid=20040 vsize=28899416 memory=6944656575208382560 CPUtime=0.88 cores=0-7
/proc/20042/task/20057/stat : 20057 (java) S 20040 20040 16421 0 -1 1077944384 4821 0 0 0 87 1 0 0 20 0 28 0 511519297 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594799114224 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20058] ppid=20040 vsize=28899416 memory=0 CPUtime=0.74 cores=0-7
/proc/20042/task/20058/stat : 20058 (java) S 20040 20040 16421 0 -1 1077944384 2461 0 0 0 73 1 0 0 20 0 28 0 511519297 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594798061936 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20059] ppid=20040 vsize=28899416 memory=0 CPUtime=0.49 cores=0-7
/proc/20042/task/20059/stat : 20059 (java) S 20040 20040 16421 0 -1 1077944384 2612 0 0 0 48 1 0 0 20 0 28 0 511519297 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594797009136 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20060] ppid=20040 vsize=28899416 memory=3976995375938877234 CPUtime=0 cores=0-7
/proc/20042/task/20060/stat : 20060 (java) S 20040 20040 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511519297 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594795957088 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20061] ppid=20040 vsize=28899416 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20061/stat : 20061 (java) S 20040 20040 16421 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 28 0 511519297 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594794904368 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20356] ppid=20040 vsize=28899416 memory=279504660973440 CPUtime=5.18 cores=0-7
/proc/20042/task/20356/stat : 20356 (java) R 20040 20040 16421 0 -1 4202560 310 0 0 0 506 12 0 0 20 0 28 0 511519394 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594784636112 140595103970421 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20357] ppid=20040 vsize=28899416 memory=7737295662817700458 CPUtime=5.25 cores=0-7
/proc/20042/task/20357/stat : 20357 (java) R 20040 20040 16421 0 -1 4202560 70 0 0 0 511 14 0 0 20 0 28 0 511519394 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594783584432 140595103971036 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20358] ppid=20040 vsize=28899416 memory=7589240748751479616 CPUtime=5.21 cores=0-7
/proc/20042/task/20358/stat : 20358 (java) S 20040 20040 16421 0 -1 1077944384 143 0 0 0 507 14 0 0 20 0 28 0 511519394 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594782532144 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20359] ppid=20040 vsize=28899416 memory=7161658457943665005 CPUtime=5.67 cores=0-7
/proc/20042/task/20359/stat : 20359 (java) R 20040 20040 16421 0 -1 4202560 285 0 0 0 560 7 0 0 20 0 28 0 511519394 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594785690032 140595104478275 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20360] ppid=20040 vsize=28899416 memory=-7662708406744998714 CPUtime=5.31 cores=0-7
/proc/20042/task/20360/stat : 20360 (java) R 20040 20040 16421 0 -1 1077944384 207 0 0 0 518 13 0 0 20 0 28 0 511519394 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594776215344 140595486680789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20361] ppid=20040 vsize=28899416 memory=7084308725281171089 CPUtime=5.37 cores=0-7
/proc/20042/task/20361/stat : 20361 (java) R 20040 20040 16421 0 -1 4202560 260 0 0 0 526 11 0 0 20 0 28 0 511519394 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594780425904 140595105457088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20362] ppid=20040 vsize=28899416 memory=7084308725281171089 CPUtime=5.11 cores=0-7
/proc/20042/task/20362/stat : 20362 (java) R 20040 20040 16421 0 -1 4202560 48 0 0 0 499 12 0 0 20 0 28 0 511519394 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594777268176 140595104812624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20363] ppid=20040 vsize=28899416 memory=7084308725281171089 CPUtime=5.24 cores=0-7
/proc/20042/task/20363/stat : 20363 (java) R 20040 20040 16421 0 -1 4202560 305 0 0 0 512 12 0 0 20 0 28 0 511519395 29593001984 150739 33554432000 4194304 4196468 140725708095920 140594781478832 140595104867706 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
Current children cumulated CPU time: 48.26 s
Current children cumulated vsize: 29012544 KiB
Current children cumulated memory: 604412 KiB
[startup+7.8017 s]
/proc/loadavg: 5.63 7.20 7.61 9/221 20364
/proc/meminfo: memFree=25126664/32770624 swapFree=66959708/67108860
[pid=20040] ppid=20037 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20040/stat : 20040 (xcsp3-exec) S 20037 20040 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511519291 115843072 364 33554432000 4194304 5098028 140734366865184 140734366863288 140237251367548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17674240 140734366868341 140734366868585 140734366868585 140734366871498 0
/proc/20040/statm: 28282 364 305 221 0 87 0
[pid=20042] ppid=20040 vsize=28899416 memory=602572 CPUtime=51.06 cores=0-7
/proc/20042/stat : 20042 (java) S 20040 20040 16421 0 -1 1077944320 33086 0 0 0 4982 124 0 0 20 0 28 0 511519291 29593001984 150643 33554432000 4194304 4196468 140725708095920 140725708078464 140595486670583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
/proc/20042/statm: 7224854 150643 3516 1 0 7185954 0
[pid=20042/tid=20043] ppid=20040 vsize=28899416 memory=1496 CPUtime=0.47 cores=0-7
/proc/20042/task/20043/stat : 20043 (java) S 20040 20040 16421 0 -1 1077944384 9080 0 0 0 43 4 0 0 20 0 28 0 511519292 29593001984 150643 33554432000 4194304 4196468 140725708095920 140595490911360 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20044] ppid=20040 vsize=28899416 memory=1016 CPUtime=0.01 cores=0-7
/proc/20042/task/20044/stat : 20044 (java) S 20040 20040 16421 0 -1 1077944384 394 0 0 0 1 0 0 0 20 0 28 0 511519292 29593001984 150643 33554432000 4194304 4196468 140725708095920 140595439291280 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20045] ppid=20040 vsize=28899416 memory=1408 CPUtime=0.02 cores=0-7
/proc/20042/task/20045/stat : 20045 (java) S 20040 20040 16421 0 -1 1077944384 56 0 0 0 2 0 0 0 20 0 28 0 511519292 29593001984 150643 33554432000 4194304 4196468 140725708095920 140595438238480 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20046] ppid=20040 vsize=28899416 memory=2824 CPUtime=0.01 cores=0-7
/proc/20042/task/20046/stat : 20046 (java) S 20040 20040 16421 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 511519292 29593001984 150643 33554432000 4194304 4196468 140725708095920 140595437186192 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20047] ppid=20040 vsize=28899416 memory=1456 CPUtime=0.01 cores=0-7
/proc/20042/task/20047/stat : 20047 (java) S 20040 20040 16421 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 28 0 511519292 29593001984 150643 33554432000 4194304 4196468 140725708095920 140595436133392 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20048] ppid=20040 vsize=28899416 memory=602956 CPUtime=0.01 cores=0-7
/proc/20042/task/20048/stat : 20048 (java) S 20040 20040 16421 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 28 0 511519292 29593001984 150643 33554432000 4194304 4196468 140725708095920 140595435080080 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20049] ppid=20040 vsize=28899416 memory=1768 CPUtime=0.01 cores=0-7
/proc/20042/task/20049/stat : 20049 (java) S 20040 20040 16421 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 28 0 511519292 29593001984 150643 33554432000 4194304 4196468 140725708095920 140595434027280 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20050] ppid=20040 vsize=28899416 memory=1398722017469774279 CPUtime=0.02 cores=0-7
/proc/20042/task/20050/stat : 20050 (java) S 20040 20040 16421 0 -1 1077944384 80 0 0 0 2 0 0 0 20 0 28 0 511519292 29593001984 150643 33554432000 4194304 4196468 140725708095920 140595432974992 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20051] ppid=20040 vsize=28899416 memory=0 CPUtime=0.01 cores=0-7
/proc/20042/task/20051/stat : 20051 (java) S 20040 20040 16421 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 28 0 511519293 29593001984 150643 33554432000 4194304 4196468 140725708095920 140595431922192 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20052] ppid=20040 vsize=28899416 memory=0 CPUtime=0.01 cores=0-7
/proc/20042/task/20052/stat : 20052 (java) S 20040 20040 16421 0 -1 1077944384 932 0 0 0 1 0 0 0 20 0 28 0 511519294 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594804378224 140595486681730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20053] ppid=20040 vsize=28899416 memory=139752330937488 CPUtime=0 cores=0-7
/proc/20042/task/20053/stat : 20053 (java) S 20040 20040 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511519294 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594803324256 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20054] ppid=20040 vsize=28899416 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/20042/task/20054/stat : 20054 (java) S 20040 20040 16421 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511519295 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594802271856 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20055] ppid=20040 vsize=28899416 memory=0 CPUtime=0 cores=0-7
/proc/20042/task/20055/stat : 20055 (java) S 20040 20040 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511519297 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594801220176 140595486689179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20056] ppid=20040 vsize=28899416 memory=3793 CPUtime=0.79 cores=0-7
/proc/20042/task/20056/stat : 20056 (java) S 20040 20040 16421 0 -1 1077944384 3414 0 0 0 79 0 0 0 20 0 28 0 511519297 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594800167024 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20057] ppid=20040 vsize=28899416 memory=0 CPUtime=0.88 cores=0-7
/proc/20042/task/20057/stat : 20057 (java) S 20040 20040 16421 0 -1 1077944384 4821 0 0 0 87 1 0 0 20 0 28 0 511519297 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594799114224 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20058] ppid=20040 vsize=28899416 memory=-7595718147998060693 CPUtime=0.76 cores=0-7
/proc/20042/task/20058/stat : 20058 (java) S 20040 20040 16421 0 -1 1077944384 2655 0 0 0 75 1 0 0 20 0 28 0 511519297 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594798061936 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20059] ppid=20040 vsize=28899416 memory=0 CPUtime=0.49 cores=0-7
/proc/20042/task/20059/stat : 20059 (java) S 20040 20040 16421 0 -1 1077944384 2612 0 0 0 48 1 0 0 20 0 28 0 511519297 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594797009136 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20060] ppid=20040 vsize=28899416 memory=6072 CPUtime=0 cores=0-7
/proc/20042/task/20060/stat : 20060 (java) S 20040 20040 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511519297 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594795957088 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20061] ppid=20040 vsize=28899416 memory=14012 CPUtime=0 cores=0-7
/proc/20042/task/20061/stat : 20061 (java) S 20040 20040 16421 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 28 0 511519297 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594794904368 140595486681730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20356] ppid=20040 vsize=28899416 memory=2116 CPUtime=5.54 cores=0-7
/proc/20042/task/20356/stat : 20356 (java) R 20040 20040 16421 0 -1 4202560 310 0 0 0 541 13 0 0 20 0 28 0 511519394 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594784636112 140595103731005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20357] ppid=20040 vsize=28899416 memory=35800 CPUtime=5.6 cores=0-7
/proc/20042/task/20357/stat : 20357 (java) R 20040 20040 16421 0 -1 4202560 70 0 0 0 546 14 0 0 20 0 28 0 511519394 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594783584432 140595104897466 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20358] ppid=20040 vsize=28899416 memory=14068 CPUtime=5.53 cores=0-7
/proc/20042/task/20358/stat : 20358 (java) R 20040 20040 16421 0 -1 4202560 143 0 0 0 539 14 0 0 20 0 28 0 511519394 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594782532144 140595103971022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20359] ppid=20040 vsize=28899416 memory=524 CPUtime=6.02 cores=0-7
/proc/20042/task/20359/stat : 20359 (java) R 20040 20040 16421 0 -1 4202560 286 0 0 0 595 7 0 0 20 0 28 0 511519394 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594785690032 140595103685709 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20360] ppid=20040 vsize=28899416 memory=1568 CPUtime=5.66 cores=0-7
/proc/20042/task/20360/stat : 20360 (java) R 20040 20040 16421 0 -1 4202560 209 0 0 0 552 14 0 0 20 0 28 0 511519394 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594776215344 140595104868520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20361] ppid=20040 vsize=28899416 memory=7014751519684319569 CPUtime=5.71 cores=0-7
/proc/20042/task/20361/stat : 20361 (java) R 20040 20040 16421 0 -1 1077944384 261 0 0 0 560 11 0 0 20 0 28 0 511519394 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594780425904 140595486680789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20362] ppid=20040 vsize=28899416 memory=7739557268478322004 CPUtime=5.45 cores=0-7
/proc/20042/task/20362/stat : 20362 (java) S 20040 20040 16421 0 -1 1077944384 49 0 0 0 533 12 0 0 20 0 28 0 511519394 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594777268272 140595486680789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
[pid=20042/tid=20363] ppid=20040 vsize=28899416 memory=7595725831727968097 CPUtime=5.57 cores=0-7
/proc/20042/task/20363/stat : 20363 (java) R 20040 20040 16421 0 -1 4202560 314 0 0 0 545 12 0 0 20 0 28 0 511519395 29593001984 150643 33554432000 4194304 4196468 140725708095920 140594781478832 140595105508670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140725708104682 140725708104854 140725708104854 140725708107727 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 29012544 KiB
Current children cumulated memory: 604028 KiB
Child status: 0
Real time (s): 7.85489
CPU time (s): 51.4004
CPU user time (s): 50.1371
CPU system time (s): 1.26331
CPU usage (%): 654.374
Max. virtual memory (cumulated for all children) (KiB): 29012544
Max. memory (cumulated for all children) (KiB): 604464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.1371
system time used= 1.26331
maximum resident set size= 606032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34153
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 355477
involuntary context switches= 242
# summary of solver processes directly reported to runsolver:
# pid: 20040
# total CPU time (s): 51.4004
# total CPU user time (s): 50.1371
# total CPU system time (s): 1.26331
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.088989 second user time and 0.129345 second system time
The end
Begin job on node127 at 2019-09-24 21:14:24
IDJOB=4406966
IDBENCH=133445
IDSOLVER=2871
FILE ID=node127/4406966-1569352505
RUNJOBID= node127-1569349242-16448
PBS_JOBID= 21705087
Free space on /tmp= 35924 MiB
SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-07.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-4406966-1569352505/watcher-4406966-1569352505 -o /tmp/evaluation-result-4406966-1569352505/solver-4406966-1569352505 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569349242-16448 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1316110347 HOME/instance-4406966-1569352505.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= c416c7749524dd4f925e3cf47c007fb7
RANDOM SEED=1316110347
node127.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.55
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.55
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.55
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.55
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: 25717260 kB
MemAvailable: 31796312 kB
Buffers: 90404 kB
Cached: 6189192 kB
SwapCached: 44644 kB
Active: 3061916 kB
Inactive: 3269192 kB
Active(anon): 3336 kB
Inactive(anon): 105944 kB
Active(file): 3058580 kB
Inactive(file): 3163248 kB
Unevictable: 107788 kB
Mlocked: 107788 kB
SwapTotal: 67108860 kB
SwapFree: 66959708 kB
Dirty: 25920 kB
Writeback: 0 kB
AnonPages: 115536 kB
Mapped: 57672 kB
Shmem: 49032 kB
Slab: 315260 kB
SReclaimable: 285684 kB
SUnreclaim: 29576 kB
KernelStack: 3440 kB
PageTables: 5512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 515472 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 69632 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 138624 kB
DirectMap2M: 33406976 kB
Free space on /tmp at the end= 35896 MiB
End job on node127 at 2019-09-24 21:14:32