Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 53 | 154.509 | 20.708 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-2.xml |
MD5SUM | 6e9eac7fa543eb44f101d0276de9753d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 53 |
Best CPU time to get the best result obtained on this benchmark | 33.6299 |
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":10},{"size":6,"count":5},{"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-4399916-1568707673.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399916-1568707673.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 5.05/1.81 c solve instance... 5.64/1.92 o -1000 5.64/1.95 o -999 8.73/2.33 o -996 8.73/2.35 o -994 9.46/2.40 o -991 9.46/2.43 o -990 9.46/2.44 o -983 10.93/2.68 o -980 10.93/2.69 o -975 16.42/3.34 o -973 17.02/3.50 o -966 17.02/3.50 o -964 17.02/3.50 o -963 17.84/3.51 o -961 18.61/3.65 o -960 19.30/3.73 o -957 23.33/4.27 o -954 27.17/4.78 o -943 28.72/4.92 o -941 31.92/5.31 o -939 47.78/7.37 o -938 47.78/7.38 o 52 57.31/8.53 o 53 153.73/20.69 s OPTIMUM FOUND 153.73/20.69 v <instantiation> 153.73/20.69 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> 153.73/20.69 v <values>6 0 1 2 3 4 12 8 9 15 11 5 18 7 20 14 10 -1 19 13 21 22 16 -1 0 21 20 19 18 17 1 6 7 8 15 16 2 5 10 9 14 -1 3 4 11 12 13 -1 -3 5 -4 8 8 0 3 7 4 4 -3 3 3 -1 6 4 6 0 4 -5 7 -3 0 0 </values> 153.73/20.69 v </instantiation>
OK 53
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 (14919 MiB free) memory of node 1: 16384 MiB (15271 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399916-1568707673/watcher-4399916-1568707673 -o /tmp/evaluation-result-4399916-1568707673/solver-4399916-1568707673 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568702487-27624 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1801925364 HOME/instance-4399916-1568707673.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=30568, runsolver pid=30565 Current StackSize limit: 8192 KiB [startup+0.100111 s]* /proc/loadavg: 8.46 8.39 8.32 2/211 30589 /proc/meminfo: memFree=30899448/32770624 swapFree=66922468/67108860 [pid=30568] ppid=30565 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30568/stat : 30568 (xcsp3-exec) S 30565 30568 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446705176 115843072 364 33554432000 4194304 5098028 140724327167776 140724327165880 140652263334524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38555648 140724327175029 140724327175273 140724327175273 140724327178186 0 /proc/30568/statm: 28282 364 305 221 0 87 0 [pid=30570] ppid=30568 vsize=28227396 memory=29056 CPUtime=0.12 cores=0-7 /proc/30570/stat : 30570 (java) S 30568 30568 27597 0 -1 1077944320 5741 0 0 0 11 1 0 0 20 0 20 0 446705176 28904853504 7264 33554432000 4194304 4196468 140733771189568 140733771172112 140000363585271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 /proc/30570/statm: 7056849 7264 3121 1 0 7019032 0 [pid=30570/tid=30571] ppid=30568 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/30570/task/30571/stat : 30571 (java) R 30568 30568 27597 0 -1 4202560 3648 0 0 0 8 0 0 0 20 0 20 0 446705176 28904853504 7264 33554432000 4194304 4196468 140733771189568 140000367820416 140000363597206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30572] ppid=30568 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/30570/task/30572/stat : 30572 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 7264 33554432000 4194304 4196468 140733771189568 140000316205968 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30573] ppid=30568 vsize=28227396 memory=140357057197696 CPUtime=0 cores=0-7 /proc/30570/task/30573/stat : 30573 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 7264 33554432000 4194304 4196468 140733771189568 140000315153168 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30574] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30574/stat : 30574 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 7264 33554432000 4194304 4196468 140733771189568 140000314100880 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30575] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30575/stat : 30575 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 7264 33554432000 4194304 4196468 140733771189568 140000313048080 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30576] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30576/stat : 30576 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 7264 33554432000 4194304 4196468 140733771189568 140000311994768 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30577] ppid=30568 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30570/task/30577/stat : 30577 (java) S 30568 30568 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 7264 33554432000 4194304 4196468 140733771189568 140000310941968 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30578] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30578/stat : 30578 (java) S 30568 30568 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 7264 33554432000 4194304 4196468 140733771189568 140000309889680 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30579] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30579/stat : 30579 (java) S 30568 30568 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 7264 33554432000 4194304 4196468 140733771189568 140000308836880 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30580] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30580/stat : 30580 (java) S 30568 30568 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446705178 28904853504 7264 33554432000 4194304 4196468 140733771189568 139999029115504 140000363596418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30581] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30581/stat : 30581 (java) S 30568 30568 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446705179 28904853504 7264 33554432000 4194304 4196468 140733771189568 139999028061472 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30582] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30582/stat : 30582 (java) S 30568 30568 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446705179 28904853504 7264 33554432000 4194304 4196468 140733771189568 139999027009136 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30583] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30583/stat : 30583 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705181 28904853504 7264 33554432000 4194304 4196468 140733771189568 139999025957456 140000363603867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30584] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30584/stat : 30584 (java) S 30568 30568 27597 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 446705182 28904853504 7264 33554432000 4194304 4196468 140733771189568 139999024904304 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30585] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30585/stat : 30585 (java) S 30568 30568 27597 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 446705182 28904853504 7264 33554432000 4194304 4196468 140733771189568 139999023851504 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30586] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30586/stat : 30586 (java) S 30568 30568 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446705182 28904853504 7264 33554432000 4194304 4196468 140733771189568 139998178138480 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30587] ppid=30568 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30570/task/30587/stat : 30587 (java) R 30568 30568 27597 0 -1 4202560 361 0 0 0 1 0 0 0 20 0 20 0 446705182 28904853504 7264 33554432000 4194304 4196468 140733771189568 139998177085680 140000363597206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30588] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30588/stat : 30588 (java) S 30568 30568 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446705182 28904853504 7264 33554432000 4194304 4196468 140733771189568 139998176033632 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30589] ppid=30568 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30570/task/30589/stat : 30589 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705182 28904853504 7264 33554432000 4194304 4196468 140733771189568 139998174980912 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30512 KiB [startup+0.210176 s]* /proc/loadavg: 8.46 8.39 8.32 3/211 30589 /proc/meminfo: memFree=30885048/32770624 swapFree=66922468/67108860 [pid=30568] ppid=30565 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30568/stat : 30568 (xcsp3-exec) S 30565 30568 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446705176 115843072 364 33554432000 4194304 5098028 140724327167776 140724327165880 140652263334524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38555648 140724327175029 140724327175273 140724327175273 140724327178186 0 /proc/30568/statm: 28282 364 305 221 0 87 0 [pid=30570] ppid=30568 vsize=28227396 memory=40816 CPUtime=0.33 cores=0-7 /proc/30570/stat : 30570 (java) S 30568 30568 27597 0 -1 1077944320 9486 0 0 0 30 3 0 0 20 0 20 0 446705176 28904853504 10204 33554432000 4194304 4196468 140733771189568 140733771172112 140000363585271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 /proc/30570/statm: 7056849 10204 3278 1 0 7019032 0 [pid=30570/tid=30571] ppid=30568 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/30570/task/30571/stat : 30571 (java) R 30568 30568 27597 0 -1 4202560 6633 0 0 0 17 2 0 0 20 0 20 0 446705176 28904853504 10204 33554432000 4194304 4196468 140733771189568 140000367814992 139999978868836 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30572] ppid=30568 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/30570/task/30572/stat : 30572 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 10204 33554432000 4194304 4196468 140733771189568 140000316205968 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30573] ppid=30568 vsize=28227396 memory=288370733208909440 CPUtime=0 cores=0-7 /proc/30570/task/30573/stat : 30573 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 10204 33554432000 4194304 4196468 140733771189568 140000315153168 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30574] ppid=30568 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30570/task/30574/stat : 30574 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 10204 33554432000 4194304 4196468 140733771189568 140000314100880 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30575] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30575/stat : 30575 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 10204 33554432000 4194304 4196468 140733771189568 140000313048080 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30576] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30576/stat : 30576 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 10204 33554432000 4194304 4196468 140733771189568 140000311994768 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30577] ppid=30568 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30570/task/30577/stat : 30577 (java) S 30568 30568 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 10204 33554432000 4194304 4196468 140733771189568 140000310941968 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30578] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30578/stat : 30578 (java) S 30568 30568 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 10204 33554432000 4194304 4196468 140733771189568 140000309889680 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30579] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30579/stat : 30579 (java) S 30568 30568 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446705177 28904853504 10204 33554432000 4194304 4196468 140733771189568 140000308836880 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30580] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30580/stat : 30580 (java) S 30568 30568 27597 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446705178 28904853504 10204 33554432000 4194304 4196468 140733771189568 139999029115504 140000363596418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30581] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30581/stat : 30581 (java) S 30568 30568 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446705179 28904853504 10204 33554432000 4194304 4196468 140733771189568 139999028061472 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30582] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30582/stat : 30582 (java) S 30568 30568 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446705179 28904853504 10204 33554432000 4194304 4196468 140733771189568 139999027009136 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30583] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30583/stat : 30583 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705181 28904853504 10204 33554432000 4194304 4196468 140733771189568 139999025957456 140000363603867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30584] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30584/stat : 30584 (java) S 30568 30568 27597 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 446705182 28904853504 10204 33554432000 4194304 4196468 140733771189568 139999024904304 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30585] ppid=30568 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30570/task/30585/stat : 30585 (java) R 30568 30568 27597 0 -1 1077944384 184 0 0 0 2 0 0 0 20 0 20 0 446705182 28904853504 10204 33554432000 4194304 4196468 140733771189568 139999023851504 140000363596418 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30586] ppid=30568 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/30570/task/30586/stat : 30586 (java) S 30568 30568 27597 0 -1 1077944384 294 0 0 0 1 0 0 0 20 0 20 0 446705182 28904853504 10204 33554432000 4194304 4196468 140733771189568 139998178138480 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30587] ppid=30568 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/30570/task/30587/stat : 30587 (java) S 30568 30568 27597 0 -1 1077944384 765 0 0 0 7 0 0 0 20 0 20 0 446705182 28904853504 10204 33554432000 4194304 4196468 140733771189568 139998177085680 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30588] ppid=30568 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30588/stat : 30588 (java) S 30568 30568 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446705182 28904853504 10204 33554432000 4194304 4196468 140733771189568 139998176033632 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30589] ppid=30568 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30570/task/30589/stat : 30589 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705182 28904853504 10204 33554432000 4194304 4196468 140733771189568 139998174980912 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42272 KiB [startup+0.309437 s]* /proc/loadavg: 8.46 8.39 8.32 2/211 30589 /proc/meminfo: memFree=30880196/32770624 swapFree=66922468/67108860 [pid=30568] ppid=30565 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30568/stat : 30568 (xcsp3-exec) S 30565 30568 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446705176 115843072 364 33554432000 4194304 5098028 140724327167776 140724327165880 140652263334524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38555648 140724327175029 140724327175273 140724327175273 140724327178186 0 /proc/30568/statm: 28282 364 305 221 0 87 0 [pid=30570] ppid=30568 vsize=28231652 memory=49780 CPUtime=0.52 cores=0-7 /proc/30570/stat : 30570 (java) S 30568 30568 27597 0 -1 1077944320 10790 0 0 0 47 5 0 0 20 0 20 0 446705176 28909211648 12410 33554432000 4194304 4196468 140733771189568 140733771172112 140000363585271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 /proc/30570/statm: 7057913 12410 3331 1 0 7019032 0 [pid=30570/tid=30571] ppid=30568 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/30570/task/30571/stat : 30571 (java) R 30568 30568 27597 0 -1 4202560 7706 0 0 0 27 3 0 0 20 0 20 0 446705176 28909211648 12511 33554432000 4194304 4196468 140733771189568 140000367812944 140000347665758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30572] ppid=30568 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30572/stat : 30572 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28909211648 12511 33554432000 4194304 4196468 140733771189568 140000316205968 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30573] ppid=30568 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30573/stat : 30573 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28909211648 12511 33554432000 4194304 4196468 140733771189568 140000315153168 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30574] ppid=30568 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30574/stat : 30574 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28909211648 12511 33554432000 4194304 4196468 140733771189568 140000314100880 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30575] ppid=30568 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30575/stat : 30575 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28909211648 12511 33554432000 4194304 4196468 140733771189568 140000313048080 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30576] ppid=30568 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30576/stat : 30576 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28909211648 12511 33554432000 4194304 4196468 140733771189568 140000311994768 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30577] ppid=30568 vsize=28231652 memory=140356914080431 CPUtime=0 cores=0-7 /proc/30570/task/30577/stat : 30577 (java) S 30568 30568 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446705177 28909211648 12511 33554432000 4194304 4196468 140733771189568 140000310941968 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30578] ppid=30568 vsize=28231652 memory=140356914082736 CPUtime=0 cores=0-7 /proc/30570/task/30578/stat : 30578 (java) S 30568 30568 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446705177 28909211648 12511 33554432000 4194304 4196468 140733771189568 140000309889680 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30579] ppid=30568 vsize=28231652 memory=140356914085040 CPUtime=0 cores=0-7 /proc/30570/task/30579/stat : 30579 (java) S 30568 30568 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446705177 28909211648 12511 33554432000 4194304 4196468 140733771189568 140000308836880 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30580] ppid=30568 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30580/stat : 30580 (java) S 30568 30568 27597 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446705178 28909211648 12511 33554432000 4194304 4196468 140733771189568 139999029115504 140000363596418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30581] ppid=30568 vsize=28231652 memory=280713828183952 CPUtime=0 cores=0-7 /proc/30570/task/30581/stat : 30581 (java) S 30568 30568 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446705179 28909211648 12511 33554432000 4194304 4196468 140733771189568 139999028061472 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30582] ppid=30568 vsize=28231652 memory=280713828181648 CPUtime=0 cores=0-7 /proc/30570/task/30582/stat : 30582 (java) S 30568 30568 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446705179 28909211648 12511 33554432000 4194304 4196468 140733771189568 139999027009136 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30583] ppid=30568 vsize=28231652 memory=280713828188560 CPUtime=0 cores=0-7 /proc/30570/task/30583/stat : 30583 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705181 28909211648 12511 33554432000 4194304 4196468 140733771189568 139999025957456 140000363603867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30584] ppid=30568 vsize=28231652 memory=280713828129840 CPUtime=0.01 cores=0-7 /proc/30570/task/30584/stat : 30584 (java) R 30568 30568 27597 0 -1 4202560 399 0 0 0 1 0 0 0 20 0 20 0 446705182 28909211648 12511 33554432000 4194304 4196468 140733771189568 139999024885320 140000344285568 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30585] ppid=30568 vsize=28231652 memory=280713828202384 CPUtime=0.03 cores=0-7 /proc/30570/task/30585/stat : 30585 (java) S 30568 30568 27597 0 -1 1077944384 199 0 0 0 3 0 0 0 20 0 20 0 446705182 28909211648 12511 33554432000 4194304 4196468 140733771189568 139999023851504 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30586] ppid=30568 vsize=28231652 memory=280713828209296 CPUtime=0.03 cores=0-7 /proc/30570/task/30586/stat : 30586 (java) S 30568 30568 27597 0 -1 1077944384 308 0 0 0 3 0 0 0 20 0 20 0 446705182 28909211648 12511 33554432000 4194304 4196468 140733771189568 139998178138480 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30587] ppid=30568 vsize=28231652 memory=280713828206992 CPUtime=0.12 cores=0-7 /proc/30570/task/30587/stat : 30587 (java) S 30568 30568 27597 0 -1 1077944384 884 0 0 0 12 0 0 0 20 0 20 0 446705182 28909211648 12511 33554432000 4194304 4196468 140733771189568 139998177085680 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30588] ppid=30568 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30588/stat : 30588 (java) S 30568 30568 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446705182 28909211648 12511 33554432000 4194304 4196468 140733771189568 139998176033632 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30589] ppid=30568 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30570/task/30589/stat : 30589 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705182 28909211648 12511 33554432000 4194304 4196468 140733771189568 139998174980912 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51236 KiB [startup+0.700905 s] /proc/loadavg: 8.46 8.39 8.32 5/211 30589 /proc/meminfo: memFree=30848208/32770624 swapFree=66922468/67108860 [pid=30568] ppid=30565 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30568/stat : 30568 (xcsp3-exec) S 30565 30568 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446705176 115843072 364 33554432000 4194304 5098028 140724327167776 140724327165880 140652263334524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38555648 140724327175029 140724327175273 140724327175273 140724327178186 0 /proc/30568/statm: 28282 364 305 221 0 87 0 [pid=30570] ppid=30568 vsize=28233776 memory=115136 CPUtime=1.97 cores=0-7 /proc/30570/stat : 30570 (java) S 30568 30568 27597 0 -1 1077944320 15919 0 0 0 190 7 0 0 20 0 20 0 446705176 28911386624 28784 33554432000 4194304 4196468 140733771189568 140733771172112 140000363585271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 /proc/30570/statm: 7058444 28784 3457 1 0 7019544 0 [pid=30570/tid=30571] ppid=30568 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/30570/task/30571/stat : 30571 (java) R 30568 30568 27597 0 -1 4202560 8786 0 0 0 63 4 0 0 20 0 20 0 446705176 28911386624 28784 33554432000 4194304 4196468 140733771189568 140000367821104 139999982562784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30572] ppid=30568 vsize=28233776 memory=140356914291568 CPUtime=0 cores=0-7 /proc/30570/task/30572/stat : 30572 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28911386624 28784 33554432000 4194304 4196468 140733771189568 140000316205968 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30573] ppid=30568 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30573/stat : 30573 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28911386624 28784 33554432000 4194304 4196468 140733771189568 140000315153168 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30574] ppid=30568 vsize=28233776 memory=1560 CPUtime=0 cores=0-7 /proc/30570/task/30574/stat : 30574 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446705177 28911386624 28784 33554432000 4194304 4196468 140733771189568 140000314100880 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 ################ # More data... # ################ [pid=30570/tid=30780] ppid=30568 vsize=28901464 memory=0 CPUtime=11.4 cores=0-7 /proc/30570/task/30780/stat : 30780 (java) R 30568 30568 27597 0 -1 4202560 553 0 0 0 1140 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998159691376 139999986286499 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30781] ppid=30568 vsize=28901464 memory=60 CPUtime=11.35 cores=0-7 /proc/30570/task/30781/stat : 30781 (java) R 30568 30568 27597 0 -1 4202560 844 0 0 0 1135 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998162850216 139999986286472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30782] ppid=30568 vsize=28901464 memory=932 CPUtime=11.26 cores=0-7 /proc/30570/task/30782/stat : 30782 (java) R 30568 30568 27597 0 -1 4202560 483 0 0 0 1126 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998160744552 139999986928052 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30783] ppid=30568 vsize=28901464 memory=1492 CPUtime=11.45 cores=0-7 /proc/30570/task/30783/stat : 30783 (java) R 30568 30568 27597 0 -1 4202560 764 0 0 0 1145 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998157587112 139999986286391 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30784] ppid=30568 vsize=28901464 memory=876 CPUtime=11.37 cores=0-7 /proc/30570/task/30784/stat : 30784 (java) R 30568 30568 27597 0 -1 4202560 517 0 0 0 1137 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998158639672 139999986286814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30785] ppid=30568 vsize=28901464 memory=1448 CPUtime=11.41 cores=0-7 /proc/30570/task/30785/stat : 30785 (java) R 30568 30568 27597 0 -1 4202560 383 0 0 0 1141 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998154428048 139999986286658 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 Current children cumulated CPU time: 149.02 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 455964 KiB [startup+20.4016 s] /proc/loadavg: 7.82 8.24 8.27 9/219 30785 /proc/meminfo: memFree=30472784/32770624 swapFree=66922468/67108860 [pid=30568] ppid=30565 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30568/stat : 30568 (xcsp3-exec) S 30565 30568 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446705176 115843072 364 33554432000 4194304 5098028 140724327167776 140724327165880 140652263334524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38555648 140724327175029 140724327175273 140724327175273 140724327178186 0 /proc/30568/statm: 28282 364 305 221 0 87 0 [pid=30570] ppid=30568 vsize=28901464 memory=454508 CPUtime=152.14 cores=0-7 /proc/30570/stat : 30570 (java) S 30568 30568 27597 0 -1 1077944320 46437 0 0 0 15148 66 0 0 20 0 28 0 446705176 29595099136 113627 33554432000 4194304 4196468 140733771189568 140733771172112 140000363585271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 /proc/30570/statm: 7225366 113627 3526 1 0 7186466 0 [pid=30570/tid=30571] ppid=30568 vsize=28901464 memory=1560 CPUtime=1.73 cores=0-7 /proc/30570/task/30571/stat : 30571 (java) S 30568 30568 27597 0 -1 1077944384 9754 0 0 0 164 9 0 0 20 0 28 0 446705176 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000367826048 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30572] ppid=30568 vsize=28901464 memory=932 CPUtime=0.07 cores=0-7 /proc/30570/task/30572/stat : 30572 (java) S 30568 30568 27597 0 -1 1077944384 153 0 0 0 3 4 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000316205968 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30573] ppid=30568 vsize=28901464 memory=1492 CPUtime=0.06 cores=0-7 /proc/30570/task/30573/stat : 30573 (java) S 30568 30568 27597 0 -1 1077944384 151 0 0 0 2 4 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000315153168 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30574] ppid=30568 vsize=28901464 memory=3072 CPUtime=0.05 cores=0-7 /proc/30570/task/30574/stat : 30574 (java) S 30568 30568 27597 0 -1 1077944384 88 0 0 0 2 3 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000314100880 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30575] ppid=30568 vsize=28901464 memory=1456 CPUtime=0.07 cores=0-7 /proc/30570/task/30575/stat : 30575 (java) S 30568 30568 27597 0 -1 1077944384 117 0 0 0 3 4 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000313048080 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30576] ppid=30568 vsize=28901464 memory=454508 CPUtime=0.06 cores=0-7 /proc/30570/task/30576/stat : 30576 (java) S 30568 30568 27597 0 -1 1077944384 119 0 0 0 2 4 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000311994768 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30577] ppid=30568 vsize=28901464 memory=1580 CPUtime=0.07 cores=0-7 /proc/30570/task/30577/stat : 30577 (java) S 30568 30568 27597 0 -1 1077944384 131 0 0 0 3 4 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000310941968 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30578] ppid=30568 vsize=28901464 memory=8317482817917895235 CPUtime=0.07 cores=0-7 /proc/30570/task/30578/stat : 30578 (java) S 30568 30568 27597 0 -1 1077944384 157 0 0 0 3 4 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000309889680 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30579] ppid=30568 vsize=28901464 memory=4872558044660077418 CPUtime=0.06 cores=0-7 /proc/30570/task/30579/stat : 30579 (java) S 30568 30568 27597 0 -1 1077944384 126 0 0 0 3 3 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000308836880 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30580] ppid=30568 vsize=28901464 memory=0 CPUtime=0.01 cores=0-7 /proc/30570/task/30580/stat : 30580 (java) S 30568 30568 27597 0 -1 1077944384 512 0 0 0 1 0 0 0 20 0 28 0 446705178 29595099136 113627 33554432000 4194304 4196468 140733771189568 139999029115504 140000363596418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30581] ppid=30568 vsize=28901464 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/30570/task/30581/stat : 30581 (java) S 30568 30568 27597 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 446705179 29595099136 113627 33554432000 4194304 4196468 140733771189568 139999028061536 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30582] ppid=30568 vsize=28901464 memory=454504 CPUtime=0 cores=0-7 /proc/30570/task/30582/stat : 30582 (java) S 30568 30568 27597 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 446705179 29595099136 113627 33554432000 4194304 4196468 140733771189568 139999027009152 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30583] ppid=30568 vsize=28901464 memory=-7107449089259627607 CPUtime=0 cores=0-7 /proc/30570/task/30583/stat : 30583 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446705181 29595099136 113627 33554432000 4194304 4196468 140733771189568 139999025957456 140000363603867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30584] ppid=30568 vsize=28901464 memory=8326441210107759530 CPUtime=1.69 cores=0-7 /proc/30570/task/30584/stat : 30584 (java) S 30568 30568 27597 0 -1 1077944384 5664 0 0 0 167 2 0 0 20 0 28 0 446705182 29595099136 113627 33554432000 4194304 4196468 140733771189568 139999024904304 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30585] ppid=30568 vsize=28901464 memory=8182060323574262347 CPUtime=1.96 cores=0-7 /proc/30570/task/30585/stat : 30585 (java) S 30568 30568 27597 0 -1 1077944384 5438 0 0 0 195 1 0 0 20 0 28 0 446705182 29595099136 113627 33554432000 4194304 4196468 140733771189568 139999023851504 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30586] ppid=30568 vsize=28901464 memory=-7451644780564233307 CPUtime=1.95 cores=0-7 /proc/30570/task/30586/stat : 30586 (java) S 30568 30568 27597 0 -1 1077944384 5469 0 0 0 194 1 0 0 20 0 28 0 446705182 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998178138480 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30587] ppid=30568 vsize=28901464 memory=-3767417711837941592 CPUtime=0.97 cores=0-7 /proc/30570/task/30587/stat : 30587 (java) S 30568 30568 27597 0 -1 1077944384 7024 0 0 0 94 3 0 0 20 0 28 0 446705182 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998177085680 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30588] ppid=30568 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/30570/task/30588/stat : 30588 (java) S 30568 30568 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446705182 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998176033632 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30589] ppid=30568 vsize=28901464 memory=0 CPUtime=0.01 cores=0-7 /proc/30570/task/30589/stat : 30589 (java) S 30568 30568 27597 0 -1 1077944384 705 0 0 0 0 1 0 0 20 0 28 0 446705182 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998174980912 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30778] ppid=30568 vsize=28901464 memory=0 CPUtime=11.84 cores=0-7 /proc/30570/task/30778/stat : 30778 (java) R 30568 30568 27597 0 -1 4202560 512 0 0 0 1184 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998163901944 139999987361249 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30779] ppid=30568 vsize=28901464 memory=140356917411294 CPUtime=11.85 cores=0-7 /proc/30570/task/30779/stat : 30779 (java) R 30568 30568 27597 0 -1 4202560 425 0 0 0 1185 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998161797688 139999986842952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30780] ppid=30568 vsize=28901464 memory=140356917411415 CPUtime=11.79 cores=0-7 /proc/30570/task/30780/stat : 30780 (java) R 30568 30568 27597 0 -1 4202560 553 0 0 0 1179 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998159691376 139999986286581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30781] ppid=30568 vsize=28901464 memory=280713829592352 CPUtime=11.74 cores=0-7 /proc/30570/task/30781/stat : 30781 (java) R 30568 30568 27597 0 -1 4202560 844 0 0 0 1174 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998162850216 139999986286791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30782] ppid=30568 vsize=28901464 memory=576601109218024260 CPUtime=11.65 cores=0-7 /proc/30570/task/30782/stat : 30782 (java) R 30568 30568 27597 0 -1 4202560 661 0 0 0 1165 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998160744552 139999986286621 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30783] ppid=30568 vsize=28901464 memory=3544815448853615136 CPUtime=11.84 cores=0-7 /proc/30570/task/30783/stat : 30783 (java) R 30568 30568 27597 0 -1 4202560 766 0 0 0 1184 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998157587112 139999987362571 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30784] ppid=30568 vsize=28901464 memory=3833607658216721216 CPUtime=11.76 cores=0-7 /proc/30570/task/30784/stat : 30784 (java) R 30568 30568 27597 0 -1 4202560 517 0 0 0 1176 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998158639672 139999986286273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30785] ppid=30568 vsize=28901464 memory=3689771754768338512 CPUtime=11.8 cores=0-7 /proc/30570/task/30785/stat : 30785 (java) R 30568 30568 27597 0 -1 4202560 383 0 0 0 1180 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998154428048 139999979870054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 Current children cumulated CPU time: 152.14 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 455964 KiB [startup+20.6016 s] /proc/loadavg: 7.82 8.24 8.27 9/219 30785 /proc/meminfo: memFree=30472784/32770624 swapFree=66922468/67108860 [pid=30568] ppid=30565 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30568/stat : 30568 (xcsp3-exec) S 30565 30568 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446705176 115843072 364 33554432000 4194304 5098028 140724327167776 140724327165880 140652263334524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38555648 140724327175029 140724327175273 140724327175273 140724327178186 0 /proc/30568/statm: 28282 364 305 221 0 87 0 [pid=30570] ppid=30568 vsize=28901464 memory=454508 CPUtime=153.73 cores=0-7 /proc/30570/stat : 30570 (java) S 30568 30568 27597 0 -1 1077944320 46488 0 0 0 15307 66 0 0 20 0 28 0 446705176 29595099136 113627 33554432000 4194304 4196468 140733771189568 140733771172112 140000363585271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 /proc/30570/statm: 7225366 113627 3526 1 0 7186466 0 [pid=30570/tid=30571] ppid=30568 vsize=28901464 memory=0 CPUtime=1.73 cores=0-7 /proc/30570/task/30571/stat : 30571 (java) S 30568 30568 27597 0 -1 1077944384 9754 0 0 0 164 9 0 0 20 0 28 0 446705176 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000367826048 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30572] ppid=30568 vsize=28901464 memory=14537 CPUtime=0.07 cores=0-7 /proc/30570/task/30572/stat : 30572 (java) S 30568 30568 27597 0 -1 1077944384 153 0 0 0 3 4 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000316205968 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30573] ppid=30568 vsize=28901464 memory=920 CPUtime=0.06 cores=0-7 /proc/30570/task/30573/stat : 30573 (java) S 30568 30568 27597 0 -1 1077944384 151 0 0 0 2 4 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000315153168 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30574] ppid=30568 vsize=28901464 memory=4428 CPUtime=0.05 cores=0-7 /proc/30570/task/30574/stat : 30574 (java) S 30568 30568 27597 0 -1 1077944384 88 0 0 0 2 3 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000314100880 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30575] ppid=30568 vsize=28901464 memory=780 CPUtime=0.07 cores=0-7 /proc/30570/task/30575/stat : 30575 (java) S 30568 30568 27597 0 -1 1077944384 117 0 0 0 3 4 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000313048080 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30576] ppid=30568 vsize=28901464 memory=1056 CPUtime=0.06 cores=0-7 /proc/30570/task/30576/stat : 30576 (java) S 30568 30568 27597 0 -1 1077944384 119 0 0 0 2 4 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000311994768 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30577] ppid=30568 vsize=28901464 memory=11620 CPUtime=0.07 cores=0-7 /proc/30570/task/30577/stat : 30577 (java) S 30568 30568 27597 0 -1 1077944384 131 0 0 0 3 4 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000310941968 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30578] ppid=30568 vsize=28901464 memory=3992 CPUtime=0.07 cores=0-7 /proc/30570/task/30578/stat : 30578 (java) S 30568 30568 27597 0 -1 1077944384 157 0 0 0 3 4 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000309889680 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30579] ppid=30568 vsize=28901464 memory=2828 CPUtime=0.06 cores=0-7 /proc/30570/task/30579/stat : 30579 (java) S 30568 30568 27597 0 -1 1077944384 126 0 0 0 3 3 0 0 20 0 28 0 446705177 29595099136 113627 33554432000 4194304 4196468 140733771189568 140000308836880 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30580] ppid=30568 vsize=28901464 memory=1000 CPUtime=0.01 cores=0-7 /proc/30570/task/30580/stat : 30580 (java) S 30568 30568 27597 0 -1 1077944384 516 0 0 0 1 0 0 0 20 0 28 0 446705178 29595099136 113627 33554432000 4194304 4196468 140733771189568 139999029115504 140000363596418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30581] ppid=30568 vsize=28901464 memory=1560 CPUtime=0 cores=0-7 /proc/30570/task/30581/stat : 30581 (java) S 30568 30568 27597 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 446705179 29595099136 113627 33554432000 4194304 4196468 140733771189568 139999028061536 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30582] ppid=30568 vsize=28901464 memory=1172 CPUtime=0 cores=0-7 /proc/30570/task/30582/stat : 30582 (java) S 30568 30568 27597 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 446705179 29595099136 113627 33554432000 4194304 4196468 140733771189568 139999027009152 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30583] ppid=30568 vsize=28901464 memory=14008 CPUtime=0 cores=0-7 /proc/30570/task/30583/stat : 30583 (java) S 30568 30568 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446705181 29595099136 113627 33554432000 4194304 4196468 140733771189568 139999025957456 140000363603867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30584] ppid=30568 vsize=28901464 memory=14076 CPUtime=1.69 cores=0-7 /proc/30570/task/30584/stat : 30584 (java) S 30568 30568 27597 0 -1 1077944384 5664 0 0 0 167 2 0 0 20 0 28 0 446705182 29595099136 113627 33554432000 4194304 4196468 140733771189568 139999024904304 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30585] ppid=30568 vsize=28901464 memory=2116 CPUtime=1.96 cores=0-7 /proc/30570/task/30585/stat : 30585 (java) S 30568 30568 27597 0 -1 1077944384 5438 0 0 0 195 1 0 0 20 0 28 0 446705182 29595099136 113627 33554432000 4194304 4196468 140733771189568 139999023851504 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30586] ppid=30568 vsize=28901464 memory=13188 CPUtime=1.95 cores=0-7 /proc/30570/task/30586/stat : 30586 (java) S 30568 30568 27597 0 -1 1077944384 5469 0 0 0 194 1 0 0 20 0 28 0 446705182 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998178138480 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30587] ppid=30568 vsize=28901464 memory=528 CPUtime=0.97 cores=0-7 /proc/30570/task/30587/stat : 30587 (java) S 30568 30568 27597 0 -1 1077944384 7024 0 0 0 94 3 0 0 20 0 28 0 446705182 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998177085680 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30588] ppid=30568 vsize=28901464 memory=1560 CPUtime=0 cores=0-7 /proc/30570/task/30588/stat : 30588 (java) S 30568 30568 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446705182 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998176033632 140000363595477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30589] ppid=30568 vsize=28901464 memory=454508 CPUtime=0.01 cores=0-7 /proc/30570/task/30589/stat : 30589 (java) S 30568 30568 27597 0 -1 1077944384 705 0 0 0 0 1 0 0 20 0 28 0 446705182 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998174980912 140000363596418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30778] ppid=30568 vsize=28901464 memory=0 CPUtime=12.04 cores=0-7 /proc/30570/task/30778/stat : 30778 (java) R 30568 30568 27597 0 -1 4202560 522 0 0 0 1204 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998163901944 139999986286377 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30779] ppid=30568 vsize=28901464 memory=0 CPUtime=12.05 cores=0-7 /proc/30570/task/30779/stat : 30779 (java) R 30568 30568 27597 0 -1 4202560 430 0 0 0 1205 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998161797688 139999986286770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30780] ppid=30568 vsize=28901464 memory=0 CPUtime=11.99 cores=0-7 /proc/30570/task/30780/stat : 30780 (java) R 30568 30568 27597 0 -1 4202560 559 0 0 0 1199 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998159691376 139999986286517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30781] ppid=30568 vsize=28901464 memory=0 CPUtime=11.94 cores=0-7 /proc/30570/task/30781/stat : 30781 (java) R 30568 30568 27597 0 -1 4202560 851 0 0 0 1194 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998162850216 139999986286485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30782] ppid=30568 vsize=28901464 memory=0 CPUtime=11.85 cores=0-7 /proc/30570/task/30782/stat : 30782 (java) R 30568 30568 27597 0 -1 4202560 663 0 0 0 1185 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998160744552 139999986286746 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30783] ppid=30568 vsize=28901464 memory=48740 CPUtime=12.04 cores=0-7 /proc/30570/task/30783/stat : 30783 (java) R 30568 30568 27597 0 -1 4202560 771 0 0 0 1204 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998157587112 139999986842850 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30784] ppid=30568 vsize=28901464 memory=0 CPUtime=11.96 cores=0-7 /proc/30570/task/30784/stat : 30784 (java) R 30568 30568 27597 0 -1 4202560 522 0 0 0 1196 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998158639672 139999986286356 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 [pid=30570/tid=30785] ppid=30568 vsize=28901464 memory=0 CPUtime=12 cores=0-7 /proc/30570/task/30785/stat : 30785 (java) R 30568 30568 27597 0 -1 4202560 390 0 0 0 1200 0 0 0 20 0 28 0 446706029 29595099136 113627 33554432000 4194304 4196468 140733771189568 139998154428048 139999986841648 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140733771191274 140733771191446 140733771191446 140733771194319 0 Current children cumulated CPU time: 153.73 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 455964 KiB [startup+20.7012 s] /proc/loadavg: 7.82 8.24 8.27 9/219 30785 /proc/meminfo: memFree=30472784/32770624 swapFree=66922468/67108860 [pid=30568] ppid=30565 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30568/stat : 30568 (xcsp3-exec) S 30565 30568 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446705176 115843072 364 33554432000 4194304 5098028 140724327167776 140724327165880 140652263334524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38555648 140724327175029 140724327175273 140724327175273 140724327178186 0 /proc/30568/statm: 28282 364 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB Child status: 0 Real time (s): 20.708 CPU time (s): 154.509 CPU user time (s): 153.827 CPU system time (s): 0.682091 CPU usage (%): 746.132 Max. virtual memory (cumulated for all children) (KiB): 29014592 Max. memory (cumulated for all children) (KiB): 455964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 153.827 system time used= 0.682091 maximum resident set size= 455032 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48264 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= 6737 involuntary context switches= 2517 # summary of solver processes directly reported to runsolver: # pid: 30568 # total CPU time (s): 154.509 # total CPU user time (s): 153.827 # total CPU system time (s): 0.682091 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.189642 second user time and 0.284463 second system time The end
Begin job on node141 at 2019-09-17 10:07:11 IDJOB=4399916 IDBENCH=127986 IDSOLVER=2854 FILE ID=node141/4399916-1568707673 RUNJOBID= node141-1568702487-27624 PBS_JOBID= 21703919 Free space on /tmp= 58544 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-2.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-4399916-1568707673/watcher-4399916-1568707673 -o /tmp/evaluation-result-4399916-1568707673/solver-4399916-1568707673 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568702487-27624 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1801925364 HOME/instance-4399916-1568707673.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6e9eac7fa543eb44f101d0276de9753d RANDOM SEED=1801925364 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 30915572 kB MemAvailable: 31828780 kB Buffers: 231060 kB Cached: 978716 kB SwapCached: 77704 kB Active: 563604 kB Inactive: 727264 kB Active(anon): 8720 kB Inactive(anon): 115648 kB Active(file): 554884 kB Inactive(file): 611616 kB Unevictable: 108616 kB Mlocked: 108616 kB SwapTotal: 67108860 kB SwapFree: 66922468 kB Dirty: 27104 kB Writeback: 0 kB AnonPages: 112548 kB Mapped: 43072 kB Shmem: 34648 kB Slab: 155276 kB SReclaimable: 125088 kB SUnreclaim: 30188 kB KernelStack: 3328 kB PageTables: 5124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506736 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: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 58516 MiB End job on node141 at 2019-09-17 10:07:32