Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 5 | 120.205 | 15.7969 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-myciel5.xml |
MD5SUM | a954d880863fe6e02d270e9cafb0ae96 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 19.3894 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 47 |
Number of constraints | 236 |
Number of domains | 1 |
Minimum domain size | 47 |
Maximum domain size | 47 |
Distribution of domain sizes | [{"size":47,"count":47}] |
Minimum variable degree | 6 |
Maximum variable degree | 24 |
Distribution of variable degrees | [{"degree":6,"count":5},{"degree":7,"count":5},{"degree":8,"count":6},{"degree":9,"count":5},{"degree":10,"count":5},{"degree":11,"count":5},{"degree":12,"count":1},{"degree":13,"count":7},{"degree":17,"count":5},{"degree":21,"count":1},{"degree":23,"count":1},{"degree":24,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":236}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 236 |
Distribution of constraint types | [{"type":"intension","count":236}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404902-1569003323.xml" -tl '2016s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404902-1569003323.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.00/0.82 c solve instance... 2.00/0.86 o 5 119.60/15.78 s OPTIMUM FOUND 119.60/15.78 v <instantiation> 119.60/15.78 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] </list> 119.60/15.78 v <values>0 1 0 1 2 0 1 0 1 2 3 0 1 0 1 2 0 1 0 1 2 3 4 0 1 0 1 2 0 1 0 1 2 3 0 1 0 1 2 0 1 0 1 2 3 4 5 </values> 119.60/15.78 v </instantiation>
OK 5
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 (7414 MiB free) memory of node 1: 16384 MiB (6443 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404902-1569003323/watcher-4404902-1569003323 -o /var/tmp/evaluation-result-4404902-1569003323/solver-4404902-1569003323 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 806349144 HOME/instance-4404902-1569003323.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=24035, runsolver pid=24032 Current StackSize limit: 8192 KiB [startup+0.100174 s]* /proc/loadavg: 8.10 8.42 8.37 3/212 24056 /proc/meminfo: memFree=14173300/32770624 swapFree=66972360/67108860 [pid=24035] ppid=24032 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24035/stat : 24035 (xcsp3-exec) S 24032 24035 16074 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476274134 115843072 363 33554432000 4194304 5098028 140721057319792 140721057317896 140311374910076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30216192 140721057321816 140721057322074 140721057322074 140721057324998 0 /proc/24035/statm: 28282 363 305 221 0 87 0 [pid=24037] ppid=24035 vsize=28227396 memory=30360 CPUtime=0.13 cores=0-7 /proc/24037/stat : 24037 (java) S 24035 24035 16074 0 -1 1077944320 5486 0 0 0 11 2 0 0 20 0 20 0 476274135 28904853504 7590 33554432000 4194304 4196468 140721626497520 140721626480064 140274194185975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 /proc/24037/statm: 7056849 7590 3156 1 0 7019032 0 [pid=24037/tid=24038] ppid=24035 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/24037/task/24038/stat : 24038 (java) R 24035 24035 16074 0 -1 4202560 3405 0 0 0 8 1 0 0 20 0 20 0 476274135 28904853504 7590 33554432000 4194304 4196468 140721626497520 140274198422320 140274175748944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24039] ppid=24035 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/24037/task/24039/stat : 24039 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 7590 33554432000 4194304 4196468 140721626497520 140274114038288 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24040] ppid=24035 vsize=28227396 memory=140011415135872 CPUtime=0 cores=0-7 /proc/24037/task/24040/stat : 24040 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 7590 33554432000 4194304 4196468 140721626497520 140274112985744 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24041] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24041/stat : 24041 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 7590 33554432000 4194304 4196468 140721626497520 140274111932688 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24042] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24042/stat : 24042 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 7590 33554432000 4194304 4196468 140721626497520 140274110880144 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24043] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24043/stat : 24043 (java) S 24035 24035 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 7590 33554432000 4194304 4196468 140721626497520 140274109828112 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24044] ppid=24035 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24037/task/24044/stat : 24044 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 7590 33554432000 4194304 4196468 140721626497520 140274108775568 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24045] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24045/stat : 24045 (java) S 24035 24035 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 7590 33554432000 4194304 4196468 140721626497520 140274107722512 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24046] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24046/stat : 24046 (java) S 24035 24035 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 7590 33554432000 4194304 4196468 140721626497520 140274106669968 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24047] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24047/stat : 24047 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274137 28904853504 7590 33554432000 4194304 4196468 140721626497520 140272658299120 140274194197122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24048] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24048/stat : 24048 (java) S 24035 24035 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476274138 28904853504 7590 33554432000 4194304 4196468 140721626497520 140272657245344 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24049] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24049/stat : 24049 (java) S 24035 24035 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476274138 28904853504 7590 33554432000 4194304 4196468 140721626497520 140272656192240 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24050] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24050/stat : 24050 (java) S 24035 24035 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476274140 28904853504 7590 33554432000 4194304 4196468 140721626497520 140272655140816 140274194204571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24051] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24051/stat : 24051 (java) S 24035 24035 16074 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 20 0 476274140 28904853504 7590 33554432000 4194304 4196468 140721626497520 140272654088944 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24052] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24052/stat : 24052 (java) S 24035 24035 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476274140 28904853504 7590 33554432000 4194304 4196468 140721626497520 140272653036400 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24053] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24053/stat : 24053 (java) R 24035 24035 16074 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 20 0 476274140 28904853504 7590 33554432000 4194304 4196468 140721626497520 140272651983344 140274177621713 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24054] ppid=24035 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/24037/task/24054/stat : 24054 (java) R 24035 24035 16074 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 476274140 28904853504 7590 33554432000 4194304 4196468 140721626497520 140272650930800 140274186423102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24055] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24055/stat : 24055 (java) S 24035 24035 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476274141 28904853504 7590 33554432000 4194304 4196468 140721626497520 140272649877984 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24056] ppid=24035 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24037/task/24056/stat : 24056 (java) S 24035 24035 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476274141 28904853504 7590 33554432000 4194304 4196468 140721626497520 140272648825520 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31812 KiB [startup+0.210526 s]* /proc/loadavg: 8.10 8.42 8.37 3/212 24056 /proc/meminfo: memFree=14160172/32770624 swapFree=66972360/67108860 [pid=24035] ppid=24032 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24035/stat : 24035 (xcsp3-exec) S 24032 24035 16074 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476274134 115843072 363 33554432000 4194304 5098028 140721057319792 140721057317896 140311374910076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30216192 140721057321816 140721057322074 140721057322074 140721057324998 0 /proc/24035/statm: 28282 363 305 221 0 87 0 [pid=24037] ppid=24035 vsize=28227396 memory=41344 CPUtime=0.34 cores=0-7 /proc/24037/stat : 24037 (java) S 24035 24035 16074 0 -1 1077944320 9045 0 0 0 30 4 0 0 20 0 20 0 476274135 28904853504 10336 33554432000 4194304 4196468 140721626497520 140721626480064 140274194185975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 /proc/24037/statm: 7056849 10336 3276 1 0 7019032 0 [pid=24037/tid=24038] ppid=24035 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/24037/task/24038/stat : 24038 (java) R 24035 24035 16074 0 -1 4202560 6220 0 0 0 17 3 0 0 20 0 20 0 476274135 28904853504 10336 33554432000 4194304 4196468 140721626497520 140274198419424 140274194197910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24039] ppid=24035 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/24037/task/24039/stat : 24039 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 10336 33554432000 4194304 4196468 140721626497520 140274114038288 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24040] ppid=24035 vsize=28227396 memory=4120991086404298400 CPUtime=0 cores=0-7 /proc/24037/task/24040/stat : 24040 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 10336 33554432000 4194304 4196468 140721626497520 140274112985744 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24041] ppid=24035 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24037/task/24041/stat : 24041 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 10336 33554432000 4194304 4196468 140721626497520 140274111932688 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24042] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24042/stat : 24042 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 10336 33554432000 4194304 4196468 140721626497520 140274110880144 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24043] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24043/stat : 24043 (java) S 24035 24035 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 10336 33554432000 4194304 4196468 140721626497520 140274109828112 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24044] ppid=24035 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24037/task/24044/stat : 24044 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 10336 33554432000 4194304 4196468 140721626497520 140274108775568 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24045] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24045/stat : 24045 (java) S 24035 24035 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 10336 33554432000 4194304 4196468 140721626497520 140274107722512 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24046] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24046/stat : 24046 (java) S 24035 24035 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476274136 28904853504 10336 33554432000 4194304 4196468 140721626497520 140274106669968 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24047] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24047/stat : 24047 (java) S 24035 24035 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476274137 28904853504 10336 33554432000 4194304 4196468 140721626497520 140272658299120 140274194197122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24048] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24048/stat : 24048 (java) S 24035 24035 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476274138 28904853504 10336 33554432000 4194304 4196468 140721626497520 140272657245344 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24049] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24049/stat : 24049 (java) S 24035 24035 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476274138 28904853504 10336 33554432000 4194304 4196468 140721626497520 140272656192240 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24050] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24050/stat : 24050 (java) S 24035 24035 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476274140 28904853504 10336 33554432000 4194304 4196468 140721626497520 140272655140816 140274194204571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24051] ppid=24035 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/24037/task/24051/stat : 24051 (java) S 24035 24035 16074 0 -1 1077944384 505 0 0 0 1 0 0 0 20 0 20 0 476274140 28904853504 10336 33554432000 4194304 4196468 140721626497520 140272654088944 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24052] ppid=24035 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/24037/task/24052/stat : 24052 (java) S 24035 24035 16074 0 -1 1077944384 208 0 0 0 2 0 0 0 20 0 20 0 476274140 28904853504 10336 33554432000 4194304 4196468 140721626497520 140272653036400 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24053] ppid=24035 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/24037/task/24053/stat : 24053 (java) S 24035 24035 16074 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 476274140 28904853504 10336 33554432000 4194304 4196468 140721626497520 140272651983344 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24054] ppid=24035 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/24037/task/24054/stat : 24054 (java) R 24035 24035 16074 0 -1 4202560 741 0 0 0 8 0 0 0 20 0 20 0 476274140 28904853504 10336 33554432000 4194304 4196468 140721626497520 140272650930800 140274186423102 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24055] ppid=24035 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24055/stat : 24055 (java) S 24035 24035 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476274141 28904853504 10336 33554432000 4194304 4196468 140721626497520 140272649877984 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24056] ppid=24035 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24037/task/24056/stat : 24056 (java) S 24035 24035 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476274141 28904853504 10336 33554432000 4194304 4196468 140721626497520 140272648825520 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42796 KiB [startup+0.310274 s]* /proc/loadavg: 8.10 8.42 8.37 3/212 24056 /proc/meminfo: memFree=14153532/32770624 swapFree=66972360/67108860 [pid=24035] ppid=24032 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24035/stat : 24035 (xcsp3-exec) S 24032 24035 16074 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476274134 115843072 363 33554432000 4194304 5098028 140721057319792 140721057317896 140311374910076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30216192 140721057321816 140721057322074 140721057322074 140721057324998 0 /proc/24035/statm: 28282 363 305 221 0 87 0 [pid=24037] ppid=24035 vsize=28231652 memory=49968 CPUtime=0.53 cores=0-7 /proc/24037/stat : 24037 (java) S 24035 24035 16074 0 -1 1077944320 10341 0 0 0 48 5 0 0 20 0 20 0 476274135 28909211648 12492 33554432000 4194304 4196468 140721626497520 140721626480064 140274194185975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 /proc/24037/statm: 7057913 12492 3362 1 0 7019032 0 [pid=24037/tid=24038] ppid=24035 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/24037/task/24038/stat : 24038 (java) R 24035 24035 16074 0 -1 4202560 7330 0 0 0 26 3 0 0 20 0 20 0 476274135 28909211648 12492 33554432000 4194304 4196468 140721626497520 140274198417088 140274178266462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24039] ppid=24035 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24039/stat : 24039 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28909211648 12492 33554432000 4194304 4196468 140721626497520 140274114038288 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24040] ppid=24035 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24040/stat : 24040 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28909211648 12492 33554432000 4194304 4196468 140721626497520 140274112985744 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24041] ppid=24035 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24041/stat : 24041 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28909211648 12492 33554432000 4194304 4196468 140721626497520 140274111932688 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24042] ppid=24035 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24042/stat : 24042 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28909211648 12492 33554432000 4194304 4196468 140721626497520 140274110880144 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24043] ppid=24035 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24043/stat : 24043 (java) S 24035 24035 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476274136 28909211648 12492 33554432000 4194304 4196468 140721626497520 140274109828112 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24044] ppid=24035 vsize=28231652 memory=140011303430831 CPUtime=0 cores=0-7 /proc/24037/task/24044/stat : 24044 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28909211648 12492 33554432000 4194304 4196468 140721626497520 140274108775568 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24045] ppid=24035 vsize=28231652 memory=140011303433136 CPUtime=0 cores=0-7 /proc/24037/task/24045/stat : 24045 (java) S 24035 24035 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476274136 28909211648 12492 33554432000 4194304 4196468 140721626497520 140274107722512 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24046] ppid=24035 vsize=28231652 memory=140011303435440 CPUtime=0 cores=0-7 /proc/24037/task/24046/stat : 24046 (java) S 24035 24035 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476274136 28909211648 12492 33554432000 4194304 4196468 140721626497520 140274106669968 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24047] ppid=24035 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24047/stat : 24047 (java) S 24035 24035 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476274137 28909211648 12492 33554432000 4194304 4196468 140721626497520 140272658299120 140274194197122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24048] ppid=24035 vsize=28231652 memory=280022606884752 CPUtime=0 cores=0-7 /proc/24037/task/24048/stat : 24048 (java) S 24035 24035 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476274138 28909211648 12492 33554432000 4194304 4196468 140721626497520 140272657245344 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24049] ppid=24035 vsize=28231652 memory=280022606882448 CPUtime=0 cores=0-7 /proc/24037/task/24049/stat : 24049 (java) S 24035 24035 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476274138 28909211648 12492 33554432000 4194304 4196468 140721626497520 140272656192240 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24050] ppid=24035 vsize=28231652 memory=280022606889360 CPUtime=0 cores=0-7 /proc/24037/task/24050/stat : 24050 (java) S 24035 24035 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476274140 28909211648 12492 33554432000 4194304 4196468 140721626497520 140272655140816 140274194204571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24051] ppid=24035 vsize=28231652 memory=280022606830640 CPUtime=0.02 cores=0-7 /proc/24037/task/24051/stat : 24051 (java) R 24035 24035 16074 0 -1 4202560 589 0 0 0 2 0 0 0 20 0 20 0 476274140 28909211648 12492 33554432000 4194304 4196468 140721626497520 140272654087344 140274179310665 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24052] ppid=24035 vsize=28231652 memory=280022606903184 CPUtime=0.03 cores=0-7 /proc/24037/task/24052/stat : 24052 (java) S 24035 24035 16074 0 -1 1077944384 224 0 0 0 3 0 0 0 20 0 20 0 476274140 28909211648 12492 33554432000 4194304 4196468 140721626497520 140272653036400 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24053] ppid=24035 vsize=28231652 memory=280022606910096 CPUtime=0.02 cores=0-7 /proc/24037/task/24053/stat : 24053 (java) S 24035 24035 16074 0 -1 1077944384 81 0 0 0 2 0 0 0 20 0 20 0 476274140 28909211648 12492 33554432000 4194304 4196468 140721626497520 140272651983344 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24054] ppid=24035 vsize=28231652 memory=280022606907792 CPUtime=0.13 cores=0-7 /proc/24037/task/24054/stat : 24054 (java) S 24035 24035 16074 0 -1 1077944384 810 0 0 0 13 0 0 0 20 0 20 0 476274140 28909211648 12492 33554432000 4194304 4196468 140721626497520 140272650930800 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24055] ppid=24035 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24055/stat : 24055 (java) S 24035 24035 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476274141 28909211648 12492 33554432000 4194304 4196468 140721626497520 140272649877984 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24056] ppid=24035 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/24037/task/24056/stat : 24056 (java) S 24035 24035 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476274141 28909211648 12492 33554432000 4194304 4196468 140721626497520 140272648825520 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51420 KiB [startup+0.700986 s] /proc/loadavg: 8.10 8.42 8.37 4/212 24056 /proc/meminfo: memFree=14137424/32770624 swapFree=66972360/67108860 [pid=24035] ppid=24032 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24035/stat : 24035 (xcsp3-exec) S 24032 24035 16074 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476274134 115843072 363 33554432000 4194304 5098028 140721057319792 140721057317896 140311374910076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30216192 140721057321816 140721057322074 140721057322074 140721057324998 0 /proc/24035/statm: 28282 363 305 221 0 87 0 [pid=24037] ppid=24035 vsize=28233776 memory=85312 CPUtime=1.61 cores=0-7 /proc/24037/stat : 24037 (java) S 24035 24035 16074 0 -1 1077944320 14570 0 0 0 154 7 0 0 20 0 20 0 476274135 28911386624 21328 33554432000 4194304 4196468 140721626497520 140721626480064 140274194185975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 /proc/24037/statm: 7058444 21328 3442 1 0 7019544 0 [pid=24037/tid=24038] ppid=24035 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/24037/task/24038/stat : 24038 (java) R 24035 24035 16074 0 -1 4202560 8795 0 0 0 63 5 0 0 20 0 20 0 476274135 28911386624 21328 33554432000 4194304 4196468 140721626497520 140274198421040 140274194197910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24039] ppid=24035 vsize=28233776 memory=140011303641968 CPUtime=0 cores=0-7 /proc/24037/task/24039/stat : 24039 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28911386624 21328 33554432000 4194304 4196468 140721626497520 140274114038288 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24040] ppid=24035 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24040/stat : 24040 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28911386624 21328 33554432000 4194304 4196468 140721626497520 140274112985744 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24041] ppid=24035 vsize=28233776 memory=1200 CPUtime=0 cores=0-7 /proc/24037/task/24041/stat : 24041 (java) S 24035 24035 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476274136 28911386624 21328 33554432000 4194304 4196468 140721626497520 140274111932688 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 ################ # More data... # ################ [pid=24037/tid=24054] ppid=24035 vsize=28768336 memory=1452 CPUtime=0.7 cores=0-7 /proc/24037/task/24054/stat : 24054 (java) S 24035 24035 16074 0 -1 1077944384 6248 0 0 0 69 1 0 0 20 0 28 0 476274140 29458776064 53284 33554432000 4194304 4196468 140721626497520 140272650930800 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24055] ppid=24035 vsize=28768336 memory=217752 CPUtime=0 cores=0-7 /proc/24037/task/24055/stat : 24055 (java) S 24035 24035 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476274141 29458776064 53284 33554432000 4194304 4196468 140721626497520 140272649877984 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24056] ppid=24035 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24056/stat : 24056 (java) S 24035 24035 16074 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 28 0 476274141 29458776064 53284 33554432000 4194304 4196468 140721626497520 140272648825520 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24065] ppid=24035 vsize=28768336 memory=0 CPUtime=13.41 cores=0-7 /proc/24037/task/24065/stat : 24065 (java) R 24035 24035 16074 0 -1 4202560 235 0 0 0 1341 0 0 0 20 0 28 0 476274221 29458776064 53284 33554432000 4194304 4196468 140721626497520 140272632240592 140273789903243 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24066] ppid=24035 vsize=28768336 memory=0 CPUtime=13.24 cores=0-7 /proc/24037/task/24066/stat : 24066 (java) R 24035 24035 16074 0 -1 4202560 264 0 0 0 1323 1 0 0 20 0 28 0 476274221 29458776064 53284 33554432000 4194304 4196468 140721626497520 140272635399968 140273789237969 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24067] ppid=24035 vsize=28768336 memory=157 CPUtime=13.29 cores=0-7 /proc/24037/task/24067/stat : 24067 (java) R 24035 24035 16074 0 -1 4202560 233 0 0 0 1328 1 0 0 20 0 28 0 476274221 29458776064 53284 33554432000 4194304 4196468 140721626497520 140272633295168 140273789902905 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24068] ppid=24035 vsize=28768336 memory=0 CPUtime=13.36 cores=0-7 /proc/24037/task/24068/stat : 24068 (java) R 24035 24035 16074 0 -1 4202560 660 0 0 0 1335 1 0 0 20 0 28 0 476274221 29458776064 53284 33554432000 4194304 4196468 140721626497520 140272639611328 140273789242217 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24069] ppid=24035 vsize=28768336 memory=2 CPUtime=13.49 cores=0-7 /proc/24037/task/24069/stat : 24069 (java) R 24035 24035 16074 0 -1 4202560 446 0 0 0 1348 1 0 0 20 0 28 0 476274221 29458776064 53284 33554432000 4194304 4196468 140721626497520 140272637505696 140273788870453 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24070] ppid=24035 vsize=28768336 memory=0 CPUtime=13.28 cores=0-7 /proc/24037/task/24070/stat : 24070 (java) R 24035 24035 16074 0 -1 4202560 624 0 0 0 1328 0 0 0 20 0 28 0 476274221 29458776064 53284 33554432000 4194304 4196468 140721626497520 140272636453152 140273790384656 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24071] ppid=24035 vsize=28768336 memory=0 CPUtime=13.01 cores=0-7 /proc/24037/task/24071/stat : 24071 (java) R 24035 24035 16074 0 -1 1077944384 289 0 0 0 1300 1 0 0 20 0 28 0 476274221 29458776064 53284 33554432000 4194304 4196468 140721626497520 140272638558016 140274194197122 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24072] ppid=24035 vsize=28768336 memory=0 CPUtime=13.65 cores=0-7 /proc/24037/task/24072/stat : 24072 (java) S 24035 24035 16074 0 -1 1077944384 502 0 0 0 1365 0 0 0 20 0 28 0 476274221 29458776064 53284 33554432000 4194304 4196468 140721626497520 140272634347552 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 Current children cumulated CPU time: 115.69 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 214588 KiB [startup+15.6044 s] /proc/loadavg: 8.79 8.56 8.42 9/220 24072 /proc/meminfo: memFree=13987160/32770624 swapFree=66972360/67108860 [pid=24035] ppid=24032 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24035/stat : 24035 (xcsp3-exec) S 24032 24035 16074 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476274134 115843072 363 33554432000 4194304 5098028 140721057319792 140721057317896 140311374910076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30216192 140721057321816 140721057322074 140721057322074 140721057324998 0 /proc/24035/statm: 28282 363 305 221 0 87 0 [pid=24037] ppid=24035 vsize=28768336 memory=204528 CPUtime=118.76 cores=0-7 /proc/24037/stat : 24037 (java) S 24035 24035 16074 0 -1 1077944320 65963 0 0 0 11840 36 0 0 20 0 28 0 476274135 29458776064 51132 33554432000 4194304 4196468 140721626497520 140721626480064 140274194185975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 /proc/24037/statm: 7192084 51132 3517 1 0 7153184 0 [pid=24037/tid=24038] ppid=24035 vsize=28768336 memory=6791534058613427641 CPUtime=0.81 cores=0-7 /proc/24037/task/24038/stat : 24038 (java) S 24035 24035 16074 0 -1 1077944384 8887 0 0 0 76 5 0 0 20 0 28 0 476274135 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274198426752 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24039] ppid=24035 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/24037/task/24039/stat : 24039 (java) S 24035 24035 16074 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274114038288 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24040] ppid=24035 vsize=28768336 memory=140011304168416 CPUtime=0.02 cores=0-7 /proc/24037/task/24040/stat : 24040 (java) S 24035 24035 16074 0 -1 1077944384 814 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274112985744 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24041] ppid=24035 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/24037/task/24041/stat : 24041 (java) S 24035 24035 16074 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274111932688 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24042] ppid=24035 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/24037/task/24042/stat : 24042 (java) S 24035 24035 16074 0 -1 1077944384 593 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274110880144 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24043] ppid=24035 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/24037/task/24043/stat : 24043 (java) S 24035 24035 16074 0 -1 1077944384 485 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274109828112 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24044] ppid=24035 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/24037/task/24044/stat : 24044 (java) S 24035 24035 16074 0 -1 1077944384 95 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274108775568 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24045] ppid=24035 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/24037/task/24045/stat : 24045 (java) S 24035 24035 16074 0 -1 1077944384 147 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274107722512 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24046] ppid=24035 vsize=28768336 memory=3612 CPUtime=0.02 cores=0-7 /proc/24037/task/24046/stat : 24046 (java) S 24035 24035 16074 0 -1 1077944384 200 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274106669968 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24047] ppid=24035 vsize=28768336 memory=43412 CPUtime=0.02 cores=0-7 /proc/24037/task/24047/stat : 24047 (java) S 24035 24035 16074 0 -1 1077944384 783 0 0 0 2 0 0 0 20 0 28 0 476274137 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272658299120 140274194197122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24048] ppid=24035 vsize=28768336 memory=992 CPUtime=0 cores=0-7 /proc/24037/task/24048/stat : 24048 (java) S 24035 24035 16074 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 476274138 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272657245408 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24049] ppid=24035 vsize=28768336 memory=2044 CPUtime=0 cores=0-7 /proc/24037/task/24049/stat : 24049 (java) S 24035 24035 16074 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 476274138 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272656192256 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24050] ppid=24035 vsize=28768336 memory=1432 CPUtime=0 cores=0-7 /proc/24037/task/24050/stat : 24050 (java) S 24035 24035 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476274140 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272655140816 140274194204571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24051] ppid=24035 vsize=28768336 memory=11624 CPUtime=2.37 cores=0-7 /proc/24037/task/24051/stat : 24051 (java) S 24035 24035 16074 0 -1 1077944384 16624 0 0 0 233 4 0 0 20 0 28 0 476274140 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272654088944 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24052] ppid=24035 vsize=28768336 memory=740 CPUtime=2.18 cores=0-7 /proc/24037/task/24052/stat : 24052 (java) S 24035 24035 16074 0 -1 1077944384 10680 0 0 0 216 2 0 0 20 0 28 0 476274140 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272653036400 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24053] ppid=24035 vsize=28768336 memory=1056 CPUtime=2.43 cores=0-7 /proc/24037/task/24053/stat : 24053 (java) S 24035 24035 16074 0 -1 1077944384 14629 0 0 0 239 4 0 0 20 0 28 0 476274140 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272651983344 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24054] ppid=24035 vsize=28768336 memory=1552 CPUtime=0.7 cores=0-7 /proc/24037/task/24054/stat : 24054 (java) S 24035 24035 16074 0 -1 1077944384 6250 0 0 0 69 1 0 0 20 0 28 0 476274140 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272650930800 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24055] ppid=24035 vsize=28768336 memory=1040 CPUtime=0 cores=0-7 /proc/24037/task/24055/stat : 24055 (java) S 24035 24035 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476274141 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272649877984 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24056] ppid=24035 vsize=28768336 memory=1556 CPUtime=0 cores=0-7 /proc/24037/task/24056/stat : 24056 (java) S 24035 24035 16074 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 28 0 476274141 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272648825520 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24065] ppid=24035 vsize=28768336 memory=924 CPUtime=13.74 cores=0-7 /proc/24037/task/24065/stat : 24065 (java) R 24035 24035 16074 0 -1 4202560 241 0 0 0 1374 0 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272632240576 140273791226292 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24066] ppid=24035 vsize=28768336 memory=1672 CPUtime=13.64 cores=0-7 /proc/24037/task/24066/stat : 24066 (java) R 24035 24035 16074 0 -1 4202560 265 0 0 0 1363 1 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272635399872 140721627576759 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24067] ppid=24035 vsize=28768336 memory=780 CPUtime=13.68 cores=0-7 /proc/24037/task/24067/stat : 24067 (java) R 24035 24035 16074 0 -1 4202560 235 0 0 0 1367 1 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272633295152 140273790114003 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24068] ppid=24035 vsize=28768336 memory=1436 CPUtime=13.7 cores=0-7 /proc/24037/task/24068/stat : 24068 (java) R 24035 24035 16074 0 -1 4202560 690 0 0 0 1369 1 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272639611328 140273791120371 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24069] ppid=24035 vsize=28768336 memory=1984 CPUtime=13.89 cores=0-7 /proc/24037/task/24069/stat : 24069 (java) R 24035 24035 16074 0 -1 4202560 448 0 0 0 1388 1 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272637505600 140273790250282 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24070] ppid=24035 vsize=28768336 memory=2424 CPUtime=13.66 cores=0-7 /proc/24037/task/24070/stat : 24070 (java) R 24035 24035 16074 0 -1 4202560 634 0 0 0 1366 0 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272636453056 140273788870453 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24071] ppid=24035 vsize=28768336 memory=1764 CPUtime=13.38 cores=0-7 /proc/24037/task/24071/stat : 24071 (java) R 24035 24035 16074 0 -1 4202560 296 0 0 0 1337 1 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272638558016 140273789903567 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24072] ppid=24035 vsize=28768336 memory=111636 CPUtime=14.05 cores=0-7 /proc/24037/task/24072/stat : 24072 (java) R 24035 24035 16074 0 -1 4202560 503 0 0 0 1405 0 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272634347552 140273791120626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 Current children cumulated CPU time: 118.76 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 205980 KiB [startup+15.7104 s] /proc/loadavg: 8.79 8.56 8.42 9/220 24072 /proc/meminfo: memFree=13987160/32770624 swapFree=66972360/67108860 [pid=24035] ppid=24032 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24035/stat : 24035 (xcsp3-exec) S 24032 24035 16074 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476274134 115843072 363 33554432000 4194304 5098028 140721057319792 140721057317896 140311374910076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30216192 140721057321816 140721057322074 140721057322074 140721057324998 0 /proc/24035/statm: 28282 363 305 221 0 87 0 [pid=24037] ppid=24035 vsize=28768336 memory=204528 CPUtime=119.6 cores=0-7 /proc/24037/stat : 24037 (java) S 24035 24035 16074 0 -1 1077944320 65963 0 0 0 11924 36 0 0 20 0 28 0 476274135 29458776064 51132 33554432000 4194304 4196468 140721626497520 140721626480064 140274194185975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 /proc/24037/statm: 7192084 51132 3517 1 0 7153184 0 [pid=24037/tid=24038] ppid=24035 vsize=28768336 memory=1452 CPUtime=0.81 cores=0-7 /proc/24037/task/24038/stat : 24038 (java) S 24035 24035 16074 0 -1 1077944384 8887 0 0 0 76 5 0 0 20 0 28 0 476274135 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274198426752 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24039] ppid=24035 vsize=28768336 memory=204528 CPUtime=0.02 cores=0-7 /proc/24037/task/24039/stat : 24039 (java) S 24035 24035 16074 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274114038288 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24040] ppid=24035 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/24037/task/24040/stat : 24040 (java) S 24035 24035 16074 0 -1 1077944384 814 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274112985744 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24041] ppid=24035 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/24037/task/24041/stat : 24041 (java) S 24035 24035 16074 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274111932688 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24042] ppid=24035 vsize=28768336 memory=81 CPUtime=0.02 cores=0-7 /proc/24037/task/24042/stat : 24042 (java) S 24035 24035 16074 0 -1 1077944384 593 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274110880144 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24043] ppid=24035 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/24037/task/24043/stat : 24043 (java) S 24035 24035 16074 0 -1 1077944384 485 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274109828112 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24044] ppid=24035 vsize=28768336 memory=1764 CPUtime=0.02 cores=0-7 /proc/24037/task/24044/stat : 24044 (java) S 24035 24035 16074 0 -1 1077944384 95 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274108775568 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24045] ppid=24035 vsize=28768336 memory=111636 CPUtime=0.02 cores=0-7 /proc/24037/task/24045/stat : 24045 (java) S 24035 24035 16074 0 -1 1077944384 147 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274107722512 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24046] ppid=24035 vsize=28768336 memory=140015710103167 CPUtime=0.02 cores=0-7 /proc/24037/task/24046/stat : 24046 (java) S 24035 24035 16074 0 -1 1077944384 200 0 0 0 2 0 0 0 20 0 28 0 476274136 29458776064 51132 33554432000 4194304 4196468 140721626497520 140274106669968 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24047] ppid=24035 vsize=28768336 memory=280022607959088 CPUtime=0.02 cores=0-7 /proc/24037/task/24047/stat : 24047 (java) S 24035 24035 16074 0 -1 1077944384 783 0 0 0 2 0 0 0 20 0 28 0 476274137 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272658299120 140274194197122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24048] ppid=24035 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/24037/task/24048/stat : 24048 (java) S 24035 24035 16074 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 476274138 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272657245408 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24049] ppid=24035 vsize=28768336 memory=222848 CPUtime=0 cores=0-7 /proc/24037/task/24049/stat : 24049 (java) S 24035 24035 16074 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 476274138 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272656192256 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24050] ppid=24035 vsize=28768336 memory=7020451524274542698 CPUtime=0 cores=0-7 /proc/24037/task/24050/stat : 24050 (java) S 24035 24035 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476274140 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272655140816 140274194204571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24051] ppid=24035 vsize=28768336 memory=3612 CPUtime=2.37 cores=0-7 /proc/24037/task/24051/stat : 24051 (java) S 24035 24035 16074 0 -1 1077944384 16624 0 0 0 233 4 0 0 20 0 28 0 476274140 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272654088944 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24052] ppid=24035 vsize=28768336 memory=43412 CPUtime=2.18 cores=0-7 /proc/24037/task/24052/stat : 24052 (java) S 24035 24035 16074 0 -1 1077944384 10680 0 0 0 216 2 0 0 20 0 28 0 476274140 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272653036400 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24053] ppid=24035 vsize=28768336 memory=992 CPUtime=2.43 cores=0-7 /proc/24037/task/24053/stat : 24053 (java) S 24035 24035 16074 0 -1 1077944384 14629 0 0 0 239 4 0 0 20 0 28 0 476274140 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272651983344 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24054] ppid=24035 vsize=28768336 memory=2044 CPUtime=0.7 cores=0-7 /proc/24037/task/24054/stat : 24054 (java) S 24035 24035 16074 0 -1 1077944384 6250 0 0 0 69 1 0 0 20 0 28 0 476274140 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272650930800 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24055] ppid=24035 vsize=28768336 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/24037/task/24055/stat : 24055 (java) S 24035 24035 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476274141 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272649877984 140274194196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24056] ppid=24035 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/24037/task/24056/stat : 24056 (java) S 24035 24035 16074 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 28 0 476274141 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272648825520 140274194197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24065] ppid=24035 vsize=28768336 memory=3612 CPUtime=13.85 cores=0-7 /proc/24037/task/24065/stat : 24065 (java) R 24035 24035 16074 0 -1 4202560 241 0 0 0 1385 0 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272632240592 140721627576534 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24066] ppid=24035 vsize=28768336 memory=43412 CPUtime=13.74 cores=0-7 /proc/24037/task/24066/stat : 24066 (java) R 24035 24035 16074 0 -1 4202560 265 0 0 0 1373 1 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272635399872 140273789903586 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24067] ppid=24035 vsize=28768336 memory=992 CPUtime=13.79 cores=0-7 /proc/24037/task/24067/stat : 24067 (java) R 24035 24035 16074 0 -1 4202560 235 0 0 0 1378 1 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272633295088 140273789239566 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24068] ppid=24035 vsize=28768336 memory=6791534058613427641 CPUtime=13.81 cores=0-7 /proc/24037/task/24068/stat : 24068 (java) R 24035 24035 16074 0 -1 4202560 690 0 0 0 1380 1 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272639611328 140273789345867 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24069] ppid=24035 vsize=28768336 memory=0 CPUtime=14 cores=0-7 /proc/24037/task/24069/stat : 24069 (java) R 24035 24035 16074 0 -1 4202560 448 0 0 0 1399 1 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272637505600 140273790113808 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24070] ppid=24035 vsize=28768336 memory=1452 CPUtime=13.77 cores=0-7 /proc/24037/task/24070/stat : 24070 (java) R 24035 24035 16074 0 -1 4202560 634 0 0 0 1377 0 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272636453056 140273789903137 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24071] ppid=24035 vsize=28768336 memory=228364 CPUtime=13.49 cores=0-7 /proc/24037/task/24071/stat : 24071 (java) R 24035 24035 16074 0 -1 4202560 296 0 0 0 1348 1 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272638558016 140273789903301 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 [pid=24037/tid=24072] ppid=24035 vsize=28768336 memory=6655300316396806240 CPUtime=14.15 cores=0-7 /proc/24037/task/24072/stat : 24072 (java) R 24035 24035 16074 0 -1 4202560 503 0 0 0 1415 0 0 0 20 0 28 0 476274221 29458776064 51132 33554432000 4194304 4196468 140721626497520 140272634347552 140273789237777 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39661568 140721626502108 140721626502283 140721626502283 140721626505167 0 Current children cumulated CPU time: 119.6 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 205980 KiB Child status: 0 Real time (s): 15.7969 CPU time (s): 120.205 CPU user time (s): 119.831 CPU system time (s): 0.373126 CPU usage (%): 760.938 Max. virtual memory (cumulated for all children) (KiB): 28886192 Max. memory (cumulated for all children) (KiB): 273288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 119.831 system time used= 0.373126 maximum resident set size= 271836 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67192 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15465 involuntary context switches= 1792 # summary of solver processes directly reported to runsolver: # pid: 24035 # total CPU time (s): 120.205 # total CPU user time (s): 119.831 # total CPU system time (s): 0.373126 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.167189 second user time and 0.211632 second system time The end
Begin job on node117 at 2019-09-20 20:14:40 IDJOB=4404902 IDBENCH=120561 IDSOLVER=2866 FILE ID=node117/4404902-1569003323 RUNJOBID= node117-1568994492-16101 PBS_JOBID= 21704726 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-myciel5.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404902-1569003323/watcher-4404902-1569003323 -o /var/tmp/evaluation-result-4404902-1569003323/solver-4404902-1569003323 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 806349144 HOME/instance-4404902-1569003323.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a954d880863fe6e02d270e9cafb0ae96 RANDOM SEED=806349144 node117.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 14190808 kB MemAvailable: 31833264 kB Buffers: 145208 kB Cached: 17403072 kB SwapCached: 27740 kB Active: 8697928 kB Inactive: 8882300 kB Active(anon): 4240 kB Inactive(anon): 68840 kB Active(file): 8693688 kB Inactive(file): 8813460 kB Unevictable: 108556 kB Mlocked: 108556 kB SwapTotal: 67108860 kB SwapFree: 66972360 kB Dirty: 25916 kB Writeback: 0 kB AnonPages: 121696 kB Mapped: 47764 kB Shmem: 32516 kB Slab: 592412 kB SReclaimable: 563768 kB SUnreclaim: 28644 kB KernelStack: 3728 kB PageTables: 5280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506892 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /var/tmp at the end= 13488 MiB End job on node117 at 2019-09-20 20:14:56