Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | OPT | 55 | 49.3217 | 6.77201 |
Name | GolombRuler/ GolombRuler-a3v18-nodv-10_c18.xml |
MD5SUM | 769ec0f26c47f1b96bb609b2e4d8d5d6 |
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 | 49.3217 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 46 |
Number of domains | 2 |
Minimum domain size | 100 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":100,"count":45},{"size":101,"count":10}] |
Minimum variable degree | 0 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":9,"count":9},{"degree":10,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 45 |
Distribution of constraint arities | [{"arity":3,"count":45},{"arity":45,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 45 |
Distribution of constraint types | [{"type":"intension","count":45},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297457-1532716678.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297457-1532716678.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.27/0.67 c solve instance... 1.62/0.75 o 80 1.62/0.77 o 77 1.62/0.78 o 75 1.62/0.79 o 73 2.25/0.82 o 72 2.94/0.90 o 70 2.94/0.94 o 68 3.78/1.03 o 65 3.78/1.06 o 62 6.87/1.46 o 60 11.70/2.06 o 55 48.84/6.75 s OPTIMUM FOUND 48.84/6.75 v <instantiation> 48.84/6.75 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> 48.84/6.75 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> 48.84/6.75 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 (13464 MiB free) memory of node 1: 16384 MiB (14013 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297457-1532716678/watcher-4297457-1532716678 -o /tmp/evaluation-result-4297457-1532716678/solver-4297457-1532716678 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532714138-12632 --watchdog 2580 HOME/xcsp3-exec -seed 70040196 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297457-1532716678.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=13002, runsolver pid=12999 [startup+0.100127 s]* /proc/loadavg: 0.93 0.98 1.49 3/199 13023 /proc/meminfo: memFree=28122040/32770624 swapFree=67108436/67108860 [pid=13002] ppid=12999 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13002/stat : 13002 (xcsp3-exec) S 12999 13002 12605 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89231010 115843072 363 33554432000 4194304 5098028 140736286850960 140736286849064 140017269080700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24629248 140736286856247 140736286856448 140736286856448 140736286859210 0 /proc/13002/statm: 28282 363 305 221 0 87 0 [pid=13004] ppid=13002 vsize=26104152 memory=26368 CPUtime=0.11 cores=0-7 /proc/13004/stat : 13004 (java) S 13002 13002 12605 0 -1 1077944320 5488 0 0 0 10 1 0 0 20 0 20 0 89231010 26730651648 6592 33554432000 4194304 4196468 140735660846848 140735660829392 140709802442487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 /proc/13004/statm: 6526038 6592 3012 1 0 6488315 0 [pid=13004/tid=13005] ppid=13002 vsize=26104152 memory=7680777497619635607 CPUtime=0.09 cores=0-7 /proc/13004/task/13005/stat : 13005 (java) R 13002 13002 12605 0 -1 4202560 3473 0 0 0 8 1 0 0 20 0 20 0 89231010 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709806663296 140709802454422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13006] ppid=13002 vsize=26104152 memory=732370647855348709 CPUtime=0 cores=0-7 /proc/13004/task/13006/stat : 13006 (java) S 13002 13002 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709774285456 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13007] ppid=13002 vsize=26104152 memory=140509517895296 CPUtime=0 cores=0-7 /proc/13004/task/13007/stat : 13007 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709359299088 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13008] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13008/stat : 13008 (java) S 13002 13002 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709358246288 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13009] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13009/stat : 13009 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709357193488 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13010] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13010/stat : 13010 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709356141712 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13011] ppid=13002 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/13004/task/13011/stat : 13011 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709355088912 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13012] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13012/stat : 13012 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709354036112 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13013] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13013/stat : 13013 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709352983312 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13014] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13014/stat : 13014 (java) S 13002 13002 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89231013 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709064083824 140709802453634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13015] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13015/stat : 13015 (java) S 13002 13002 12605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89231013 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709063029792 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13016] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13016/stat : 13016 (java) S 13002 13002 12605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89231013 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709061976944 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13017] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13017/stat : 13017 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231016 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709060925264 140709802461083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13018] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13018/stat : 13018 (java) S 13002 13002 12605 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 89231016 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709059873648 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13019] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13019/stat : 13019 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231016 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709058820848 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13020] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13020/stat : 13020 (java) S 13002 13002 12605 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 89231016 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709057768048 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13021] ppid=13002 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/13004/task/13021/stat : 13021 (java) R 13002 13002 12605 0 -1 4202560 278 0 0 0 1 0 0 0 20 0 20 0 89231016 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709056711192 140709795548189 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13022] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13022/stat : 13022 (java) S 13002 13002 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89231016 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709055662688 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13023] ppid=13002 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/13004/task/13023/stat : 13023 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231016 26730651648 6592 33554432000 4194304 4196468 140735660846848 140709054609968 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 27820 KiB [startup+0.210313 s]* /proc/loadavg: 0.93 0.98 1.49 2/199 13023 /proc/meminfo: memFree=28111000/32770624 swapFree=67108436/67108860 [pid=13002] ppid=12999 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13002/stat : 13002 (xcsp3-exec) S 12999 13002 12605 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89231010 115843072 363 33554432000 4194304 5098028 140736286850960 140736286849064 140017269080700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24629248 140736286856247 140736286856448 140736286856448 140736286859210 0 /proc/13002/statm: 28282 363 305 221 0 87 0 [pid=13004] ppid=13002 vsize=26104152 memory=38468 CPUtime=0.33 cores=0-7 /proc/13004/stat : 13004 (java) S 13002 13002 12605 0 -1 1077944320 8184 0 0 0 31 2 0 0 20 0 20 0 89231010 26730651648 9617 33554432000 4194304 4196468 140735660846848 140735660829392 140709802442487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 /proc/13004/statm: 6526038 9617 3212 1 0 6488315 0 [pid=13004/tid=13005] ppid=13002 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7 /proc/13004/task/13005/stat : 13005 (java) R 13002 13002 12605 0 -1 4202560 5159 0 0 0 18 1 0 0 20 0 20 0 89231010 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709806676528 140709802464413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13006] ppid=13002 vsize=26104152 memory=732370647855348709 CPUtime=0 cores=0-7 /proc/13004/task/13006/stat : 13006 (java) S 13002 13002 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709774285456 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13007] ppid=13002 vsize=26104152 memory=140509517895296 CPUtime=0 cores=0-7 /proc/13004/task/13007/stat : 13007 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709359299088 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13008] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13008/stat : 13008 (java) S 13002 13002 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709358246288 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13009] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13009/stat : 13009 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709357193488 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13010] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13010/stat : 13010 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709356141712 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13011] ppid=13002 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/13004/task/13011/stat : 13011 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709355088912 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13012] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13012/stat : 13012 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709354036112 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13013] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13013/stat : 13013 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709352983312 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13014] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13014/stat : 13014 (java) S 13002 13002 12605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89231013 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709064083824 140709802453634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13015] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13015/stat : 13015 (java) S 13002 13002 12605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89231013 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709063029792 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13016] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13016/stat : 13016 (java) S 13002 13002 12605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89231013 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709061976944 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13017] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13017/stat : 13017 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231016 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709060925264 140709802461083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13018] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13018/stat : 13018 (java) S 13002 13002 12605 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 20 0 89231016 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709059873648 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13019] ppid=13002 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/13004/task/13019/stat : 13019 (java) S 13002 13002 12605 0 -1 1077944384 289 0 0 0 2 0 0 0 20 0 20 0 89231016 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709058820848 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13020] ppid=13002 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/13004/task/13020/stat : 13020 (java) S 13002 13002 12605 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 20 0 89231016 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709057768048 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13021] ppid=13002 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7 /proc/13004/task/13021/stat : 13021 (java) S 13002 13002 12605 0 -1 1077944384 892 0 0 0 8 0 0 0 20 0 20 0 89231016 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709056715248 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13022] ppid=13002 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13022/stat : 13022 (java) S 13002 13002 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89231016 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709055662688 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13023] ppid=13002 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/13004/task/13023/stat : 13023 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231016 26730651648 9617 33554432000 4194304 4196468 140735660846848 140709054609968 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 39920 KiB [startup+0.310821 s]* /proc/loadavg: 0.93 0.98 1.49 2/199 13023 /proc/meminfo: memFree=28104920/32770624 swapFree=67108436/67108860 [pid=13002] ppid=12999 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13002/stat : 13002 (xcsp3-exec) S 12999 13002 12605 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89231010 115843072 363 33554432000 4194304 5098028 140736286850960 140736286849064 140017269080700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24629248 140736286856247 140736286856448 140736286856448 140736286859210 0 /proc/13002/statm: 28282 363 305 221 0 87 0 [pid=13004] ppid=13002 vsize=26108408 memory=45524 CPUtime=0.51 cores=0-7 /proc/13004/stat : 13004 (java) S 13002 13002 12605 0 -1 1077944320 9096 0 0 0 48 3 0 0 20 0 20 0 89231010 26735009792 11381 33554432000 4194304 4196468 140735660846848 140735660829392 140709802442487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 /proc/13004/statm: 6527102 11381 3259 1 0 6488315 0 [pid=13004/tid=13005] ppid=13002 vsize=26108408 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/13004/task/13005/stat : 13005 (java) R 13002 13002 12605 0 -1 4202560 5789 0 0 0 27 1 0 0 20 0 20 0 89231010 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709806673600 140709802464413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13006] ppid=13002 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13006/stat : 13006 (java) S 13002 13002 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89231011 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709774285456 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13007] ppid=13002 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13007/stat : 13007 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709359299088 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13008] ppid=13002 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13008/stat : 13008 (java) S 13002 13002 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89231011 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709358246288 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13009] ppid=13002 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13009/stat : 13009 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709357193488 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13010] ppid=13002 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/13004/task/13010/stat : 13010 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709356141712 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13011] ppid=13002 vsize=26108408 memory=140509385421743 CPUtime=0 cores=0-7 /proc/13004/task/13011/stat : 13011 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709355088912 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13012] ppid=13002 vsize=26108408 memory=140509385424048 CPUtime=0 cores=0-7 /proc/13004/task/13012/stat : 13012 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709354036112 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13013] ppid=13002 vsize=26108408 memory=140509385426352 CPUtime=0 cores=0-7 /proc/13004/task/13013/stat : 13013 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231011 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709352983312 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13014] ppid=13002 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13014/stat : 13014 (java) S 13002 13002 12605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89231013 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709064083824 140709802453634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13015] ppid=13002 vsize=26108408 memory=281018770859664 CPUtime=0 cores=0-7 /proc/13004/task/13015/stat : 13015 (java) S 13002 13002 12605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89231013 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709063029792 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13016] ppid=13002 vsize=26108408 memory=281018770866576 CPUtime=0 cores=0-7 /proc/13004/task/13016/stat : 13016 (java) S 13002 13002 12605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89231013 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709061976944 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13017] ppid=13002 vsize=26108408 memory=281018770807856 CPUtime=0 cores=0-7 /proc/13004/task/13017/stat : 13017 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231016 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709060925264 140709802461083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13018] ppid=13002 vsize=26108408 memory=281018770880400 CPUtime=0.01 cores=0-7 /proc/13004/task/13018/stat : 13018 (java) S 13002 13002 12605 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 20 0 89231016 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709059873648 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13019] ppid=13002 vsize=26108408 memory=281018770887312 CPUtime=0.03 cores=0-7 /proc/13004/task/13019/stat : 13019 (java) S 13002 13002 12605 0 -1 1077944384 312 0 0 0 3 0 0 0 20 0 20 0 89231016 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709058820848 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13020] ppid=13002 vsize=26108408 memory=281018770885008 CPUtime=0.03 cores=0-7 /proc/13004/task/13020/stat : 13020 (java) R 13002 13002 12605 0 -1 4202560 323 0 0 0 3 0 0 0 20 0 20 0 89231016 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709057766448 140709783618284 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13021] ppid=13002 vsize=26108408 memory=281018770901168 CPUtime=0.12 cores=0-7 /proc/13004/task/13021/stat : 13021 (java) S 13002 13002 12605 0 -1 1077944384 1034 0 0 0 12 0 0 0 20 0 20 0 89231016 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709056715248 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13022] ppid=13002 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13022/stat : 13022 (java) S 13002 13002 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89231016 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709055662688 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13023] ppid=13002 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/13004/task/13023/stat : 13023 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89231016 26735009792 11381 33554432000 4194304 4196468 140735660846848 140709054609968 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 46976 KiB [startup+0.701783 s] /proc/loadavg: 0.93 0.98 1.49 3/199 13023 /proc/meminfo: memFree=28086312/32770624 swapFree=67108436/67108860 [pid=13002] ppid=12999 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13002/stat : 13002 (xcsp3-exec) S 12999 13002 12605 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89231010 115843072 363 33554432000 4194304 5098028 140736286850960 140736286849064 140017269080700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24629248 140736286856247 140736286856448 140736286856448 140736286859210 0 /proc/13002/statm: 28282 363 305 221 0 87 0 [pid=13004] ppid=13002 vsize=26643044 memory=95188 CPUtime=1.62 cores=0-7 /proc/13004/stat : 13004 (java) S 13002 13002 12605 0 -1 1077944320 13173 0 0 0 155 7 0 0 20 0 28 0 89231010 27282477056 23797 33554432000 4194304 4196468 140735660846848 140735660829392 140709802442487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 /proc/13004/statm: 6660761 23797 3358 1 0 6621955 0 [pid=13004/tid=13005] ppid=13002 vsize=26643044 memory=281018771196096 CPUtime=0.64 cores=0-7 /proc/13004/task/13005/stat : 13005 (java) S 13002 13002 12605 0 -1 1077944384 6849 0 0 0 61 3 0 0 20 0 28 0 89231010 27282477056 23797 33554432000 4194304 4196468 140735660846848 140709806683264 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13006] ppid=13002 vsize=26643044 memory=5123895985315 CPUtime=0 cores=0-7 /proc/13004/task/13006/stat : 13006 (java) S 13002 13002 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 89231011 27282477056 23797 33554432000 4194304 4196468 140735660846848 140709774285456 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13007] ppid=13002 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13007/stat : 13007 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89231011 27282477056 23797 33554432000 4194304 4196468 140735660846848 140709359299088 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13008] ppid=13002 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13008/stat : 13008 (java) S 13002 13002 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89231011 27282477056 23797 33554432000 4194304 4196468 140735660846848 140709358246288 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 ################ # More data... # ################ [pid=13004/tid=13021] ppid=13002 vsize=26646120 memory=6656426216303648864 CPUtime=0.66 cores=0-7 /proc/13004/task/13021/stat : 13021 (java) S 13002 13002 12605 0 -1 1077944384 3836 0 0 0 65 1 0 0 20 0 28 0 89231016 27285626880 55294 33554432000 4194304 4196468 140735660846848 140709056715248 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13022] ppid=13002 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13022/stat : 13022 (java) S 13002 13002 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89231016 27285626880 55294 33554432000 4194304 4196468 140735660846848 140709055662688 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13023] ppid=13002 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13023/stat : 13023 (java) S 13002 13002 12605 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 28 0 89231016 27285626880 55294 33554432000 4194304 4196468 140735660846848 140709054609968 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13112] ppid=13002 vsize=26646120 memory=0 CPUtime=4.23 cores=0-7 /proc/13004/task/13112/stat : 13112 (java) R 13002 13002 12605 0 -1 4202560 123 0 0 0 423 0 0 0 20 0 28 0 89231216 27285626880 55294 33554432000 4194304 4196468 140735660846848 140709043718920 140709444340786 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13113] ppid=13002 vsize=26646120 memory=0 CPUtime=4.18 cores=0-7 /proc/13004/task/13113/stat : 13113 (java) R 13002 13002 12605 0 -1 4202560 98 0 0 0 418 0 0 0 20 0 28 0 89231216 27285626880 55294 33554432000 4194304 4196468 140735660846848 140709045825136 140709444510829 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13114] ppid=13002 vsize=26646120 memory=0 CPUtime=4.26 cores=0-7 /proc/13004/task/13114/stat : 13114 (java) R 13002 13002 12605 0 -1 4202560 123 0 0 0 426 0 0 0 20 0 28 0 89231216 27285626880 55294 33554432000 4194304 4196468 140735660846848 140709038458104 140709444766274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13115] ppid=13002 vsize=26646120 memory=0 CPUtime=4.14 cores=0-7 /proc/13004/task/13115/stat : 13115 (java) R 13002 13002 12605 0 -1 4202560 484 0 0 0 414 0 0 0 20 0 28 0 89231216 27285626880 55294 33554432000 4194304 4196468 140735660846848 140709042667888 140709444510829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13116] ppid=13002 vsize=26646120 memory=0 CPUtime=4.23 cores=0-7 /proc/13004/task/13116/stat : 13116 (java) R 13002 13002 12605 0 -1 4202560 139 0 0 0 423 0 0 0 20 0 28 0 89231216 27285626880 55294 33554432000 4194304 4196468 140735660846848 140709037404832 140709443170996 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13117] ppid=13002 vsize=26646120 memory=0 CPUtime=4.06 cores=0-7 /proc/13004/task/13117/stat : 13117 (java) R 13002 13002 12605 0 -1 4202560 94 0 0 0 405 1 0 0 20 0 28 0 89231216 27285626880 55294 33554432000 4194304 4196468 140735660846848 140709044773024 140709444510892 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13118] ppid=13002 vsize=26646120 memory=1612 CPUtime=4.07 cores=0-7 /proc/13004/task/13118/stat : 13118 (java) R 13002 13002 12605 0 -1 4202560 441 0 0 0 407 0 0 0 20 0 28 0 89231217 27285626880 55294 33554432000 4194304 4196468 140735660846848 140709041617096 140709444510829 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13119] ppid=13002 vsize=26646120 memory=1228 CPUtime=4.16 cores=0-7 /proc/13004/task/13119/stat : 13119 (java) R 13002 13002 12605 0 -1 4202560 101 0 0 0 416 0 0 0 20 0 28 0 89231218 27285626880 55294 33554432000 4194304 4196468 140735660846848 140709039509168 140709444510829 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 Current children cumulated CPU time: 46.46 s Current children cumulated vsize: 26759248 KiB Current children cumulated memory: 222628 KiB [startup+6.60516 s] /proc/loadavg: 1.58 1.12 1.53 9/207 13119 /proc/meminfo: memFree=27927028/32770624 swapFree=67108436/67108860 [pid=13002] ppid=12999 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13002/stat : 13002 (xcsp3-exec) S 12999 13002 12605 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89231010 115843072 363 33554432000 4194304 5098028 140736286850960 140736286849064 140017269080700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24629248 140736286856247 140736286856448 140736286856448 140736286859210 0 /proc/13002/statm: 28282 363 305 221 0 87 0 [pid=13004] ppid=13002 vsize=26646120 memory=221232 CPUtime=48.08 cores=0-7 /proc/13004/stat : 13004 (java) S 13002 13002 12605 0 -1 1077944320 29543 0 0 0 4790 18 0 0 20 0 28 0 89231010 27285626880 55308 33554432000 4194304 4196468 140735660846848 140735660829392 140709802442487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 /proc/13004/statm: 6661530 55308 3413 1 0 6622724 0 [pid=13004/tid=13005] ppid=13002 vsize=26646120 memory=8064 CPUtime=0.65 cores=0-7 /proc/13004/task/13005/stat : 13005 (java) S 13002 13002 12605 0 -1 1077944384 6854 0 0 0 62 3 0 0 20 0 28 0 89231010 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709806683264 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13006] ppid=13002 vsize=26646120 memory=11648 CPUtime=0 cores=0-7 /proc/13004/task/13006/stat : 13006 (java) S 13002 13002 12605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709774285456 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13007] ppid=13002 vsize=26646120 memory=796 CPUtime=0 cores=0-7 /proc/13004/task/13007/stat : 13007 (java) S 13002 13002 12605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709359299088 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13008] ppid=13002 vsize=26646120 memory=1388 CPUtime=0 cores=0-7 /proc/13004/task/13008/stat : 13008 (java) S 13002 13002 12605 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709358246288 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13009] ppid=13002 vsize=26646120 memory=1136 CPUtime=0 cores=0-7 /proc/13004/task/13009/stat : 13009 (java) S 13002 13002 12605 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709357193488 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13010] ppid=13002 vsize=26646120 memory=33 CPUtime=0 cores=0-7 /proc/13004/task/13010/stat : 13010 (java) S 13002 13002 12605 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709356141712 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13011] ppid=13002 vsize=26646120 memory=545 CPUtime=0 cores=0-7 /proc/13004/task/13011/stat : 13011 (java) S 13002 13002 12605 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709355088912 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13012] ppid=13002 vsize=26646120 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/13004/task/13012/stat : 13012 (java) S 13002 13002 12605 0 -1 1077944384 794 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709354036112 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13013] ppid=13002 vsize=26646120 memory=-3284643825843719562 CPUtime=0 cores=0-7 /proc/13004/task/13013/stat : 13013 (java) S 13002 13002 12605 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709352983312 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13014] ppid=13002 vsize=26646120 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/13004/task/13014/stat : 13014 (java) S 13002 13002 12605 0 -1 1077944384 601 0 0 0 0 0 0 0 20 0 28 0 89231013 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709064083824 140709802453634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13015] ppid=13002 vsize=26646120 memory=7532 CPUtime=0 cores=0-7 /proc/13004/task/13015/stat : 13015 (java) S 13002 13002 12605 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 89231013 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709063029856 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13016] ppid=13002 vsize=26646120 memory=840 CPUtime=0 cores=0-7 /proc/13004/task/13016/stat : 13016 (java) S 13002 13002 12605 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 89231013 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709061976960 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13017] ppid=13002 vsize=26646120 memory=4104 CPUtime=0 cores=0-7 /proc/13004/task/13017/stat : 13017 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89231016 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709060925264 140709802461083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13018] ppid=13002 vsize=26646120 memory=1796 CPUtime=1.46 cores=0-7 /proc/13004/task/13018/stat : 13018 (java) S 13002 13002 12605 0 -1 1077944384 3927 0 0 0 145 1 0 0 20 0 28 0 89231016 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709059873648 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13019] ppid=13002 vsize=26646120 memory=916 CPUtime=1.5 cores=0-7 /proc/13004/task/13019/stat : 13019 (java) S 13002 13002 12605 0 -1 1077944384 4712 0 0 0 149 1 0 0 20 0 28 0 89231016 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709058820848 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13020] ppid=13002 vsize=26646120 memory=4392 CPUtime=1.59 cores=0-7 /proc/13004/task/13020/stat : 13020 (java) S 13002 13002 12605 0 -1 1077944384 3430 0 0 0 159 0 0 0 20 0 28 0 89231016 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709057768048 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13021] ppid=13002 vsize=26646120 memory=1408 CPUtime=0.67 cores=0-7 /proc/13004/task/13021/stat : 13021 (java) S 13002 13002 12605 0 -1 1077944384 3843 0 0 0 66 1 0 0 20 0 28 0 89231016 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709056715248 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13022] ppid=13002 vsize=26646120 memory=2632 CPUtime=0 cores=0-7 /proc/13004/task/13022/stat : 13022 (java) S 13002 13002 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89231016 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709055662688 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13023] ppid=13002 vsize=26646120 memory=1452 CPUtime=0 cores=0-7 /proc/13004/task/13023/stat : 13023 (java) S 13002 13002 12605 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 28 0 89231016 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709054609968 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13112] ppid=13002 vsize=26646120 memory=210788 CPUtime=4.4 cores=0-7 /proc/13004/task/13112/stat : 13112 (java) R 13002 13002 12605 0 -1 4202560 123 0 0 0 440 0 0 0 20 0 28 0 89231216 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709043718920 140709444510829 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13113] ppid=13002 vsize=26646120 memory=6791534058613427641 CPUtime=4.39 cores=0-7 /proc/13004/task/13113/stat : 13113 (java) R 13002 13002 12605 0 -1 4202560 115 0 0 0 439 0 0 0 20 0 28 0 89231216 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709045825272 140709444339669 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13114] ppid=13002 vsize=26646120 memory=-7003737579269690708 CPUtime=4.47 cores=0-7 /proc/13004/task/13114/stat : 13114 (java) R 13002 13002 12605 0 -1 4202560 125 0 0 0 447 0 0 0 20 0 28 0 89231216 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709038458104 140709443927986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13115] ppid=13002 vsize=26646120 memory=0 CPUtime=4.34 cores=0-7 /proc/13004/task/13115/stat : 13115 (java) R 13002 13002 12605 0 -1 4202560 484 0 0 0 434 0 0 0 20 0 28 0 89231216 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709042667888 140709444510829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13116] ppid=13002 vsize=26646120 memory=0 CPUtime=4.43 cores=0-7 /proc/13004/task/13116/stat : 13116 (java) R 13002 13002 12605 0 -1 4202560 140 0 0 0 443 0 0 0 20 0 28 0 89231216 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709037404968 140709443458075 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13117] ppid=13002 vsize=26646120 memory=0 CPUtime=4.26 cores=0-7 /proc/13004/task/13117/stat : 13117 (java) R 13002 13002 12605 0 -1 4202560 95 0 0 0 425 1 0 0 20 0 28 0 89231216 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709044773024 140709443457388 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13118] ppid=13002 vsize=26646120 memory=281018770657264 CPUtime=4.26 cores=0-7 /proc/13004/task/13118/stat : 13118 (java) R 13002 13002 12605 0 -1 4202560 441 0 0 0 426 0 0 0 20 0 28 0 89231217 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709041617096 140709443928215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13119] ppid=13002 vsize=26646120 memory=-7520553413224789184 CPUtime=4.37 cores=0-7 /proc/13004/task/13119/stat : 13119 (java) R 13002 13002 12605 0 -1 4202560 101 0 0 0 437 0 0 0 20 0 28 0 89231218 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709039509152 140709443925041 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 Current children cumulated CPU time: 48.08 s Current children cumulated vsize: 26759248 KiB Current children cumulated memory: 222684 KiB [startup+6.70116 s] /proc/loadavg: 1.58 1.12 1.53 9/207 13119 /proc/meminfo: memFree=27927028/32770624 swapFree=67108436/67108860 [pid=13002] ppid=12999 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13002/stat : 13002 (xcsp3-exec) S 12999 13002 12605 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89231010 115843072 363 33554432000 4194304 5098028 140736286850960 140736286849064 140017269080700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24629248 140736286856247 140736286856448 140736286856448 140736286859210 0 /proc/13002/statm: 28282 363 305 221 0 87 0 [pid=13004] ppid=13002 vsize=26646120 memory=221232 CPUtime=48.84 cores=0-7 /proc/13004/stat : 13004 (java) S 13002 13002 12605 0 -1 1077944320 29545 0 0 0 4866 18 0 0 20 0 28 0 89231010 27285626880 55308 33554432000 4194304 4196468 140735660846848 140735660829392 140709802442487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 /proc/13004/statm: 6661530 55308 3413 1 0 6622724 0 [pid=13004/tid=13005] ppid=13002 vsize=26646120 memory=281018770956912 CPUtime=0.65 cores=0-7 /proc/13004/task/13005/stat : 13005 (java) S 13002 13002 12605 0 -1 1077944384 6854 0 0 0 62 3 0 0 20 0 28 0 89231010 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709806683264 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13006] ppid=13002 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13006/stat : 13006 (java) S 13002 13002 12605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709774285456 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13007] ppid=13002 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13007/stat : 13007 (java) S 13002 13002 12605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709359299088 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13008] ppid=13002 vsize=26646120 memory=56 CPUtime=0 cores=0-7 /proc/13004/task/13008/stat : 13008 (java) S 13002 13002 12605 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709358246288 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13009] ppid=13002 vsize=26646120 memory=11722 CPUtime=0 cores=0-7 /proc/13004/task/13009/stat : 13009 (java) S 13002 13002 12605 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709357193488 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13010] ppid=13002 vsize=26646120 memory=24392 CPUtime=0 cores=0-7 /proc/13004/task/13010/stat : 13010 (java) S 13002 13002 12605 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709356141712 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13011] ppid=13002 vsize=26646120 memory=221176 CPUtime=0 cores=0-7 /proc/13004/task/13011/stat : 13011 (java) S 13002 13002 12605 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709355088912 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13012] ppid=13002 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13012/stat : 13012 (java) S 13002 13002 12605 0 -1 1077944384 794 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709354036112 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13013] ppid=13002 vsize=26646120 memory=1452 CPUtime=0 cores=0-7 /proc/13004/task/13013/stat : 13013 (java) S 13002 13002 12605 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 28 0 89231011 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709352983312 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13014] ppid=13002 vsize=26646120 memory=221176 CPUtime=0 cores=0-7 /proc/13004/task/13014/stat : 13014 (java) S 13002 13002 12605 0 -1 1077944384 601 0 0 0 0 0 0 0 20 0 28 0 89231013 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709064083824 140709802453634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13015] ppid=13002 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13015/stat : 13015 (java) S 13002 13002 12605 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 89231013 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709063029856 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13016] ppid=13002 vsize=26646120 memory=-7025452035940392864 CPUtime=0 cores=0-7 /proc/13004/task/13016/stat : 13016 (java) S 13002 13002 12605 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 89231013 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709061976960 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13017] ppid=13002 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13017/stat : 13017 (java) S 13002 13002 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89231016 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709060925264 140709802461083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13018] ppid=13002 vsize=26646120 memory=0 CPUtime=1.46 cores=0-7 /proc/13004/task/13018/stat : 13018 (java) S 13002 13002 12605 0 -1 1077944384 3927 0 0 0 145 1 0 0 20 0 28 0 89231016 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709059873648 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13019] ppid=13002 vsize=26646120 memory=0 CPUtime=1.5 cores=0-7 /proc/13004/task/13019/stat : 13019 (java) S 13002 13002 12605 0 -1 1077944384 4712 0 0 0 149 1 0 0 20 0 28 0 89231016 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709058820848 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13020] ppid=13002 vsize=26646120 memory=0 CPUtime=1.59 cores=0-7 /proc/13004/task/13020/stat : 13020 (java) S 13002 13002 12605 0 -1 1077944384 3430 0 0 0 159 0 0 0 20 0 28 0 89231016 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709057768048 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13021] ppid=13002 vsize=26646120 memory=0 CPUtime=0.67 cores=0-7 /proc/13004/task/13021/stat : 13021 (java) S 13002 13002 12605 0 -1 1077944384 3845 0 0 0 66 1 0 0 20 0 28 0 89231016 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709056715248 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13022] ppid=13002 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13022/stat : 13022 (java) S 13002 13002 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89231016 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709055662688 140709802452693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13023] ppid=13002 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/13004/task/13023/stat : 13023 (java) S 13002 13002 12605 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 28 0 89231016 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709054609968 140709802453634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13112] ppid=13002 vsize=26646120 memory=1452 CPUtime=4.49 cores=0-7 /proc/13004/task/13112/stat : 13112 (java) R 13002 13002 12605 0 -1 4202560 123 0 0 0 449 0 0 0 20 0 28 0 89231216 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709043718920 140709443925341 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13113] ppid=13002 vsize=26646120 memory=202220 CPUtime=4.48 cores=0-7 /proc/13004/task/13113/stat : 13113 (java) R 13002 13002 12605 0 -1 4202560 115 0 0 0 448 0 0 0 20 0 28 0 89231216 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709045825272 140709443171088 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13114] ppid=13002 vsize=26646120 memory=196348724929952 CPUtime=4.56 cores=0-7 /proc/13004/task/13114/stat : 13114 (java) R 13002 13002 12605 0 -1 4202560 125 0 0 0 456 0 0 0 20 0 28 0 89231216 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709038458104 140709443458108 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13115] ppid=13002 vsize=26646120 memory=1452 CPUtime=4.44 cores=0-7 /proc/13004/task/13115/stat : 13115 (java) R 13002 13002 12605 0 -1 4202560 484 0 0 0 444 0 0 0 20 0 28 0 89231216 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709042667888 140709443171130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13116] ppid=13002 vsize=26646120 memory=221104 CPUtime=4.53 cores=0-7 /proc/13004/task/13116/stat : 13116 (java) R 13002 13002 12605 0 -1 4202560 140 0 0 0 453 0 0 0 20 0 28 0 89231216 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709037404968 140709443926919 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13117] ppid=13002 vsize=26646120 memory=4294969568 CPUtime=4.36 cores=0-7 /proc/13004/task/13117/stat : 13117 (java) R 13002 13002 12605 0 -1 4202560 95 0 0 0 435 1 0 0 20 0 28 0 89231216 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709044773024 140709443925024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13118] ppid=13002 vsize=26646120 memory=2244 CPUtime=4.36 cores=0-7 /proc/13004/task/13118/stat : 13118 (java) R 13002 13002 12605 0 -1 4202560 441 0 0 0 436 0 0 0 20 0 28 0 89231217 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709041617288 140709444510829 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 [pid=13004/tid=13119] ppid=13002 vsize=26646120 memory=7013915959583794284 CPUtime=4.46 cores=0-7 /proc/13004/task/13119/stat : 13119 (java) R 13002 13002 12605 0 -1 4202560 101 0 0 0 446 0 0 0 20 0 28 0 89231218 27285626880 55308 33554432000 4194304 4196468 140735660846848 140709039509152 140709443170712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17391616 140735660848257 140735660848429 140735660848429 140735660851151 0 Current children cumulated CPU time: 48.84 s Current children cumulated vsize: 26759248 KiB Current children cumulated memory: 222684 KiB Child status: 0 Real time (s): 6.77201 CPU time (s): 49.3217 CPU user time (s): 49.1235 CPU system time (s): 0.198249 CPU usage (%): 728.318 Max. virtual memory (cumulated for all children) (KiB): 26759248 Max. memory (cumulated for all children) (KiB): 222684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 49.1235 system time used= 0.198249 maximum resident set size= 221416 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30420 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4988 involuntary context switches= 1173 # summary of solver processes directly reported to runsolver: # pid: 13002 # total CPU time (s): 49.3217 # total CPU user time (s): 49.1235 # total CPU system time (s): 0.198249 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.071886 second user time and 0.115748 second system time The end
Begin job on node137 at 2018-07-27 20:37:58 IDJOB=4297457 IDBENCH=141365 IDSOLVER=2760 FILE ID=node137/4297457-1532716678 RUNJOBID= node137-1532714138-12632 PBS_JOBID= 21022323 Free space on /tmp= 48160 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-nodv-10_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297457-1532716678/watcher-4297457-1532716678 -o /tmp/evaluation-result-4297457-1532716678/solver-4297457-1532716678 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532714138-12632 --watchdog 2580 HOME/xcsp3-exec -seed 70040196 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297457-1532716678.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 769ec0f26c47f1b96bb609b2e4d8d5d6 RANDOM SEED=70040196 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28136956 kB MemAvailable: 31930092 kB Buffers: 155312 kB Cached: 3871940 kB SwapCached: 32 kB Active: 1795516 kB Inactive: 2289044 kB Active(anon): 4268 kB Inactive(anon): 80068 kB Active(file): 1791248 kB Inactive(file): 2208976 kB Unevictable: 7424 kB Mlocked: 7424 kB SwapTotal: 67108860 kB SwapFree: 67108436 kB Dirty: 21924 kB Writeback: 0 kB AnonPages: 63368 kB Mapped: 39888 kB Shmem: 25052 kB Slab: 244636 kB SReclaimable: 217496 kB SUnreclaim: 27140 kB KernelStack: 3232 kB PageTables: 4876 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324552 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 48136 MiB End job on node137 at 2018-07-27 20:38:05