Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 55 | 33.3915 | 5.07789 |
Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml |
MD5SUM | 1a91370fd3edda64a19224a97cd9d854 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 55 |
Best CPU time to get the best result obtained on this benchmark | 16.0207 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 48 |
Number of domains | 2 |
Minimum domain size | 500 |
Maximum domain size | 501 |
Distribution of domain sizes | [{"size":500,"count":45},{"size":501,"count":10}] |
Minimum variable degree | 0 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":10,"count":8},{"degree":11,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 45 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":45},{"arity":10,"count":1},{"arity":45,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 46 |
Distribution of constraint types | [{"type":"intension","count":46},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394492-1568426293.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394492-1568426293.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.28/0.68 c solve instance... 2.24/0.86 o 80 2.97/0.90 o 75 2.97/0.93 o 74 2.97/0.93 o 73 2.97/0.98 o 72 3.71/1.02 o 70 3.71/1.04 o 68 4.47/1.12 o 66 4.47/1.14 o 62 5.14/1.22 o 61 6.76/1.42 o 60 12.36/2.17 o 55 32.83/4.77 s OPTIMUM FOUND 32.83/4.77 v <instantiation> 32.83/4.77 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][6] y[5][7] y[5][8] y[5][9] y[6][7] y[6][8] y[6][9] y[7][8] y[7][9] y[8][9] </list> 32.83/4.77 v <values>0 1 6 10 23 26 34 41 53 55 1 6 10 23 26 34 41 53 55 5 9 22 25 33 40 52 54 4 17 20 28 35 47 49 13 16 24 31 43 45 3 11 18 30 32 8 15 27 29 7 19 21 12 14 2 </values> 32.83/4.77 v </instantiation>
OK 55
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 (10664 MiB free) memory of node 1: 16384 MiB (13062 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394492-1568426293/watcher-4394492-1568426293 -o /tmp/evaluation-result-4394492-1568426293/solver-4394492-1568426293 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568425676-7549 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 967216688 HOME/instance-4394492-1568426293.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=7867, runsolver pid=7864 [startup+0.100144 s]* /proc/loadavg: 7.34 7.25 7.56 2/211 7888 /proc/meminfo: memFree=24279740/32770624 swapFree=67108848/67108860 [pid=7867] ppid=7864 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/7867/stat : 7867 (xcsp3-exec) S 7864 7867 7522 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418566687 115843072 364 33554432000 4194304 5098028 140727386126032 140727386124136 140636197773948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31793152 140727386133366 140727386133609 140727386133609 140727386136522 0 /proc/7867/statm: 28282 364 305 221 0 87 0 [pid=7869] ppid=7867 vsize=28227388 memory=30328 CPUtime=0.12 cores=0-7 /proc/7869/stat : 7869 (java) S 7867 7867 7522 0 -1 1077944320 5480 0 0 0 11 1 0 0 20 0 20 0 418566687 28904845312 7582 33554432000 4194304 4196468 140726377681088 140726377663632 139959925571319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 /proc/7869/statm: 7056847 7582 3149 1 0 7019032 0 [pid=7869/tid=7870] ppid=7867 vsize=28227388 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/7869/task/7870/stat : 7870 (java) R 7867 7867 7522 0 -1 4202560 3400 0 0 0 8 0 0 0 20 0 20 0 418566687 28904845312 7582 33554432000 4194304 4196468 140726377681088 139959929807424 139959925583254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7871] ppid=7867 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/7869/task/7871/stat : 7871 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 7582 33554432000 4194304 4196468 140726377681088 139959845423632 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7872] ppid=7867 vsize=28227388 memory=139713396270720 CPUtime=0 cores=0-7 /proc/7869/task/7872/stat : 7872 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 7582 33554432000 4194304 4196468 140726377681088 139959844371088 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7873] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7873/stat : 7873 (java) S 7867 7867 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 7582 33554432000 4194304 4196468 140726377681088 139959843318032 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7874] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7874/stat : 7874 (java) S 7867 7867 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 7582 33554432000 4194304 4196468 140726377681088 139959842265488 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7875] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7875/stat : 7875 (java) S 7867 7867 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 7582 33554432000 4194304 4196468 140726377681088 139959841213456 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7876] ppid=7867 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/7869/task/7876/stat : 7876 (java) S 7867 7867 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 7582 33554432000 4194304 4196468 140726377681088 139959840160912 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7877] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7877/stat : 7877 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 7582 33554432000 4194304 4196468 140726377681088 139959839107856 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7878] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7878/stat : 7878 (java) S 7867 7867 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 7582 33554432000 4194304 4196468 140726377681088 139959838055312 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7879] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7879/stat : 7879 (java) S 7867 7867 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418566689 28904845312 7582 33554432000 4194304 4196468 140726377681088 139958255376624 139959925582466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7880] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7880/stat : 7880 (java) S 7867 7867 7522 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418566690 28904845312 7582 33554432000 4194304 4196468 140726377681088 139958254322848 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7881] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7881/stat : 7881 (java) S 7867 7867 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418566690 28904845312 7582 33554432000 4194304 4196468 140726377681088 139958253269744 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7882] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7882/stat : 7882 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566692 28904845312 7582 33554432000 4194304 4196468 140726377681088 139958252218320 139959925589915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7883] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7883/stat : 7883 (java) S 7867 7867 7522 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 20 0 418566692 28904845312 7582 33554432000 4194304 4196468 140726377681088 139958251166448 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7884] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7884/stat : 7884 (java) S 7867 7867 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418566692 28904845312 7582 33554432000 4194304 4196468 140726377681088 139958250113904 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7885] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7885/stat : 7885 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566692 28904845312 7582 33554432000 4194304 4196468 140726377681088 139958249060848 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7886] ppid=7867 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/7869/task/7886/stat : 7886 (java) R 7867 7867 7522 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 20 0 418566692 28904845312 7582 33554432000 4194304 4196468 140726377681088 139958248008304 139959903749123 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7887] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7887/stat : 7887 (java) S 7867 7867 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418566693 28904845312 7582 33554432000 4194304 4196468 140726377681088 139958246955488 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7888] ppid=7867 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/7869/task/7888/stat : 7888 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566693 28904845312 7582 33554432000 4194304 4196468 140726377681088 139958245903024 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31784 KiB [startup+0.210126 s]* /proc/loadavg: 6.75 7.13 7.52 3/211 7888 /proc/meminfo: memFree=24267936/32770624 swapFree=67108848/67108860 [pid=7867] ppid=7864 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/7867/stat : 7867 (xcsp3-exec) S 7864 7867 7522 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418566687 115843072 364 33554432000 4194304 5098028 140727386126032 140727386124136 140636197773948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31793152 140727386133366 140727386133609 140727386133609 140727386136522 0 /proc/7867/statm: 28282 364 305 221 0 87 0 [pid=7869] ppid=7867 vsize=28227388 memory=41272 CPUtime=0.34 cores=0-7 /proc/7869/stat : 7869 (java) S 7867 7867 7522 0 -1 1077944320 9024 0 0 0 31 3 0 0 20 0 20 0 418566687 28904845312 10318 33554432000 4194304 4196468 140726377681088 140726377663632 139959925571319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 /proc/7869/statm: 7056847 10318 3271 1 0 7019032 0 [pid=7869/tid=7870] ppid=7867 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/7869/task/7870/stat : 7870 (java) R 7867 7867 7522 0 -1 4202560 6214 0 0 0 18 2 0 0 20 0 20 0 418566687 28904845312 10318 33554432000 4194304 4196468 140726377681088 139959929804048 139959906977540 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7871] ppid=7867 vsize=28227388 memory=342 CPUtime=0 cores=0-7 /proc/7869/task/7871/stat : 7871 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 10318 33554432000 4194304 4196468 140726377681088 139959845423632 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7872] ppid=7867 vsize=28227388 memory=139713396280623 CPUtime=0 cores=0-7 /proc/7869/task/7872/stat : 7872 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 10318 33554432000 4194304 4196468 140726377681088 139959844371088 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7873] ppid=7867 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/7869/task/7873/stat : 7873 (java) S 7867 7867 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 10318 33554432000 4194304 4196468 140726377681088 139959843318032 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7874] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7874/stat : 7874 (java) S 7867 7867 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 10318 33554432000 4194304 4196468 140726377681088 139959842265488 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7875] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7875/stat : 7875 (java) S 7867 7867 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 10318 33554432000 4194304 4196468 140726377681088 139959841213456 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7876] ppid=7867 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/7869/task/7876/stat : 7876 (java) S 7867 7867 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 10318 33554432000 4194304 4196468 140726377681088 139959840160912 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7877] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7877/stat : 7877 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 10318 33554432000 4194304 4196468 140726377681088 139959839107856 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7878] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7878/stat : 7878 (java) S 7867 7867 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418566688 28904845312 10318 33554432000 4194304 4196468 140726377681088 139959838055312 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7879] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7879/stat : 7879 (java) S 7867 7867 7522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418566689 28904845312 10318 33554432000 4194304 4196468 140726377681088 139958255376624 139959925582466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7880] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7880/stat : 7880 (java) S 7867 7867 7522 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418566690 28904845312 10318 33554432000 4194304 4196468 140726377681088 139958254322848 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7881] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7881/stat : 7881 (java) S 7867 7867 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418566690 28904845312 10318 33554432000 4194304 4196468 140726377681088 139958253269744 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7882] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7882/stat : 7882 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566692 28904845312 10318 33554432000 4194304 4196468 140726377681088 139958252218320 139959925589915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7883] ppid=7867 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/7869/task/7883/stat : 7883 (java) S 7867 7867 7522 0 -1 1077944384 600 0 0 0 1 0 0 0 20 0 20 0 418566692 28904845312 10318 33554432000 4194304 4196468 140726377681088 139958251166448 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7884] ppid=7867 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/7869/task/7884/stat : 7884 (java) S 7867 7867 7522 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 20 0 418566692 28904845312 10318 33554432000 4194304 4196468 140726377681088 139958250113904 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7885] ppid=7867 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/7869/task/7885/stat : 7885 (java) S 7867 7867 7522 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 418566692 28904845312 10318 33554432000 4194304 4196468 140726377681088 139958249060848 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7886] ppid=7867 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/7869/task/7886/stat : 7886 (java) R 7867 7867 7522 0 -1 4202560 743 0 0 0 8 0 0 0 20 0 20 0 418566692 28904845312 10318 33554432000 4194304 4196468 140726377681088 139958248008304 139959904987004 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7887] ppid=7867 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7887/stat : 7887 (java) S 7867 7867 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418566693 28904845312 10318 33554432000 4194304 4196468 140726377681088 139958246955488 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7888] ppid=7867 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/7869/task/7888/stat : 7888 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566693 28904845312 10318 33554432000 4194304 4196468 140726377681088 139958245903024 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42728 KiB [startup+0.309491 s]* /proc/loadavg: 6.75 7.13 7.52 5/211 7888 /proc/meminfo: memFree=24261024/32770624 swapFree=67108848/67108860 [pid=7867] ppid=7864 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/7867/stat : 7867 (xcsp3-exec) S 7864 7867 7522 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418566687 115843072 364 33554432000 4194304 5098028 140727386126032 140727386124136 140636197773948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31793152 140727386133366 140727386133609 140727386133609 140727386136522 0 /proc/7867/statm: 28282 364 305 221 0 87 0 [pid=7869] ppid=7867 vsize=28231644 memory=49824 CPUtime=0.53 cores=0-7 /proc/7869/stat : 7869 (java) S 7867 7867 7522 0 -1 1077944320 10365 0 0 0 49 4 0 0 20 0 20 0 418566687 28909203456 12456 33554432000 4194304 4196468 140726377681088 140726377663632 139959925571319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 /proc/7869/statm: 7057911 12456 3317 1 0 7019032 0 [pid=7869/tid=7870] ppid=7867 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/7869/task/7870/stat : 7870 (java) R 7867 7867 7522 0 -1 4202560 7317 0 0 0 27 2 0 0 20 0 20 0 418566687 28909203456 12456 33554432000 4194304 4196468 140726377681088 139959929805408 139959925593245 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7871] ppid=7867 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7871/stat : 7871 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566688 28909203456 12456 33554432000 4194304 4196468 140726377681088 139959845423632 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7872] ppid=7867 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7872/stat : 7872 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566688 28909203456 12456 33554432000 4194304 4196468 140726377681088 139959844371088 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7873] ppid=7867 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7873/stat : 7873 (java) S 7867 7867 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418566688 28909203456 12456 33554432000 4194304 4196468 140726377681088 139959843318032 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7874] ppid=7867 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7874/stat : 7874 (java) S 7867 7867 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418566688 28909203456 12456 33554432000 4194304 4196468 140726377681088 139959842265488 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7875] ppid=7867 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7875/stat : 7875 (java) S 7867 7867 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418566688 28909203456 12456 33554432000 4194304 4196468 140726377681088 139959841213456 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7876] ppid=7867 vsize=28231644 memory=139713272965807 CPUtime=0 cores=0-7 /proc/7869/task/7876/stat : 7876 (java) S 7867 7867 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418566688 28909203456 12456 33554432000 4194304 4196468 140726377681088 139959840160912 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7877] ppid=7867 vsize=28231644 memory=139713272968112 CPUtime=0 cores=0-7 /proc/7869/task/7877/stat : 7877 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566688 28909203456 12456 33554432000 4194304 4196468 140726377681088 139959839107856 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7878] ppid=7867 vsize=28231644 memory=139713272970416 CPUtime=0 cores=0-7 /proc/7869/task/7878/stat : 7878 (java) S 7867 7867 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418566688 28909203456 12456 33554432000 4194304 4196468 140726377681088 139959838055312 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7879] ppid=7867 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7879/stat : 7879 (java) S 7867 7867 7522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418566689 28909203456 12456 33554432000 4194304 4196468 140726377681088 139958255376624 139959925582466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7880] ppid=7867 vsize=28231644 memory=279426545954704 CPUtime=0 cores=0-7 /proc/7869/task/7880/stat : 7880 (java) S 7867 7867 7522 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418566690 28909203456 12456 33554432000 4194304 4196468 140726377681088 139958254322848 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7881] ppid=7867 vsize=28231644 memory=279426545952400 CPUtime=0 cores=0-7 /proc/7869/task/7881/stat : 7881 (java) S 7867 7867 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418566690 28909203456 12456 33554432000 4194304 4196468 140726377681088 139958253269744 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7882] ppid=7867 vsize=28231644 memory=279426545959312 CPUtime=0 cores=0-7 /proc/7869/task/7882/stat : 7882 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566692 28909203456 12456 33554432000 4194304 4196468 140726377681088 139958252218320 139959925589915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7883] ppid=7867 vsize=28231644 memory=279426545900592 CPUtime=0.02 cores=0-7 /proc/7869/task/7883/stat : 7883 (java) S 7867 7867 7522 0 -1 1077944384 621 0 0 0 2 0 0 0 20 0 20 0 418566692 28909203456 12456 33554432000 4194304 4196468 140726377681088 139958251166448 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7884] ppid=7867 vsize=28231644 memory=279426545973136 CPUtime=0.04 cores=0-7 /proc/7869/task/7884/stat : 7884 (java) R 7867 7867 7522 0 -1 4202560 208 0 0 0 4 0 0 0 20 0 20 0 418566692 28909203456 12456 33554432000 4194304 4196468 140726377681088 139958250104288 139959907093796 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7885] ppid=7867 vsize=28231644 memory=279426545980048 CPUtime=0.02 cores=0-7 /proc/7869/task/7885/stat : 7885 (java) S 7867 7867 7522 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 20 0 418566692 28909203456 12456 33554432000 4194304 4196468 140726377681088 139958249060848 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7886] ppid=7867 vsize=28231644 memory=279426545977744 CPUtime=0.12 cores=0-7 /proc/7869/task/7886/stat : 7886 (java) S 7867 7867 7522 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 20 0 418566692 28909203456 12456 33554432000 4194304 4196468 140726377681088 139958248008304 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7887] ppid=7867 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7887/stat : 7887 (java) S 7867 7867 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418566693 28909203456 12456 33554432000 4194304 4196468 140726377681088 139958246955488 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7888] ppid=7867 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/7869/task/7888/stat : 7888 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566693 28909203456 12456 33554432000 4194304 4196468 140726377681088 139958245903024 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51280 KiB [startup+0.700921 s] /proc/loadavg: 6.75 7.13 7.52 3/211 7888 /proc/meminfo: memFree=24242968/32770624 swapFree=67108848/67108860 [pid=7867] ppid=7864 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/7867/stat : 7867 (xcsp3-exec) S 7864 7867 7522 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418566687 115843072 364 33554432000 4194304 5098028 140727386126032 140727386124136 140636197773948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31793152 140727386133366 140727386133609 140727386133609 140727386136522 0 /proc/7867/statm: 28282 364 305 221 0 87 0 [pid=7869] ppid=7867 vsize=28233768 memory=87732 CPUtime=1.62 cores=0-7 /proc/7869/stat : 7869 (java) S 7867 7867 7522 0 -1 1077944320 15150 0 0 0 156 6 0 0 20 0 20 0 418566687 28911378432 21933 33554432000 4194304 4196468 140726377681088 140726377663632 139959925571319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 /proc/7869/statm: 7058442 21933 3450 1 0 7019544 0 [pid=7869/tid=7870] ppid=7867 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/7869/task/7870/stat : 7870 (java) R 7867 7867 7522 0 -1 4202560 8849 0 0 0 64 3 0 0 20 0 20 0 418566687 28911378432 21933 33554432000 4194304 4196468 140726377681088 139959929802640 139959918249333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7871] ppid=7867 vsize=28233768 memory=139713273176944 CPUtime=0 cores=0-7 /proc/7869/task/7871/stat : 7871 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566688 28911378432 21933 33554432000 4194304 4196468 140726377681088 139959845423632 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7872] ppid=7867 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7872/stat : 7872 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418566688 28911378432 21933 33554432000 4194304 4196468 140726377681088 139959844371088 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7873] ppid=7867 vsize=28233768 memory=7180 CPUtime=0 cores=0-7 /proc/7869/task/7873/stat : 7873 (java) S 7867 7867 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418566688 28911378432 21933 33554432000 4194304 4196468 140726377681088 139959843318032 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 ################ # More data... # ################ [pid=7869/tid=7881] ppid=7867 vsize=28769356 memory=15544015764327050 CPUtime=0 cores=0-7 /proc/7869/task/7881/stat : 7881 (java) S 7867 7867 7522 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 418566690 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958253269744 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7882] ppid=7867 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7882/stat : 7882 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418566692 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958252218320 139959925589915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7883] ppid=7867 vsize=28769356 memory=6656426216303648864 CPUtime=1.97 cores=0-7 /proc/7869/task/7883/stat : 7883 (java) R 7867 7867 7522 0 -1 4202560 4254 0 0 0 196 1 0 0 20 0 28 0 418566692 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958251152544 139959904946941 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7884] ppid=7867 vsize=28769356 memory=6656426216303648864 CPUtime=1.95 cores=0-7 /proc/7869/task/7884/stat : 7884 (java) R 7867 7867 7522 0 -1 4202560 3358 0 0 0 195 0 0 0 20 0 28 0 418566692 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958250095104 139959909482059 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7885] ppid=7867 vsize=28769356 memory=0 CPUtime=1.71 cores=0-7 /proc/7869/task/7885/stat : 7885 (java) R 7867 7867 7522 0 -1 1077944384 1968 0 0 0 171 0 0 0 20 0 28 0 418566692 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958249060656 139959925581525 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7886] ppid=7867 vsize=28769356 memory=0 CPUtime=0.98 cores=0-7 /proc/7869/task/7886/stat : 7886 (java) R 7867 7867 7522 0 -1 1077944384 3580 0 0 0 98 0 0 0 20 0 28 0 418566692 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958248004032 139959925581525 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7887] ppid=7867 vsize=28769356 memory=279426546310176 CPUtime=0 cores=0-7 /proc/7869/task/7887/stat : 7887 (java) S 7867 7867 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418566693 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958246955488 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7888] ppid=7867 vsize=28769356 memory=139713273162576 CPUtime=0 cores=0-7 /proc/7869/task/7888/stat : 7888 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418566693 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958245903024 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7986] ppid=7867 vsize=28769356 memory=0 CPUtime=0.71 cores=0-7 /proc/7869/task/7986/stat : 7986 (java) R 7867 7867 7522 0 -1 4202560 19 0 0 0 71 0 0 0 20 0 28 0 418566904 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958228278568 139959519380911 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7987] ppid=7867 vsize=28769356 memory=0 CPUtime=0.74 cores=0-7 /proc/7869/task/7987/stat : 7987 (java) R 7867 7867 7522 0 -1 4202560 17 0 0 0 74 0 0 0 20 0 28 0 418566904 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958231437800 139959518299465 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7988] ppid=7867 vsize=28769356 memory=0 CPUtime=0.51 cores=0-7 /proc/7869/task/7988/stat : 7988 (java) R 7867 7867 7522 0 -1 4202560 23 0 0 0 51 0 0 0 20 0 28 0 418566904 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958233543080 139959519367248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7989] ppid=7867 vsize=28769356 memory=139713273022624 CPUtime=0.76 cores=0-7 /proc/7869/task/7989/stat : 7989 (java) R 7867 7867 7522 0 -1 4202560 17 0 0 0 76 0 0 0 20 0 28 0 418566904 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958230385816 139959519284085 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7990] ppid=7867 vsize=28769356 memory=4540 CPUtime=0.74 cores=0-7 /proc/7869/task/7990/stat : 7990 (java) R 7867 7867 7522 0 -1 4202560 18 0 0 0 74 0 0 0 20 0 28 0 418566904 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958227226776 139959517727319 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7991] ppid=7867 vsize=28769356 memory=752 CPUtime=0.82 cores=0-7 /proc/7869/task/7991/stat : 7991 (java) R 7867 7867 7522 0 -1 4202560 18 0 0 0 82 0 0 0 20 0 28 0 418566904 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958232489880 139959517404588 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7992] ppid=7867 vsize=28769356 memory=1636 CPUtime=0.68 cores=0-7 /proc/7869/task/7992/stat : 7992 (java) R 7867 7867 7522 0 -1 4202560 22 0 0 0 68 0 0 0 20 0 28 0 418566904 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958226173048 139959518038607 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7993] ppid=7867 vsize=28769356 memory=812 CPUtime=0.79 cores=0-7 /proc/7869/task/7993/stat : 7993 (java) R 7867 7867 7522 0 -1 4202560 17 0 0 0 79 0 0 0 20 0 28 0 418566907 29459820544 57728 33554432000 4194304 4196468 140726377681088 139958236691672 139959519381640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 Current children cumulated CPU time: 20.91 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 232368 KiB [startup+4.00168 s]* /proc/loadavg: 6.75 7.13 7.52 9/219 7993 /proc/meminfo: memFree=24076036/32770624 swapFree=67108848/67108860 [pid=7867] ppid=7864 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/7867/stat : 7867 (xcsp3-exec) S 7864 7867 7522 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418566687 115843072 364 33554432000 4194304 5098028 140727386126032 140727386124136 140636197773948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31793152 140727386133366 140727386133609 140727386133609 140727386136522 0 /proc/7867/statm: 28282 364 305 221 0 87 0 [pid=7869] ppid=7867 vsize=28769356 memory=234320 CPUtime=27.31 cores=0-7 /proc/7869/stat : 7869 (java) S 7867 7867 7522 0 -1 1077944320 35366 0 0 0 2711 20 0 0 20 0 28 0 418566687 29459820544 58580 33554432000 4194304 4196468 140726377681088 140726377663632 139959925571319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 /proc/7869/statm: 7192339 58580 3503 1 0 7153441 0 [pid=7869/tid=7870] ppid=7867 vsize=28769356 memory=1398722017469774279 CPUtime=0.7 cores=0-7 /proc/7869/task/7870/stat : 7870 (java) S 7867 7867 7522 0 -1 1077944384 8949 0 0 0 66 4 0 0 20 0 28 0 418566687 29459820544 58580 33554432000 4194304 4196468 140726377681088 139959929812096 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7871] ppid=7867 vsize=28769356 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/7869/task/7871/stat : 7871 (java) S 7867 7867 7522 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 418566688 29459820544 58580 33554432000 4194304 4196468 140726377681088 139959845423632 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7872] ppid=7867 vsize=28769356 memory=9023629670928638048 CPUtime=0 cores=0-7 /proc/7869/task/7872/stat : 7872 (java) S 7867 7867 7522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 418566688 29459820544 58580 33554432000 4194304 4196468 140726377681088 139959844371088 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7873] ppid=7867 vsize=28769356 memory=139715286141058 CPUtime=0 cores=0-7 /proc/7869/task/7873/stat : 7873 (java) S 7867 7867 7522 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 418566688 29459820544 58580 33554432000 4194304 4196468 140726377681088 139959843318032 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7874] ppid=7867 vsize=28769356 memory=7445693067692764757 CPUtime=0 cores=0-7 /proc/7869/task/7874/stat : 7874 (java) S 7867 7867 7522 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 418566688 29459820544 58580 33554432000 4194304 4196468 140726377681088 139959842265488 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7875] ppid=7867 vsize=28769356 memory=7523098608994118245 CPUtime=0 cores=0-7 /proc/7869/task/7875/stat : 7875 (java) S 7867 7867 7522 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 418566688 29459820544 58580 33554432000 4194304 4196468 140726377681088 139959841213456 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7876] ppid=7867 vsize=28769356 memory=6298684728147470952 CPUtime=0 cores=0-7 /proc/7869/task/7876/stat : 7876 (java) S 7867 7867 7522 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 418566688 29459820544 58580 33554432000 4194304 4196468 140726377681088 139959840160912 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7877] ppid=7867 vsize=28769356 memory=7440056984007045732 CPUtime=0 cores=0-7 /proc/7869/task/7877/stat : 7877 (java) S 7867 7867 7522 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 28 0 418566688 29459820544 58580 33554432000 4194304 4196468 140726377681088 139959839107856 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7878] ppid=7867 vsize=28769356 memory=139713273344158 CPUtime=0 cores=0-7 /proc/7869/task/7878/stat : 7878 (java) S 7867 7867 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 418566688 29459820544 58580 33554432000 4194304 4196468 140726377681088 139959838055312 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7879] ppid=7867 vsize=28769356 memory=139715286141297 CPUtime=0.02 cores=0-7 /proc/7869/task/7879/stat : 7879 (java) S 7867 7867 7522 0 -1 1077944384 56 0 0 0 1 1 0 0 20 0 28 0 418566689 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958255376624 139959925582466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7880] ppid=7867 vsize=28769356 memory=150006027787618 CPUtime=0 cores=0-7 /proc/7869/task/7880/stat : 7880 (java) S 7867 7867 7522 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 418566690 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958254322912 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7881] ppid=7867 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7881/stat : 7881 (java) S 7867 7867 7522 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 418566690 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958253269744 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7882] ppid=7867 vsize=28769356 memory=2241 CPUtime=0 cores=0-7 /proc/7869/task/7882/stat : 7882 (java) S 7867 7867 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418566692 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958252218320 139959925589915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7883] ppid=7867 vsize=28769356 memory=2244 CPUtime=2.38 cores=0-7 /proc/7869/task/7883/stat : 7883 (java) S 7867 7867 7522 0 -1 1077944384 7190 0 0 0 236 2 0 0 20 0 28 0 418566692 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958251166448 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7884] ppid=7867 vsize=28769356 memory=0 CPUtime=2.48 cores=0-7 /proc/7869/task/7884/stat : 7884 (java) S 7867 7867 7522 0 -1 1077944384 6251 0 0 0 246 2 0 0 20 0 28 0 418566692 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958250113904 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7885] ppid=7867 vsize=28769356 memory=0 CPUtime=2.04 cores=0-7 /proc/7869/task/7885/stat : 7885 (java) S 7867 7867 7522 0 -1 1077944384 4009 0 0 0 204 0 0 0 20 0 28 0 418566692 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958249060848 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7886] ppid=7867 vsize=28769356 memory=0 CPUtime=1.04 cores=0-7 /proc/7869/task/7886/stat : 7886 (java) S 7867 7867 7522 0 -1 1077944384 4245 0 0 0 103 1 0 0 20 0 28 0 418566692 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958248008304 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7887] ppid=7867 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7887/stat : 7887 (java) S 7867 7867 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418566693 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958246955488 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7888] ppid=7867 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7888/stat : 7888 (java) S 7867 7867 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418566693 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958245903024 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7986] ppid=7867 vsize=28769356 memory=0 CPUtime=1.39 cores=0-7 /proc/7869/task/7986/stat : 7986 (java) R 7867 7867 7522 0 -1 4202560 80 0 0 0 139 0 0 0 20 0 28 0 418566904 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958228280296 139959519370589 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7987] ppid=7867 vsize=28769356 memory=0 CPUtime=1.41 cores=0-7 /proc/7869/task/7987/stat : 7987 (java) R 7867 7867 7522 0 -1 4202560 62 0 0 0 141 0 0 0 20 0 28 0 418566904 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958231437608 139959518038714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7988] ppid=7867 vsize=28769356 memory=0 CPUtime=1.15 cores=0-7 /proc/7869/task/7988/stat : 7988 (java) R 7867 7867 7522 0 -1 4202560 301 0 0 0 114 1 0 0 20 0 28 0 418566904 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958233543368 139959523057058 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7989] ppid=7867 vsize=28769356 memory=0 CPUtime=1.35 cores=0-7 /proc/7869/task/7989/stat : 7989 (java) R 7867 7867 7522 0 -1 4202560 82 0 0 0 135 0 0 0 20 0 28 0 418566904 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958230385704 139959517865580 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7990] ppid=7867 vsize=28769356 memory=0 CPUtime=1.29 cores=0-7 /proc/7869/task/7990/stat : 7990 (java) R 7867 7867 7522 0 -1 4202560 83 0 0 0 129 0 0 0 20 0 28 0 418566904 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958227226880 139959517728607 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7991] ppid=7867 vsize=28769356 memory=0 CPUtime=1.49 cores=0-7 /proc/7869/task/7991/stat : 7991 (java) R 7867 7867 7522 0 -1 4202560 59 0 0 0 149 0 0 0 20 0 28 0 418566904 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958232490440 139959519382526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7992] ppid=7867 vsize=28769356 memory=0 CPUtime=1.28 cores=0-7 /proc/7869/task/7992/stat : 7992 (java) R 7867 7867 7522 0 -1 4202560 193 0 0 0 128 0 0 0 20 0 28 0 418566904 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958226174120 139959519381642 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7993] ppid=7867 vsize=28769356 memory=0 CPUtime=1.42 cores=0-7 /proc/7869/task/7993/stat : 7993 (java) R 7867 7867 7522 0 -1 4202560 126 0 0 0 142 0 0 0 20 0 28 0 418566907 29459820544 58580 33554432000 4194304 4196468 140726377681088 139958236695208 139959521850823 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 Current children cumulated CPU time: 27.31 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 235776 KiB [startup+4.80121 s] /proc/loadavg: 6.75 7.13 7.52 9/219 7993 /proc/meminfo: memFree=24076036/32770624 swapFree=67108848/67108860 [pid=7867] ppid=7864 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/7867/stat : 7867 (xcsp3-exec) S 7864 7867 7522 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418566687 115843072 364 33554432000 4194304 5098028 140727386126032 140727386124136 140636197773948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31793152 140727386133366 140727386133609 140727386133609 140727386136522 0 /proc/7867/statm: 28282 364 305 221 0 87 0 [pid=7869] ppid=7867 vsize=28769356 memory=238324 CPUtime=33.36 cores=0-7 /proc/7869/stat : 7869 (java) S 7867 7867 7522 0 -1 1077944320 35614 0 0 0 3316 20 0 0 20 0 18 0 418566687 29459820544 59581 33554432000 4194304 4196468 140726377681088 140726377663632 139959925571319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 /proc/7869/statm: 7192339 59581 3520 1 0 7153441 0 [pid=7869/tid=7870] ppid=7867 vsize=28769356 memory=0 CPUtime=0.7 cores=0-7 /proc/7869/task/7870/stat : 7870 (java) D 7867 7867 7522 0 -1 4202560 8994 0 0 0 66 4 0 0 20 0 18 0 418566687 29459820544 59581 33554432000 4194304 4196468 140726377681088 139959929814328 139959918256951 0 0 0 16800975 18446744072100220037 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7871] ppid=7867 vsize=28769356 memory=0 CPUtime=0.01 cores=0-7 /proc/7869/task/7871/stat : 7871 (java) S 7867 7867 7522 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 18 0 418566688 29459820544 59581 33554432000 4194304 4196468 140726377681088 139959845423632 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7872] ppid=7867 vsize=28769356 memory=0 CPUtime=0.01 cores=0-7 /proc/7869/task/7872/stat : 7872 (java) S 7867 7867 7522 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 18 0 418566688 29459820544 59581 33554432000 4194304 4196468 140726377681088 139959844371088 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7873] ppid=7867 vsize=28769356 memory=0 CPUtime=0.01 cores=0-7 /proc/7869/task/7873/stat : 7873 (java) S 7867 7867 7522 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 18 0 418566688 29459820544 59581 33554432000 4194304 4196468 140726377681088 139959843318032 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7874] ppid=7867 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7874/stat : 7874 (java) S 7867 7867 7522 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 18 0 418566688 29459820544 59581 33554432000 4194304 4196468 140726377681088 139959842265488 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7875] ppid=7867 vsize=28769356 memory=10942 CPUtime=0.01 cores=0-7 /proc/7869/task/7875/stat : 7875 (java) S 7867 7867 7522 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 18 0 418566688 29459820544 59581 33554432000 4194304 4196468 140726377681088 139959841213456 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7876] ppid=7867 vsize=28769356 memory=0 CPUtime=0.01 cores=0-7 /proc/7869/task/7876/stat : 7876 (java) S 7867 7867 7522 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 18 0 418566688 29459820544 59581 33554432000 4194304 4196468 140726377681088 139959840160912 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7877] ppid=7867 vsize=28769356 memory=139713273409872 CPUtime=0 cores=0-7 /proc/7869/task/7877/stat : 7877 (java) S 7867 7867 7522 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 18 0 418566688 29459820544 59581 33554432000 4194304 4196468 140726377681088 139959839107856 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7878] ppid=7867 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7878/stat : 7878 (java) S 7867 7867 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 418566688 29459820544 59581 33554432000 4194304 4196468 140726377681088 139959838055312 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7880] ppid=7867 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7880/stat : 7880 (java) S 7867 7867 7522 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 18 0 418566690 29459820544 59581 33554432000 4194304 4196468 140726377681088 139958254322912 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7881] ppid=7867 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7881/stat : 7881 (java) S 7867 7867 7522 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 18 0 418566690 29459820544 59581 33554432000 4194304 4196468 140726377681088 139958253269744 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7882] ppid=7867 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/7869/task/7882/stat : 7882 (java) S 7867 7867 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 418566692 29459820544 59581 33554432000 4194304 4196468 140726377681088 139958252217968 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7883] ppid=7867 vsize=28769356 memory=5536 CPUtime=2.45 cores=0-7 /proc/7869/task/7883/stat : 7883 (java) S 7867 7867 7522 0 -1 1077944384 7204 0 0 0 243 2 0 0 20 0 18 0 418566692 29459820544 59581 33554432000 4194304 4196468 140726377681088 139958251166448 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7884] ppid=7867 vsize=28769356 memory=4540 CPUtime=2.61 cores=0-7 /proc/7869/task/7884/stat : 7884 (java) S 7867 7867 7522 0 -1 1077944384 6283 0 0 0 259 2 0 0 20 0 18 0 418566692 29459820544 59581 33554432000 4194304 4196468 140726377681088 139958250113904 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7885] ppid=7867 vsize=28769356 memory=752 CPUtime=2.12 cores=0-7 /proc/7869/task/7885/stat : 7885 (java) S 7867 7867 7522 0 -1 1077944384 4028 0 0 0 212 0 0 0 20 0 18 0 418566692 29459820544 59581 33554432000 4194304 4196468 140726377681088 139958249060848 139959925582466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7886] ppid=7867 vsize=28769356 memory=1636 CPUtime=1.07 cores=0-7 /proc/7869/task/7886/stat : 7886 (java) S 7867 7867 7522 0 -1 1077944384 4289 0 0 0 106 1 0 0 20 0 18 0 418566692 29459820544 59581 33554432000 4194304 4196468 140726377681088 139958248003792 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 [pid=7869/tid=7887] ppid=7867 vsize=28769356 memory=812 CPUtime=0 cores=0-7 /proc/7869/task/7887/stat : 7887 (java) S 7867 7867 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 418566693 29459820544 59581 33554432000 4194304 4196468 140726377681088 139958246955488 139959925581525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140726377685994 140726377686166 140726377686166 140726377689039 0 Current children cumulated CPU time: 33.36 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 239780 KiB [startup+5.0008 s]* /proc/loadavg: 6.75 7.13 7.52 1/193 7993 /proc/meminfo: memFree=24289864/32770624 swapFree=67108848/67108860 [pid=7867] ppid=7864 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/7867/stat : 7867 (xcsp3-exec) S 7864 7867 7522 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418566687 115843072 364 33554432000 4194304 5098028 140727386126032 140727386124136 140636197773948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31793152 140727386133366 140727386133609 140727386133609 140727386136522 0 /proc/7867/statm: 28282 364 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB Child status: 0 Real time (s): 5.07789 CPU time (s): 33.3915 CPU user time (s): 33.1706 CPU system time (s): 0.220877 CPU usage (%): 657.586 Max. virtual memory (cumulated for all children) (KiB): 28882484 Max. memory (cumulated for all children) (KiB): 239780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 33.1706 system time used= 0.220877 maximum resident set size= 239036 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36178 page faults= 0 swaps= 0 block input operations= 0 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4940 involuntary context switches= 1095 # summary of solver processes directly reported to runsolver: # pid: 7867 # total CPU time (s): 33.3915 # total CPU user time (s): 33.1706 # total CPU system time (s): 0.220877 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.055376 second user time and 0.104108 second system time The end
Begin job on node143 at 2019-09-14 03:57:32 IDJOB=4394492 IDBENCH=126224 IDSOLVER=2843 FILE ID=node143/4394492-1568426293 RUNJOBID= node143-1568425676-7549 PBS_JOBID= 21702285 Free space on /tmp= 59272 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-10-a3.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-4394492-1568426293/watcher-4394492-1568426293 -o /tmp/evaluation-result-4394492-1568426293/solver-4394492-1568426293 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568425676-7549 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 967216688 HOME/instance-4394492-1568426293.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1a91370fd3edda64a19224a97cd9d854 RANDOM SEED=967216688 node143.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.73 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.73 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.73 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.73 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: 24297028 kB MemAvailable: 31755432 kB Buffers: 203144 kB Cached: 7545104 kB SwapCached: 8 kB Active: 2145772 kB Inactive: 5652780 kB Active(anon): 4904 kB Inactive(anon): 144860 kB Active(file): 2140868 kB Inactive(file): 5507920 kB Unevictable: 107440 kB Mlocked: 107440 kB SwapTotal: 67108860 kB SwapFree: 67108848 kB Dirty: 26204 kB Writeback: 0 kB AnonPages: 157812 kB Mapped: 48720 kB Shmem: 90756 kB Slab: 267088 kB SReclaimable: 238076 kB SUnreclaim: 29012 kB KernelStack: 3408 kB PageTables: 5140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498884 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 59248 MiB End job on node143 at 2019-09-14 03:57:37