0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399791-1568708428.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4399791-1568708428.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 71
0.71/0.51 o 596
1.01/0.52 o 601
1.01/0.52 o 603
1.01/0.53 o 647
1.01/0.53 o 649
1.01/0.54 o 650
1.01/0.54 o 654
1.01/0.54 o 666
1.01/0.55 o 723
1.01/0.55 o 730
1.01/0.55 o 782
1.01/0.56 o 793
1.01/0.57 o 802
1.01/0.58 o 804
1.01/0.59 o 832
1.01/0.60 o 890
1.59/0.66 o 891
1.59/0.66 o 893
1.59/0.68 o 901
1.59/0.69 o 905
2.10/0.72 o 910
2.10/0.73 o 929
2.10/0.76 o 955
2.10/0.76 o 962
2.10/0.76 o 966
2.10/0.77 o 970
2.75/0.83 o 978
2.75/0.84 o 980
2.75/0.85 o 1002
2.75/0.89 o 1021
3.49/0.94 o 1033
3.49/0.95 o 1038
3.49/0.95 o 1064
3.49/0.95 o 1092
3.49/0.95 o 1096
3.49/0.96 o 1105
52.86/7.61 s OPTIMUM FOUND
52.86/7.61 v <instantiation>
52.86/7.61 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>
52.86/7.61 v <values>0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 </values>
52.86/7.61 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 (15273 MiB free)
memory of node 1: 16384 MiB (15685 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399791-1568708428/watcher-4399791-1568708428 -o /tmp/evaluation-result-4399791-1568708428/solver-4399791-1568708428 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1579688982 HOME/instance-4399791-1568708428.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=3648, runsolver pid=3645
[startup+0.100112 s]*
/proc/loadavg: 7.56 7.56 7.60 2/211 3669
/proc/meminfo: memFree=31685516/32770624 swapFree=66977240/67108860
[pid=3648] ppid=3645 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3648/stat : 3648 (xcsp3-exec) S 3645 3648 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447105476 115843072 363 33554432000 4194304 5098028 140736046341632 140736046339736 140218381333116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21032960 140736046343029 140736046343273 140736046343273 140736046346186 0
/proc/3648/statm: 28282 363 305 221 0 87 0
[pid=3650] ppid=3648 vsize=28227396 memory=29420 CPUtime=0.12 cores=0-7
/proc/3650/stat : 3650 (java) S 3648 3648 29062 0 -1 1077944320 5799 0 0 0 10 2 0 0 20 0 20 0 447105477 28904853504 7355 33554432000 4194304 4196468 140730976478160 140730976460704 140077519380215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
/proc/3650/statm: 7056849 7355 3125 1 0 7019032 0
[pid=3650/tid=3651] ppid=3648 vsize=28227396 memory=-7096649868621430206 CPUtime=0.09 cores=0-7
/proc/3650/task/3651/stat : 3651 (java) R 3648 3648 29062 0 -1 4202560 3781 0 0 0 8 1 0 0 20 0 20 0 447105477 28904853504 7355 33554432000 4194304 4196468 140730976478160 140077523615392 140077155043123 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3652] ppid=3648 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/3650/task/3652/stat : 3652 (java) S 3648 3648 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 7355 33554432000 4194304 4196468 140730976478160 140077475933072 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3653] ppid=3648 vsize=28227396 memory=140351712581248 CPUtime=0 cores=0-7
/proc/3650/task/3653/stat : 3653 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 7355 33554432000 4194304 4196468 140730976478160 140077474880272 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3654] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3654/stat : 3654 (java) S 3648 3648 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 7355 33554432000 4194304 4196468 140730976478160 140077473827984 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3655] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3655/stat : 3655 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 7355 33554432000 4194304 4196468 140730976478160 140077068049424 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3656] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3656/stat : 3656 (java) S 3648 3648 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 7355 33554432000 4194304 4196468 140730976478160 140077066996112 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3657] ppid=3648 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3650/task/3657/stat : 3657 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 7355 33554432000 4194304 4196468 140730976478160 140077065943312 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3658] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3658/stat : 3658 (java) S 3648 3648 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 7355 33554432000 4194304 4196468 140730976478160 140077064891024 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3659] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3659/stat : 3659 (java) S 3648 3648 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 7355 33554432000 4194304 4196468 140730976478160 140077063838224 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3660] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3660/stat : 3660 (java) S 3648 3648 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447105479 28904853504 7355 33554432000 4194304 4196468 140730976478160 140076769929840 140077519391362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3661] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3661/stat : 3661 (java) S 3648 3648 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447105480 28904853504 7355 33554432000 4194304 4196468 140730976478160 140076768875808 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3662] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3662/stat : 3662 (java) S 3648 3648 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447105480 28904853504 7355 33554432000 4194304 4196468 140730976478160 140076767823472 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3663] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3663/stat : 3663 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105482 28904853504 7355 33554432000 4194304 4196468 140730976478160 140076766771792 140077519398811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3664] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3664/stat : 3664 (java) S 3648 3648 29062 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 447105482 28904853504 7355 33554432000 4194304 4196468 140730976478160 140076765718640 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3665] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3665/stat : 3665 (java) S 3648 3648 29062 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 447105482 28904853504 7355 33554432000 4194304 4196468 140730976478160 140076764665840 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3666] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3666/stat : 3666 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105482 28904853504 7355 33554432000 4194304 4196468 140730976478160 140076763613552 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3667] ppid=3648 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3650/task/3667/stat : 3667 (java) S 3648 3648 29062 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 20 0 447105482 28904853504 7355 33554432000 4194304 4196468 140730976478160 140076762560752 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3668] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3668/stat : 3668 (java) S 3648 3648 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447105483 28904853504 7355 33554432000 4194304 4196468 140730976478160 140076761508704 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3669] ppid=3648 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3650/task/3669/stat : 3669 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105483 28904853504 7355 33554432000 4194304 4196468 140730976478160 140076760455984 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30872 KiB
[startup+0.210074 s]*
/proc/loadavg: 7.56 7.56 7.60 2/211 3669
/proc/meminfo: memFree=31672972/32770624 swapFree=66977240/67108860
[pid=3648] ppid=3645 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3648/stat : 3648 (xcsp3-exec) S 3645 3648 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447105476 115843072 363 33554432000 4194304 5098028 140736046341632 140736046339736 140218381333116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21032960 140736046343029 140736046343273 140736046343273 140736046346186 0
/proc/3648/statm: 28282 363 305 221 0 87 0
[pid=3650] ppid=3648 vsize=28227396 memory=40960 CPUtime=0.34 cores=0-7
/proc/3650/stat : 3650 (java) S 3648 3648 29062 0 -1 1077944320 9498 0 0 0 30 4 0 0 20 0 20 0 447105477 28904853504 10240 33554432000 4194304 4196468 140730976478160 140730976460704 140077519380215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
/proc/3650/statm: 7056849 10240 3305 1 0 7019032 0
[pid=3650/tid=3651] ppid=3648 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/3650/task/3651/stat : 3651 (java) R 3648 3648 29062 0 -1 4202560 6660 0 0 0 17 2 0 0 20 0 20 0 447105477 28904853504 10240 33554432000 4194304 4196468 140730976478160 140077523612128 140077519392150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3652] ppid=3648 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/3650/task/3652/stat : 3652 (java) S 3648 3648 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 10240 33554432000 4194304 4196468 140730976478160 140077475933072 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3653] ppid=3648 vsize=28227396 memory=288370727864292992 CPUtime=0 cores=0-7
/proc/3650/task/3653/stat : 3653 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 10240 33554432000 4194304 4196468 140730976478160 140077474880272 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3654] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3654/stat : 3654 (java) S 3648 3648 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 10240 33554432000 4194304 4196468 140730976478160 140077473827984 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3655] ppid=3648 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3650/task/3655/stat : 3655 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 10240 33554432000 4194304 4196468 140730976478160 140077068049424 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3656] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3656/stat : 3656 (java) S 3648 3648 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 10240 33554432000 4194304 4196468 140730976478160 140077066996112 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3657] ppid=3648 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3650/task/3657/stat : 3657 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 10240 33554432000 4194304 4196468 140730976478160 140077065943312 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3658] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3658/stat : 3658 (java) S 3648 3648 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 10240 33554432000 4194304 4196468 140730976478160 140077064891024 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3659] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3659/stat : 3659 (java) S 3648 3648 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447105478 28904853504 10240 33554432000 4194304 4196468 140730976478160 140077063838224 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3660] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3660/stat : 3660 (java) S 3648 3648 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447105479 28904853504 10240 33554432000 4194304 4196468 140730976478160 140076769929840 140077519391362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3661] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3661/stat : 3661 (java) S 3648 3648 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447105480 28904853504 10240 33554432000 4194304 4196468 140730976478160 140076768875808 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3662] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3662/stat : 3662 (java) S 3648 3648 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447105480 28904853504 10240 33554432000 4194304 4196468 140730976478160 140076767823472 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3663] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3663/stat : 3663 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105482 28904853504 10240 33554432000 4194304 4196468 140730976478160 140076766771792 140077519398811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3664] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3664/stat : 3664 (java) S 3648 3648 29062 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 447105482 28904853504 10240 33554432000 4194304 4196468 140730976478160 140076765718640 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3665] ppid=3648 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3650/task/3665/stat : 3665 (java) S 3648 3648 29062 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 20 0 447105482 28904853504 10240 33554432000 4194304 4196468 140730976478160 140076764665840 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3666] ppid=3648 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/3650/task/3666/stat : 3666 (java) S 3648 3648 29062 0 -1 1077944384 176 0 0 0 2 0 0 0 20 0 20 0 447105482 28904853504 10240 33554432000 4194304 4196468 140730976478160 140076763613552 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3667] ppid=3648 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/3650/task/3667/stat : 3667 (java) R 3648 3648 29062 0 -1 4202560 728 0 0 0 7 0 0 0 20 0 20 0 447105482 28904853504 10240 33554432000 4194304 4196468 140730976478160 140076762560752 140077519392150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3668] ppid=3648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3668/stat : 3668 (java) S 3648 3648 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447105483 28904853504 10240 33554432000 4194304 4196468 140730976478160 140076761508704 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3669] ppid=3648 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3650/task/3669/stat : 3669 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105483 28904853504 10240 33554432000 4194304 4196468 140730976478160 140076760455984 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42412 KiB
[startup+0.309425 s]*
/proc/loadavg: 7.56 7.56 7.60 5/211 3669
/proc/meminfo: memFree=31665576/32770624 swapFree=66977240/67108860
[pid=3648] ppid=3645 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3648/stat : 3648 (xcsp3-exec) S 3645 3648 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447105476 115843072 363 33554432000 4194304 5098028 140736046341632 140736046339736 140218381333116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21032960 140736046343029 140736046343273 140736046343273 140736046346186 0
/proc/3648/statm: 28282 363 305 221 0 87 0
[pid=3650] ppid=3648 vsize=28231652 memory=49552 CPUtime=0.53 cores=0-7
/proc/3650/stat : 3650 (java) S 3648 3648 29062 0 -1 1077944320 10808 0 0 0 48 5 0 0 20 0 20 0 447105477 28909211648 12388 33554432000 4194304 4196468 140730976478160 140730976460704 140077519380215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
/proc/3650/statm: 7057913 12388 3350 1 0 7019032 0
[pid=3650/tid=3651] ppid=3648 vsize=28231652 memory=1398720917958146503 CPUtime=0.29 cores=0-7
/proc/3650/task/3651/stat : 3651 (java) R 3648 3648 29062 0 -1 4202560 7776 0 0 0 26 3 0 0 20 0 20 0 447105477 28909211648 12428 33554432000 4194304 4196468 140730976478160 140077523611328 140077503460702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3652] ppid=3648 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3650/task/3652/stat : 3652 (java) S 3648 3648 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447105478 28909211648 12428 33554432000 4194304 4196468 140730976478160 140077475933072 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3653] ppid=3648 vsize=28231652 memory=2120 CPUtime=0 cores=0-7
/proc/3650/task/3653/stat : 3653 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105478 28909211648 12428 33554432000 4194304 4196468 140730976478160 140077474880272 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3654] ppid=3648 vsize=28231652 memory=11976 CPUtime=0 cores=0-7
/proc/3650/task/3654/stat : 3654 (java) S 3648 3648 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447105478 28909211648 12428 33554432000 4194304 4196468 140730976478160 140077473827984 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3655] ppid=3648 vsize=28231652 memory=11568 CPUtime=0 cores=0-7
/proc/3650/task/3655/stat : 3655 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105478 28909211648 12428 33554432000 4194304 4196468 140730976478160 140077068049424 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3656] ppid=3648 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3656/stat : 3656 (java) S 3648 3648 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447105478 28909211648 12428 33554432000 4194304 4196468 140730976478160 140077066996112 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3657] ppid=3648 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3657/stat : 3657 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105478 28909211648 12428 33554432000 4194304 4196468 140730976478160 140077065943312 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3658] ppid=3648 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3658/stat : 3658 (java) S 3648 3648 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447105478 28909211648 12428 33554432000 4194304 4196468 140730976478160 140077064891024 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3659] ppid=3648 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3659/stat : 3659 (java) S 3648 3648 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447105478 28909211648 12428 33554432000 4194304 4196468 140730976478160 140077063838224 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3660] ppid=3648 vsize=28231652 memory=140351612478016 CPUtime=0 cores=0-7
/proc/3650/task/3660/stat : 3660 (java) S 3648 3648 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447105479 28909211648 12428 33554432000 4194304 4196468 140730976478160 140076769929840 140077519391362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3661] ppid=3648 vsize=28231652 memory=140351612482511 CPUtime=0 cores=0-7
/proc/3650/task/3661/stat : 3661 (java) S 3648 3648 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447105480 28909211648 12428 33554432000 4194304 4196468 140730976478160 140076768875808 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3662] ppid=3648 vsize=28231652 memory=1970350607106051 CPUtime=0 cores=0-7
/proc/3650/task/3662/stat : 3662 (java) S 3648 3648 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447105480 28909211648 12428 33554432000 4194304 4196468 140730976478160 140076767823472 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3663] ppid=3648 vsize=28231652 memory=2110702219588516 CPUtime=0 cores=0-7
/proc/3650/task/3663/stat : 3663 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105482 28909211648 12428 33554432000 4194304 4196468 140730976478160 140076766771792 140077519398811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3664] ppid=3648 vsize=28231652 memory=2110702219621380 CPUtime=0.01 cores=0-7
/proc/3650/task/3664/stat : 3664 (java) S 3648 3648 29062 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 20 0 447105482 28909211648 12428 33554432000 4194304 4196468 140730976478160 140076765718640 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3665] ppid=3648 vsize=28231652 memory=2110702219593124 CPUtime=0.03 cores=0-7
/proc/3650/task/3665/stat : 3665 (java) R 3648 3648 29062 0 -1 4202560 423 0 0 0 3 0 0 0 20 0 20 0 447105482 28909211648 12428 33554432000 4194304 4196468 140730976478160 140076764656224 140077519401562 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3666] ppid=3648 vsize=28231652 memory=2110702219595428 CPUtime=0.03 cores=0-7
/proc/3650/task/3666/stat : 3666 (java) S 3648 3648 29062 0 -1 1077944384 184 0 0 0 3 0 0 0 20 0 20 0 447105482 28909211648 12428 33554432000 4194304 4196468 140730976478160 140076763613552 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3667] ppid=3648 vsize=28231652 memory=2110702219621284 CPUtime=0.12 cores=0-7
/proc/3650/task/3667/stat : 3667 (java) S 3648 3648 29062 0 -1 1077944384 815 0 0 0 12 0 0 0 20 0 20 0 447105482 28909211648 12428 33554432000 4194304 4196468 140730976478160 140076762560752 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3668] ppid=3648 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3650/task/3668/stat : 3668 (java) S 3648 3648 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447105483 28909211648 12428 33554432000 4194304 4196468 140730976478160 140076761508704 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3669] ppid=3648 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/3650/task/3669/stat : 3669 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447105483 28909211648 12428 33554432000 4194304 4196468 140730976478160 140076760455984 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51004 KiB
[startup+0.700974 s]
/proc/loadavg: 7.56 7.56 7.60 5/219 3685
/proc/meminfo: memFree=31618892/32770624 swapFree=66977240/67108860
[pid=3648] ppid=3645 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3648/stat : 3648 (xcsp3-exec) S 3645 3648 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447105476 115843072 363 33554432000 4194304 5098028 140736046341632 140736046339736 140218381333116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21032960 140736046343029 140736046343273 140736046343273 140736046346186 0
/proc/3648/statm: 28282 363 305 221 0 87 0
[pid=3650] ppid=3648 vsize=28832852 memory=187828 CPUtime=2.1 cores=0-7
/proc/3650/stat : 3650 (java) S 3648 3648 29062 0 -1 1077944320 18241 0 0 0 200 10 0 0 20 0 28 0 447105477 29524840448 46957 33554432000 4194304 4196468 140730976478160 140730976460704 140077519380215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
/proc/3650/statm: 7208213 46957 3486 1 0 7169313 0
[pid=3650/tid=3651] ppid=3648 vsize=28832852 memory=7378416072918066535 CPUtime=0.48 cores=0-7
/proc/3650/task/3651/stat : 3651 (java) S 3648 3648 29062 0 -1 1077944384 9077 0 0 0 44 4 0 0 20 0 28 0 447105477 29524840448 46957 33554432000 4194304 4196468 140730976478160 140077523620992 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3652] ppid=3648 vsize=28832852 memory=140351712581248 CPUtime=0 cores=0-7
/proc/3650/task/3652/stat : 3652 (java) S 3648 3648 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447105478 29524840448 46957 33554432000 4194304 4196468 140730976478160 140077475933072 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3653] ppid=3648 vsize=28832852 memory=140351612695252 CPUtime=0 cores=0-7
/proc/3650/task/3653/stat : 3653 (java) S 3648 3648 29062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 447105478 29524840448 46957 33554432000 4194304 4196468 140730976478160 140077474880272 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3654] ppid=3648 vsize=28832852 memory=7452446281012111191 CPUtime=0 cores=0-7
/proc/3650/task/3654/stat : 3654 (java) S 3648 3648 29062 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 447105478 29524840448 46957 33554432000 4194304 4196468 140730976478160 140077473827984 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
################
# More data... #
################
[pid=3650/tid=3667] ppid=3648 vsize=28832852 memory=354 CPUtime=0.5 cores=0-7
/proc/3650/task/3667/stat : 3667 (java) S 3648 3648 29062 0 -1 1077944384 3438 0 0 0 49 1 0 0 20 0 28 0 447105482 29524840448 150793 33554432000 4194304 4196468 140730976478160 140076762560752 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3668] ppid=3648 vsize=28832852 memory=369 CPUtime=0 cores=0-7
/proc/3650/task/3668/stat : 3668 (java) S 3648 3648 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447105483 29524840448 150793 33554432000 4194304 4196468 140730976478160 140076761508704 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3669] ppid=3648 vsize=28832852 memory=353 CPUtime=0 cores=0-7
/proc/3650/task/3669/stat : 3669 (java) S 3648 3648 29062 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 28 0 447105483 29524840448 150793 33554432000 4194304 4196468 140730976478160 140076760455984 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3967] ppid=3648 vsize=28832852 memory=363 CPUtime=4.51 cores=0-7
/proc/3650/task/3967/stat : 3967 (java) R 3648 3648 29062 0 -1 4202560 344 0 0 0 445 6 0 0 20 0 28 0 447105573 29524840448 150793 33554432000 4194304 4196468 140730976478160 140076744924560 140077157512604 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3968] ppid=3648 vsize=28832852 memory=375 CPUtime=4.64 cores=0-7
/proc/3650/task/3968/stat : 3968 (java) R 3648 3648 29062 0 -1 4202560 99 0 0 0 460 4 0 0 20 0 28 0 447105573 29524840448 150793 33554432000 4194304 4196468 140730976478160 140076749136304 140077157652118 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3969] ppid=3648 vsize=28832852 memory=0 CPUtime=4.68 cores=0-7
/proc/3650/task/3969/stat : 3969 (java) R 3648 3648 29062 0 -1 4202560 149 0 0 0 462 6 0 0 20 0 28 0 447105573 29524840448 150793 33554432000 4194304 4196468 140730976478160 140076751241008 140077157652128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3970] ppid=3648 vsize=28832852 memory=600104 CPUtime=4.6 cores=0-7
/proc/3650/task/3970/stat : 3970 (java) R 3648 3648 29062 0 -1 4202560 86 0 0 0 454 6 0 0 20 0 28 0 447105573 29524840448 150793 33554432000 4194304 4196468 140730976478160 140076747030192 140077157652145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3971] ppid=3648 vsize=28832852 memory=111632 CPUtime=4.76 cores=0-7
/proc/3650/task/3971/stat : 3971 (java) R 3648 3648 29062 0 -1 4202560 231 0 0 0 471 5 0 0 20 0 28 0 447105573 29524840448 150793 33554432000 4194304 4196468 140730976478160 140076750188496 140077157492291 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3972] ppid=3648 vsize=28832852 memory=804 CPUtime=4.57 cores=0-7
/proc/3650/task/3972/stat : 3972 (java) R 3648 3648 29062 0 -1 1077944384 247 0 0 0 452 5 0 0 20 0 28 0 447105573 29524840448 150793 33554432000 4194304 4196468 140730976478160 140076743872432 140077519390421 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3973] ppid=3648 vsize=28832852 memory=1412 CPUtime=4.75 cores=0-7
/proc/3650/task/3973/stat : 3973 (java) R 3648 3648 29062 0 -1 4202560 251 0 0 0 468 7 0 0 20 0 28 0 447105573 29524840448 150793 33554432000 4194304 4196468 140730976478160 140076742820144 140077157054223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3974] ppid=3648 vsize=28832852 memory=2704 CPUtime=4.86 cores=0-7
/proc/3650/task/3974/stat : 3974 (java) R 3648 3648 29062 0 -1 4202560 255 0 0 0 481 5 0 0 20 0 28 0 447105573 29524840448 150793 33554432000 4194304 4196468 140730976478160 140076748083376 140077157553789 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
Current children cumulated CPU time: 43.78 s
Current children cumulated vsize: 28945980 KiB
Current children cumulated memory: 604624 KiB
[startup+7.20152 s]
/proc/loadavg: 7.60 7.57 7.60 8/219 3974
/proc/meminfo: memFree=31108000/32770624 swapFree=66977240/67108860
[pid=3648] ppid=3645 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3648/stat : 3648 (xcsp3-exec) S 3645 3648 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447105476 115843072 363 33554432000 4194304 5098028 140736046341632 140736046339736 140218381333116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21032960 140736046343029 140736046343273 140736046343273 140736046346186 0
/proc/3648/statm: 28282 363 305 221 0 87 0
[pid=3650] ppid=3648 vsize=28832852 memory=606240 CPUtime=49.79 cores=0-7
/proc/3650/stat : 3650 (java) S 3648 3648 29062 0 -1 1077944320 37994 0 0 0 4904 75 0 0 20 0 28 0 447105477 29524840448 151560 33554432000 4194304 4196468 140730976478160 140730976460704 140077519380215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
/proc/3650/statm: 7208213 151560 3513 1 0 7169313 0
[pid=3650/tid=3651] ppid=3648 vsize=28832852 memory=924 CPUtime=0.48 cores=0-7
/proc/3650/task/3651/stat : 3651 (java) S 3648 3648 29062 0 -1 1077944384 9077 0 0 0 44 4 0 0 20 0 28 0 447105477 29524840448 151560 33554432000 4194304 4196468 140730976478160 140077523620992 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3652] ppid=3648 vsize=28832852 memory=4468 CPUtime=0.01 cores=0-7
/proc/3650/task/3652/stat : 3652 (java) S 3648 3648 29062 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 28 0 447105478 29524840448 151560 33554432000 4194304 4196468 140730976478160 140077475933072 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3653] ppid=3648 vsize=28832852 memory=4096 CPUtime=0.01 cores=0-7
/proc/3650/task/3653/stat : 3653 (java) S 3648 3648 29062 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 28 0 447105478 29524840448 151560 33554432000 4194304 4196468 140730976478160 140077474880272 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3654] ppid=3648 vsize=28832852 memory=1398720917958146503 CPUtime=0.02 cores=0-7
/proc/3650/task/3654/stat : 3654 (java) S 3648 3648 29062 0 -1 1077944384 63 0 0 0 1 1 0 0 20 0 28 0 447105478 29524840448 151560 33554432000 4194304 4196468 140730976478160 140077473827984 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3655] ppid=3648 vsize=28832852 memory=4126316290023845779 CPUtime=0.01 cores=0-7
/proc/3650/task/3655/stat : 3655 (java) S 3648 3648 29062 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 28 0 447105478 29524840448 151560 33554432000 4194304 4196468 140730976478160 140077068049424 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3656] ppid=3648 vsize=28832852 memory=0 CPUtime=0.02 cores=0-7
/proc/3650/task/3656/stat : 3656 (java) S 3648 3648 29062 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 28 0 447105478 29524840448 151560 33554432000 4194304 4196468 140730976478160 140077066996112 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3657] ppid=3648 vsize=28832852 memory=0 CPUtime=0.01 cores=0-7
/proc/3650/task/3657/stat : 3657 (java) S 3648 3648 29062 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 28 0 447105478 29524840448 151560 33554432000 4194304 4196468 140730976478160 140077065943312 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3658] ppid=3648 vsize=28832852 memory=0 CPUtime=0.01 cores=0-7
/proc/3650/task/3658/stat : 3658 (java) S 3648 3648 29062 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 28 0 447105478 29524840448 151560 33554432000 4194304 4196468 140730976478160 140077064891024 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3659] ppid=3648 vsize=28832852 memory=3620 CPUtime=0.01 cores=0-7
/proc/3650/task/3659/stat : 3659 (java) S 3648 3648 29062 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 447105478 29524840448 151560 33554432000 4194304 4196468 140730976478160 140077063838224 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3660] ppid=3648 vsize=28832852 memory=30936 CPUtime=0.01 cores=0-7
/proc/3650/task/3660/stat : 3660 (java) S 3648 3648 29062 0 -1 1077944384 679 0 0 0 1 0 0 0 20 0 28 0 447105479 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076769929840 140077519391362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3661] ppid=3648 vsize=28832852 memory=2004 CPUtime=0 cores=0-7
/proc/3650/task/3661/stat : 3661 (java) S 3648 3648 29062 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447105480 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076768875872 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3662] ppid=3648 vsize=28832852 memory=984 CPUtime=0 cores=0-7
/proc/3650/task/3662/stat : 3662 (java) S 3648 3648 29062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447105480 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076767823488 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3663] ppid=3648 vsize=28832852 memory=1324 CPUtime=0 cores=0-7
/proc/3650/task/3663/stat : 3663 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447105482 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076766771792 140077519398811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3664] ppid=3648 vsize=28832852 memory=780 CPUtime=0.99 cores=0-7
/proc/3650/task/3664/stat : 3664 (java) S 3648 3648 29062 0 -1 1077944384 4277 0 0 0 98 1 0 0 20 0 28 0 447105482 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076765718640 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3665] ppid=3648 vsize=28832852 memory=4088 CPUtime=1.01 cores=0-7
/proc/3650/task/3665/stat : 3665 (java) S 3648 3648 29062 0 -1 1077944384 4613 0 0 0 100 1 0 0 20 0 28 0 447105482 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076764665840 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3666] ppid=3648 vsize=28832852 memory=1580 CPUtime=1.29 cores=0-7
/proc/3650/task/3666/stat : 3666 (java) S 3648 3648 29062 0 -1 1077944384 6220 0 0 0 128 1 0 0 20 0 28 0 447105482 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076763613552 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3667] ppid=3648 vsize=28832852 memory=1028 CPUtime=0.5 cores=0-7
/proc/3650/task/3667/stat : 3667 (java) S 3648 3648 29062 0 -1 1077944384 3451 0 0 0 49 1 0 0 20 0 28 0 447105482 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076762560752 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3668] ppid=3648 vsize=28832852 memory=1060 CPUtime=0 cores=0-7
/proc/3650/task/3668/stat : 3668 (java) S 3648 3648 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447105483 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076761508704 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3669] ppid=3648 vsize=28832852 memory=2828 CPUtime=0 cores=0-7
/proc/3650/task/3669/stat : 3669 (java) S 3648 3648 29062 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 28 0 447105483 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076760455984 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3967] ppid=3648 vsize=28832852 memory=756 CPUtime=5.24 cores=0-7
/proc/3650/task/3967/stat : 3967 (java) R 3648 3648 29062 0 -1 4202560 348 0 0 0 518 6 0 0 20 0 28 0 447105573 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076744924656 140077157511663 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3968] ppid=3648 vsize=28832852 memory=33 CPUtime=5.37 cores=0-7
/proc/3650/task/3968/stat : 3968 (java) R 3648 3648 29062 0 -1 4202560 100 0 0 0 531 6 0 0 20 0 28 0 447105573 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076749136304 140077158422668 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3969] ppid=3648 vsize=28832852 memory=2224 CPUtime=5.39 cores=0-7
/proc/3650/task/3969/stat : 3969 (java) R 3648 3648 29062 0 -1 4202560 151 0 0 0 532 7 0 0 20 0 28 0 447105573 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076751241008 140077157512516 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3970] ppid=3648 vsize=28832852 memory=1071 CPUtime=5.29 cores=0-7
/proc/3650/task/3970/stat : 3970 (java) S 3648 3648 29062 0 -1 1077944384 86 0 0 0 523 6 0 0 20 0 28 0 447105573 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076747030192 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3971] ppid=3648 vsize=28832852 memory=396 CPUtime=5.52 cores=0-7
/proc/3650/task/3971/stat : 3971 (java) R 3648 3648 29062 0 -1 4202560 233 0 0 0 546 6 0 0 20 0 28 0 447105573 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076750188592 140077157512810 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3972] ppid=3648 vsize=28832852 memory=1428 CPUtime=5.32 cores=0-7
/proc/3650/task/3972/stat : 3972 (java) R 3648 3648 29062 0 -1 4202560 248 0 0 0 526 6 0 0 20 0 28 0 447105573 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076743872432 140077158634720 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3973] ppid=3648 vsize=28832852 memory=11 CPUtime=5.5 cores=0-7
/proc/3650/task/3973/stat : 3973 (java) R 3648 3648 29062 0 -1 1077944384 251 0 0 0 542 8 0 0 20 0 28 0 447105573 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076742820144 140077519390421 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3974] ppid=3648 vsize=28832852 memory=0 CPUtime=5.63 cores=0-7
/proc/3650/task/3974/stat : 3974 (java) R 3648 3648 29062 0 -1 4202560 255 0 0 0 558 5 0 0 20 0 28 0 447105573 29524840448 151560 33554432000 4194304 4196468 140730976478160 140076748083376 140077158635157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
Current children cumulated CPU time: 49.79 s
Current children cumulated vsize: 28945980 KiB
Current children cumulated memory: 607692 KiB
[startup+7.60142 s]
/proc/loadavg: 7.60 7.57 7.60 8/219 3974
/proc/meminfo: memFree=31108000/32770624 swapFree=66977240/67108860
[pid=3648] ppid=3645 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3648/stat : 3648 (xcsp3-exec) S 3645 3648 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447105476 115843072 363 33554432000 4194304 5098028 140736046341632 140736046339736 140218381333116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21032960 140736046343029 140736046343273 140736046343273 140736046346186 0
/proc/3648/statm: 28282 363 305 221 0 87 0
[pid=3650] ppid=3648 vsize=28832852 memory=606244 CPUtime=52.86 cores=0-7
/proc/3650/stat : 3650 (java) S 3648 3648 29062 0 -1 1077944320 38173 0 0 0 5208 78 0 0 20 0 28 0 447105477 29524840448 151561 33554432000 4194304 4196468 140730976478160 140730976460704 140077519380215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
/proc/3650/statm: 7208213 151561 3513 1 0 7169313 0
[pid=3650/tid=3651] ppid=3648 vsize=28832852 memory=8112282956445269571 CPUtime=0.48 cores=0-7
/proc/3650/task/3651/stat : 3651 (java) S 3648 3648 29062 0 -1 1077944384 9077 0 0 0 44 4 0 0 20 0 28 0 447105477 29524840448 151561 33554432000 4194304 4196468 140730976478160 140077523620992 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3652] ppid=3648 vsize=28832852 memory=0 CPUtime=0.01 cores=0-7
/proc/3650/task/3652/stat : 3652 (java) S 3648 3648 29062 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 28 0 447105478 29524840448 151561 33554432000 4194304 4196468 140730976478160 140077475933072 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3653] ppid=3648 vsize=28832852 memory=30936 CPUtime=0.01 cores=0-7
/proc/3650/task/3653/stat : 3653 (java) S 3648 3648 29062 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 28 0 447105478 29524840448 151561 33554432000 4194304 4196468 140730976478160 140077474880272 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3654] ppid=3648 vsize=28832852 memory=2004 CPUtime=0.02 cores=0-7
/proc/3650/task/3654/stat : 3654 (java) S 3648 3648 29062 0 -1 1077944384 63 0 0 0 1 1 0 0 20 0 28 0 447105478 29524840448 151561 33554432000 4194304 4196468 140730976478160 140077473827984 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3655] ppid=3648 vsize=28832852 memory=984 CPUtime=0.01 cores=0-7
/proc/3650/task/3655/stat : 3655 (java) S 3648 3648 29062 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 28 0 447105478 29524840448 151561 33554432000 4194304 4196468 140730976478160 140077068049424 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3656] ppid=3648 vsize=28832852 memory=1324 CPUtime=0.02 cores=0-7
/proc/3650/task/3656/stat : 3656 (java) S 3648 3648 29062 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 28 0 447105478 29524840448 151561 33554432000 4194304 4196468 140730976478160 140077066996112 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3657] ppid=3648 vsize=28832852 memory=780 CPUtime=0.01 cores=0-7
/proc/3650/task/3657/stat : 3657 (java) S 3648 3648 29062 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 28 0 447105478 29524840448 151561 33554432000 4194304 4196468 140730976478160 140077065943312 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3658] ppid=3648 vsize=28832852 memory=0 CPUtime=0.01 cores=0-7
/proc/3650/task/3658/stat : 3658 (java) S 3648 3648 29062 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 28 0 447105478 29524840448 151561 33554432000 4194304 4196468 140730976478160 140077064891024 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3659] ppid=3648 vsize=28832852 memory=7235428979092515943 CPUtime=0.01 cores=0-7
/proc/3650/task/3659/stat : 3659 (java) S 3648 3648 29062 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 447105478 29524840448 151561 33554432000 4194304 4196468 140730976478160 140077063838224 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3660] ppid=3648 vsize=28832852 memory=6947203078716674640 CPUtime=0.01 cores=0-7
/proc/3650/task/3660/stat : 3660 (java) S 3648 3648 29062 0 -1 1077944384 679 0 0 0 1 0 0 0 20 0 28 0 447105479 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076769929840 140077519391362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3661] ppid=3648 vsize=28832852 memory=7957689449132282197 CPUtime=0 cores=0-7
/proc/3650/task/3661/stat : 3661 (java) S 3648 3648 29062 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447105480 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076768875872 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3662] ppid=3648 vsize=28832852 memory=7378986813909975148 CPUtime=0 cores=0-7
/proc/3650/task/3662/stat : 3662 (java) S 3648 3648 29062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447105480 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076767823488 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3663] ppid=3648 vsize=28832852 memory=6442213872128518751 CPUtime=0 cores=0-7
/proc/3650/task/3663/stat : 3663 (java) S 3648 3648 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447105482 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076766771792 140077519398811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3664] ppid=3648 vsize=28832852 memory=0 CPUtime=0.99 cores=0-7
/proc/3650/task/3664/stat : 3664 (java) S 3648 3648 29062 0 -1 1077944384 4277 0 0 0 98 1 0 0 20 0 28 0 447105482 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076765718640 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3665] ppid=3648 vsize=28832852 memory=2241 CPUtime=1.01 cores=0-7
/proc/3650/task/3665/stat : 3665 (java) S 3648 3648 29062 0 -1 1077944384 4613 0 0 0 100 1 0 0 20 0 28 0 447105482 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076764665840 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3666] ppid=3648 vsize=28832852 memory=2244 CPUtime=1.29 cores=0-7
/proc/3650/task/3666/stat : 3666 (java) S 3648 3648 29062 0 -1 1077944384 6220 0 0 0 128 1 0 0 20 0 28 0 447105482 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076763613552 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3667] ppid=3648 vsize=28832852 memory=0 CPUtime=0.51 cores=0-7
/proc/3650/task/3667/stat : 3667 (java) S 3648 3648 29062 0 -1 1077944384 3516 0 0 0 50 1 0 0 20 0 28 0 447105482 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076762560752 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3668] ppid=3648 vsize=28832852 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3650/task/3668/stat : 3668 (java) S 3648 3648 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447105483 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076761508704 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3669] ppid=3648 vsize=28832852 memory=3784 CPUtime=0 cores=0-7
/proc/3650/task/3669/stat : 3669 (java) S 3648 3648 29062 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 28 0 447105483 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076760455984 140077519391362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3967] ppid=3648 vsize=28832852 memory=1440 CPUtime=5.62 cores=0-7
/proc/3650/task/3967/stat : 3967 (java) R 3648 3648 29062 0 -1 4202560 351 0 0 0 555 7 0 0 20 0 28 0 447105573 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076744924560 140077157554647 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3968] ppid=3648 vsize=28832852 memory=904 CPUtime=5.75 cores=0-7
/proc/3650/task/3968/stat : 3968 (java) R 3648 3648 29062 0 -1 4202560 106 0 0 0 569 6 0 0 20 0 28 0 447105573 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076749136304 140077157513704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3969] ppid=3648 vsize=28832852 memory=1984 CPUtime=5.77 cores=0-7
/proc/3650/task/3969/stat : 3969 (java) S 3648 3648 29062 0 -1 1077944384 155 0 0 0 570 7 0 0 20 0 28 0 447105573 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076751241008 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3970] ppid=3648 vsize=28832852 memory=2528 CPUtime=5.67 cores=0-7
/proc/3650/task/3970/stat : 3970 (java) R 3648 3648 29062 0 -1 4202560 90 0 0 0 561 6 0 0 20 0 28 0 447105573 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076747030192 140077158419535 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3971] ppid=3648 vsize=28832852 memory=1764 CPUtime=5.91 cores=0-7
/proc/3650/task/3971/stat : 3971 (java) S 3648 3648 29062 0 -1 1077944384 272 0 0 0 585 6 0 0 20 0 28 0 447105573 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076750188592 140077519390421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3972] ppid=3648 vsize=28832852 memory=33 CPUtime=5.71 cores=0-7
/proc/3650/task/3972/stat : 3972 (java) R 3648 3648 29062 0 -1 4202560 280 0 0 0 565 6 0 0 20 0 28 0 447105573 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076743872432 140077158635525 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3973] ppid=3648 vsize=28832852 memory=932 CPUtime=5.88 cores=0-7
/proc/3650/task/3973/stat : 3973 (java) R 3648 3648 29062 0 -1 1077944384 258 0 0 0 580 8 0 0 20 0 28 0 447105573 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076742820048 140077519391362 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
[pid=3650/tid=3974] ppid=3648 vsize=28832852 memory=576460756329982002 CPUtime=6.03 cores=0-7
/proc/3650/task/3974/stat : 3974 (java) R 3648 3648 29062 0 -1 4202560 274 0 0 0 597 6 0 0 20 0 28 0 447105573 29524840448 151561 33554432000 4194304 4196468 140730976478160 140076748083280 140077157991159 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140730976482282 140730976482454 140730976482454 140730976485327 0
Current children cumulated CPU time: 52.86 s
Current children cumulated vsize: 28945980 KiB
Current children cumulated memory: 607696 KiB
Child status: 0
Real time (s): 7.62147
CPU time (s): 52.9509
CPU user time (s): 52.1539
CPU system time (s): 0.79699
CPU usage (%): 694.76
Max. virtual memory (cumulated for all children) (KiB): 28947900
Max. memory (cumulated for all children) (KiB): 607696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.1539
system time used= 0.79699
maximum resident set size= 609316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 168285
involuntary context switches= 374
# summary of solver processes directly reported to runsolver:
# pid: 3648
# total CPU time (s): 52.9509
# total CPU user time (s): 52.1539
# total CPU system time (s): 0.79699
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.094902 second user time and 0.117113 second system time
The end
Begin job on node121 at 2019-09-17 10:19:46
IDJOB=4399791
IDBENCH=133449
IDSOLVER=2854
FILE ID=node121/4399791-1568708428
RUNJOBID= node121-1568700707-29089
PBS_JOBID= 21703902
Free space on /tmp= 61408 MiB
SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-05.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-4399791-1568708428/watcher-4399791-1568708428 -o /tmp/evaluation-result-4399791-1568708428/solver-4399791-1568708428 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1579688982 HOME/instance-4399791-1568708428.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= fc947c5025dc4a3c0350e3415d914057
RANDOM SEED=1579688982
node121.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.75
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.75
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.75
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.75
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: 31702788 kB
MemAvailable: 31918580 kB
Buffers: 69576 kB
Cached: 444280 kB
SwapCached: 10792 kB
Active: 207740 kB
Inactive: 319724 kB
Active(anon): 3804 kB
Inactive(anon): 42468 kB
Active(file): 203936 kB
Inactive(file): 277256 kB
Unevictable: 109160 kB
Mlocked: 109160 kB
SwapTotal: 67108860 kB
SwapFree: 66977240 kB
Dirty: 26188 kB
Writeback: 0 kB
AnonPages: 112664 kB
Mapped: 42064 kB
Shmem: 24044 kB
Slab: 130672 kB
SReclaimable: 100872 kB
SUnreclaim: 29800 kB
KernelStack: 3408 kB
PageTables: 5188 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506832 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: 122240 kB
DirectMap2M: 33423360 kB
Free space on /tmp at the end= 61384 MiB
End job on node121 at 2019-09-17 10:19:54