0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404375-1569004802.xml" -tl '20160s' -p 8
0.13/0.18 c Choco 3fb4b153
0.13/0.18 c [HOME/instance-4404375-1569004802.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
4.83/1.62 c solve instance...
61.91/8.82 s SATISFIABLE
61.91/8.82 v <instantiation>
61.91/8.82 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] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] </list>
61.91/8.82 v <values>0 10 16 1 11 5 15 21 27 33 48 42 57 51 61 55 45 39 29 23 6 12 22 7 13 19 4 14 20 3 9 24 34 40 25 35 41 56 50 60 54 37 31 46 63 53 43 58 52 62 47 30 36 26 32 49 59 44 38 28 18 8 2 17 </values>
61.91/8.82 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 (6733 MiB free)
memory of node 1: 16384 MiB (7039 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404375-1569004802/watcher-4404375-1569004802 -o /var/tmp/evaluation-result-4404375-1569004802/solver-4404375-1569004802 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569004688-31966 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1320659122 HOME/instance-4404375-1569004802.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=32082, runsolver pid=32079
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 3.06 6.67 7.72 2/211 32103
/proc/meminfo: memFree=14086152/32770624 swapFree=66953204/67108860
[pid=32082] ppid=32079 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32082/stat : 32082 (xcsp3-exec) S 32079 32082 31939 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476395045 115843072 363 33554432000 4194304 5098028 140723669980864 140723669978968 139884967277180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26931200 140723669988177 140723669988437 140723669988437 140723669991366 0
/proc/32082/statm: 28282 363 304 221 0 87 0
[pid=32084] ppid=32082 vsize=28227396 memory=28736 CPUtime=0.13 cores=0-7
/proc/32084/stat : 32084 (java) S 32082 32082 31939 0 -1 1077944320 5699 0 0 0 12 1 0 0 20 0 20 0 476395045 28904853504 7184 33554432000 4194304 4196468 140721268592048 140721268574592 140163729800951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
/proc/32084/statm: 7056849 7184 3124 1 0 7019032 0
[pid=32084/tid=32085] ppid=32082 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/32084/task/32085/stat : 32085 (java) R 32082 32082 31939 0 -1 4202560 3601 0 0 0 8 0 0 0 20 0 20 0 476395045 28904853504 7184 33554432000 4194304 4196468 140721268592048 140163734026912 140163713881438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32086] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32086/stat : 32086 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 7184 33554432000 4194304 4196468 140721268592048 140163649653392 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32087] ppid=32082 vsize=28227396 memory=140163053426304 CPUtime=0 cores=0-7
/proc/32084/task/32087/stat : 32087 (java) S 32082 32082 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 7184 33554432000 4194304 4196468 140721268592048 140163648600592 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32088] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32088/stat : 32088 (java) S 32082 32082 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 7184 33554432000 4194304 4196468 140721268592048 140163647547792 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32089] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32089/stat : 32089 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 7184 33554432000 4194304 4196468 140721268592048 140163646494992 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32090] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32090/stat : 32090 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 7184 33554432000 4194304 4196468 140721268592048 140163645443216 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32091] ppid=32082 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32084/task/32091/stat : 32091 (java) S 32082 32082 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 7184 33554432000 4194304 4196468 140721268592048 140163644390416 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32092] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32092/stat : 32092 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 7184 33554432000 4194304 4196468 140721268592048 140163643337616 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32093] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32093/stat : 32093 (java) S 32082 32082 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 7184 33554432000 4194304 4196468 140721268592048 140163642284816 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32094] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32094/stat : 32094 (java) S 32082 32082 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476395048 28904853504 7184 33554432000 4194304 4196468 140721268592048 140162845735280 140163729812098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32095] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32095/stat : 32095 (java) S 32082 32082 31939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476395048 28904853504 7184 33554432000 4194304 4196468 140721268592048 140162844681248 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32096] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32096/stat : 32096 (java) S 32082 32082 31939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476395048 28904853504 7184 33554432000 4194304 4196468 140721268592048 140162843628400 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32097] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32097/stat : 32097 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395051 28904853504 7184 33554432000 4194304 4196468 140721268592048 140162842576720 140163729819547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32098] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32098/stat : 32098 (java) R 32082 32082 31939 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 476395051 28904853504 7184 33554432000 4194304 4196468 140721268592048 140162841525104 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32099] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32099/stat : 32099 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395051 28904853504 7184 33554432000 4194304 4196468 140721268592048 140162840472304 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32100] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32100/stat : 32100 (java) R 32082 32082 31939 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 20 0 476395051 28904853504 7184 33554432000 4194304 4196468 140721268592048 140162839419504 140163729812098 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32101] ppid=32082 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/32084/task/32101/stat : 32101 (java) R 32082 32082 31939 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 476395051 28904853504 7184 33554432000 4194304 4196468 140721268592048 140162838366704 140163729812886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32102] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32102/stat : 32102 (java) S 32082 32082 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476395051 28904853504 7184 33554432000 4194304 4196468 140721268592048 140162837314144 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32103] ppid=32082 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32084/task/32103/stat : 32103 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395051 28904853504 7184 33554432000 4194304 4196468 140721268592048 140162836261424 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30188 KiB
[startup+0.210516 s]*
/proc/loadavg: 3.06 6.67 7.72 2/211 32103
/proc/meminfo: memFree=14073148/32770624 swapFree=66953204/67108860
[pid=32082] ppid=32079 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32082/stat : 32082 (xcsp3-exec) S 32079 32082 31939 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476395045 115843072 363 33554432000 4194304 5098028 140723669980864 140723669978968 139884967277180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26931200 140723669988177 140723669988437 140723669988437 140723669991366 0
/proc/32082/statm: 28282 363 304 221 0 87 0
[pid=32084] ppid=32082 vsize=28227396 memory=40860 CPUtime=0.34 cores=0-7
/proc/32084/stat : 32084 (java) S 32082 32082 31939 0 -1 1077944320 9496 0 0 0 31 3 0 0 20 0 20 0 476395045 28904853504 10215 33554432000 4194304 4196468 140721268592048 140721268574592 140163729800951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
/proc/32084/statm: 7056849 10215 3287 1 0 7019032 0
[pid=32084/tid=32085] ppid=32082 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/32084/task/32085/stat : 32085 (java) R 32082 32082 31939 0 -1 4202560 6642 0 0 0 18 2 0 0 20 0 20 0 476395045 28904853504 10215 33554432000 4194304 4196468 140721268592048 140163734040624 140163321833217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32086] ppid=32082 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/32084/task/32086/stat : 32086 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 10215 33554432000 4194304 4196468 140721268592048 140163649653392 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32087] ppid=32082 vsize=28227396 memory=3761831362504857248 CPUtime=0 cores=0-7
/proc/32084/task/32087/stat : 32087 (java) S 32082 32082 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 10215 33554432000 4194304 4196468 140721268592048 140163648600592 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32088] ppid=32082 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32084/task/32088/stat : 32088 (java) S 32082 32082 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 10215 33554432000 4194304 4196468 140721268592048 140163647547792 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32089] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32089/stat : 32089 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 10215 33554432000 4194304 4196468 140721268592048 140163646494992 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32090] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32090/stat : 32090 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 10215 33554432000 4194304 4196468 140721268592048 140163645443216 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32091] ppid=32082 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32084/task/32091/stat : 32091 (java) S 32082 32082 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 10215 33554432000 4194304 4196468 140721268592048 140163644390416 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32092] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32092/stat : 32092 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 10215 33554432000 4194304 4196468 140721268592048 140163643337616 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32093] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32093/stat : 32093 (java) S 32082 32082 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476395046 28904853504 10215 33554432000 4194304 4196468 140721268592048 140163642284816 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32094] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32094/stat : 32094 (java) S 32082 32082 31939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476395048 28904853504 10215 33554432000 4194304 4196468 140721268592048 140162845735280 140163729812098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32095] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32095/stat : 32095 (java) S 32082 32082 31939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476395048 28904853504 10215 33554432000 4194304 4196468 140721268592048 140162844681248 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32096] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32096/stat : 32096 (java) S 32082 32082 31939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476395048 28904853504 10215 33554432000 4194304 4196468 140721268592048 140162843628400 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32097] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32097/stat : 32097 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395051 28904853504 10215 33554432000 4194304 4196468 140721268592048 140162842576720 140163729819547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32098] ppid=32082 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/32084/task/32098/stat : 32098 (java) S 32082 32082 31939 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 20 0 476395051 28904853504 10215 33554432000 4194304 4196468 140721268592048 140162841525104 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32099] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32099/stat : 32099 (java) S 32082 32082 31939 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 476395051 28904853504 10215 33554432000 4194304 4196468 140721268592048 140162840472304 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32100] ppid=32082 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/32084/task/32100/stat : 32100 (java) S 32082 32082 31939 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 20 0 476395051 28904853504 10215 33554432000 4194304 4196468 140721268592048 140162839419504 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32101] ppid=32082 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/32084/task/32101/stat : 32101 (java) R 32082 32082 31939 0 -1 4202560 781 0 0 0 8 0 0 0 20 0 20 0 476395051 28904853504 10215 33554432000 4194304 4196468 140721268592048 140162838366704 140163713881438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32102] ppid=32082 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32102/stat : 32102 (java) S 32082 32082 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476395051 28904853504 10215 33554432000 4194304 4196468 140721268592048 140162837314144 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32103] ppid=32082 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32084/task/32103/stat : 32103 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395051 28904853504 10215 33554432000 4194304 4196468 140721268592048 140162836261424 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42312 KiB
[startup+0.310527 s]*
/proc/loadavg: 3.06 6.67 7.72 2/211 32103
/proc/meminfo: memFree=14067052/32770624 swapFree=66953204/67108860
[pid=32082] ppid=32079 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32082/stat : 32082 (xcsp3-exec) S 32079 32082 31939 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476395045 115843072 363 33554432000 4194304 5098028 140723669980864 140723669978968 139884967277180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26931200 140723669988177 140723669988437 140723669988437 140723669991366 0
/proc/32082/statm: 28282 363 304 221 0 87 0
[pid=32084] ppid=32082 vsize=28231652 memory=49376 CPUtime=0.52 cores=0-7
/proc/32084/stat : 32084 (java) S 32082 32082 31939 0 -1 1077944320 10780 0 0 0 48 4 0 0 20 0 20 0 476395045 28909211648 12344 33554432000 4194304 4196468 140721268592048 140721268574592 140163729800951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
/proc/32084/statm: 7057913 12344 3322 1 0 7019032 0
[pid=32084/tid=32085] ppid=32082 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32084/task/32085/stat : 32085 (java) R 32082 32082 31939 0 -1 4202560 7797 0 0 0 27 2 0 0 20 0 20 0 476395045 28909211648 12344 33554432000 4194304 4196468 140721268592048 140163734032064 140163729822877 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32086] ppid=32082 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32086/stat : 32086 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395046 28909211648 12344 33554432000 4194304 4196468 140721268592048 140163649653392 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32087] ppid=32082 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32087/stat : 32087 (java) S 32082 32082 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476395046 28909211648 12344 33554432000 4194304 4196468 140721268592048 140163648600592 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32088] ppid=32082 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32088/stat : 32088 (java) S 32082 32082 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476395046 28909211648 12344 33554432000 4194304 4196468 140721268592048 140163647547792 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32089] ppid=32082 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32089/stat : 32089 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395046 28909211648 12344 33554432000 4194304 4196468 140721268592048 140163646494992 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32090] ppid=32082 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/32084/task/32090/stat : 32090 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395046 28909211648 12344 33554432000 4194304 4196468 140721268592048 140163645443216 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32091] ppid=32082 vsize=28231652 memory=140162902356911 CPUtime=0 cores=0-7
/proc/32084/task/32091/stat : 32091 (java) S 32082 32082 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476395046 28909211648 12344 33554432000 4194304 4196468 140721268592048 140163644390416 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32092] ppid=32082 vsize=28231652 memory=140162902359216 CPUtime=0 cores=0-7
/proc/32084/task/32092/stat : 32092 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395046 28909211648 12344 33554432000 4194304 4196468 140721268592048 140163643337616 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32093] ppid=32082 vsize=28231652 memory=140162902361520 CPUtime=0 cores=0-7
/proc/32084/task/32093/stat : 32093 (java) S 32082 32082 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476395046 28909211648 12344 33554432000 4194304 4196468 140721268592048 140163642284816 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32094] ppid=32082 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32094/stat : 32094 (java) S 32082 32082 31939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476395048 28909211648 12344 33554432000 4194304 4196468 140721268592048 140162845735280 140163729812098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32095] ppid=32082 vsize=28231652 memory=280325804730000 CPUtime=0 cores=0-7
/proc/32084/task/32095/stat : 32095 (java) S 32082 32082 31939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476395048 28909211648 12344 33554432000 4194304 4196468 140721268592048 140162844681248 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32096] ppid=32082 vsize=28231652 memory=280325804736912 CPUtime=0 cores=0-7
/proc/32084/task/32096/stat : 32096 (java) S 32082 32082 31939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476395048 28909211648 12344 33554432000 4194304 4196468 140721268592048 140162843628400 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32097] ppid=32082 vsize=28231652 memory=280325804678192 CPUtime=0 cores=0-7
/proc/32084/task/32097/stat : 32097 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395051 28909211648 12344 33554432000 4194304 4196468 140721268592048 140162842576720 140163729819547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32098] ppid=32082 vsize=28231652 memory=280325804750736 CPUtime=0.01 cores=0-7
/proc/32084/task/32098/stat : 32098 (java) S 32082 32082 31939 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 20 0 476395051 28909211648 12344 33554432000 4194304 4196468 140721268592048 140162841525104 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32099] ppid=32082 vsize=28231652 memory=280325804757648 CPUtime=0.01 cores=0-7
/proc/32084/task/32099/stat : 32099 (java) S 32082 32082 31939 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 476395051 28909211648 12344 33554432000 4194304 4196468 140721268592048 140162840472304 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32100] ppid=32082 vsize=28231652 memory=280325804755344 CPUtime=0.04 cores=0-7
/proc/32084/task/32100/stat : 32100 (java) S 32082 32082 31939 0 -1 1077944384 379 0 0 0 4 0 0 0 20 0 20 0 476395051 28909211648 12344 33554432000 4194304 4196468 140721268592048 140162839419504 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32101] ppid=32082 vsize=28231652 memory=280325804771504 CPUtime=0.12 cores=0-7
/proc/32084/task/32101/stat : 32101 (java) S 32082 32082 31939 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 20 0 476395051 28909211648 12344 33554432000 4194304 4196468 140721268592048 140162838366704 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32102] ppid=32082 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32102/stat : 32102 (java) S 32082 32082 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476395051 28909211648 12344 33554432000 4194304 4196468 140721268592048 140162837314144 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32103] ppid=32082 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/32084/task/32103/stat : 32103 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395051 28909211648 12344 33554432000 4194304 4196468 140721268592048 140162836261424 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50828 KiB
[startup+0.701003 s]
/proc/loadavg: 3.06 6.67 7.72 4/211 32103
/proc/meminfo: memFree=14049068/32770624 swapFree=66953204/67108860
[pid=32082] ppid=32079 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32082/stat : 32082 (xcsp3-exec) S 32079 32082 31939 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476395045 115843072 363 33554432000 4194304 5098028 140723669980864 140723669978968 139884967277180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26931200 140723669988177 140723669988437 140723669988437 140723669991366 0
/proc/32082/statm: 28282 363 304 221 0 87 0
[pid=32084] ppid=32082 vsize=28235652 memory=99032 CPUtime=1.85 cores=0-7
/proc/32084/stat : 32084 (java) S 32082 32082 31939 0 -1 1077944320 19447 0 0 0 179 6 0 0 20 0 20 0 476395045 28913307648 24758 33554432000 4194304 4196468 140721268592048 140721268574592 140163729800951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
/proc/32084/statm: 7058913 24758 3454 1 0 7020013 0
[pid=32084/tid=32085] ppid=32082 vsize=28235652 memory=280325805129392 CPUtime=0.68 cores=0-7
/proc/32084/task/32085/stat : 32085 (java) R 32082 32082 31939 0 -1 4202560 9213 0 0 0 64 4 0 0 20 0 20 0 476395045 28913307648 24758 33554432000 4194304 4196468 140721268592048 140163734036200 140163729812886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32086] ppid=32082 vsize=28235652 memory=140162902565744 CPUtime=0 cores=0-7
/proc/32084/task/32086/stat : 32086 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476395046 28913307648 24758 33554432000 4194304 4196468 140721268592048 140163649653392 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32087] ppid=32082 vsize=28235652 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32087/stat : 32087 (java) S 32082 32082 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476395046 28913307648 24758 33554432000 4194304 4196468 140721268592048 140163648600592 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32088] ppid=32082 vsize=28235652 memory=668 CPUtime=0 cores=0-7
/proc/32084/task/32088/stat : 32088 (java) S 32082 32082 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476395046 28913307648 24758 33554432000 4194304 4196468 140721268592048 140163647547792 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
################
# More data... #
################
[pid=32084/tid=32101] ppid=32082 vsize=28768336 memory=0 CPUtime=0.71 cores=0-7
/proc/32084/task/32101/stat : 32101 (java) S 32082 32082 31939 0 -1 1077944384 5006 0 0 0 70 1 0 0 20 0 28 0 476395051 29458776064 61575 33554432000 4194304 4196468 140721268592048 140162838366704 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32102] ppid=32082 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32102/stat : 32102 (java) S 32082 32082 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476395051 29458776064 61575 33554432000 4194304 4196468 140721268592048 140162837314144 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32103] ppid=32082 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32103/stat : 32103 (java) S 32082 32082 31939 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 476395051 29458776064 61575 33554432000 4194304 4196468 140721268592048 140162836261424 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32104] ppid=32082 vsize=28768336 memory=206 CPUtime=5.73 cores=0-7
/proc/32084/task/32104/stat : 32104 (java) R 32082 32082 31939 0 -1 4202560 193 0 0 0 573 0 0 0 20 0 28 0 476395208 29458776064 61575 33554432000 4194304 4196468 140721268592048 140161839458912 140163322844017 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32105] ppid=32082 vsize=28768336 memory=216 CPUtime=5.85 cores=0-7
/proc/32084/task/32105/stat : 32105 (java) R 32082 32082 31939 0 -1 4202560 155 0 0 0 584 1 0 0 20 0 28 0 476395208 29458776064 61575 33554432000 4194304 4196468 140721268592048 140161838407216 140163329314338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32106] ppid=32082 vsize=28768336 memory=280325805427616 CPUtime=5.82 cores=0-7
/proc/32084/task/32106/stat : 32106 (java) R 32082 32082 31939 0 -1 1077944384 298 0 0 0 582 0 0 0 20 0 28 0 476395208 29458776064 61575 33554432000 4194304 4196468 140721268592048 140161837355536 140163729811157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32107] ppid=32082 vsize=28768336 memory=0 CPUtime=5.93 cores=0-7
/proc/32084/task/32107/stat : 32107 (java) R 32082 32082 31939 0 -1 4202560 318 0 0 0 593 0 0 0 20 0 28 0 476395208 29458776064 61575 33554432000 4194304 4196468 140721268592048 140161836302640 140163328888780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32108] ppid=32082 vsize=28768336 memory=0 CPUtime=6.02 cores=0-7
/proc/32084/task/32108/stat : 32108 (java) R 32082 32082 31939 0 -1 4202560 303 0 0 0 602 0 0 0 20 0 28 0 476395208 29458776064 61575 33554432000 4194304 4196468 140721268592048 140161835249840 140163330538056 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32109] ppid=32082 vsize=28768336 memory=3471202396320837745 CPUtime=5.84 cores=0-7
/proc/32084/task/32109/stat : 32109 (java) R 32082 32082 31939 0 -1 4202560 115 0 0 0 584 0 0 0 20 0 28 0 476395208 29458776064 61575 33554432000 4194304 4196468 140721268592048 140161834196816 140163322030958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32110] ppid=32082 vsize=28768336 memory=0 CPUtime=5.68 cores=0-7
/proc/32084/task/32110/stat : 32110 (java) R 32082 32082 31939 0 -1 4202560 127 0 0 0 568 0 0 0 20 0 28 0 476395208 29458776064 61575 33554432000 4194304 4196468 140721268592048 140161833144336 140163329314824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32111] ppid=32082 vsize=28768336 memory=0 CPUtime=5.88 cores=0-7
/proc/32084/task/32111/stat : 32111 (java) R 32082 32082 31939 0 -1 4202560 261 0 0 0 588 0 0 0 20 0 28 0 476395208 29458776064 61575 33554432000 4194304 4196468 140721268592048 140161832094400 140163329315189 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
Current children cumulated CPU time: 55.61 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 247752 KiB
[startup+8.40143 s]
/proc/loadavg: 3.89 6.73 7.73 2/219 32111
/proc/meminfo: memFree=13871368/32770624 swapFree=66953204/67108860
[pid=32082] ppid=32079 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32082/stat : 32082 (xcsp3-exec) S 32079 32082 31939 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476395045 115843072 363 33554432000 4194304 5098028 140723669980864 140723669978968 139884967277180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26931200 140723669988177 140723669988437 140723669988437 140723669991366 0
/proc/32082/statm: 28282 363 304 221 0 87 0
[pid=32084] ppid=32082 vsize=28768336 memory=246388 CPUtime=58.71 cores=0-7
/proc/32084/stat : 32084 (java) S 32082 32082 31939 0 -1 1077944320 43501 0 0 0 5847 24 0 0 20 0 28 0 476395045 29458776064 61597 33554432000 4194304 4196468 140721268592048 140721268574592 140163729800951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
/proc/32084/statm: 7192084 61597 3535 1 0 7153184 0
[pid=32084/tid=32085] ppid=32082 vsize=28768336 memory=3684137667420585458 CPUtime=1.6 cores=0-7
/proc/32084/task/32085/stat : 32085 (java) S 32082 32082 31939 0 -1 1077944384 9806 0 0 0 155 5 0 0 20 0 28 0 476395045 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163734041728 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32086] ppid=32082 vsize=28768336 memory=3618275834340670290 CPUtime=0.01 cores=0-7
/proc/32084/task/32086/stat : 32086 (java) S 32082 32082 31939 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163649653392 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32087] ppid=32082 vsize=28768336 memory=3473295291975432633 CPUtime=0 cores=0-7
/proc/32084/task/32087/stat : 32087 (java) S 32082 32082 31939 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163648600592 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32088] ppid=32082 vsize=28768336 memory=3473034724866161427 CPUtime=0.01 cores=0-7
/proc/32084/task/32088/stat : 32088 (java) S 32082 32082 31939 0 -1 1077944384 340 0 0 0 0 1 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163647547792 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32089] ppid=32082 vsize=28768336 memory=3473034724866161523 CPUtime=0 cores=0-7
/proc/32084/task/32089/stat : 32089 (java) S 32082 32082 31939 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163646494992 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32090] ppid=32082 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/32084/task/32090/stat : 32090 (java) S 32082 32082 31939 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163645443216 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32091] ppid=32082 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32091/stat : 32091 (java) S 32082 32082 31939 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163644390416 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32092] ppid=32082 vsize=28768336 memory=140167348393599 CPUtime=0 cores=0-7
/proc/32084/task/32092/stat : 32092 (java) S 32082 32082 31939 0 -1 1077944384 1021 0 0 0 0 0 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163643337616 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32093] ppid=32082 vsize=28768336 memory=-7751062316387021378 CPUtime=0 cores=0-7
/proc/32084/task/32093/stat : 32093 (java) S 32082 32082 31939 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163642284816 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32094] ppid=32082 vsize=28768336 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/32084/task/32094/stat : 32094 (java) S 32082 32082 31939 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 28 0 476395048 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162845735280 140163729812098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32095] ppid=32082 vsize=28768336 memory=8389772264424737280 CPUtime=0 cores=0-7
/proc/32084/task/32095/stat : 32095 (java) S 32082 32082 31939 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 476395048 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162844681312 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32096] ppid=32082 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/32084/task/32096/stat : 32096 (java) S 32082 32082 31939 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 476395048 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162843628416 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32097] ppid=32082 vsize=28768336 memory=3618982291109984682 CPUtime=0 cores=0-7
/proc/32084/task/32097/stat : 32097 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476395051 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162842576720 140163729819547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32098] ppid=32082 vsize=28768336 memory=6656426216303648864 CPUtime=2.12 cores=0-7
/proc/32084/task/32098/stat : 32098 (java) S 32082 32082 31939 0 -1 1077944384 7848 0 0 0 210 2 0 0 20 0 28 0 476395051 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162841525104 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32099] ppid=32082 vsize=28768336 memory=6655300316396806240 CPUtime=2.19 cores=0-7
/proc/32084/task/32099/stat : 32099 (java) S 32082 32082 31939 0 -1 1077944384 9094 0 0 0 217 2 0 0 20 0 28 0 476395051 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162840472304 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32100] ppid=32082 vsize=28768336 memory=6656426216303648864 CPUtime=1.98 cores=0-7
/proc/32084/task/32100/stat : 32100 (java) S 32082 32082 31939 0 -1 1077944384 5553 0 0 0 197 1 0 0 20 0 28 0 476395051 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162839419504 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32101] ppid=32082 vsize=28768336 memory=-3252517613198930781 CPUtime=0.71 cores=0-7
/proc/32084/task/32101/stat : 32101 (java) S 32082 32082 31939 0 -1 1077944384 5914 0 0 0 70 1 0 0 20 0 28 0 476395051 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162838366704 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32102] ppid=32082 vsize=28768336 memory=8303318712902181730 CPUtime=0 cores=0-7
/proc/32084/task/32102/stat : 32102 (java) S 32082 32082 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476395051 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162837314144 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32103] ppid=32082 vsize=28768336 memory=6944656425123422848 CPUtime=0 cores=0-7
/proc/32084/task/32103/stat : 32103 (java) S 32082 32082 31939 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 476395051 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162836261424 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32104] ppid=32082 vsize=28768336 memory=8764446273926488160 CPUtime=6.12 cores=0-7
/proc/32084/task/32104/stat : 32104 (java) R 32082 32082 31939 0 -1 4202560 193 0 0 0 612 0 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161839459048 140163327807332 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32105] ppid=32082 vsize=28768336 memory=6944656591801720471 CPUtime=6.23 cores=0-7
/proc/32084/task/32105/stat : 32105 (java) R 32082 32082 31939 0 -1 4202560 155 0 0 0 622 1 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161838407352 140163328215197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32106] ppid=32082 vsize=28768336 memory=-7522837583129502606 CPUtime=6.21 cores=0-7
/proc/32084/task/32106/stat : 32106 (java) R 32082 32082 31939 0 -1 4202560 298 0 0 0 621 0 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161837355424 140163329203068 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32107] ppid=32082 vsize=28768336 memory=-9001734043636558696 CPUtime=6.31 cores=0-7
/proc/32084/task/32107/stat : 32107 (java) R 32082 32082 31939 0 -1 4202560 320 0 0 0 631 0 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161836302776 140163322030984 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32108] ppid=32082 vsize=28768336 memory=341806232 CPUtime=6.4 cores=0-7
/proc/32084/task/32108/stat : 32108 (java) R 32082 32082 31939 0 -1 4202560 303 0 0 0 640 0 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161835249976 140163322030832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32109] ppid=32082 vsize=28768336 memory=4639922079403906206 CPUtime=6.22 cores=0-7
/proc/32084/task/32109/stat : 32109 (java) R 32082 32082 31939 0 -1 4202560 115 0 0 0 622 0 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161834199480 140163329153834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32110] ppid=32082 vsize=28768336 memory=6226906435782535529 CPUtime=6.06 cores=0-7
/proc/32084/task/32110/stat : 32110 (java) R 32082 32082 31939 0 -1 4202560 127 0 0 0 606 0 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161833144472 140163322030832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32111] ppid=32082 vsize=28768336 memory=668 CPUtime=6.26 cores=0-7
/proc/32084/task/32111/stat : 32111 (java) R 32082 32082 31939 0 -1 4202560 261 0 0 0 626 0 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161832094408 140163328370000 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
Current children cumulated CPU time: 58.71 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 247840 KiB
[startup+8.80142 s]
/proc/loadavg: 3.89 6.73 7.73 2/219 32111
/proc/meminfo: memFree=13871368/32770624 swapFree=66953204/67108860
[pid=32082] ppid=32079 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32082/stat : 32082 (xcsp3-exec) S 32079 32082 31939 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476395045 115843072 363 33554432000 4194304 5098028 140723669980864 140723669978968 139884967277180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26931200 140723669988177 140723669988437 140723669988437 140723669991366 0
/proc/32082/statm: 28282 363 304 221 0 87 0
[pid=32084] ppid=32082 vsize=28768336 memory=246388 CPUtime=61.91 cores=0-7
/proc/32084/stat : 32084 (java) S 32082 32082 31939 0 -1 1077944320 43502 0 0 0 6167 24 0 0 20 0 28 0 476395045 29458776064 61597 33554432000 4194304 4196468 140721268592048 140721268574592 140163729800951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
/proc/32084/statm: 7192084 61597 3535 1 0 7153184 0
[pid=32084/tid=32085] ppid=32082 vsize=28768336 memory=7667775741717277289 CPUtime=1.6 cores=0-7
/proc/32084/task/32085/stat : 32085 (java) S 32082 32082 31939 0 -1 1077944384 9806 0 0 0 155 5 0 0 20 0 28 0 476395045 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163734041728 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32086] ppid=32082 vsize=28768336 memory=7667775741717277289 CPUtime=0.01 cores=0-7
/proc/32084/task/32086/stat : 32086 (java) S 32082 32082 31939 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163649653392 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32087] ppid=32082 vsize=28768336 memory=7667775741717277289 CPUtime=0 cores=0-7
/proc/32084/task/32087/stat : 32087 (java) S 32082 32082 31939 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163648600592 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32088] ppid=32082 vsize=28768336 memory=1452 CPUtime=0.01 cores=0-7
/proc/32084/task/32088/stat : 32088 (java) S 32082 32082 31939 0 -1 1077944384 340 0 0 0 0 1 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163647547792 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32089] ppid=32082 vsize=28768336 memory=280325806001440 CPUtime=0 cores=0-7
/proc/32084/task/32089/stat : 32089 (java) S 32082 32082 31939 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163646494992 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32090] ppid=32082 vsize=28768336 memory=2244 CPUtime=0.01 cores=0-7
/proc/32084/task/32090/stat : 32090 (java) S 32082 32082 31939 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163645443216 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32091] ppid=32082 vsize=28768336 memory=7739252763715986008 CPUtime=0 cores=0-7
/proc/32084/task/32091/stat : 32091 (java) S 32082 32082 31939 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163644390416 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32092] ppid=32082 vsize=28768336 memory=7739252763715986008 CPUtime=0 cores=0-7
/proc/32084/task/32092/stat : 32092 (java) S 32082 32082 31939 0 -1 1077944384 1021 0 0 0 0 0 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163643337616 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32093] ppid=32082 vsize=28768336 memory=7739252763715986008 CPUtime=0 cores=0-7
/proc/32084/task/32093/stat : 32093 (java) S 32082 32082 31939 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 476395046 29458776064 61597 33554432000 4194304 4196468 140721268592048 140163642284816 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32094] ppid=32082 vsize=28768336 memory=7739252763715986008 CPUtime=0 cores=0-7
/proc/32084/task/32094/stat : 32094 (java) S 32082 32082 31939 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 28 0 476395048 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162845735280 140163729812098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32095] ppid=32082 vsize=28768336 memory=1804 CPUtime=0 cores=0-7
/proc/32084/task/32095/stat : 32095 (java) S 32082 32082 31939 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 476395048 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162844681312 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32096] ppid=32082 vsize=28768336 memory=920 CPUtime=0 cores=0-7
/proc/32084/task/32096/stat : 32096 (java) S 32082 32082 31939 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 476395048 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162843628416 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32097] ppid=32082 vsize=28768336 memory=4132 CPUtime=0 cores=0-7
/proc/32084/task/32097/stat : 32097 (java) S 32082 32082 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476395051 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162842576720 140163729819547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32098] ppid=32082 vsize=28768336 memory=1412 CPUtime=2.12 cores=0-7
/proc/32084/task/32098/stat : 32098 (java) S 32082 32082 31939 0 -1 1077944384 7848 0 0 0 210 2 0 0 20 0 28 0 476395051 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162841525104 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32099] ppid=32082 vsize=28768336 memory=2792 CPUtime=2.19 cores=0-7
/proc/32084/task/32099/stat : 32099 (java) S 32082 32082 31939 0 -1 1077944384 9094 0 0 0 217 2 0 0 20 0 28 0 476395051 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162840472304 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32100] ppid=32082 vsize=28768336 memory=1452 CPUtime=1.98 cores=0-7
/proc/32084/task/32100/stat : 32100 (java) S 32082 32082 31939 0 -1 1077944384 5553 0 0 0 197 1 0 0 20 0 28 0 476395051 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162839419504 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32101] ppid=32082 vsize=28768336 memory=227596 CPUtime=0.71 cores=0-7
/proc/32084/task/32101/stat : 32101 (java) S 32082 32082 31939 0 -1 1077944384 5914 0 0 0 70 1 0 0 20 0 28 0 476395051 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162838366704 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32102] ppid=32082 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/32084/task/32102/stat : 32102 (java) S 32082 32082 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476395051 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162837314144 140163729811157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32103] ppid=32082 vsize=28768336 memory=275797030009556 CPUtime=0 cores=0-7
/proc/32084/task/32103/stat : 32103 (java) S 32082 32082 31939 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 476395051 29458776064 61597 33554432000 4194304 4196468 140721268592048 140162836261424 140163729812098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32104] ppid=32082 vsize=28768336 memory=7668057221307656534 CPUtime=6.52 cores=0-7
/proc/32084/task/32104/stat : 32104 (java) R 32082 32082 31939 0 -1 4202560 193 0 0 0 652 0 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161839459048 140163327807341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32105] ppid=32082 vsize=28768336 memory=7668057221307656534 CPUtime=6.63 cores=0-7
/proc/32084/task/32105/stat : 32105 (java) R 32082 32082 31939 0 -1 4202560 155 0 0 0 662 1 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161838407352 140163328886994 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32106] ppid=32082 vsize=28768336 memory=6226906435782535529 CPUtime=6.6 cores=0-7
/proc/32084/task/32106/stat : 32106 (java) R 32082 32082 31939 0 -1 4202560 298 0 0 0 660 0 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161837355424 140163328370162 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32107] ppid=32082 vsize=28768336 memory=6226906435782535529 CPUtime=6.71 cores=0-7
/proc/32084/task/32107/stat : 32107 (java) R 32082 32082 31939 0 -1 4202560 321 0 0 0 671 0 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161836302776 140163324867591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32108] ppid=32082 vsize=28768336 memory=6226906435782535529 CPUtime=6.8 cores=0-7
/proc/32084/task/32108/stat : 32108 (java) R 32082 32082 31939 0 -1 4202560 303 0 0 0 680 0 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161835249976 140163329222375 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32109] ppid=32082 vsize=28768336 memory=2008 CPUtime=6.62 cores=0-7
/proc/32084/task/32109/stat : 32109 (java) R 32082 32082 31939 0 -1 4202560 115 0 0 0 662 0 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161834199480 140163329222147 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32110] ppid=32082 vsize=28768336 memory=1424 CPUtime=6.46 cores=0-7
/proc/32084/task/32110/stat : 32110 (java) R 32082 32082 31939 0 -1 4202560 127 0 0 0 646 0 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161833144472 140163329155746 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
[pid=32084/tid=32111] ppid=32082 vsize=28768336 memory=3640 CPUtime=6.66 cores=0-7
/proc/32084/task/32111/stat : 32111 (java) R 32082 32082 31939 0 -1 4202560 261 0 0 0 666 0 0 0 20 0 28 0 476395208 29458776064 61597 33554432000 4194304 4196468 140721268592048 140161832094408 140163329492022 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30269440 140721268593622 140721268593798 140721268593798 140721268596687 0
Current children cumulated CPU time: 61.91 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 247840 KiB
Child status: 0
Real time (s): 8.83836
CPU time (s): 62.1264
CPU user time (s): 61.8725
CPU system time (s): 0.253917
CPU usage (%): 702.918
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 247840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.8725
system time used= 0.253917
maximum resident set size= 246484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44736
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= 3813
involuntary context switches= 1197
# summary of solver processes directly reported to runsolver:
# pid: 32082
# total CPU time (s): 62.1264
# total CPU user time (s): 61.8725
# total CPU system time (s): 0.253917
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.086938 second user time and 0.142481 second system time
The end
Begin job on node119 at 2019-09-20 20:39:22
IDJOB=4404375
IDBENCH=134594
IDSOLVER=2865
FILE ID=node119/4404375-1569004802
RUNJOBID= node119-1569004688-31966
PBS_JOBID= 21704741
Free space on /var/tmp= 13512 MiB
SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/KnightTour/KnightTour-int-s1/KnightTour-08-int.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 /var/tmp/evaluation-result-4404375-1569004802/watcher-4404375-1569004802 -o /var/tmp/evaluation-result-4404375-1569004802/solver-4404375-1569004802 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569004688-31966 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1320659122 HOME/instance-4404375-1569004802.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 473b10c1a98fbd59115b24ad203b92fd
RANDOM SEED=1320659122
node119.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.47
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.47
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.47
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.47
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: 14103904 kB
MemAvailable: 31806668 kB
Buffers: 155144 kB
Cached: 17474448 kB
SwapCached: 46584 kB
Active: 8779788 kB
Inactive: 8899624 kB
Active(anon): 4348 kB
Inactive(anon): 94036 kB
Active(file): 8775440 kB
Inactive(file): 8805588 kB
Unevictable: 109116 kB
Mlocked: 109116 kB
SwapTotal: 67108860 kB
SwapFree: 66953204 kB
Dirty: 25928 kB
Writeback: 0 kB
AnonPages: 113484 kB
Mapped: 51588 kB
Shmem: 40128 kB
Slab: 578736 kB
SReclaimable: 550196 kB
SUnreclaim: 28540 kB
KernelStack: 3360 kB
PageTables: 5304 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 505888 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: 126336 kB
DirectMap2M: 33419264 kB
Free space on /var/tmp at the end= 13488 MiB
End job on node119 at 2019-09-20 20:39:31