Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 56 | 87.1146 | 12.3966 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-7.xml |
MD5SUM | d869450afe9c29c5d3a1d31c4402b074 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 56 |
Best CPU time to get the best result obtained on this benchmark | 22.6214 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 72 |
Number of constraints | 97 |
Number of domains | 24 |
Minimum domain size | 3 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":3,"count":1},{"size":4,"count":8},{"size":5,"count":12},{"size":6,"count":3},{"size":25,"count":48}] |
Minimum variable degree | 2 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] |
Number of extensional constraints | 48 |
Number of intensional constraints | 25 |
Distribution of constraint types | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399913-1568707709.xml" -tl '20160s' -p 8 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4399913-1568707709.xml, -tl, 20160s, -p, 8] 0.33/0.24 c 8 solvers in parallel 0.33/0.31 c parse instance... 5.12/1.96 c solve instance... 5.79/2.09 o -1000 6.56/2.19 o -998 7.17/2.25 o -997 7.17/2.27 o -996 9.38/2.55 o -995 9.38/2.55 o -993 9.38/2.59 o -991 10.11/2.65 o -989 11.69/2.81 o -987 11.69/2.82 o -985 13.32/3.03 o -982 13.32/3.05 o -973 14.04/3.16 o -971 15.54/3.31 o -970 17.11/3.56 o -969 17.11/3.59 o -967 19.46/3.80 o -965 19.46/3.82 o -960 20.20/3.93 o -958 20.20/3.93 o -955 22.49/4.25 o -951 30.46/5.24 o -950 31.29/5.34 o -947 32.81/5.59 o -942 35.20/5.88 o -941 37.63/6.12 o 14 37.63/6.15 o 21 37.63/6.17 o 30 39.01/6.37 o 32 40.59/6.56 o 33 41.31/6.66 o 35 41.31/6.68 o 43 41.31/6.69 o 45 58.64/8.89 o 56 86.53/12.38 s OPTIMUM FOUND 86.53/12.38 v <instantiation> 86.53/12.38 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] </list> 86.53/12.38 v <values>1 7 -1 4 5 11 0 8 9 3 16 10 6 12 13 21 15 -1 -1 -1 14 20 -1 -1 0 1 -1 5 6 7 17 2 3 4 9 8 16 15 14 11 10 -1 -1 -1 13 12 -1 -1 7 0 0 -2 5 7 1 8 2 4 2 6 2 0 -2 0 5 0 0 0 6 5 0 0 </values> 86.53/12.38 v </instantiation>
OK 56
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: 16375 MiB (14417 MiB free) memory of node 1: 16384 MiB (15446 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399913-1568707709/watcher-4399913-1568707709 -o /tmp/evaluation-result-4399913-1568707709/solver-4399913-1568707709 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1869971610 HOME/instance-4399913-1568707709.xml running on 8 cores: 0-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=21067, runsolver pid=21064 Current StackSize limit: 8192 KiB [startup+0.100139 s]* /proc/loadavg: 7.72 7.61 7.53 3/211 21088 /proc/meminfo: memFree=30565264/32770688 swapFree=66961212/67108860 [pid=21067] ppid=21064 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21067/stat : 21067 (xcsp3-exec) S 21064 21067 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446712580 115843072 363 33554432000 4194304 5098028 140728193064288 140728193062392 140319304589948 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25944064 140728193065845 140728193066089 140728193066089 140728193069002 0 /proc/21067/statm: 28282 363 305 221 0 87 0 [pid=21069] ppid=21067 vsize=28227396 memory=28900 CPUtime=0.12 cores=0-7 /proc/21069/stat : 21069 (java) S 21067 21067 18670 0 -1 1077944320 5693 0 0 0 11 1 0 0 20 0 20 0 446712580 28904853504 7225 33554432000 4194304 4196468 140732184712032 140732184694576 139901973450487 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 /proc/21069/statm: 7056849 7225 3121 1 0 7019032 0 [pid=21069/tid=21070] ppid=21067 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/21069/task/21070/stat : 21070 (java) R 21067 21067 18670 0 -1 4202560 3592 0 0 0 8 0 0 0 20 0 20 0 446712580 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901977683320 139901597255120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21071] ppid=21067 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21069/task/21071/stat : 21071 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901926070800 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21072] ppid=21067 vsize=28227396 memory=139727362692736 CPUtime=0 cores=0-7 /proc/21069/task/21072/stat : 21072 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901925018256 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21073] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21073/stat : 21073 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901923965200 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21074] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21074/stat : 21074 (java) S 21067 21067 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901922912656 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21075] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21075/stat : 21075 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901921860624 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21076] ppid=21067 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21069/task/21076/stat : 21076 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901920808080 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21077] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21077/stat : 21077 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901919755024 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21078] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21078/stat : 21078 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901918702480 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21079] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21079/stat : 21079 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712583 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901290957040 139901973461634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21080] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21080/stat : 21080 (java) S 21067 21067 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446712583 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901289903264 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21081] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21081/stat : 21081 (java) S 21067 21067 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446712584 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901288850160 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21082] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21082/stat : 21082 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712586 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901287798736 139901973469083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21083] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21083/stat : 21083 (java) R 21067 21067 18670 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 20 0 446712586 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901286746864 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21084] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21084/stat : 21084 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712586 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901285694320 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21085] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21085/stat : 21085 (java) S 21067 21067 18670 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 446712587 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901284641264 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21086] ppid=21067 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21069/task/21086/stat : 21086 (java) S 21067 21067 18670 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 20 0 446712587 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901283588720 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21087] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21087/stat : 21087 (java) S 21067 21067 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446712587 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901282535904 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21088] ppid=21067 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21069/task/21088/stat : 21088 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712587 28904853504 7225 33554432000 4194304 4196468 140732184712032 139901281483440 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30352 KiB [startup+0.211557 s]* /proc/loadavg: 7.72 7.61 7.53 3/211 21088 /proc/meminfo: memFree=30552108/32770688 swapFree=66961212/67108860 [pid=21067] ppid=21064 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21067/stat : 21067 (xcsp3-exec) S 21064 21067 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446712580 115843072 363 33554432000 4194304 5098028 140728193064288 140728193062392 140319304589948 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25944064 140728193065845 140728193066089 140728193066089 140728193069002 0 /proc/21067/statm: 28282 363 305 221 0 87 0 [pid=21069] ppid=21067 vsize=28227396 memory=40944 CPUtime=0.33 cores=0-7 /proc/21069/stat : 21069 (java) S 21067 21067 18670 0 -1 1077944320 9467 0 0 0 30 3 0 0 20 0 20 0 446712580 28904853504 10236 33554432000 4194304 4196468 140732184712032 140732184694576 139901973450487 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 /proc/21069/statm: 7056849 10236 3309 1 0 7019032 0 [pid=21069/tid=21070] ppid=21067 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/21069/task/21070/stat : 21070 (java) R 21067 21067 18670 0 -1 4202560 6582 0 0 0 18 2 0 0 20 0 20 0 446712580 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901977684416 139901973462422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21071] ppid=21067 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/21069/task/21071/stat : 21071 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901926070800 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21072] ppid=21067 vsize=28227396 memory=139727365994366 CPUtime=0 cores=0-7 /proc/21069/task/21072/stat : 21072 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901925018256 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21073] ppid=21067 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21069/task/21073/stat : 21073 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901923965200 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21074] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21074/stat : 21074 (java) S 21067 21067 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901922912656 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21075] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21075/stat : 21075 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901921860624 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21076] ppid=21067 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21069/task/21076/stat : 21076 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901920808080 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21077] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21077/stat : 21077 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901919755024 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21078] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21078/stat : 21078 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712581 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901918702480 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21079] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21079/stat : 21079 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712583 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901290957040 139901973461634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21080] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21080/stat : 21080 (java) S 21067 21067 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446712583 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901289903264 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21081] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21081/stat : 21081 (java) S 21067 21067 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446712584 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901288850160 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21082] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21082/stat : 21082 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712586 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901287798736 139901973469083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21083] ppid=21067 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21069/task/21083/stat : 21083 (java) S 21067 21067 18670 0 -1 1077944384 531 0 0 0 1 0 0 0 20 0 20 0 446712586 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901286746864 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21084] ppid=21067 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21069/task/21084/stat : 21084 (java) S 21067 21067 18670 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 20 0 446712586 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901285694320 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21085] ppid=21067 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/21069/task/21085/stat : 21085 (java) S 21067 21067 18670 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 446712587 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901284641264 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21086] ppid=21067 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/21069/task/21086/stat : 21086 (java) R 21067 21067 18670 0 -1 4202560 755 0 0 0 7 0 0 0 20 0 20 0 446712587 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901283587904 139901952370768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21087] ppid=21067 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21087/stat : 21087 (java) S 21067 21067 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446712587 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901282535904 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21088] ppid=21067 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21069/task/21088/stat : 21088 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712587 28904853504 10236 33554432000 4194304 4196468 140732184712032 139901281483440 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42396 KiB [startup+0.310883 s]* /proc/loadavg: 7.72 7.61 7.53 2/211 21088 /proc/meminfo: memFree=30546772/32770688 swapFree=66961212/67108860 [pid=21067] ppid=21064 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21067/stat : 21067 (xcsp3-exec) S 21064 21067 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446712580 115843072 363 33554432000 4194304 5098028 140728193064288 140728193062392 140319304589948 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25944064 140728193065845 140728193066089 140728193066089 140728193069002 0 /proc/21067/statm: 28282 363 305 221 0 87 0 [pid=21069] ppid=21067 vsize=28231652 memory=47056 CPUtime=0.52 cores=0-7 /proc/21069/stat : 21069 (java) S 21067 21067 18670 0 -1 1077944320 10572 0 0 0 48 4 0 0 20 0 20 0 446712580 28909211648 11764 33554432000 4194304 4196468 140732184712032 140732184694576 139901973450487 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 /proc/21069/statm: 7057913 11764 3342 1 0 7019032 0 [pid=21069/tid=21070] ppid=21067 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/21069/task/21070/stat : 21070 (java) R 21067 21067 18670 0 -1 4202560 7585 0 0 0 27 3 0 0 20 0 20 0 446712580 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901977672000 139901957530974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21071] ppid=21067 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21071/stat : 21071 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712581 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901926070800 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21072] ppid=21067 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21072/stat : 21072 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712581 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901925018256 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21073] ppid=21067 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21073/stat : 21073 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712581 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901923965200 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21074] ppid=21067 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21074/stat : 21074 (java) S 21067 21067 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446712581 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901922912656 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21075] ppid=21067 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21075/stat : 21075 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712581 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901921860624 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21076] ppid=21067 vsize=28231652 memory=139727231609519 CPUtime=0 cores=0-7 /proc/21069/task/21076/stat : 21076 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712581 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901920808080 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21077] ppid=21067 vsize=28231652 memory=139727231611824 CPUtime=0 cores=0-7 /proc/21069/task/21077/stat : 21077 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712581 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901919755024 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21078] ppid=21067 vsize=28231652 memory=139727231614128 CPUtime=0 cores=0-7 /proc/21069/task/21078/stat : 21078 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712581 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901918702480 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21079] ppid=21067 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21079/stat : 21079 (java) S 21067 21067 18670 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446712583 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901290957040 139901973461634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21080] ppid=21067 vsize=28231652 memory=279454463242128 CPUtime=0 cores=0-7 /proc/21069/task/21080/stat : 21080 (java) S 21067 21067 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446712583 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901289903264 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21081] ppid=21067 vsize=28231652 memory=279454463239824 CPUtime=0 cores=0-7 /proc/21069/task/21081/stat : 21081 (java) S 21067 21067 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446712584 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901288850160 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21082] ppid=21067 vsize=28231652 memory=279454463246736 CPUtime=0 cores=0-7 /proc/21069/task/21082/stat : 21082 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712586 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901287798736 139901973469083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21083] ppid=21067 vsize=28231652 memory=279454463187984 CPUtime=0.02 cores=0-7 /proc/21069/task/21083/stat : 21083 (java) S 21067 21067 18670 0 -1 1077944384 542 0 0 0 2 0 0 0 20 0 20 0 446712586 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901286746864 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21084] ppid=21067 vsize=28231652 memory=279454463260560 CPUtime=0.03 cores=0-7 /proc/21069/task/21084/stat : 21084 (java) S 21067 21067 18670 0 -1 1077944384 144 0 0 0 3 0 0 0 20 0 20 0 446712586 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901285694320 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21085] ppid=21067 vsize=28231652 memory=279454463267472 CPUtime=0.02 cores=0-7 /proc/21069/task/21085/stat : 21085 (java) S 21067 21067 18670 0 -1 1077944384 154 0 0 0 2 0 0 0 20 0 20 0 446712587 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901284641264 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21086] ppid=21067 vsize=28231652 memory=279454463265168 CPUtime=0.12 cores=0-7 /proc/21069/task/21086/stat : 21086 (java) S 21067 21067 18670 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 20 0 446712587 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901283588720 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21087] ppid=21067 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21087/stat : 21087 (java) S 21067 21067 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446712587 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901282535904 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21088] ppid=21067 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/21069/task/21088/stat : 21088 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712587 28909211648 11764 33554432000 4194304 4196468 140732184712032 139901281483440 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48508 KiB [startup+0.700996 s] /proc/loadavg: 7.72 7.61 7.53 6/211 21088 /proc/meminfo: memFree=30525912/32770688 swapFree=66961212/67108860 [pid=21067] ppid=21064 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21067/stat : 21067 (xcsp3-exec) S 21064 21067 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446712580 115843072 363 33554432000 4194304 5098028 140728193064288 140728193062392 140319304589948 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25944064 140728193065845 140728193066089 140728193066089 140728193069002 0 /proc/21067/statm: 28282 363 305 221 0 87 0 [pid=21069] ppid=21067 vsize=28233776 memory=110008 CPUtime=1.85 cores=0-7 /proc/21069/stat : 21069 (java) S 21067 21067 18670 0 -1 1077944320 15587 0 0 0 179 6 0 0 20 0 20 0 446712580 28911386624 27502 33554432000 4194304 4196468 140732184712032 140732184694576 139901973450487 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 /proc/21069/statm: 7058444 27502 3445 1 0 7019544 0 [pid=21069/tid=21070] ppid=21067 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/21069/task/21070/stat : 21070 (java) R 21067 21067 18670 0 -1 4202560 9037 0 0 0 63 4 0 0 20 0 20 0 446712580 28911386624 27502 33554432000 4194304 4196468 140732184712032 139901977670320 139901973472413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21071] ppid=21067 vsize=28233776 memory=139727231820656 CPUtime=0 cores=0-7 /proc/21069/task/21071/stat : 21071 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712581 28911386624 27502 33554432000 4194304 4196468 140732184712032 139901926070800 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21072] ppid=21067 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21072/stat : 21072 (java) S 21067 21067 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446712581 28911386624 27502 33554432000 4194304 4196468 140732184712032 139901925018256 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21073] ppid=21067 vsize=28233776 memory=1564 CPUtime=0 cores=0-7 /proc/21069/task/21073/stat : 21073 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446712581 28911386624 27502 33554432000 4194304 4196468 140732184712032 139901923965200 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 ################ # More data... # ################ [pid=21069/tid=21086] ppid=21067 vsize=29300848 memory=0 CPUtime=1.12 cores=0-7 /proc/21069/task/21086/stat : 21086 (java) S 21067 21067 18670 0 -1 1077944384 7670 0 0 0 109 3 0 0 20 0 28 0 446712587 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901283588720 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21087] ppid=21067 vsize=29300848 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21087/stat : 21087 (java) S 21067 21067 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446712587 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901282535904 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21088] ppid=21067 vsize=29300848 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21088/stat : 21088 (java) S 21067 21067 18670 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 446712587 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901281483440 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21361] ppid=21067 vsize=29300848 memory=0 CPUtime=3.11 cores=0-7 /proc/21069/task/21361/stat : 21361 (java) R 21067 21067 18670 0 -1 4202560 142 0 0 0 311 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901257534072 139901604526199 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21362] ppid=21067 vsize=29300848 memory=0 CPUtime=3.08 cores=0-7 /proc/21069/task/21362/stat : 21362 (java) R 21067 21067 18670 0 -1 4202560 73 0 0 0 308 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901255429992 139901604525832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21363] ppid=21067 vsize=29300848 memory=0 CPUtime=3.11 cores=0-7 /proc/21069/task/21363/stat : 21363 (java) R 21067 21067 18670 0 -1 4202560 87 0 0 0 311 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901259641912 139901604526360 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21364] ppid=21067 vsize=29300848 memory=0 CPUtime=3 cores=0-7 /proc/21069/task/21364/stat : 21364 (java) R 21067 21067 18670 0 -1 4202560 209 0 0 0 300 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901260694120 139901604526051 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21365] ppid=21067 vsize=29300848 memory=0 CPUtime=2.99 cores=0-7 /proc/21069/task/21365/stat : 21365 (java) R 21067 21067 18670 0 -1 4202560 154 0 0 0 299 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901256483048 139901604526360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21366] ppid=21067 vsize=29300848 memory=0 CPUtime=3.03 cores=0-7 /proc/21069/task/21366/stat : 21366 (java) R 21067 21067 18670 0 -1 4202560 146 0 0 0 303 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901254378520 139901604526051 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21367] ppid=21067 vsize=29300848 memory=0 CPUtime=3.01 cores=0-7 /proc/21069/task/21367/stat : 21367 (java) R 21067 21067 18670 0 -1 4202560 317 0 0 0 301 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901258587888 139901604526234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21368] ppid=21067 vsize=29300848 memory=-1 CPUtime=3.02 cores=0-7 /proc/21069/task/21368/stat : 21368 (java) R 21067 21067 18670 0 -1 4202560 162 0 0 0 302 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901264906424 139901604526234 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 Current children cumulated CPU time: 84.2 s Current children cumulated vsize: 29413976 KiB Current children cumulated memory: 571068 KiB [startup+12.2119 s] /proc/loadavg: 8.21 7.72 7.57 10/219 21368 /proc/meminfo: memFree=30023636/32770688 swapFree=66961212/67108860 [pid=21067] ppid=21064 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21067/stat : 21067 (xcsp3-exec) S 21064 21067 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446712580 115843072 363 33554432000 4194304 5098028 140728193064288 140728193062392 140319304589948 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25944064 140728193065845 140728193066089 140728193066089 140728193069002 0 /proc/21067/statm: 28282 363 305 221 0 87 0 [pid=21069] ppid=21067 vsize=29300848 memory=569616 CPUtime=85.74 cores=0-7 /proc/21069/stat : 21069 (java) S 21067 21067 18670 0 -1 1077944320 54509 0 0 0 8499 75 0 0 20 0 28 0 446712580 30004068352 142404 33554432000 4194304 4196468 140732184712032 140732184694576 139901973450487 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 /proc/21069/statm: 7325212 142404 3536 1 0 7286312 0 [pid=21069/tid=21070] ppid=21067 vsize=29300848 memory=3322006 CPUtime=1.88 cores=0-7 /proc/21069/task/21070/stat : 21070 (java) S 21067 21067 18670 0 -1 1077944384 10843 0 0 0 181 7 0 0 20 0 28 0 446712580 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901977691264 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21071] ppid=21067 vsize=29300848 memory=0 CPUtime=0.1 cores=0-7 /proc/21069/task/21071/stat : 21071 (java) S 21067 21067 18670 0 -1 1077944384 227 0 0 0 5 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901926070800 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21072] ppid=21067 vsize=29300848 memory=0 CPUtime=0.1 cores=0-7 /proc/21069/task/21072/stat : 21072 (java) S 21067 21067 18670 0 -1 1077944384 288 0 0 0 5 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901925018256 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21073] ppid=21067 vsize=29300848 memory=0 CPUtime=0.1 cores=0-7 /proc/21069/task/21073/stat : 21073 (java) S 21067 21067 18670 0 -1 1077944384 777 0 0 0 5 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901923965200 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21074] ppid=21067 vsize=29300848 memory=0 CPUtime=0.09 cores=0-7 /proc/21069/task/21074/stat : 21074 (java) S 21067 21067 18670 0 -1 1077944384 174 0 0 0 4 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901922912656 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21075] ppid=21067 vsize=29300848 memory=0 CPUtime=0.1 cores=0-7 /proc/21069/task/21075/stat : 21075 (java) S 21067 21067 18670 0 -1 1077944384 256 0 0 0 5 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901921860624 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21076] ppid=21067 vsize=29300848 memory=0 CPUtime=0.1 cores=0-7 /proc/21069/task/21076/stat : 21076 (java) S 21067 21067 18670 0 -1 1077944384 135 0 0 0 5 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901920808080 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21077] ppid=21067 vsize=29300848 memory=0 CPUtime=0.1 cores=0-7 /proc/21069/task/21077/stat : 21077 (java) S 21067 21067 18670 0 -1 1077944384 169 0 0 0 5 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901919755024 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21078] ppid=21067 vsize=29300848 memory=0 CPUtime=0.1 cores=0-7 /proc/21069/task/21078/stat : 21078 (java) S 21067 21067 18670 0 -1 1077944384 207 0 0 0 5 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901918702480 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21079] ppid=21067 vsize=29300848 memory=0 CPUtime=0.02 cores=0-7 /proc/21069/task/21079/stat : 21079 (java) S 21067 21067 18670 0 -1 1077944384 805 0 0 0 1 1 0 0 20 0 28 0 446712583 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901290957040 139901973461634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21080] ppid=21067 vsize=29300848 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21080/stat : 21080 (java) S 21067 21067 18670 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 446712583 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901289903328 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21081] ppid=21067 vsize=29300848 memory=0 CPUtime=0 cores=0-7 /proc/21069/task/21081/stat : 21081 (java) S 21067 21067 18670 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 446712584 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901288850176 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21082] ppid=21067 vsize=29300848 memory=139727231860672 CPUtime=0 cores=0-7 /proc/21069/task/21082/stat : 21082 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446712586 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901287798736 139901973469083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21083] ppid=21067 vsize=29300848 memory=3467972120480870999 CPUtime=2.77 cores=0-7 /proc/21069/task/21083/stat : 21083 (java) S 21067 21067 18670 0 -1 1077944384 10469 0 0 0 275 2 0 0 20 0 28 0 446712586 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901286746864 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21084] ppid=21067 vsize=29300848 memory=3540026450427541941 CPUtime=2.23 cores=0-7 /proc/21069/task/21084/stat : 21084 (java) S 21067 21067 18670 0 -1 1077944384 4395 0 0 0 221 2 0 0 20 0 28 0 446712586 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901285694320 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21085] ppid=21067 vsize=29300848 memory=3618274281960863505 CPUtime=2.81 cores=0-7 /proc/21069/task/21085/stat : 21085 (java) S 21067 21067 18670 0 -1 1077944384 7440 0 0 0 279 2 0 0 20 0 28 0 446712587 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901284641264 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21086] ppid=21067 vsize=29300848 memory=279454463377848 CPUtime=1.12 cores=0-7 /proc/21069/task/21086/stat : 21086 (java) S 21067 21067 18670 0 -1 1077944384 8269 0 0 0 109 3 0 0 20 0 28 0 446712587 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901283588720 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21087] ppid=21067 vsize=29300848 memory=279454463377944 CPUtime=0 cores=0-7 /proc/21069/task/21087/stat : 21087 (java) S 21067 21067 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446712587 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901282535904 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21088] ppid=21067 vsize=29300848 memory=279454463033584 CPUtime=0 cores=0-7 /proc/21069/task/21088/stat : 21088 (java) S 21067 21067 18670 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 446712587 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901281483440 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21361] ppid=21067 vsize=29300848 memory=279454463033584 CPUtime=3.3 cores=0-7 /proc/21069/task/21361/stat : 21361 (java) R 21067 21067 18670 0 -1 4202560 142 0 0 0 330 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901257534072 139901604526312 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21362] ppid=21067 vsize=29300848 memory=279454463033584 CPUtime=3.27 cores=0-7 /proc/21069/task/21362/stat : 21362 (java) R 21067 21067 18670 0 -1 4202560 73 0 0 0 327 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901255429992 139901604526312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21363] ppid=21067 vsize=29300848 memory=279454463033584 CPUtime=3.3 cores=0-7 /proc/21069/task/21363/stat : 21363 (java) R 21067 21067 18670 0 -1 4202560 87 0 0 0 330 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901259641912 139901604526360 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21364] ppid=21067 vsize=29300848 memory=0 CPUtime=3.19 cores=0-7 /proc/21069/task/21364/stat : 21364 (java) R 21067 21067 18670 0 -1 4202560 209 0 0 0 319 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901260694120 139901604526024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21365] ppid=21067 vsize=29300848 memory=90482076067264 CPUtime=3.18 cores=0-7 /proc/21069/task/21365/stat : 21365 (java) R 21067 21067 18670 0 -1 4202560 165 0 0 0 318 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901256484952 139901604526312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21366] ppid=21067 vsize=29300848 memory=279454464994912 CPUtime=3.22 cores=0-7 /proc/21069/task/21366/stat : 21366 (java) R 21067 21067 18670 0 -1 4202560 146 0 0 0 322 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901254378520 139901604526211 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21367] ppid=21067 vsize=29300848 memory=0 CPUtime=3.2 cores=0-7 /proc/21069/task/21367/stat : 21367 (java) R 21067 21067 18670 0 -1 4202560 317 0 0 0 320 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901258587888 139901604526312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21368] ppid=21067 vsize=29300848 memory=279454465004000 CPUtime=3.2 cores=0-7 /proc/21069/task/21368/stat : 21368 (java) R 21067 21067 18670 0 -1 4202560 162 0 0 0 320 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901264906424 139901604526082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 Current children cumulated CPU time: 85.74 s Current children cumulated vsize: 29413976 KiB Current children cumulated memory: 571068 KiB [startup+12.3119 s] /proc/loadavg: 8.21 7.72 7.57 10/219 21368 /proc/meminfo: memFree=30023636/32770688 swapFree=66961212/67108860 [pid=21067] ppid=21064 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21067/stat : 21067 (xcsp3-exec) S 21064 21067 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446712580 115843072 363 33554432000 4194304 5098028 140728193064288 140728193062392 140319304589948 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25944064 140728193065845 140728193066089 140728193066089 140728193069002 0 /proc/21067/statm: 28282 363 305 221 0 87 0 [pid=21069] ppid=21067 vsize=29300848 memory=569616 CPUtime=86.53 cores=0-7 /proc/21069/stat : 21069 (java) S 21067 21067 18670 0 -1 1077944320 54535 0 0 0 8578 75 0 0 20 0 28 0 446712580 30004068352 142404 33554432000 4194304 4196468 140732184712032 140732184694576 139901973450487 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 /proc/21069/statm: 7325212 142404 3536 1 0 7286312 0 [pid=21069/tid=21070] ppid=21067 vsize=29300848 memory=569616 CPUtime=1.88 cores=0-7 /proc/21069/task/21070/stat : 21070 (java) S 21067 21067 18670 0 -1 1077944384 10843 0 0 0 181 7 0 0 20 0 28 0 446712580 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901977691264 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21071] ppid=21067 vsize=29300848 memory=455136 CPUtime=0.1 cores=0-7 /proc/21069/task/21071/stat : 21071 (java) S 21067 21067 18670 0 -1 1077944384 227 0 0 0 5 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901926070800 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21072] ppid=21067 vsize=29300848 memory=569060 CPUtime=0.1 cores=0-7 /proc/21069/task/21072/stat : 21072 (java) S 21067 21067 18670 0 -1 1077944384 288 0 0 0 5 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901925018256 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21073] ppid=21067 vsize=29300848 memory=569464 CPUtime=0.1 cores=0-7 /proc/21069/task/21073/stat : 21073 (java) S 21067 21067 18670 0 -1 1077944384 777 0 0 0 5 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901923965200 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21074] ppid=21067 vsize=29300848 memory=0 CPUtime=0.09 cores=0-7 /proc/21069/task/21074/stat : 21074 (java) S 21067 21067 18670 0 -1 1077944384 174 0 0 0 4 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901922912656 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21075] ppid=21067 vsize=29300848 memory=0 CPUtime=0.1 cores=0-7 /proc/21069/task/21075/stat : 21075 (java) S 21067 21067 18670 0 -1 1077944384 256 0 0 0 5 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901921860624 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21076] ppid=21067 vsize=29300848 memory=0 CPUtime=0.1 cores=0-7 /proc/21069/task/21076/stat : 21076 (java) S 21067 21067 18670 0 -1 1077944384 135 0 0 0 5 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901920808080 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21077] ppid=21067 vsize=29300848 memory=6791534058613427641 CPUtime=0.1 cores=0-7 /proc/21069/task/21077/stat : 21077 (java) S 21067 21067 18670 0 -1 1077944384 169 0 0 0 5 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901919755024 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21078] ppid=21067 vsize=29300848 memory=0 CPUtime=0.1 cores=0-7 /proc/21069/task/21078/stat : 21078 (java) S 21067 21067 18670 0 -1 1077944384 207 0 0 0 5 5 0 0 20 0 28 0 446712581 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901918702480 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21079] ppid=21067 vsize=29300848 memory=7091873468557650023 CPUtime=0.02 cores=0-7 /proc/21069/task/21079/stat : 21079 (java) S 21067 21067 18670 0 -1 1077944384 805 0 0 0 1 1 0 0 20 0 28 0 446712583 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901290957040 139901973461634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21080] ppid=21067 vsize=29300848 memory=56 CPUtime=0 cores=0-7 /proc/21069/task/21080/stat : 21080 (java) S 21067 21067 18670 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 446712583 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901289903328 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21081] ppid=21067 vsize=29300848 memory=-7816663703405220396 CPUtime=0 cores=0-7 /proc/21069/task/21081/stat : 21081 (java) S 21067 21067 18670 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 446712584 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901288850176 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21082] ppid=21067 vsize=29300848 memory=-7674914008656224160 CPUtime=0 cores=0-7 /proc/21069/task/21082/stat : 21082 (java) S 21067 21067 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446712586 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901287798736 139901973469083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21083] ppid=21067 vsize=29300848 memory=56 CPUtime=2.77 cores=0-7 /proc/21069/task/21083/stat : 21083 (java) S 21067 21067 18670 0 -1 1077944384 10469 0 0 0 275 2 0 0 20 0 28 0 446712586 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901286746864 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21084] ppid=21067 vsize=29300848 memory=6944656592455359580 CPUtime=2.23 cores=0-7 /proc/21069/task/21084/stat : 21084 (java) S 21067 21067 18670 0 -1 1077944384 4395 0 0 0 221 2 0 0 20 0 28 0 446712586 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901285694320 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21085] ppid=21067 vsize=29300848 memory=28804 CPUtime=2.82 cores=0-7 /proc/21069/task/21085/stat : 21085 (java) S 21067 21067 18670 0 -1 1077944384 7450 0 0 0 280 2 0 0 20 0 28 0 446712587 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901284641264 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21086] ppid=21067 vsize=29300848 memory=0 CPUtime=1.12 cores=0-7 /proc/21069/task/21086/stat : 21086 (java) S 21067 21067 18670 0 -1 1077944384 8269 0 0 0 109 3 0 0 20 0 28 0 446712587 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901283588720 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21087] ppid=21067 vsize=29300848 memory=56 CPUtime=0 cores=0-7 /proc/21069/task/21087/stat : 21087 (java) S 21067 21067 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446712587 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901282535904 139901973460693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21088] ppid=21067 vsize=29300848 memory=9316 CPUtime=0 cores=0-7 /proc/21069/task/21088/stat : 21088 (java) S 21067 21067 18670 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 446712587 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901281483440 139901973461634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21361] ppid=21067 vsize=29300848 memory=19982 CPUtime=3.4 cores=0-7 /proc/21069/task/21361/stat : 21361 (java) R 21067 21067 18670 0 -1 4202560 144 0 0 0 340 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901257534072 139901604526051 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21362] ppid=21067 vsize=29300848 memory=0 CPUtime=3.37 cores=0-7 /proc/21069/task/21362/stat : 21362 (java) R 21067 21067 18670 0 -1 4202560 73 0 0 0 337 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901255429992 139901604526326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21363] ppid=21067 vsize=29300848 memory=279454464427008 CPUtime=3.4 cores=0-7 /proc/21069/task/21363/stat : 21363 (java) R 21067 21067 18670 0 -1 4202560 88 0 0 0 340 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901259641912 139901604526266 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21364] ppid=21067 vsize=29300848 memory=6944656592455350634 CPUtime=3.29 cores=0-7 /proc/21069/task/21364/stat : 21364 (java) R 21067 21067 18670 0 -1 4202560 215 0 0 0 329 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901260693848 139901604526096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21365] ppid=21067 vsize=29300848 memory=6944656592452807316 CPUtime=3.28 cores=0-7 /proc/21069/task/21365/stat : 21365 (java) R 21067 21067 18670 0 -1 4202560 166 0 0 0 328 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901256484952 139901604526155 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21366] ppid=21067 vsize=29300848 memory=1452 CPUtime=3.32 cores=0-7 /proc/21069/task/21366/stat : 21366 (java) R 21067 21067 18670 0 -1 4202560 146 0 0 0 332 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901254378520 139901604526321 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21367] ppid=21067 vsize=29300848 memory=569548 CPUtime=3.3 cores=0-7 /proc/21069/task/21367/stat : 21367 (java) R 21067 21067 18670 0 -1 4202560 318 0 0 0 330 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901258587888 139901604526289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 [pid=21069/tid=21368] ppid=21067 vsize=29300848 memory=-9181546050914066336 CPUtime=3.3 cores=0-7 /proc/21069/task/21368/stat : 21368 (java) R 21067 21067 18670 0 -1 4202560 167 0 0 0 330 0 0 0 20 0 28 0 446713469 30004068352 142404 33554432000 4194304 4196468 140732184712032 139901264906424 139901604526360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7593984 140732184720362 140732184720534 140732184720534 140732184723407 0 Current children cumulated CPU time: 86.53 s Current children cumulated vsize: 29413976 KiB Current children cumulated memory: 571068 KiB Child status: 0 Real time (s): 12.3966 CPU time (s): 87.1146 CPU user time (s): 86.3522 CPU system time (s): 0.762442 CPU usage (%): 702.733 Max. virtual memory (cumulated for all children) (KiB): 29413976 Max. memory (cumulated for all children) (KiB): 572128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 86.3522 system time used= 0.762442 maximum resident set size= 571204 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55943 page faults= 0 swaps= 0 block input operations= 0 block output operations= 168 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7772 involuntary context switches= 1856 # summary of solver processes directly reported to runsolver: # pid: 21067 # total CPU time (s): 87.1146 # total CPU user time (s): 86.3522 # total CPU system time (s): 0.762442 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.107239 second user time and 0.223804 second system time The end
Begin job on node116 at 2019-09-17 10:07:48 IDJOB=4399913 IDBENCH=128019 IDSOLVER=2854 FILE ID=node116/4399913-1568707709 RUNJOBID= node116-1568700981-18697 PBS_JOBID= 21703912 Free space on /tmp= 61232 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-7.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-4399913-1568707709/watcher-4399913-1568707709 -o /tmp/evaluation-result-4399913-1568707709/solver-4399913-1568707709 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1869971610 HOME/instance-4399913-1568707709.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d869450afe9c29c5d3a1d31c4402b074 RANDOM SEED=1869971610 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 30581088 kB MemAvailable: 31846124 kB Buffers: 152112 kB Cached: 1407504 kB SwapCached: 46584 kB Active: 1025572 kB Inactive: 583592 kB Active(anon): 3500 kB Inactive(anon): 94964 kB Active(file): 1022072 kB Inactive(file): 488628 kB Unevictable: 110568 kB Mlocked: 110568 kB SwapTotal: 67108860 kB SwapFree: 66961212 kB Dirty: 27036 kB Writeback: 0 kB AnonPages: 114528 kB Mapped: 47988 kB Shmem: 40296 kB Slab: 168932 kB SReclaimable: 140340 kB SUnreclaim: 28592 kB KernelStack: 3376 kB PageTables: 5148 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 506280 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61204 MiB End job on node116 at 2019-09-17 10:08:01