Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 7 | 57.3265 | 7.98712 |
Name | PeacableArmies/ PeacableArmies-m2-07_c18.xml |
MD5SUM | d533abf730bec48b9e0ac1943d19d6b7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 9.62179 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 51 |
Number of constraints | 479 |
Number of domains | 2 |
Minimum domain size | 3 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":3,"count":49},{"size":24,"count":2}] |
Minimum variable degree | 2 |
Maximum variable degree | 26 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":1},{"degree":20,"count":24},{"degree":22,"count":16},{"degree":24,"count":8},{"degree":26,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":2,"count":477},{"arity":50,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 477 |
Distribution of constraint types | [{"type":"intension","count":477},{"type":"count","count":2}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393908-1568448829.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.19 c [HOME/instance-4393908-1568448829.xml, -tl, 20160s, -p, 8] 0.34/0.23 c 8 solvers in parallel 0.34/0.29 c parse instance... 3.31/1.12 c solve instance... 3.31/1.17 o 4 3.31/1.18 o 5 3.84/1.22 o 6 5.38/1.41 o 7 56.72/7.97 s OPTIMUM FOUND 56.72/7.97 v <instantiation> 56.72/7.97 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] nb nw </list> 56.72/7.97 v <values>0 0 0 1 0 1 0 2 2 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 2 0 2 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 2 0 0 7 7 </values> 56.72/7.97 v </instantiation>
OK 7
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 (14942 MiB free) memory of node 1: 16384 MiB (15382 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393908-1568448829/watcher-4393908-1568448829 -o /tmp/evaluation-result-4393908-1568448829/solver-4393908-1568448829 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568445045-26280 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 929363423 HOME/instance-4393908-1568448829.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=26806, runsolver pid=26803 [startup+0.100113 s]* /proc/loadavg: 4.09 5.93 6.75 2/211 26827 /proc/meminfo: memFree=31038612/32770624 swapFree=66923244/67108860 [pid=26806] ppid=26803 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26806/stat : 26806 (xcsp3-exec) S 26803 26806 26253 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421138932 115843072 363 33554432000 4194304 5098028 140722061126992 140722061125096 139807548510844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27881472 140722061128566 140722061128809 140722061128809 140722061131722 0 /proc/26806/statm: 28282 363 305 221 0 87 0 [pid=26808] ppid=26806 vsize=28227388 memory=27648 CPUtime=0.13 cores=0-7 /proc/26808/stat : 26808 (java) S 26806 26806 26253 0 -1 1077944320 5802 0 0 0 11 2 0 0 20 0 20 0 421138933 28904845312 6912 33554432000 4194304 4196468 140728427181040 140728427163584 139629415042807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 /proc/26808/statm: 7056847 6912 3153 1 0 7019032 0 [pid=26808/tid=26809] ppid=26806 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/26808/task/26809/stat : 26809 (java) R 26806 26806 26253 0 -1 4202560 3657 0 0 0 7 1 0 0 20 0 20 0 421138933 28904845312 6912 33554432000 4194304 4196468 140728427181040 139629419276080 139629397502467 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26810] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26810/stat : 26810 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628966874256 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26811] ppid=26806 vsize=28227388 memory=3978002702769751712 CPUtime=0 cores=0-7 /proc/26808/task/26811/stat : 26811 (java) S 26806 26806 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628965821456 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26812] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26812/stat : 26812 (java) S 26806 26806 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628964768656 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26813] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26813/stat : 26813 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628963715856 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26814] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26814/stat : 26814 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628962663056 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26815] ppid=26806 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/26808/task/26815/stat : 26815 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628961610256 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26816] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26816/stat : 26816 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628960557456 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26817] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26817/stat : 26817 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628959504656 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26818] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26818/stat : 26818 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138935 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628848864112 139629415053954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26819] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26819/stat : 26819 (java) S 26806 26806 26253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421138936 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628847810080 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26820] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26820/stat : 26820 (java) S 26806 26806 26253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421138936 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628846757232 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26821] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26821/stat : 26821 (java) S 26806 26806 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421138938 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628845705552 139629415061403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26822] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26822/stat : 26822 (java) R 26806 26806 26253 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 421138938 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628844652912 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26823] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26823/stat : 26823 (java) S 26806 26806 26253 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421138938 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628843600112 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26824] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26824/stat : 26824 (java) S 26806 26806 26253 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 20 0 421138938 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628842547312 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26825] ppid=26806 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/26808/task/26825/stat : 26825 (java) R 26806 26806 26253 0 -1 4202560 401 0 0 0 1 0 0 0 20 0 20 0 421138938 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628841494512 139629415054742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26826] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26826/stat : 26826 (java) S 26806 26806 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421138939 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628840442976 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26827] ppid=26806 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/26808/task/26827/stat : 26827 (java) S 26806 26806 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421138939 28904845312 6912 33554432000 4194304 4196468 140728427181040 139628839390256 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 29100 KiB [startup+0.210347 s]* /proc/loadavg: 4.09 5.93 6.75 3/211 26827 /proc/meminfo: memFree=31023576/32770624 swapFree=66923244/67108860 [pid=26806] ppid=26803 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26806/stat : 26806 (xcsp3-exec) S 26803 26806 26253 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421138932 115843072 363 33554432000 4194304 5098028 140722061126992 140722061125096 139807548510844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27881472 140722061128566 140722061128809 140722061128809 140722061131722 0 /proc/26806/statm: 28282 363 305 221 0 87 0 [pid=26808] ppid=26806 vsize=28227388 memory=39816 CPUtime=0.34 cores=0-7 /proc/26808/stat : 26808 (java) S 26806 26806 26253 0 -1 1077944320 9714 0 0 0 30 4 0 0 20 0 20 0 421138933 28904845312 9954 33554432000 4194304 4196468 140728427181040 140728427163584 139629415042807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 /proc/26808/statm: 7056847 9954 3297 1 0 7019032 0 [pid=26808/tid=26809] ppid=26806 vsize=28227388 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/26808/task/26809/stat : 26809 (java) R 26806 26806 26253 0 -1 4202560 6691 0 0 0 17 2 0 0 20 0 20 0 421138933 28904845312 9954 33554432000 4194304 4196468 140728427181040 139629419273344 139629401282882 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26810] ppid=26806 vsize=28227388 memory=10923 CPUtime=0 cores=0-7 /proc/26808/task/26810/stat : 26810 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628966874256 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26811] ppid=26806 vsize=28227388 memory=139833604059683 CPUtime=0 cores=0-7 /proc/26808/task/26811/stat : 26811 (java) S 26806 26806 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628965821456 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26812] ppid=26806 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/26808/task/26812/stat : 26812 (java) S 26806 26806 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628964768656 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26813] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26813/stat : 26813 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628963715856 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26814] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26814/stat : 26814 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628962663056 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26815] ppid=26806 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/26808/task/26815/stat : 26815 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628961610256 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26816] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26816/stat : 26816 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628960557456 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26817] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26817/stat : 26817 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628959504656 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26818] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26818/stat : 26818 (java) S 26806 26806 26253 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421138935 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628848864112 139629415053954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26819] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26819/stat : 26819 (java) S 26806 26806 26253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421138936 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628847810080 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26820] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26820/stat : 26820 (java) S 26806 26806 26253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421138936 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628846757232 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26821] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26821/stat : 26821 (java) S 26806 26806 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421138938 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628845705552 139629415061403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26822] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26822/stat : 26822 (java) S 26806 26806 26253 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 421138938 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628844652912 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26823] ppid=26806 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/26808/task/26823/stat : 26823 (java) S 26806 26806 26253 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 20 0 421138938 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628843600112 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26824] ppid=26806 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/26808/task/26824/stat : 26824 (java) S 26806 26806 26253 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 20 0 421138938 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628842547312 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26825] ppid=26806 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/26808/task/26825/stat : 26825 (java) R 26806 26806 26253 0 -1 4202560 924 0 0 0 7 0 0 0 20 0 20 0 421138938 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628841488400 139629393533824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26826] ppid=26806 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26826/stat : 26826 (java) S 26806 26806 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421138939 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628840442976 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26827] ppid=26806 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/26808/task/26827/stat : 26827 (java) S 26806 26806 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421138939 28904845312 9954 33554432000 4194304 4196468 140728427181040 139628839390256 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41268 KiB [startup+0.310133 s]* /proc/loadavg: 4.09 5.93 6.75 3/211 26827 /proc/meminfo: memFree=31017872/32770624 swapFree=66923244/67108860 [pid=26806] ppid=26803 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26806/stat : 26806 (xcsp3-exec) S 26803 26806 26253 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421138932 115843072 363 33554432000 4194304 5098028 140722061126992 140722061125096 139807548510844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27881472 140722061128566 140722061128809 140722061128809 140722061131722 0 /proc/26806/statm: 28282 363 305 221 0 87 0 [pid=26808] ppid=26806 vsize=28231644 memory=48804 CPUtime=0.52 cores=0-7 /proc/26808/stat : 26808 (java) S 26806 26806 26253 0 -1 1077944320 11072 0 0 0 47 5 0 0 20 0 20 0 421138933 28909203456 12201 33554432000 4194304 4196468 140728427181040 140728427163584 139629415042807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 /proc/26808/statm: 7057911 12201 3359 1 0 7019032 0 [pid=26808/tid=26809] ppid=26806 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/26808/task/26809/stat : 26809 (java) R 26806 26806 26253 0 -1 4202560 7768 0 0 0 26 3 0 0 20 0 20 0 421138933 28909203456 12201 33554432000 4194304 4196468 140728427181040 139629419279424 139629407720821 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26810] ppid=26806 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26810/stat : 26810 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628966874256 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26811] ppid=26806 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26811/stat : 26811 (java) S 26806 26806 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421138934 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628965821456 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26812] ppid=26806 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26812/stat : 26812 (java) S 26806 26806 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421138934 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628964768656 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26813] ppid=26806 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26813/stat : 26813 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628963715856 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26814] ppid=26806 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26814/stat : 26814 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628962663056 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26815] ppid=26806 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26815/stat : 26815 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628961610256 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26816] ppid=26806 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26816/stat : 26816 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628960557456 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26817] ppid=26806 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26817/stat : 26817 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628959504656 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26818] ppid=26806 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26818/stat : 26818 (java) S 26806 26806 26253 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421138935 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628848864112 139629415053954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26819] ppid=26806 vsize=28231644 memory=279666929900928 CPUtime=0 cores=0-7 /proc/26808/task/26819/stat : 26819 (java) S 26806 26806 26253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421138936 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628847810080 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26820] ppid=26806 vsize=28231644 memory=279666929905536 CPUtime=0 cores=0-7 /proc/26808/task/26820/stat : 26820 (java) S 26806 26806 26253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421138936 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628846757232 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26821] ppid=26806 vsize=28231644 memory=279666929910144 CPUtime=0 cores=0-7 /proc/26808/task/26821/stat : 26821 (java) S 26806 26806 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421138938 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628845705552 139629415061403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26822] ppid=26806 vsize=28231644 memory=279666929914752 CPUtime=0.01 cores=0-7 /proc/26808/task/26822/stat : 26822 (java) R 26806 26806 26253 0 -1 4202560 94 0 0 0 1 0 0 0 20 0 20 0 421138938 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628844652912 139629415064154 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26823] ppid=26806 vsize=28231644 memory=279666929919360 CPUtime=0.03 cores=0-7 /proc/26808/task/26823/stat : 26823 (java) R 26806 26806 26253 0 -1 4202560 300 0 0 0 3 0 0 0 20 0 20 0 421138938 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628843600112 139629415064154 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26824] ppid=26806 vsize=28231644 memory=279666929923968 CPUtime=0.03 cores=0-7 /proc/26808/task/26824/stat : 26824 (java) S 26806 26806 26253 0 -1 1077944384 481 0 0 0 3 0 0 0 20 0 20 0 421138938 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628842547312 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26825] ppid=26806 vsize=28231644 memory=279666929928576 CPUtime=0.12 cores=0-7 /proc/26808/task/26825/stat : 26825 (java) R 26806 26806 26253 0 -1 1077944384 1115 0 0 0 12 0 0 0 20 0 20 0 421138938 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628841494512 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26826] ppid=26806 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26826/stat : 26826 (java) S 26806 26806 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421138939 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628840442976 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26827] ppid=26806 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/26808/task/26827/stat : 26827 (java) S 26806 26806 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421138939 28909203456 12201 33554432000 4194304 4196468 140728427181040 139628839390256 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 50256 KiB [startup+0.700974 s] /proc/loadavg: 4.09 5.93 6.75 4/211 26827 /proc/meminfo: memFree=31007028/32770624 swapFree=66923244/67108860 [pid=26806] ppid=26803 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26806/stat : 26806 (xcsp3-exec) S 26803 26806 26253 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421138932 115843072 363 33554432000 4194304 5098028 140722061126992 140722061125096 139807548510844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27881472 140722061128566 140722061128809 140722061128809 140722061131722 0 /proc/26806/statm: 28282 363 305 221 0 87 0 [pid=26808] ppid=26806 vsize=28233768 memory=86412 CPUtime=1.61 cores=0-7 /proc/26808/stat : 26808 (java) S 26806 26806 26253 0 -1 1077944320 15829 0 0 0 153 8 0 0 20 0 20 0 421138933 28911378432 21603 33554432000 4194304 4196468 140728427181040 140728427163584 139629415042807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 /proc/26808/statm: 7058442 21603 3452 1 0 7019544 0 [pid=26808/tid=26809] ppid=26806 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/26808/task/26809/stat : 26809 (java) R 26806 26806 26253 0 -1 4202560 9318 0 0 0 62 5 0 0 20 0 20 0 421138933 28911378432 21603 33554432000 4194304 4196468 140728427181040 139629419280576 139629052870704 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26810] ppid=26806 vsize=28233768 memory=139833465152384 CPUtime=0 cores=0-7 /proc/26808/task/26810/stat : 26810 (java) S 26806 26806 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421138934 28911378432 21603 33554432000 4194304 4196468 140728427181040 139628966874256 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26811] ppid=26806 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26811/stat : 26811 (java) S 26806 26806 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421138934 28911378432 21603 33554432000 4194304 4196468 140728427181040 139628965821456 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26812] ppid=26806 vsize=28233768 memory=9364 CPUtime=0 cores=0-7 /proc/26808/task/26812/stat : 26812 (java) S 26806 26806 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421138934 28911378432 21603 33554432000 4194304 4196468 140728427181040 139628964768656 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 ################ # More data... # ################ [pid=26808/tid=26825] ppid=26806 vsize=28834892 memory=0 CPUtime=1.1 cores=0-7 /proc/26808/task/26825/stat : 26825 (java) S 26806 26806 26253 0 -1 1077944384 6380 0 0 0 108 2 0 0 20 0 28 0 421138938 29526929408 155148 33554432000 4194304 4196468 140728427181040 139628841494512 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26826] ppid=26806 vsize=28834892 memory=279666930481760 CPUtime=0 cores=0-7 /proc/26808/task/26826/stat : 26826 (java) S 26806 26806 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421138939 29526929408 155148 33554432000 4194304 4196468 140728427181040 139628840442976 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26827] ppid=26806 vsize=28834892 memory=142008933288961 CPUtime=0 cores=0-7 /proc/26808/task/26827/stat : 26827 (java) S 26806 26806 26253 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 421138939 29526929408 155148 33554432000 4194304 4196468 140728427181040 139628839390256 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26860] ppid=26806 vsize=28834892 memory=6656426216303648864 CPUtime=5.38 cores=0-7 /proc/26808/task/26860/stat : 26860 (java) R 26806 26806 26253 0 -1 4202560 130 0 0 0 538 0 0 0 20 0 28 0 421139074 29526929408 155148 33554432000 4194304 4196468 140728427181040 139628827032624 139629062944007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26861] ppid=26806 vsize=28834892 memory=0 CPUtime=5.23 cores=0-7 /proc/26808/task/26861/stat : 26861 (java) R 26806 26806 26253 0 -1 4202560 47 0 0 0 523 0 0 0 20 0 28 0 421139074 29526929408 155148 33554432000 4194304 4196468 140728427181040 139627983385160 139629060845832 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26862] ppid=26806 vsize=28834892 memory=139833465369427 CPUtime=5.08 cores=0-7 /proc/26808/task/26862/stat : 26862 (java) R 26806 26806 26253 0 -1 4202560 501 0 0 0 505 3 0 0 20 0 28 0 421139074 29526929408 155148 33554432000 4194304 4196468 140728427181040 139627984435368 139629060208636 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26863] ppid=26806 vsize=28834892 memory=139833465367104 CPUtime=5.19 cores=0-7 /proc/26808/task/26863/stat : 26863 (java) R 26806 26806 26253 0 -1 4202560 206 0 0 0 517 2 0 0 20 0 28 0 421139074 29526929408 155148 33554432000 4194304 4196468 140728427181040 139628828086600 139629062945612 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26864] ppid=26806 vsize=28834892 memory=139833465369296 CPUtime=5.17 cores=0-7 /proc/26808/task/26864/stat : 26864 (java) R 26806 26806 26253 0 -1 4202560 112 0 0 0 516 1 0 0 20 0 28 0 421139074 29526929408 155148 33554432000 4194304 4196468 140728427181040 139627985489728 139629059740107 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26865] ppid=26806 vsize=28834892 memory=139833465369392 CPUtime=5.29 cores=0-7 /proc/26808/task/26865/stat : 26865 (java) R 26806 26806 26253 0 -1 4202560 137 0 0 0 529 0 0 0 20 0 28 0 421139074 29526929408 155148 33554432000 4194304 4196468 140728427181040 139627988648008 139629059739936 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26866] ppid=26806 vsize=28834892 memory=3691182987102791624 CPUtime=5.38 cores=0-7 /proc/26808/task/26866/stat : 26866 (java) R 26806 26806 26253 0 -1 4202560 54 0 0 0 538 0 0 0 20 0 28 0 421139074 29526929408 155148 33554432000 4194304 4196468 140728427181040 139627986543560 139629060845983 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26867] ppid=26806 vsize=28834892 memory=3618275504852702320 CPUtime=5.52 cores=0-7 /proc/26808/task/26867/stat : 26867 (java) R 26806 26806 26253 0 -1 4202560 150 0 0 0 550 2 0 0 20 0 28 0 421139075 29526929408 155148 33554432000 4194304 4196468 140728427181040 139628825977816 139629061910026 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 Current children cumulated CPU time: 54.37 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 622044 KiB [startup+7.80153 s] /proc/loadavg: 4.49 5.98 6.76 11/219 26867 /proc/meminfo: memFree=30444204/32770624 swapFree=66923244/67108860 [pid=26806] ppid=26803 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26806/stat : 26806 (xcsp3-exec) S 26803 26806 26253 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421138932 115843072 363 33554432000 4194304 5098028 140722061126992 140722061125096 139807548510844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27881472 140722061128566 140722061128809 140722061128809 140722061131722 0 /proc/26806/statm: 28282 363 305 221 0 87 0 [pid=26808] ppid=26806 vsize=28834892 memory=631076 CPUtime=55.93 cores=0-7 /proc/26808/stat : 26808 (java) S 26806 26806 26253 0 -1 1077944320 42342 0 0 0 5549 44 0 0 20 0 28 0 421138933 29526929408 157769 33554432000 4194304 4196468 140728427181040 140728427163584 139629415042807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 /proc/26808/statm: 7208723 157769 3527 1 0 7169825 0 [pid=26808/tid=26809] ppid=26806 vsize=28834892 memory=3905668023144949120 CPUtime=1.09 cores=0-7 /proc/26808/task/26809/stat : 26809 (java) S 26806 26806 26253 0 -1 1077944384 11321 0 0 0 102 7 0 0 20 0 28 0 421138933 29526929408 157769 33554432000 4194304 4196468 140728427181040 139629419283584 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26810] ppid=26806 vsize=28834892 memory=3905668023144949216 CPUtime=0.03 cores=0-7 /proc/26808/task/26810/stat : 26810 (java) S 26806 26806 26253 0 -1 1077944384 96 0 0 0 2 1 0 0 20 0 28 0 421138934 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628966874256 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26811] ppid=26806 vsize=28834892 memory=3618275504852702800 CPUtime=0.02 cores=0-7 /proc/26808/task/26811/stat : 26811 (java) S 26806 26806 26253 0 -1 1077944384 116 0 0 0 1 1 0 0 20 0 28 0 421138934 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628965821456 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26812] ppid=26806 vsize=28834892 memory=3906787356014880435 CPUtime=0.02 cores=0-7 /proc/26808/task/26812/stat : 26812 (java) S 26806 26806 26253 0 -1 1077944384 229 0 0 0 1 1 0 0 20 0 28 0 421138934 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628964768656 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26813] ppid=26806 vsize=28834892 memory=3906787356014880531 CPUtime=0.03 cores=0-7 /proc/26808/task/26813/stat : 26813 (java) S 26806 26806 26253 0 -1 1077944384 160 0 0 0 1 2 0 0 20 0 28 0 421138934 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628963715856 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26814] ppid=26806 vsize=28834892 memory=22152 CPUtime=0.03 cores=0-7 /proc/26808/task/26814/stat : 26814 (java) S 26806 26806 26253 0 -1 1077944384 112 0 0 0 2 1 0 0 20 0 28 0 421138934 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628962663056 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26815] ppid=26806 vsize=28834892 memory=988 CPUtime=0.02 cores=0-7 /proc/26808/task/26815/stat : 26815 (java) S 26806 26806 26253 0 -1 1077944384 97 0 0 0 1 1 0 0 20 0 28 0 421138934 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628961610256 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26816] ppid=26806 vsize=28834892 memory=2016 CPUtime=0.02 cores=0-7 /proc/26808/task/26816/stat : 26816 (java) S 26806 26806 26253 0 -1 1077944384 177 0 0 0 1 1 0 0 20 0 28 0 421138934 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628960557456 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26817] ppid=26806 vsize=28834892 memory=1284 CPUtime=0.02 cores=0-7 /proc/26808/task/26817/stat : 26817 (java) S 26806 26806 26253 0 -1 1077944384 451 0 0 0 1 1 0 0 20 0 28 0 421138934 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628959504656 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26818] ppid=26806 vsize=28834892 memory=1044 CPUtime=0.01 cores=0-7 /proc/26808/task/26818/stat : 26818 (java) S 26806 26806 26253 0 -1 1077944384 524 0 0 0 1 0 0 0 20 0 28 0 421138935 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628848864112 139629415053954 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26819] ppid=26806 vsize=28834892 memory=708 CPUtime=0 cores=0-7 /proc/26808/task/26819/stat : 26819 (java) S 26806 26806 26253 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 421138936 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628847810144 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26820] ppid=26806 vsize=28834892 memory=9364 CPUtime=0 cores=0-7 /proc/26808/task/26820/stat : 26820 (java) S 26806 26806 26253 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 421138936 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628846757248 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26821] ppid=26806 vsize=28834892 memory=1120 CPUtime=0 cores=0-7 /proc/26808/task/26821/stat : 26821 (java) S 26806 26806 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421138938 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628845705552 139629415061403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26822] ppid=26806 vsize=28834892 memory=776 CPUtime=2.64 cores=0-7 /proc/26808/task/26822/stat : 26822 (java) S 26806 26806 26253 0 -1 1077944384 4921 0 0 0 261 3 0 0 20 0 28 0 421138938 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628844652912 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26823] ppid=26806 vsize=28834892 memory=1552 CPUtime=2.68 cores=0-7 /proc/26808/task/26823/stat : 26823 (java) S 26806 26806 26253 0 -1 1077944384 7321 0 0 0 266 2 0 0 20 0 28 0 421138938 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628843600112 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26824] ppid=26806 vsize=28834892 memory=8060 CPUtime=3.12 cores=0-7 /proc/26808/task/26824/stat : 26824 (java) S 26806 26806 26253 0 -1 1077944384 6737 0 0 0 311 1 0 0 20 0 28 0 421138938 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628842547312 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26825] ppid=26806 vsize=28834892 memory=3444 CPUtime=1.1 cores=0-7 /proc/26808/task/26825/stat : 26825 (java) S 26806 26806 26253 0 -1 1077944384 6380 0 0 0 108 2 0 0 20 0 28 0 421138938 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628841494512 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26826] ppid=26806 vsize=28834892 memory=1556 CPUtime=0 cores=0-7 /proc/26808/task/26826/stat : 26826 (java) S 26806 26806 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421138939 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628840442976 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26827] ppid=26806 vsize=28834892 memory=2832 CPUtime=0 cores=0-7 /proc/26808/task/26827/stat : 26827 (java) S 26806 26806 26253 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 421138939 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628839390256 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26860] ppid=26806 vsize=28834892 memory=470 CPUtime=5.57 cores=0-7 /proc/26808/task/26860/stat : 26860 (java) R 26806 26806 26253 0 -1 4202560 130 0 0 0 557 0 0 0 20 0 28 0 421139074 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628827033112 139629060843118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26861] ppid=26806 vsize=28834892 memory=455 CPUtime=5.41 cores=0-7 /proc/26808/task/26861/stat : 26861 (java) R 26806 26806 26253 0 -1 4202560 49 0 0 0 541 0 0 0 20 0 28 0 421139074 29526929408 157769 33554432000 4194304 4196468 140728427181040 139627983384656 139629060845064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26862] ppid=26806 vsize=28834892 memory=438 CPUtime=5.26 cores=0-7 /proc/26808/task/26862/stat : 26862 (java) R 26806 26806 26253 0 -1 4202560 502 0 0 0 523 3 0 0 20 0 28 0 421139074 29526929408 157769 33554432000 4194304 4196468 140728427181040 139627984433056 139629400252676 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26863] ppid=26806 vsize=28834892 memory=449 CPUtime=5.38 cores=0-7 /proc/26808/task/26863/stat : 26863 (java) R 26806 26806 26253 0 -1 4202560 207 0 0 0 536 2 0 0 20 0 28 0 421139074 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628828082824 139629060847970 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26864] ppid=26806 vsize=28834892 memory=4898 CPUtime=5.35 cores=0-7 /proc/26808/task/26864/stat : 26864 (java) R 26806 26806 26253 0 -1 4202560 112 0 0 0 534 1 0 0 20 0 28 0 421139074 29526929408 157769 33554432000 4194304 4196468 140728427181040 139627985489552 139629059740751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26865] ppid=26806 vsize=28834892 memory=2035 CPUtime=5.48 cores=0-7 /proc/26808/task/26865/stat : 26865 (java) R 26806 26806 26253 0 -1 4202560 155 0 0 0 548 0 0 0 20 0 28 0 421139074 29526929408 157769 33554432000 4194304 4196468 140728427181040 139627988647440 139629061946368 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26866] ppid=26806 vsize=28834892 memory=0 CPUtime=5.57 cores=0-7 /proc/26808/task/26866/stat : 26866 (java) R 26806 26806 26253 0 -1 4202560 55 0 0 0 557 0 0 0 20 0 28 0 421139074 29526929408 157769 33554432000 4194304 4196468 140728427181040 139627986542992 139629060050164 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26867] ppid=26806 vsize=28834892 memory=115 CPUtime=5.68 cores=0-7 /proc/26808/task/26867/stat : 26867 (java) R 26806 26806 26253 0 -1 4202560 151 0 0 0 566 2 0 0 20 0 28 0 421139075 29526929408 157769 33554432000 4194304 4196468 140728427181040 139628825981768 139629062116716 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 Current children cumulated CPU time: 55.93 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 632528 KiB [startup+7.90113 s] /proc/loadavg: 4.49 5.98 6.76 11/219 26867 /proc/meminfo: memFree=30444204/32770624 swapFree=66923244/67108860 [pid=26806] ppid=26803 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26806/stat : 26806 (xcsp3-exec) S 26803 26806 26253 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421138932 115843072 363 33554432000 4194304 5098028 140722061126992 140722061125096 139807548510844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27881472 140722061128566 140722061128809 140722061128809 140722061131722 0 /proc/26806/statm: 28282 363 305 221 0 87 0 [pid=26808] ppid=26806 vsize=28834892 memory=631152 CPUtime=56.72 cores=0-7 /proc/26808/stat : 26808 (java) S 26806 26806 26253 0 -1 1077944320 43123 0 0 0 5628 44 0 0 20 0 28 0 421138933 29526929408 157788 33554432000 4194304 4196468 140728427181040 140728427163584 139629415042807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 /proc/26808/statm: 7208723 157788 3527 1 0 7169825 0 [pid=26808/tid=26809] ppid=26806 vsize=28834892 memory=6408091206851 CPUtime=1.09 cores=0-7 /proc/26808/task/26809/stat : 26809 (java) S 26806 26806 26253 0 -1 1077944384 11321 0 0 0 102 7 0 0 20 0 28 0 421138933 29526929408 157788 33554432000 4194304 4196468 140728427181040 139629419283584 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26810] ppid=26806 vsize=28834892 memory=111632 CPUtime=0.03 cores=0-7 /proc/26808/task/26810/stat : 26810 (java) S 26806 26806 26253 0 -1 1077944384 96 0 0 0 2 1 0 0 20 0 28 0 421138934 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628966874256 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26811] ppid=26806 vsize=28834892 memory=804 CPUtime=0.02 cores=0-7 /proc/26808/task/26811/stat : 26811 (java) S 26806 26806 26253 0 -1 1077944384 116 0 0 0 1 1 0 0 20 0 28 0 421138934 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628965821456 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26812] ppid=26806 vsize=28834892 memory=109 CPUtime=0.02 cores=0-7 /proc/26808/task/26812/stat : 26812 (java) S 26806 26806 26253 0 -1 1077944384 229 0 0 0 1 1 0 0 20 0 28 0 421138934 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628964768656 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26813] ppid=26806 vsize=28834892 memory=2 CPUtime=0.03 cores=0-7 /proc/26808/task/26813/stat : 26813 (java) S 26806 26806 26253 0 -1 1077944384 160 0 0 0 1 2 0 0 20 0 28 0 421138934 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628963715856 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26814] ppid=26806 vsize=28834892 memory=6791534058613427641 CPUtime=0.03 cores=0-7 /proc/26808/task/26814/stat : 26814 (java) S 26806 26806 26253 0 -1 1077944384 112 0 0 0 2 1 0 0 20 0 28 0 421138934 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628962663056 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26815] ppid=26806 vsize=28834892 memory=10814 CPUtime=0.02 cores=0-7 /proc/26808/task/26815/stat : 26815 (java) S 26806 26806 26253 0 -1 1077944384 97 0 0 0 1 1 0 0 20 0 28 0 421138934 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628961610256 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26816] ppid=26806 vsize=28834892 memory=24479 CPUtime=0.02 cores=0-7 /proc/26808/task/26816/stat : 26816 (java) S 26806 26806 26253 0 -1 1077944384 177 0 0 0 1 1 0 0 20 0 28 0 421138934 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628960557456 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26817] ppid=26806 vsize=28834892 memory=0 CPUtime=0.02 cores=0-7 /proc/26808/task/26817/stat : 26817 (java) S 26806 26806 26253 0 -1 1077944384 451 0 0 0 1 1 0 0 20 0 28 0 421138934 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628959504656 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26818] ppid=26806 vsize=28834892 memory=2241 CPUtime=0.01 cores=0-7 /proc/26808/task/26818/stat : 26818 (java) S 26806 26806 26253 0 -1 1077944384 524 0 0 0 1 0 0 0 20 0 28 0 421138935 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628848864112 139629415053954 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26819] ppid=26806 vsize=28834892 memory=1452 CPUtime=0 cores=0-7 /proc/26808/task/26819/stat : 26819 (java) S 26806 26806 26253 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 421138936 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628847810144 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26820] ppid=26806 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26820/stat : 26820 (java) S 26806 26806 26253 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 421138936 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628846757248 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26821] ppid=26806 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26821/stat : 26821 (java) S 26806 26806 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421138938 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628845705552 139629415061403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26822] ppid=26806 vsize=28834892 memory=0 CPUtime=2.64 cores=0-7 /proc/26808/task/26822/stat : 26822 (java) S 26806 26806 26253 0 -1 1077944384 4921 0 0 0 261 3 0 0 20 0 28 0 421138938 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628844652912 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26823] ppid=26806 vsize=28834892 memory=33 CPUtime=2.68 cores=0-7 /proc/26808/task/26823/stat : 26823 (java) S 26806 26806 26253 0 -1 1077944384 7331 0 0 0 266 2 0 0 20 0 28 0 421138938 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628843600112 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26824] ppid=26806 vsize=28834892 memory=7309452616169379431 CPUtime=3.12 cores=0-7 /proc/26808/task/26824/stat : 26824 (java) S 26806 26806 26253 0 -1 1077944384 6737 0 0 0 311 1 0 0 20 0 28 0 421138938 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628842547312 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26825] ppid=26806 vsize=28834892 memory=0 CPUtime=1.1 cores=0-7 /proc/26808/task/26825/stat : 26825 (java) S 26806 26806 26253 0 -1 1077944384 6380 0 0 0 108 2 0 0 20 0 28 0 421138938 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628841494512 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26826] ppid=26806 vsize=28834892 memory=279666929697008 CPUtime=0 cores=0-7 /proc/26808/task/26826/stat : 26826 (java) S 26806 26806 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421138939 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628840442976 139629415053013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26827] ppid=26806 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/26808/task/26827/stat : 26827 (java) S 26806 26806 26253 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 421138939 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628839390256 139629415053954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26860] ppid=26806 vsize=28834892 memory=4639341348286120032 CPUtime=5.67 cores=0-7 /proc/26808/task/26860/stat : 26860 (java) R 26806 26806 26253 0 -1 4202560 311 0 0 0 567 0 0 0 20 0 28 0 421139074 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628827032624 139629060846392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26861] ppid=26806 vsize=28834892 memory=33 CPUtime=5.51 cores=0-7 /proc/26808/task/26861/stat : 26861 (java) R 26806 26806 26253 0 -1 4202560 60 0 0 0 551 0 0 0 20 0 28 0 421139074 29526929408 157788 33554432000 4194304 4196468 140728427181040 139627983384672 139629061127794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26862] ppid=26806 vsize=28834892 memory=279666930948912 CPUtime=5.36 cores=0-7 /proc/26808/task/26862/stat : 26862 (java) R 26806 26806 26253 0 -1 4202560 771 0 0 0 533 3 0 0 20 0 28 0 421139074 29526929408 157788 33554432000 4194304 4196468 140728427181040 139627984433056 139629060285635 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26863] ppid=26806 vsize=28834892 memory=5933310675641474951 CPUtime=5.48 cores=0-7 /proc/26808/task/26863/stat : 26863 (java) R 26806 26806 26253 0 -1 4202560 303 0 0 0 546 2 0 0 20 0 28 0 421139074 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628828086032 139629060842827 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26864] ppid=26806 vsize=28834892 memory=-6739178820818791275 CPUtime=5.45 cores=0-7 /proc/26808/task/26864/stat : 26864 (java) R 26806 26806 26253 0 -1 4202560 214 0 0 0 544 1 0 0 20 0 28 0 421139074 29526929408 157788 33554432000 4194304 4196468 140728427181040 139627985489728 139629059740676 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26865] ppid=26806 vsize=28834892 memory=631076 CPUtime=5.58 cores=0-7 /proc/26808/task/26865/stat : 26865 (java) R 26806 26806 26253 0 -1 4202560 189 0 0 0 558 0 0 0 20 0 28 0 421139074 29526929408 157788 33554432000 4194304 4196468 140728427181040 139627988647616 139629061414990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26866] ppid=26806 vsize=28834892 memory=1452 CPUtime=5.67 cores=0-7 /proc/26808/task/26866/stat : 26866 (java) R 26806 26806 26253 0 -1 4202560 87 0 0 0 567 0 0 0 20 0 28 0 421139074 29526929408 157788 33554432000 4194304 4196468 140728427181040 139627986543072 139629060847944 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 [pid=26808/tid=26867] ppid=26806 vsize=28834892 memory=387700 CPUtime=5.78 cores=0-7 /proc/26808/task/26867/stat : 26867 (java) R 26806 26806 26253 0 -1 4202560 197 0 0 0 576 2 0 0 20 0 28 0 421139075 29526929408 157788 33554432000 4194304 4196468 140728427181040 139628825981200 139629060845900 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30949376 140728427189226 140728427189398 140728427189398 140728427192271 0 Current children cumulated CPU time: 56.72 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 632604 KiB Child status: 0 Real time (s): 7.98712 CPU time (s): 57.3265 CPU user time (s): 56.8718 CPU system time (s): 0.454775 CPU usage (%): 717.737 Max. virtual memory (cumulated for all children) (KiB): 28948020 Max. memory (cumulated for all children) (KiB): 632604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 56.8718 system time used= 0.454775 maximum resident set size= 631256 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45286 page faults= 0 swaps= 0 block input operations= 0 block output operations= 160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5276 involuntary context switches= 1703 # summary of solver processes directly reported to runsolver: # pid: 26806 # total CPU time (s): 57.3265 # total CPU user time (s): 56.8718 # total CPU system time (s): 0.454775 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.099351 second user time and 0.116084 second system time The end
Begin job on node107 at 2019-09-14 09:11:53 IDJOB=4393908 IDBENCH=141494 IDSOLVER=2841 FILE ID=node107/4393908-1568448829 RUNJOBID= node107-1568445045-26280 PBS_JOBID= 21702360 Free space on /tmp= 59040 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m2-07_c18.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-4393908-1568448829/watcher-4393908-1568448829 -o /tmp/evaluation-result-4393908-1568448829/solver-4393908-1568448829 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568445045-26280 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 929363423 HOME/instance-4393908-1568448829.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d533abf730bec48b9e0ac1943d19d6b7 RANDOM SEED=929363423 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 31052452 kB MemAvailable: 31828812 kB Buffers: 182436 kB Cached: 866084 kB SwapCached: 78904 kB Active: 574272 kB Inactive: 554940 kB Active(anon): 11032 kB Inactive(anon): 101264 kB Active(file): 563240 kB Inactive(file): 453676 kB Unevictable: 109964 kB Mlocked: 109964 kB SwapTotal: 67108860 kB SwapFree: 66923244 kB Dirty: 25872 kB Writeback: 0 kB AnonPages: 217200 kB Mapped: 35700 kB Shmem: 22952 kB Slab: 179644 kB SReclaimable: 150556 kB SUnreclaim: 29088 kB KernelStack: 3872 kB PageTables: 4776 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489008 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 172032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 59012 MiB End job on node107 at 2019-09-14 09:12:01