Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | OPT | 46 | 769.111 | 97.8814 |
Name | SumColoring/ SumColoring-myciel5_c18.xml |
MD5SUM | 129cb36d1c9243226923c7f46c8f3d2b |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 46 |
Best CPU time to get the best result obtained on this benchmark | 769.111 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 47 |
Number of constraints | 236 |
Number of domains | 1 |
Minimum domain size | 47 |
Maximum domain size | 47 |
Distribution of domain sizes | [{"size":47,"count":47}] |
Minimum variable degree | 6 |
Maximum variable degree | 24 |
Distribution of variable degrees | [{"degree":6,"count":5},{"degree":7,"count":5},{"degree":8,"count":6},{"degree":9,"count":5},{"degree":10,"count":5},{"degree":11,"count":5},{"degree":12,"count":1},{"degree":13,"count":7},{"degree":17,"count":5},{"degree":21,"count":1},{"degree":23,"count":1},{"degree":24,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":236}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 236 |
Distribution of constraint types | [{"type":"intension","count":236}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297591-1532708385.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297591-1532708385.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.97/0.83 c solve instance... 1.97/0.86 o 57 4.13/1.19 o 54 4.83/1.23 o 53 4.83/1.26 o 52 4.83/1.26 o 51 12.69/2.29 o 50 13.76/2.52 o 49 13.76/2.52 o 48 13.76/2.54 o 47 69.24/9.59 o 46 768.55/97.87 s OPTIMUM FOUND 768.55/97.87 v <instantiation> 768.55/97.87 v <list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] </list> 768.55/97.87 v <values>3 4 5 4 3 2 2 2 2 2 3 1 1 1 1 1 1 1 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 </values> 768.55/97.87 v </instantiation>
OK 46
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 (8457 MiB free) memory of node 1: 16384 MiB (11552 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297591-1532708385/watcher-4297591-1532708385 -o /tmp/evaluation-result-4297591-1532708385/solver-4297591-1532708385 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532708384-2485 --watchdog 2580 HOME/xcsp3-exec -seed 1486634566 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297591-1532708385.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=2621, runsolver pid=2618 [startup+0.100142 s]* /proc/loadavg: 7.63 8.20 7.50 3/199 2642 /proc/meminfo: memFree=20475088/32770624 swapFree=67108860/67108860 [pid=2621] ppid=2618 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2621/stat : 2621 (xcsp3-exec) S 2618 2621 2458 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88401711 115843072 363 33554432000 4194304 5098028 140726177754096 140726177752200 139982995612284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37756928 140726177760309 140726177760512 140726177760512 140726177763274 0 /proc/2621/statm: 28282 363 306 221 0 87 0 [pid=2623] ppid=2621 vsize=26104152 memory=26792 CPUtime=0.11 cores=0-7 /proc/2623/stat : 2623 (java) S 2621 2621 2458 0 -1 1077944320 5637 0 0 0 10 1 0 0 20 0 20 0 88401711 26730651648 6698 33554432000 4194304 4196468 140736585415408 140736585397952 140340558507767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 /proc/2623/statm: 6526038 6698 2997 1 0 6488315 0 [pid=2623/tid=2624] ppid=2621 vsize=26104152 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/2623/task/2624/stat : 2624 (java) R 2621 2621 2458 0 -1 4202560 3656 0 0 0 8 0 0 0 20 0 20 0 88401712 26730651648 6698 33554432000 4194304 4196468 140736585415408 140340562734016 140340153684277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2625] ppid=2621 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/2623/task/2625/stat : 2625 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 6698 33554432000 4194304 4196468 140736585415408 140340481087760 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2626] ppid=2621 vsize=26104152 memory=139960126928512 CPUtime=0 cores=0-7 /proc/2623/task/2626/stat : 2626 (java) S 2621 2621 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 6698 33554432000 4194304 4196468 140736585415408 140340480035216 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2627] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2627/stat : 2627 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 6698 33554432000 4194304 4196468 140736585415408 140340478982672 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2628] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2628/stat : 2628 (java) S 2621 2621 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 6698 33554432000 4194304 4196468 140736585415408 140340477930128 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2629] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2629/stat : 2629 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 6698 33554432000 4194304 4196468 140736585415408 140340476877584 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2630] ppid=2621 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/2623/task/2630/stat : 2630 (java) S 2621 2621 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 6698 33554432000 4194304 4196468 140736585415408 140340475825040 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2631] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2631/stat : 2631 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 6698 33554432000 4194304 4196468 140736585415408 140340474772496 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2632] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2632/stat : 2632 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 6698 33554432000 4194304 4196468 140736585415408 140340473719952 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2633] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2633/stat : 2633 (java) S 2621 2621 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88401714 26730651648 6698 33554432000 4194304 4196468 140736585415408 140339954333680 140340558518914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2634] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2634/stat : 2634 (java) S 2621 2621 2458 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88401714 26730651648 6698 33554432000 4194304 4196468 140736585415408 140339953279904 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2635] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2635/stat : 2635 (java) S 2621 2621 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88401715 26730651648 6698 33554432000 4194304 4196468 140736585415408 140339952227312 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2636] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2636/stat : 2636 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401717 26730651648 6698 33554432000 4194304 4196468 140736585415408 140339951175888 140340558526363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2637] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2637/stat : 2637 (java) S 2621 2621 2458 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 88401717 26730651648 6698 33554432000 4194304 4196468 140736585415408 140339950123504 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2638] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2638/stat : 2638 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401717 26730651648 6698 33554432000 4194304 4196468 140736585415408 140339949070960 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2639] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2639/stat : 2639 (java) S 2621 2621 2458 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 88401717 26730651648 6698 33554432000 4194304 4196468 140736585415408 140339948018416 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2640] ppid=2621 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/2623/task/2640/stat : 2640 (java) R 2621 2621 2458 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 88401717 26730651648 6698 33554432000 4194304 4196468 140736585415408 140339946966000 140340543673312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2641] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2641/stat : 2641 (java) S 2621 2621 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88401717 26730651648 6698 33554432000 4194304 4196468 140736585415408 140339945912544 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2642] ppid=2621 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/2623/task/2642/stat : 2642 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401718 26730651648 6698 33554432000 4194304 4196468 140736585415408 140339944860080 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28244 KiB [startup+0.210533 s]* /proc/loadavg: 7.63 8.20 7.50 3/199 2642 /proc/meminfo: memFree=20462932/32770624 swapFree=67108860/67108860 [pid=2621] ppid=2618 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2621/stat : 2621 (xcsp3-exec) S 2618 2621 2458 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88401711 115843072 363 33554432000 4194304 5098028 140726177754096 140726177752200 139982995612284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37756928 140726177760309 140726177760512 140726177760512 140726177763274 0 /proc/2621/statm: 28282 363 306 221 0 87 0 [pid=2623] ppid=2621 vsize=26104152 memory=39720 CPUtime=0.33 cores=0-7 /proc/2623/stat : 2623 (java) S 2621 2621 2458 0 -1 1077944320 8503 0 0 0 31 2 0 0 20 0 20 0 88401711 26730651648 9930 33554432000 4194304 4196468 140736585415408 140736585397952 140340558507767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 /proc/2623/statm: 6526038 9930 3202 1 0 6488315 0 [pid=2623/tid=2624] ppid=2621 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/2623/task/2624/stat : 2624 (java) R 2621 2621 2458 0 -1 4202560 5562 0 0 0 18 1 0 0 20 0 20 0 88401712 26730651648 9930 33554432000 4194304 4196468 140736585415408 140340562739200 140340542588254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2625] ppid=2621 vsize=26104152 memory=330 CPUtime=0 cores=0-7 /proc/2623/task/2625/stat : 2625 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 9930 33554432000 4194304 4196468 140736585415408 140340481087760 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2626] ppid=2621 vsize=26104152 memory=139960126947511 CPUtime=0 cores=0-7 /proc/2623/task/2626/stat : 2626 (java) S 2621 2621 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 9930 33554432000 4194304 4196468 140736585415408 140340480035216 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2627] ppid=2621 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/2623/task/2627/stat : 2627 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 9930 33554432000 4194304 4196468 140736585415408 140340478982672 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2628] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2628/stat : 2628 (java) S 2621 2621 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 9930 33554432000 4194304 4196468 140736585415408 140340477930128 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2629] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2629/stat : 2629 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 9930 33554432000 4194304 4196468 140736585415408 140340476877584 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2630] ppid=2621 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/2623/task/2630/stat : 2630 (java) S 2621 2621 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 9930 33554432000 4194304 4196468 140736585415408 140340475825040 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2631] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2631/stat : 2631 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 9930 33554432000 4194304 4196468 140736585415408 140340474772496 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2632] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2632/stat : 2632 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26730651648 9930 33554432000 4194304 4196468 140736585415408 140340473719952 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2633] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2633/stat : 2633 (java) S 2621 2621 2458 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 88401714 26730651648 9930 33554432000 4194304 4196468 140736585415408 140339954333680 140340558518914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2634] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2634/stat : 2634 (java) S 2621 2621 2458 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88401714 26730651648 9930 33554432000 4194304 4196468 140736585415408 140339953279904 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2635] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2635/stat : 2635 (java) S 2621 2621 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88401715 26730651648 9930 33554432000 4194304 4196468 140736585415408 140339952227312 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2636] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2636/stat : 2636 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401717 26730651648 9930 33554432000 4194304 4196468 140736585415408 140339951175888 140340558526363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2637] ppid=2621 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/2623/task/2637/stat : 2637 (java) S 2621 2621 2458 0 -1 1077944384 576 0 0 0 1 0 0 0 20 0 20 0 88401717 26730651648 9930 33554432000 4194304 4196468 140736585415408 140339950123504 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2638] ppid=2621 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/2623/task/2638/stat : 2638 (java) S 2621 2621 2458 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 20 0 88401717 26730651648 9930 33554432000 4194304 4196468 140736585415408 140339949070960 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2639] ppid=2621 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/2623/task/2639/stat : 2639 (java) S 2621 2621 2458 0 -1 1077944384 219 0 0 0 1 0 0 0 20 0 20 0 88401717 26730651648 9930 33554432000 4194304 4196468 140736585415408 140339948018416 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2640] ppid=2621 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7 /proc/2623/task/2640/stat : 2640 (java) S 2621 2621 2458 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 20 0 88401717 26730651648 9930 33554432000 4194304 4196468 140736585415408 140339946965872 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2641] ppid=2621 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2641/stat : 2641 (java) S 2621 2621 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88401717 26730651648 9930 33554432000 4194304 4196468 140736585415408 140339945912544 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2642] ppid=2621 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/2623/task/2642/stat : 2642 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401718 26730651648 9930 33554432000 4194304 4196468 140736585415408 140339944860080 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41172 KiB [startup+0.310516 s]* /proc/loadavg: 7.63 8.20 7.50 4/199 2642 /proc/meminfo: memFree=20456852/32770624 swapFree=67108860/67108860 [pid=2621] ppid=2618 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2621/stat : 2621 (xcsp3-exec) S 2618 2621 2458 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88401711 115843072 363 33554432000 4194304 5098028 140726177754096 140726177752200 139982995612284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37756928 140726177760309 140726177760512 140726177760512 140726177763274 0 /proc/2621/statm: 28282 363 306 221 0 87 0 [pid=2623] ppid=2621 vsize=26108408 memory=46608 CPUtime=0.5 cores=0-7 /proc/2623/stat : 2623 (java) S 2621 2621 2458 0 -1 1077944320 9381 0 0 0 48 2 0 0 20 0 20 0 88401711 26735009792 11652 33554432000 4194304 4196468 140736585415408 140736585397952 140340558507767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 /proc/2623/statm: 6527102 11652 3252 1 0 6488315 0 [pid=2623/tid=2624] ppid=2621 vsize=26108408 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/2623/task/2624/stat : 2624 (java) R 2621 2621 2458 0 -1 4202560 6268 0 0 0 28 1 0 0 20 0 20 0 88401712 26735009792 11652 33554432000 4194304 4196468 140736585415408 140340562744928 140340542588254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2625] ppid=2621 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2625/stat : 2625 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26735009792 11652 33554432000 4194304 4196468 140736585415408 140340481087760 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2626] ppid=2621 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2626/stat : 2626 (java) S 2621 2621 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88401712 26735009792 11652 33554432000 4194304 4196468 140736585415408 140340480035216 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2627] ppid=2621 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2627/stat : 2627 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26735009792 11652 33554432000 4194304 4196468 140736585415408 140340478982672 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2628] ppid=2621 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2628/stat : 2628 (java) S 2621 2621 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88401712 26735009792 11652 33554432000 4194304 4196468 140736585415408 140340477930128 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2629] ppid=2621 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/2623/task/2629/stat : 2629 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26735009792 11652 33554432000 4194304 4196468 140736585415408 140340476877584 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2630] ppid=2621 vsize=26108408 memory=139959965152175 CPUtime=0 cores=0-7 /proc/2623/task/2630/stat : 2630 (java) S 2621 2621 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88401712 26735009792 11652 33554432000 4194304 4196468 140736585415408 140340475825040 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2631] ppid=2621 vsize=26108408 memory=139959965154480 CPUtime=0 cores=0-7 /proc/2623/task/2631/stat : 2631 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26735009792 11652 33554432000 4194304 4196468 140736585415408 140340474772496 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2632] ppid=2621 vsize=26108408 memory=139959965156784 CPUtime=0 cores=0-7 /proc/2623/task/2632/stat : 2632 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26735009792 11652 33554432000 4194304 4196468 140736585415408 140340473719952 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2633] ppid=2621 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2633/stat : 2633 (java) S 2621 2621 2458 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 88401714 26735009792 11652 33554432000 4194304 4196468 140736585415408 140339954333680 140340558518914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2634] ppid=2621 vsize=26108408 memory=279919930320528 CPUtime=0 cores=0-7 /proc/2623/task/2634/stat : 2634 (java) S 2621 2621 2458 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88401714 26735009792 11652 33554432000 4194304 4196468 140736585415408 140339953279904 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2635] ppid=2621 vsize=26108408 memory=279919930327440 CPUtime=0 cores=0-7 /proc/2623/task/2635/stat : 2635 (java) S 2621 2621 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88401715 26735009792 11652 33554432000 4194304 4196468 140736585415408 140339952227312 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2636] ppid=2621 vsize=26108408 memory=279919930268720 CPUtime=0 cores=0-7 /proc/2623/task/2636/stat : 2636 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401717 26735009792 11652 33554432000 4194304 4196468 140736585415408 140339951175888 140340558526363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2637] ppid=2621 vsize=26108408 memory=279919930341264 CPUtime=0.02 cores=0-7 /proc/2623/task/2637/stat : 2637 (java) S 2621 2621 2458 0 -1 1077944384 585 0 0 0 2 0 0 0 20 0 20 0 88401717 26735009792 11652 33554432000 4194304 4196468 140736585415408 140339950123504 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2638] ppid=2621 vsize=26108408 memory=279919930348176 CPUtime=0.02 cores=0-7 /proc/2623/task/2638/stat : 2638 (java) S 2621 2621 2458 0 -1 1077944384 90 0 0 0 2 0 0 0 20 0 20 0 88401717 26735009792 11652 33554432000 4194304 4196468 140736585415408 140339949070960 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2639] ppid=2621 vsize=26108408 memory=279919930345872 CPUtime=0.03 cores=0-7 /proc/2623/task/2639/stat : 2639 (java) R 2621 2621 2458 0 -1 4202560 297 0 0 0 3 0 0 0 20 0 20 0 88401717 26735009792 11652 33554432000 4194304 4196468 140736585415408 140339948008800 140340536072528 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2640] ppid=2621 vsize=26108408 memory=279919930362032 CPUtime=0.12 cores=0-7 /proc/2623/task/2640/stat : 2640 (java) S 2621 2621 2458 0 -1 1077944384 854 0 0 0 12 0 0 0 20 0 20 0 88401717 26735009792 11652 33554432000 4194304 4196468 140736585415408 140339946965872 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2641] ppid=2621 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2641/stat : 2641 (java) S 2621 2621 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88401717 26735009792 11652 33554432000 4194304 4196468 140736585415408 140339945912544 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2642] ppid=2621 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/2623/task/2642/stat : 2642 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401718 26735009792 11652 33554432000 4194304 4196468 140736585415408 140339944860080 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48060 KiB [startup+0.700989 s] /proc/loadavg: 7.63 8.20 7.50 5/199 2642 /proc/meminfo: memFree=20439180/32770624 swapFree=67108860/67108860 [pid=2621] ppid=2618 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2621/stat : 2621 (xcsp3-exec) S 2618 2621 2458 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88401711 115843072 363 33554432000 4194304 5098028 140726177754096 140726177752200 139982995612284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37756928 140726177760309 140726177760512 140726177760512 140726177763274 0 /proc/2621/statm: 28282 363 306 221 0 87 0 [pid=2623] ppid=2621 vsize=26110532 memory=84044 CPUtime=1.59 cores=0-7 /proc/2623/stat : 2623 (java) S 2621 2621 2458 0 -1 1077944320 13185 0 0 0 154 5 0 0 20 0 20 0 88401711 26737184768 21011 33554432000 4194304 4196468 140736585415408 140736585397952 140340558507767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 /proc/2623/statm: 6527633 21011 3357 1 0 6488827 0 [pid=2623/tid=2624] ppid=2621 vsize=26110532 memory=279919930719920 CPUtime=0.67 cores=0-7 /proc/2623/task/2624/stat : 2624 (java) R 2621 2621 2458 0 -1 4202560 7170 0 0 0 64 3 0 0 20 0 20 0 88401712 26737184768 21011 33554432000 4194304 4196468 140736585415408 140340562745328 140340157034531 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2625] ppid=2621 vsize=26110532 memory=139959965361008 CPUtime=0 cores=0-7 /proc/2623/task/2625/stat : 2625 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26737184768 21011 33554432000 4194304 4196468 140736585415408 140340481087760 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2626] ppid=2621 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/2623/task/2626/stat : 2626 (java) S 2621 2621 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88401712 26737184768 21011 33554432000 4194304 4196468 140736585415408 140340480035216 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2627] ppid=2621 vsize=26110532 memory=8540 CPUtime=0 cores=0-7 /proc/2623/task/2627/stat : 2627 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88401712 26737184768 21011 33554432000 4194304 4196468 140736585415408 140340478982672 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 ################ # More data... # ################ [pid=2623/tid=2640] ppid=2621 vsize=26646120 memory=1012 CPUtime=0.77 cores=0-7 /proc/2623/task/2640/stat : 2640 (java) S 2621 2621 2458 0 -1 1077944384 6472 0 0 0 76 1 0 0 20 0 28 0 88401717 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339946965872 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2641] ppid=2621 vsize=26646120 memory=1228 CPUtime=0 cores=0-7 /proc/2623/task/2641/stat : 2641 (java) S 2621 2621 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88401717 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339945912544 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2642] ppid=2621 vsize=26646120 memory=290800 CPUtime=0.02 cores=0-7 /proc/2623/task/2642/stat : 2642 (java) S 2621 2621 2458 0 -1 1077944384 1936 0 0 0 0 2 0 0 20 0 28 0 88401718 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339944860080 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2724] ppid=2621 vsize=26646120 memory=290800 CPUtime=86.35 cores=0-7 /proc/2623/task/2724/stat : 2724 (java) R 2621 2621 2458 0 -1 4202560 679 0 0 0 8635 0 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339867273808 140340160123029 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2725] ppid=2621 vsize=26646120 memory=844 CPUtime=86.22 cores=0-7 /proc/2623/task/2725/stat : 2725 (java) R 2621 2621 2458 0 -1 4202560 611 0 0 0 8622 0 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339857805896 140340159811085 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2726] ppid=2621 vsize=26646120 memory=1692 CPUtime=85.97 cores=0-7 /proc/2623/task/2726/stat : 2726 (java) R 2621 2621 2458 0 -1 4202560 2140 0 0 0 8596 1 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339860959328 140340160226002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2727] ppid=2621 vsize=26646120 memory=916 CPUtime=85.64 cores=0-7 /proc/2623/task/2727/stat : 2727 (java) R 2621 2621 2458 0 -1 4202560 2524 0 0 0 8562 2 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339865168896 140340162516939 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2728] ppid=2621 vsize=26646120 memory=4116 CPUtime=85.62 cores=0-7 /proc/2623/task/2728/stat : 2728 (java) R 2621 2621 2458 0 -1 4202560 1900 0 0 0 8561 1 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339864113312 140340160125753 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2729] ppid=2621 vsize=26646120 memory=1408 CPUtime=85.99 cores=0-7 /proc/2623/task/2729/stat : 2729 (java) R 2621 2621 2458 0 -1 4202560 590 0 0 0 8599 0 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339866222832 140340159810622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2730] ppid=2621 vsize=26646120 memory=3428 CPUtime=86.39 cores=0-7 /proc/2623/task/2730/stat : 2730 (java) R 2621 2621 2458 0 -1 4202560 575 0 0 0 8639 0 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339862011408 140340159416671 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2731] ppid=2621 vsize=26646120 memory=1452 CPUtime=85.72 cores=0-7 /proc/2623/task/2731/stat : 2731 (java) R 2621 2621 2458 0 -1 4202560 1790 0 0 0 8571 1 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339868323104 140340159417275 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 Current children cumulated CPU time: 760.65 s Current children cumulated vsize: 26759248 KiB Current children cumulated memory: 292252 KiB [startup+97.6017 s] /proc/loadavg: 8.02 8.18 7.57 9/207 2738 /proc/meminfo: memFree=20218384/32770624 swapFree=67108860/67108860 [pid=2621] ppid=2618 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2621/stat : 2621 (xcsp3-exec) S 2618 2621 2458 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88401711 115843072 363 33554432000 4194304 5098028 140726177754096 140726177752200 139982995612284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37756928 140726177760309 140726177760512 140726177760512 140726177763274 0 /proc/2621/statm: 28282 363 306 221 0 87 0 [pid=2623] ppid=2621 vsize=26646120 memory=290800 CPUtime=766.95 cores=0-7 /proc/2623/stat : 2623 (java) S 2621 2621 2458 0 -1 1077944320 81620 0 0 0 76624 71 0 0 20 0 28 0 88401711 27285626880 72700 33554432000 4194304 4196468 140736585415408 140736585397952 140340558507767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 /proc/2623/statm: 6661530 72700 3427 1 0 6622724 0 [pid=2623/tid=2624] ppid=2621 vsize=26646120 memory=2420 CPUtime=0.81 cores=0-7 /proc/2623/task/2624/stat : 2624 (java) S 2621 2621 2458 0 -1 1077944384 7425 0 0 0 78 3 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340562748544 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2625] ppid=2621 vsize=26646120 memory=1452 CPUtime=0.2 cores=0-7 /proc/2623/task/2625/stat : 2625 (java) S 2621 2621 2458 0 -1 1077944384 409 0 0 0 15 5 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340481087760 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2626] ppid=2621 vsize=26646120 memory=75746 CPUtime=0.2 cores=0-7 /proc/2623/task/2626/stat : 2626 (java) S 2621 2621 2458 0 -1 1077944384 627 0 0 0 14 6 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340480035216 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2627] ppid=2621 vsize=26646120 memory=81 CPUtime=0.2 cores=0-7 /proc/2623/task/2627/stat : 2627 (java) S 2621 2621 2458 0 -1 1077944384 1334 0 0 0 15 5 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340478982672 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2628] ppid=2621 vsize=26646120 memory=20 CPUtime=0.21 cores=0-7 /proc/2623/task/2628/stat : 2628 (java) S 2621 2621 2458 0 -1 1077944384 1177 0 0 0 15 6 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340477930128 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2629] ppid=2621 vsize=26646120 memory=20 CPUtime=0.2 cores=0-7 /proc/2623/task/2629/stat : 2629 (java) S 2621 2621 2458 0 -1 1077944384 1317 0 0 0 15 5 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340476877584 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2630] ppid=2621 vsize=26646120 memory=19 CPUtime=0.21 cores=0-7 /proc/2623/task/2630/stat : 2630 (java) S 2621 2621 2458 0 -1 1077944384 1068 0 0 0 15 6 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340475825040 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2631] ppid=2621 vsize=26646120 memory=1452 CPUtime=0.22 cores=0-7 /proc/2623/task/2631/stat : 2631 (java) S 2621 2621 2458 0 -1 1077944384 2066 0 0 0 16 6 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340474772496 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2632] ppid=2621 vsize=26646120 memory=290800 CPUtime=0.21 cores=0-7 /proc/2623/task/2632/stat : 2632 (java) S 2621 2621 2458 0 -1 1077944384 803 0 0 0 16 5 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340473719952 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2633] ppid=2621 vsize=26646120 memory=1452 CPUtime=0.26 cores=0-7 /proc/2623/task/2633/stat : 2633 (java) S 2621 2621 2458 0 -1 1077944384 3421 0 0 0 24 2 0 0 20 0 28 0 88401714 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339954333680 140340558518914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2634] ppid=2621 vsize=26646120 memory=288752 CPUtime=0 cores=0-7 /proc/2623/task/2634/stat : 2634 (java) S 2621 2621 2458 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 88401714 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339953279968 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2635] ppid=2621 vsize=26646120 memory=1580 CPUtime=0 cores=0-7 /proc/2623/task/2635/stat : 2635 (java) S 2621 2621 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 88401715 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339952227312 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2636] ppid=2621 vsize=26646120 memory=2240 CPUtime=0 cores=0-7 /proc/2623/task/2636/stat : 2636 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88401717 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339951175888 140340558526363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2637] ppid=2621 vsize=26646120 memory=4128 CPUtime=2.56 cores=0-7 /proc/2623/task/2637/stat : 2637 (java) S 2621 2621 2458 0 -1 1077944384 16819 0 0 0 252 4 0 0 20 0 28 0 88401717 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339950123504 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2638] ppid=2621 vsize=26646120 memory=139964421895807 CPUtime=2.14 cores=0-7 /proc/2623/task/2638/stat : 2638 (java) S 2621 2621 2458 0 -1 1077944384 11756 0 0 0 212 2 0 0 20 0 28 0 88401717 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339949070960 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2639] ppid=2621 vsize=26646120 memory=6655300316396806240 CPUtime=2.21 cores=0-7 /proc/2623/task/2639/stat : 2639 (java) S 2621 2621 2458 0 -1 1077944384 8488 0 0 0 219 2 0 0 20 0 28 0 88401717 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339948018416 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2640] ppid=2621 vsize=26646120 memory=6944656592455359580 CPUtime=0.77 cores=0-7 /proc/2623/task/2640/stat : 2640 (java) S 2621 2621 2458 0 -1 1077944384 6472 0 0 0 76 1 0 0 20 0 28 0 88401717 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339946965872 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2641] ppid=2621 vsize=26646120 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/2623/task/2641/stat : 2641 (java) S 2621 2621 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88401717 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339945912544 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2642] ppid=2621 vsize=26646120 memory=0 CPUtime=0.02 cores=0-7 /proc/2623/task/2642/stat : 2642 (java) S 2621 2621 2458 0 -1 1077944384 1936 0 0 0 0 2 0 0 20 0 28 0 88401718 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339944860080 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2724] ppid=2621 vsize=26646120 memory=0 CPUtime=87.14 cores=0-7 /proc/2623/task/2724/stat : 2724 (java) R 2621 2621 2458 0 -1 4202560 681 0 0 0 8714 0 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339867270608 140340159811150 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2725] ppid=2621 vsize=26646120 memory=279915769797976 CPUtime=87.01 cores=0-7 /proc/2623/task/2725/stat : 2725 (java) R 2621 2621 2458 0 -1 4202560 611 0 0 0 8701 0 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339857809200 140340159810949 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2726] ppid=2621 vsize=26646120 memory=290800 CPUtime=86.76 cores=0-7 /proc/2623/task/2726/stat : 2726 (java) R 2621 2621 2458 0 -1 4202560 2141 0 0 0 8675 1 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339860959720 140340543717569 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2727] ppid=2621 vsize=26646120 memory=1408 CPUtime=86.42 cores=0-7 /proc/2623/task/2727/stat : 2727 (java) R 2621 2621 2458 0 -1 4202560 2525 0 0 0 8640 2 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339865169728 140340161354428 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2728] ppid=2621 vsize=26646120 memory=3464 CPUtime=86.41 cores=0-7 /proc/2623/task/2728/stat : 2728 (java) R 2621 2621 2458 0 -1 4202560 1901 0 0 0 8640 1 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339864117184 140340160523682 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2729] ppid=2621 vsize=26646120 memory=1452 CPUtime=86.78 cores=0-7 /proc/2623/task/2729/stat : 2729 (java) R 2621 2621 2458 0 -1 4202560 590 0 0 0 8678 0 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339866219592 140340159417270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2730] ppid=2621 vsize=26646120 memory=290800 CPUtime=87.19 cores=0-7 /proc/2623/task/2730/stat : 2730 (java) R 2621 2621 2458 0 -1 4202560 576 0 0 0 8719 0 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339862007456 140340160522607 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2731] ppid=2621 vsize=26646120 memory=8112282956445269571 CPUtime=86.49 cores=0-7 /proc/2623/task/2731/stat : 2731 (java) R 2621 2621 2458 0 -1 4202560 1790 0 0 0 8648 1 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339868326680 140340162516167 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 Current children cumulated CPU time: 766.95 s Current children cumulated vsize: 26759248 KiB Current children cumulated memory: 292252 KiB [startup+97.8017 s] /proc/loadavg: 8.02 8.18 7.57 9/207 2738 /proc/meminfo: memFree=20218384/32770624 swapFree=67108860/67108860 [pid=2621] ppid=2618 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2621/stat : 2621 (xcsp3-exec) S 2618 2621 2458 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88401711 115843072 363 33554432000 4194304 5098028 140726177754096 140726177752200 139982995612284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37756928 140726177760309 140726177760512 140726177760512 140726177763274 0 /proc/2621/statm: 28282 363 306 221 0 87 0 [pid=2623] ppid=2621 vsize=26646120 memory=290800 CPUtime=768.55 cores=0-7 /proc/2623/stat : 2623 (java) S 2621 2621 2458 0 -1 1077944320 81620 0 0 0 76784 71 0 0 20 0 28 0 88401711 27285626880 72700 33554432000 4194304 4196468 140736585415408 140736585397952 140340558507767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 /proc/2623/statm: 6661530 72700 3427 1 0 6622724 0 [pid=2623/tid=2624] ppid=2621 vsize=26646120 memory=1228 CPUtime=0.81 cores=0-7 /proc/2623/task/2624/stat : 2624 (java) S 2621 2621 2458 0 -1 1077944384 7425 0 0 0 78 3 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340562748544 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2625] ppid=2621 vsize=26646120 memory=8112282956445269571 CPUtime=0.2 cores=0-7 /proc/2623/task/2625/stat : 2625 (java) S 2621 2621 2458 0 -1 1077944384 409 0 0 0 15 5 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340481087760 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2626] ppid=2621 vsize=26646120 memory=1196 CPUtime=0.2 cores=0-7 /proc/2623/task/2626/stat : 2626 (java) S 2621 2621 2458 0 -1 1077944384 627 0 0 0 14 6 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340480035216 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2627] ppid=2621 vsize=26646120 memory=1452 CPUtime=0.2 cores=0-7 /proc/2623/task/2627/stat : 2627 (java) S 2621 2621 2458 0 -1 1077944384 1334 0 0 0 15 5 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340478982672 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2628] ppid=2621 vsize=26646120 memory=288752 CPUtime=0.21 cores=0-7 /proc/2623/task/2628/stat : 2628 (java) S 2621 2621 2458 0 -1 1077944384 1177 0 0 0 15 6 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340477930128 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2629] ppid=2621 vsize=26646120 memory=1424 CPUtime=0.2 cores=0-7 /proc/2623/task/2629/stat : 2629 (java) S 2621 2621 2458 0 -1 1077944384 1317 0 0 0 15 5 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340476877584 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2630] ppid=2621 vsize=26646120 memory=15868 CPUtime=0.21 cores=0-7 /proc/2623/task/2630/stat : 2630 (java) S 2621 2621 2458 0 -1 1077944384 1068 0 0 0 15 6 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340475825040 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2631] ppid=2621 vsize=26646120 memory=4052 CPUtime=0.22 cores=0-7 /proc/2623/task/2631/stat : 2631 (java) S 2621 2621 2458 0 -1 1077944384 2066 0 0 0 16 6 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340474772496 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2632] ppid=2621 vsize=26646120 memory=18252 CPUtime=0.21 cores=0-7 /proc/2623/task/2632/stat : 2632 (java) S 2621 2621 2458 0 -1 1077944384 803 0 0 0 16 5 0 0 20 0 28 0 88401712 27285626880 72700 33554432000 4194304 4196468 140736585415408 140340473719952 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2633] ppid=2621 vsize=26646120 memory=14912 CPUtime=0.26 cores=0-7 /proc/2623/task/2633/stat : 2633 (java) S 2621 2621 2458 0 -1 1077944384 3421 0 0 0 24 2 0 0 20 0 28 0 88401714 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339954333680 140340558518914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2634] ppid=2621 vsize=26646120 memory=1452 CPUtime=0 cores=0-7 /proc/2623/task/2634/stat : 2634 (java) S 2621 2621 2458 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 88401714 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339953279968 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2635] ppid=2621 vsize=26646120 memory=4616 CPUtime=0 cores=0-7 /proc/2623/task/2635/stat : 2635 (java) S 2621 2621 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 88401715 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339952227312 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2636] ppid=2621 vsize=26646120 memory=1424 CPUtime=0 cores=0-7 /proc/2623/task/2636/stat : 2636 (java) S 2621 2621 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88401717 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339951175888 140340558526363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2637] ppid=2621 vsize=26646120 memory=15868 CPUtime=2.56 cores=0-7 /proc/2623/task/2637/stat : 2637 (java) S 2621 2621 2458 0 -1 1077944384 16819 0 0 0 252 4 0 0 20 0 28 0 88401717 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339950123504 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2638] ppid=2621 vsize=26646120 memory=4052 CPUtime=2.14 cores=0-7 /proc/2623/task/2638/stat : 2638 (java) S 2621 2621 2458 0 -1 1077944384 11756 0 0 0 212 2 0 0 20 0 28 0 88401717 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339949070960 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2639] ppid=2621 vsize=26646120 memory=18252 CPUtime=2.21 cores=0-7 /proc/2623/task/2639/stat : 2639 (java) S 2621 2621 2458 0 -1 1077944384 8488 0 0 0 219 2 0 0 20 0 28 0 88401717 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339948018416 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2640] ppid=2621 vsize=26646120 memory=14912 CPUtime=0.77 cores=0-7 /proc/2623/task/2640/stat : 2640 (java) S 2621 2621 2458 0 -1 1077944384 6472 0 0 0 76 1 0 0 20 0 28 0 88401717 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339946965872 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2641] ppid=2621 vsize=26646120 memory=644 CPUtime=0 cores=0-7 /proc/2623/task/2641/stat : 2641 (java) S 2621 2621 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88401717 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339945912544 140340558517973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2642] ppid=2621 vsize=26646120 memory=1792 CPUtime=0.02 cores=0-7 /proc/2623/task/2642/stat : 2642 (java) S 2621 2621 2458 0 -1 1077944384 1936 0 0 0 0 2 0 0 20 0 28 0 88401718 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339944860080 140340558518914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2724] ppid=2621 vsize=26646120 memory=960 CPUtime=87.34 cores=0-7 /proc/2623/task/2724/stat : 2724 (java) R 2621 2621 2458 0 -1 4202560 681 0 0 0 8734 0 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339867270744 140340154682655 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2725] ppid=2621 vsize=26646120 memory=1232 CPUtime=87.21 cores=0-7 /proc/2623/task/2725/stat : 2725 (java) R 2621 2621 2458 0 -1 4202560 611 0 0 0 8721 0 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339857809264 140340159417213 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2726] ppid=2621 vsize=26646120 memory=1228 CPUtime=86.96 cores=0-7 /proc/2623/task/2726/stat : 2726 (java) R 2621 2621 2458 0 -1 4202560 2141 0 0 0 8695 1 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339860959720 140736585783499 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2727] ppid=2621 vsize=26646120 memory=1712 CPUtime=86.62 cores=0-7 /proc/2623/task/2727/stat : 2727 (java) R 2621 2621 2458 0 -1 4202560 2525 0 0 0 8660 2 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339865169728 140340162481342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2728] ppid=2621 vsize=26646120 memory=9996 CPUtime=86.61 cores=0-7 /proc/2623/task/2728/stat : 2728 (java) R 2621 2621 2458 0 -1 4202560 1901 0 0 0 8660 1 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339864117600 140340160122722 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2729] ppid=2621 vsize=26646120 memory=5792 CPUtime=86.98 cores=0-7 /proc/2623/task/2729/stat : 2729 (java) R 2621 2621 2458 0 -1 4202560 590 0 0 0 8698 0 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339866219592 140340160524021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2730] ppid=2621 vsize=26646120 memory=1936 CPUtime=87.39 cores=0-7 /proc/2623/task/2730/stat : 2730 (java) R 2621 2621 2458 0 -1 4202560 576 0 0 0 8739 0 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339862011392 140340159417017 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 [pid=2623/tid=2731] ppid=2621 vsize=26646120 memory=1196 CPUtime=86.69 cores=0-7 /proc/2623/task/2731/stat : 2731 (java) R 2621 2621 2458 0 -1 4202560 1790 0 0 0 8668 1 0 0 20 0 28 0 88402670 27285626880 72700 33554432000 4194304 4196468 140736585415408 140339868326680 140340159417106 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35540992 140736585421953 140736585422125 140736585422125 140736585424847 0 Current children cumulated CPU time: 768.55 s Current children cumulated vsize: 26759248 KiB Current children cumulated memory: 292252 KiB Child status: 0 Real time (s): 97.8814 CPU time (s): 769.111 CPU user time (s): 768.386 CPU system time (s): 0.725071 CPU usage (%): 785.758 Max. virtual memory (cumulated for all children) (KiB): 26761228 Max. memory (cumulated for all children) (KiB): 292252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 768.386 system time used= 0.725071 maximum resident set size= 290800 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 83748 page faults= 0 swaps= 0 block input operations= 0 block output operations= 264 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 32649 involuntary context switches= 9761 # summary of solver processes directly reported to runsolver: # pid: 2621 # total CPU time (s): 769.111 # total CPU user time (s): 768.386 # total CPU system time (s): 0.725071 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.945274 second user time and 1.08761 second system time The end
Begin job on node105 at 2018-07-27 18:19:45 IDJOB=4297591 IDBENCH=141221 IDSOLVER=2760 FILE ID=node105/4297591-1532708385 RUNJOBID= node105-1532708384-2485 PBS_JOBID= 21022314 Free space on /tmp= 44624 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/SumColoring/SumColoring-myciel5_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-4297591-1532708385/watcher-4297591-1532708385 -o /tmp/evaluation-result-4297591-1532708385/solver-4297591-1532708385 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532708384-2485 --watchdog 2580 HOME/xcsp3-exec -seed 1486634566 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297591-1532708385.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 129cb36d1c9243226923c7f46c8f3d2b RANDOM SEED=1486634566 node105.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.32 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.32 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.32 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.32 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: 20491184 kB MemAvailable: 31929052 kB Buffers: 260284 kB Cached: 11318148 kB SwapCached: 0 kB Active: 2384008 kB Inactive: 9245788 kB Active(anon): 6052 kB Inactive(anon): 73364 kB Active(file): 2377956 kB Inactive(file): 9172424 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 22124 kB Writeback: 0 kB AnonPages: 70824 kB Mapped: 42380 kB Shmem: 25228 kB Slab: 343228 kB SReclaimable: 315948 kB SUnreclaim: 27280 kB KernelStack: 3520 kB PageTables: 5192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324332 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44604 MiB End job on node105 at 2018-07-27 18:21:23