Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 55 | 64.1348 | 8.64911 |
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 | 31.0004 |
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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404585-1569011979.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404585-1569011979.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.25/0.66 c solve instance... 1.61/0.78 o 80 2.22/0.80 o 74 2.22/0.82 o 72 2.22/0.84 o 71 2.22/0.88 o 70 2.22/0.89 o 65 3.60/1.06 o 63 3.60/1.07 o 62 7.40/1.58 o 60 16.12/2.66 o 55 63.83/8.63 s OPTIMUM FOUND 63.83/8.63 v <instantiation> 63.83/8.63 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> 63.83/8.63 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> 63.83/8.63 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 (10987 MiB free) memory of node 1: 16384 MiB (14099 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404585-1569011979/watcher-4404585-1569011979 -o /tmp/evaluation-result-4404585-1569011979/solver-4404585-1569011979 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569007204-18905 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1499838076 HOME/instance-4404585-1569011979.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 solver pid=20336, runsolver pid=20333 Current StackSize limit: 8192 KiB [startup+0.100114 s]* /proc/loadavg: 9.11 8.44 8.22 3/211 20357 /proc/meminfo: memFree=25672312/32770624 swapFree=66999124/67108860 [pid=20336] ppid=20333 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 18878 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477462692 115843072 364 33554432000 4194304 5098028 140734437243200 140734437241304 140660579115644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12791808 140734437249909 140734437250153 140734437250153 140734437253066 0 /proc/20336/statm: 28282 364 305 221 0 87 0 [pid=20338] ppid=20336 vsize=28227396 memory=28604 CPUtime=0.12 cores=0-7 /proc/20338/stat : 20338 (java) S 20336 20336 18878 0 -1 1077944320 5650 0 0 0 11 1 0 0 20 0 20 0 477462692 28904853504 7151 33554432000 4194304 4196468 140733053161024 140733053143568 140157988617975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 /proc/20338/statm: 7056849 7151 3120 1 0 7019032 0 [pid=20338/tid=20339] ppid=20336 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/20338/task/20339/stat : 20339 (java) R 20336 20336 18878 0 -1 4202560 3578 0 0 0 8 0 0 0 20 0 20 0 477462693 28904853504 7151 33554432000 4194304 4196468 140733053161024 140157992853120 140157972661605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20340] ppid=20336 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/20338/task/20340/stat : 20340 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 7151 33554432000 4194304 4196468 140733053161024 140157941238672 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20341] ppid=20336 vsize=28227396 memory=139883777308288 CPUtime=0 cores=0-7 /proc/20338/task/20341/stat : 20341 (java) S 20336 20336 18878 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 7151 33554432000 4194304 4196468 140733053161024 140157940185872 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20342] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20342/stat : 20342 (java) S 20336 20336 18878 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 7151 33554432000 4194304 4196468 140733053161024 140157939133584 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20343] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20343/stat : 20343 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 7151 33554432000 4194304 4196468 140733053161024 140157938080784 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20344] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20344/stat : 20344 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 7151 33554432000 4194304 4196468 140733053161024 140157535508880 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20345] ppid=20336 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20338/task/20345/stat : 20345 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 7151 33554432000 4194304 4196468 140733053161024 140157534456080 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20346] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20346/stat : 20346 (java) S 20336 20336 18878 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 7151 33554432000 4194304 4196468 140733053161024 140157533403792 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20347] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20347/stat : 20347 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 7151 33554432000 4194304 4196468 140733053161024 140157532350992 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20348] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20348/stat : 20348 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462695 28904853504 7151 33554432000 4194304 4196468 140733053161024 140156318218864 140157988629122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20349] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20349/stat : 20349 (java) S 20336 20336 18878 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477462695 28904853504 7151 33554432000 4194304 4196468 140733053161024 140156317164832 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20350] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20350/stat : 20350 (java) S 20336 20336 18878 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477462696 28904853504 7151 33554432000 4194304 4196468 140733053161024 140156316112496 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20351] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20351/stat : 20351 (java) S 20336 20336 18878 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477462698 28904853504 7151 33554432000 4194304 4196468 140733053161024 140156315060816 140157988636571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20352] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20352/stat : 20352 (java) R 20336 20336 18878 0 -1 4202560 321 0 0 0 0 0 0 0 20 0 20 0 477462698 28904853504 7151 33554432000 4194304 4196468 140733053161024 140156314007664 140157981603017 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20353] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20353/stat : 20353 (java) S 20336 20336 18878 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477462698 28904853504 7151 33554432000 4194304 4196468 140733053161024 140156312954864 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20354] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20354/stat : 20354 (java) S 20336 20336 18878 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 477462698 28904853504 7151 33554432000 4194304 4196468 140733053161024 140156311902576 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20355] ppid=20336 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/20338/task/20355/stat : 20355 (java) R 20336 20336 18878 0 -1 4202560 315 0 0 0 1 0 0 0 20 0 20 0 477462698 28904853504 7151 33554432000 4194304 4196468 140733053161024 140156310849776 140157967572565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20356] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20356/stat : 20356 (java) S 20336 20336 18878 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477462698 28904853504 7151 33554432000 4194304 4196468 140733053161024 140156309797728 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20357] ppid=20336 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20338/task/20357/stat : 20357 (java) S 20336 20336 18878 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477462699 28904853504 7151 33554432000 4194304 4196468 140733053161024 140156308745008 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30060 KiB [startup+0.211218 s]* /proc/loadavg: 9.11 8.44 8.22 2/211 20357 /proc/meminfo: memFree=25658700/32770624 swapFree=66999124/67108860 [pid=20336] ppid=20333 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 18878 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477462692 115843072 364 33554432000 4194304 5098028 140734437243200 140734437241304 140660579115644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12791808 140734437249909 140734437250153 140734437250153 140734437253066 0 /proc/20336/statm: 28282 364 305 221 0 87 0 [pid=20338] ppid=20336 vsize=28227396 memory=41048 CPUtime=0.34 cores=0-7 /proc/20338/stat : 20338 (java) S 20336 20336 18878 0 -1 1077944320 9523 0 0 0 31 3 0 0 20 0 20 0 477462692 28904853504 10262 33554432000 4194304 4196468 140733053161024 140733053143568 140157988617975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 /proc/20338/statm: 7056849 10262 3297 1 0 7019032 0 [pid=20338/tid=20339] ppid=20336 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/20338/task/20339/stat : 20339 (java) R 20336 20336 18878 0 -1 4202560 6616 0 0 0 18 2 0 0 20 0 20 0 477462693 28904853504 10262 33554432000 4194304 4196468 140733053161024 140157992851424 140157972698462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20340] ppid=20336 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/20338/task/20340/stat : 20340 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 10262 33554432000 4194304 4196468 140733053161024 140157941238672 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20341] ppid=20336 vsize=28227396 memory=288370259929020032 CPUtime=0 cores=0-7 /proc/20338/task/20341/stat : 20341 (java) S 20336 20336 18878 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 10262 33554432000 4194304 4196468 140733053161024 140157940185872 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20342] ppid=20336 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20338/task/20342/stat : 20342 (java) S 20336 20336 18878 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 10262 33554432000 4194304 4196468 140733053161024 140157939133584 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20343] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20343/stat : 20343 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 10262 33554432000 4194304 4196468 140733053161024 140157938080784 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20344] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20344/stat : 20344 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 10262 33554432000 4194304 4196468 140733053161024 140157535508880 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20345] ppid=20336 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20338/task/20345/stat : 20345 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 10262 33554432000 4194304 4196468 140733053161024 140157534456080 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20346] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20346/stat : 20346 (java) S 20336 20336 18878 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 10262 33554432000 4194304 4196468 140733053161024 140157533403792 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20347] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20347/stat : 20347 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462694 28904853504 10262 33554432000 4194304 4196468 140733053161024 140157532350992 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20348] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20348/stat : 20348 (java) S 20336 20336 18878 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477462695 28904853504 10262 33554432000 4194304 4196468 140733053161024 140156318218864 140157988629122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20349] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20349/stat : 20349 (java) S 20336 20336 18878 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477462695 28904853504 10262 33554432000 4194304 4196468 140733053161024 140156317164832 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20350] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20350/stat : 20350 (java) S 20336 20336 18878 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477462696 28904853504 10262 33554432000 4194304 4196468 140733053161024 140156316112496 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20351] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20351/stat : 20351 (java) S 20336 20336 18878 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477462698 28904853504 10262 33554432000 4194304 4196468 140733053161024 140156315060816 140157988636571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20352] ppid=20336 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/20338/task/20352/stat : 20352 (java) S 20336 20336 18878 0 -1 1077944384 562 0 0 0 1 0 0 0 20 0 20 0 477462698 28904853504 10262 33554432000 4194304 4196468 140733053161024 140156314007664 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20353] ppid=20336 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/20338/task/20353/stat : 20353 (java) S 20336 20336 18878 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 477462698 28904853504 10262 33554432000 4194304 4196468 140733053161024 140156312954864 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20354] ppid=20336 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/20338/task/20354/stat : 20354 (java) S 20336 20336 18878 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 20 0 477462698 28904853504 10262 33554432000 4194304 4196468 140733053161024 140156311902576 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20355] ppid=20336 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/20338/task/20355/stat : 20355 (java) S 20336 20336 18878 0 -1 1077944384 763 0 0 0 7 0 0 0 20 0 20 0 477462698 28904853504 10262 33554432000 4194304 4196468 140733053161024 140156310849776 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20356] ppid=20336 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20356/stat : 20356 (java) S 20336 20336 18878 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477462698 28904853504 10262 33554432000 4194304 4196468 140733053161024 140156309797728 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20357] ppid=20336 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20338/task/20357/stat : 20357 (java) S 20336 20336 18878 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477462699 28904853504 10262 33554432000 4194304 4196468 140733053161024 140156308745008 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42504 KiB [startup+0.310531 s]* /proc/loadavg: 9.11 8.44 8.22 2/211 20357 /proc/meminfo: memFree=25651780/32770624 swapFree=66999124/67108860 [pid=20336] ppid=20333 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 18878 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477462692 115843072 364 33554432000 4194304 5098028 140734437243200 140734437241304 140660579115644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12791808 140734437249909 140734437250153 140734437250153 140734437253066 0 /proc/20336/statm: 28282 364 305 221 0 87 0 [pid=20338] ppid=20336 vsize=28231652 memory=50212 CPUtime=0.51 cores=0-7 /proc/20338/stat : 20338 (java) S 20336 20336 18878 0 -1 1077944320 10865 0 0 0 47 4 0 0 20 0 20 0 477462692 28909211648 12553 33554432000 4194304 4196468 140733053161024 140733053143568 140157988617975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 /proc/20338/statm: 7057913 12553 3349 1 0 7019032 0 [pid=20338/tid=20339] ppid=20336 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/20338/task/20339/stat : 20339 (java) R 20336 20336 18878 0 -1 4202560 7806 0 0 0 27 2 0 0 20 0 20 0 477462693 28909211648 12558 33554432000 4194304 4196468 140733053161024 140157992849088 140157972698492 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20340] ppid=20336 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20340/stat : 20340 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462694 28909211648 12558 33554432000 4194304 4196468 140733053161024 140157941238672 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20341] ppid=20336 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20341/stat : 20341 (java) S 20336 20336 18878 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477462694 28909211648 12558 33554432000 4194304 4196468 140733053161024 140157940185872 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20342] ppid=20336 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20342/stat : 20342 (java) S 20336 20336 18878 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477462694 28909211648 12558 33554432000 4194304 4196468 140733053161024 140157939133584 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20343] ppid=20336 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20343/stat : 20343 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462694 28909211648 12558 33554432000 4194304 4196468 140733053161024 140157938080784 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20344] ppid=20336 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20344/stat : 20344 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462694 28909211648 12558 33554432000 4194304 4196468 140733053161024 140157535508880 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20345] ppid=20336 vsize=28231652 memory=139883662371503 CPUtime=0 cores=0-7 /proc/20338/task/20345/stat : 20345 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462694 28909211648 12558 33554432000 4194304 4196468 140733053161024 140157534456080 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20346] ppid=20336 vsize=28231652 memory=139883662373808 CPUtime=0 cores=0-7 /proc/20338/task/20346/stat : 20346 (java) S 20336 20336 18878 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477462694 28909211648 12558 33554432000 4194304 4196468 140733053161024 140157533403792 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20347] ppid=20336 vsize=28231652 memory=139883662376112 CPUtime=0 cores=0-7 /proc/20338/task/20347/stat : 20347 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477462694 28909211648 12558 33554432000 4194304 4196468 140733053161024 140157532350992 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20348] ppid=20336 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20348/stat : 20348 (java) S 20336 20336 18878 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477462695 28909211648 12558 33554432000 4194304 4196468 140733053161024 140156318218864 140157988629122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20349] ppid=20336 vsize=28231652 memory=279767324766096 CPUtime=0 cores=0-7 /proc/20338/task/20349/stat : 20349 (java) S 20336 20336 18878 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477462695 28909211648 12558 33554432000 4194304 4196468 140733053161024 140156317164832 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20350] ppid=20336 vsize=28231652 memory=279767324763792 CPUtime=0 cores=0-7 /proc/20338/task/20350/stat : 20350 (java) S 20336 20336 18878 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477462696 28909211648 12558 33554432000 4194304 4196468 140733053161024 140156316112496 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20351] ppid=20336 vsize=28231652 memory=279767324770704 CPUtime=0 cores=0-7 /proc/20338/task/20351/stat : 20351 (java) S 20336 20336 18878 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477462698 28909211648 12558 33554432000 4194304 4196468 140733053161024 140156315060816 140157988636571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20352] ppid=20336 vsize=28231652 memory=279767324711984 CPUtime=0.01 cores=0-7 /proc/20338/task/20352/stat : 20352 (java) S 20336 20336 18878 0 -1 1077944384 564 0 0 0 1 0 0 0 20 0 20 0 477462698 28909211648 12558 33554432000 4194304 4196468 140733053161024 140156314007664 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20353] ppid=20336 vsize=28231652 memory=279767324784528 CPUtime=0.02 cores=0-7 /proc/20338/task/20353/stat : 20353 (java) S 20336 20336 18878 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 20 0 477462698 28909211648 12558 33554432000 4194304 4196468 140733053161024 140156312954864 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20354] ppid=20336 vsize=28231652 memory=279767324791440 CPUtime=0.02 cores=0-7 /proc/20338/task/20354/stat : 20354 (java) S 20336 20336 18878 0 -1 1077944384 204 0 0 0 2 0 0 0 20 0 20 0 477462698 28909211648 12558 33554432000 4194304 4196468 140733053161024 140156311902576 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20355] ppid=20336 vsize=28231652 memory=279767324789136 CPUtime=0.12 cores=0-7 /proc/20338/task/20355/stat : 20355 (java) S 20336 20336 18878 0 -1 1077944384 873 0 0 0 12 0 0 0 20 0 20 0 477462698 28909211648 12558 33554432000 4194304 4196468 140733053161024 140156310849776 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20356] ppid=20336 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20356/stat : 20356 (java) S 20336 20336 18878 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477462698 28909211648 12558 33554432000 4194304 4196468 140733053161024 140156309797728 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20357] ppid=20336 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/20338/task/20357/stat : 20357 (java) S 20336 20336 18878 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477462699 28909211648 12558 33554432000 4194304 4196468 140733053161024 140156308745008 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51668 KiB [startup+0.701101 s] /proc/loadavg: 9.11 8.44 8.22 3/211 20357 /proc/meminfo: memFree=25637204/32770624 swapFree=66999124/67108860 [pid=20336] ppid=20333 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 18878 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477462692 115843072 364 33554432000 4194304 5098028 140734437243200 140734437241304 140660579115644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12791808 140734437249909 140734437250153 140734437250153 140734437253066 0 /proc/20336/statm: 28282 364 305 221 0 87 0 [pid=20338] ppid=20336 vsize=28766288 memory=97756 CPUtime=1.61 cores=0-7 /proc/20338/stat : 20338 (java) S 20336 20336 18878 0 -1 1077944320 14813 0 0 0 154 7 0 0 20 0 28 0 477462692 29456678912 24439 33554432000 4194304 4196468 140733053161024 140733053143568 140157988617975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 /proc/20338/statm: 7191572 24439 3453 1 0 7152672 0 [pid=20338/tid=20339] ppid=20336 vsize=28766288 memory=0 CPUtime=0.65 cores=0-7 /proc/20338/task/20339/stat : 20339 (java) S 20336 20336 18878 0 -1 1077944384 9261 0 0 0 61 4 0 0 20 0 28 0 477462693 29456678912 24439 33554432000 4194304 4196468 140733053161024 140157992858752 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20340] ppid=20336 vsize=28766288 memory=139883662582640 CPUtime=0 cores=0-7 /proc/20338/task/20340/stat : 20340 (java) S 20336 20336 18878 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 477462694 29456678912 24439 33554432000 4194304 4196468 140733053161024 140157941238672 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20341] ppid=20336 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20341/stat : 20341 (java) S 20336 20336 18878 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477462694 29456678912 24439 33554432000 4194304 4196468 140733053161024 140157940185872 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20342] ppid=20336 vsize=28766288 memory=776 CPUtime=0 cores=0-7 /proc/20338/task/20342/stat : 20342 (java) S 20336 20336 18878 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477462694 29456678912 24439 33554432000 4194304 4196468 140733053161024 140157939133584 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 ################ # More data... # ################ [pid=20338/tid=20355] ppid=20336 vsize=28834900 memory=0 CPUtime=0.74 cores=0-7 /proc/20338/task/20355/stat : 20355 (java) S 20336 20336 18878 0 -1 1077944384 4023 0 0 0 72 2 0 0 20 0 28 0 477462698 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156310849776 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20356] ppid=20336 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20356/stat : 20356 (java) S 20336 20336 18878 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477462698 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156309797728 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20357] ppid=20336 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20357/stat : 20357 (java) S 20336 20336 18878 0 -1 1077944384 815 0 0 0 0 0 0 0 20 0 28 0 477462699 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156308745008 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20439] ppid=20336 vsize=28834900 memory=0 CPUtime=5.21 cores=0-7 /proc/20338/task/20439/stat : 20439 (java) R 20336 20336 18878 0 -1 4202560 93 0 0 0 521 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156291342200 140157623446930 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20440] ppid=20336 vsize=28834900 memory=0 CPUtime=5.28 cores=0-7 /proc/20338/task/20440/stat : 20440 (java) R 20336 20336 18878 0 -1 4202560 75 0 0 0 528 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156296606968 140157622753503 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20441] ppid=20336 vsize=28834900 memory=0 CPUtime=5.23 cores=0-7 /proc/20338/task/20441/stat : 20441 (java) R 20336 20336 18878 0 -1 4202560 129 0 0 0 523 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156298710504 140157622531542 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20442] ppid=20336 vsize=28834900 memory=0 CPUtime=5.02 cores=0-7 /proc/20338/task/20442/stat : 20442 (java) R 20336 20336 18878 0 -1 4202560 332 0 0 0 502 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156297658184 140157622985820 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20443] ppid=20336 vsize=28834900 memory=0 CPUtime=5.19 cores=0-7 /proc/20338/task/20443/stat : 20443 (java) R 20336 20336 18878 0 -1 4202560 123 0 0 0 519 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156299763376 140157623360394 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20444] ppid=20336 vsize=28834900 memory=0 CPUtime=5.22 cores=0-7 /proc/20338/task/20444/stat : 20444 (java) R 20336 20336 18878 0 -1 4202560 236 0 0 0 522 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156292395576 140157622533304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20445] ppid=20336 vsize=28834900 memory=0 CPUtime=5.22 cores=0-7 /proc/20338/task/20445/stat : 20445 (java) R 20336 20336 18878 0 -1 4202560 137 0 0 0 522 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156293448104 140157624645518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20446] ppid=20336 vsize=28834900 memory=0 CPUtime=5.08 cores=0-7 /proc/20338/task/20446/stat : 20446 (java) R 20336 20336 18878 0 -1 4202560 112 0 0 0 508 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156295552904 140157623446274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 Current children cumulated CPU time: 59.17 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 232964 KiB [startup+8.40123 s] /proc/loadavg: 9.38 8.52 8.25 9/219 20446 /proc/meminfo: memFree=25470072/32770624 swapFree=66999124/67108860 [pid=20336] ppid=20333 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 18878 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477462692 115843072 364 33554432000 4194304 5098028 140734437243200 140734437241304 140660579115644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12791808 140734437249909 140734437250153 140734437250153 140734437253066 0 /proc/20336/statm: 28282 364 305 221 0 87 0 [pid=20338] ppid=20336 vsize=28834900 memory=231508 CPUtime=62.29 cores=0-7 /proc/20338/stat : 20338 (java) S 20336 20336 18878 0 -1 1077944320 32773 0 0 0 6207 22 0 0 20 0 28 0 477462692 29526937600 57877 33554432000 4194304 4196468 140733053161024 140733053143568 140157988617975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 /proc/20338/statm: 7208725 57877 3517 1 0 7169825 0 [pid=20338/tid=20339] ppid=20336 vsize=28834900 memory=0 CPUtime=0.65 cores=0-7 /proc/20338/task/20339/stat : 20339 (java) S 20336 20336 18878 0 -1 1077944384 9268 0 0 0 61 4 0 0 20 0 28 0 477462693 29526937600 57877 33554432000 4194304 4196468 140733053161024 140157992858752 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20340] ppid=20336 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/20338/task/20340/stat : 20340 (java) S 20336 20336 18878 0 -1 1077944384 882 0 0 0 1 0 0 0 20 0 28 0 477462694 29526937600 57877 33554432000 4194304 4196468 140733053161024 140157941238672 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20341] ppid=20336 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20341/stat : 20341 (java) S 20336 20336 18878 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 28 0 477462694 29526937600 57877 33554432000 4194304 4196468 140733053161024 140157940185872 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20342] ppid=20336 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20342/stat : 20342 (java) S 20336 20336 18878 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 477462694 29526937600 57877 33554432000 4194304 4196468 140733053161024 140157939133584 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20343] ppid=20336 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/20338/task/20343/stat : 20343 (java) S 20336 20336 18878 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 477462694 29526937600 57877 33554432000 4194304 4196468 140733053161024 140157938080784 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20344] ppid=20336 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/20338/task/20344/stat : 20344 (java) S 20336 20336 18878 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 28 0 477462694 29526937600 57877 33554432000 4194304 4196468 140733053161024 140157535508880 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20345] ppid=20336 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/20338/task/20345/stat : 20345 (java) S 20336 20336 18878 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 28 0 477462694 29526937600 57877 33554432000 4194304 4196468 140733053161024 140157534456080 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20346] ppid=20336 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/20338/task/20346/stat : 20346 (java) S 20336 20336 18878 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 28 0 477462694 29526937600 57877 33554432000 4194304 4196468 140733053161024 140157533403792 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20347] ppid=20336 vsize=28834900 memory=1456 CPUtime=0 cores=0-7 /proc/20338/task/20347/stat : 20347 (java) S 20336 20336 18878 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 477462694 29526937600 57877 33554432000 4194304 4196468 140733053161024 140157532350992 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20348] ppid=20336 vsize=28834900 memory=231508 CPUtime=0 cores=0-7 /proc/20338/task/20348/stat : 20348 (java) S 20336 20336 18878 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 28 0 477462695 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156318218864 140157988629122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20349] ppid=20336 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20349/stat : 20349 (java) S 20336 20336 18878 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 477462695 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156317164896 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20350] ppid=20336 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20350/stat : 20350 (java) S 20336 20336 18878 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 477462696 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156316112496 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20351] ppid=20336 vsize=28834900 memory=7599388386692169796 CPUtime=0 cores=0-7 /proc/20338/task/20351/stat : 20351 (java) S 20336 20336 18878 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477462698 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156315060816 140157988636571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20352] ppid=20336 vsize=28834900 memory=139883777336641 CPUtime=1.64 cores=0-7 /proc/20338/task/20352/stat : 20352 (java) S 20336 20336 18878 0 -1 1077944384 4111 0 0 0 163 1 0 0 20 0 28 0 477462698 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156314007664 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20353] ppid=20336 vsize=28834900 memory=4640467252704989264 CPUtime=1.8 cores=0-7 /proc/20338/task/20353/stat : 20353 (java) S 20336 20336 18878 0 -1 1077944384 3241 0 0 0 179 1 0 0 20 0 28 0 477462698 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156312954864 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20354] ppid=20336 vsize=28834900 memory=7666361752918125935 CPUtime=1.94 cores=0-7 /proc/20338/task/20354/stat : 20354 (java) S 20336 20336 18878 0 -1 1077944384 5276 0 0 0 193 1 0 0 20 0 28 0 477462698 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156311902576 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20355] ppid=20336 vsize=28834900 memory=7517159033909830208 CPUtime=0.74 cores=0-7 /proc/20338/task/20355/stat : 20355 (java) S 20336 20336 18878 0 -1 1077944384 4023 0 0 0 72 2 0 0 20 0 28 0 477462698 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156310849776 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20356] ppid=20336 vsize=28834900 memory=5787477641288517003 CPUtime=0 cores=0-7 /proc/20338/task/20356/stat : 20356 (java) S 20336 20336 18878 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477462698 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156309797728 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20357] ppid=20336 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20357/stat : 20357 (java) S 20336 20336 18878 0 -1 1077944384 815 0 0 0 0 0 0 0 20 0 28 0 477462699 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156308745008 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20439] ppid=20336 vsize=28834900 memory=6944656575208382560 CPUtime=5.6 cores=0-7 /proc/20338/task/20439/stat : 20439 (java) R 20336 20336 18878 0 -1 4202560 93 0 0 0 560 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156291342200 140157622532411 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20440] ppid=20336 vsize=28834900 memory=0 CPUtime=5.67 cores=0-7 /proc/20338/task/20440/stat : 20440 (java) R 20336 20336 18878 0 -1 4202560 75 0 0 0 567 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156296606968 140157625711992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20441] ppid=20336 vsize=28834900 memory=279767325746144 CPUtime=5.62 cores=0-7 /proc/20338/task/20441/stat : 20441 (java) R 20336 20336 18878 0 -1 4202560 129 0 0 0 562 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156298710504 140157622985316 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20442] ppid=20336 vsize=28834900 memory=0 CPUtime=5.41 cores=0-7 /proc/20338/task/20442/stat : 20442 (java) R 20336 20336 18878 0 -1 4202560 332 0 0 0 541 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156297658184 140157624197826 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20443] ppid=20336 vsize=28834900 memory=279767325673232 CPUtime=5.58 cores=0-7 /proc/20338/task/20443/stat : 20443 (java) R 20336 20336 18878 0 -1 4202560 123 0 0 0 558 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156299763376 140157622533328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20444] ppid=20336 vsize=28834900 memory=8243114992657236055 CPUtime=5.61 cores=0-7 /proc/20338/task/20444/stat : 20444 (java) R 20336 20336 18878 0 -1 4202560 236 0 0 0 561 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156292395576 140157622984335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20445] ppid=20336 vsize=28834900 memory=288283381249362327 CPUtime=5.61 cores=0-7 /proc/20338/task/20445/stat : 20445 (java) R 20336 20336 18878 0 -1 4202560 137 0 0 0 561 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156293448104 140157623446104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20446] ppid=20336 vsize=28834900 memory=0 CPUtime=5.47 cores=0-7 /proc/20338/task/20446/stat : 20446 (java) R 20336 20336 18878 0 -1 4202560 112 0 0 0 547 0 0 0 20 0 28 0 477462959 29526937600 57877 33554432000 4194304 4196468 140733053161024 140156295552904 140157622572446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 Current children cumulated CPU time: 62.29 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 232964 KiB [startup+8.60123 s] /proc/loadavg: 9.38 8.52 8.25 9/219 20446 /proc/meminfo: memFree=25470072/32770624 swapFree=66999124/67108860 [pid=20336] ppid=20333 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 18878 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477462692 115843072 364 33554432000 4194304 5098028 140734437243200 140734437241304 140660579115644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12791808 140734437249909 140734437250153 140734437250153 140734437253066 0 /proc/20336/statm: 28282 364 305 221 0 87 0 [pid=20338] ppid=20336 vsize=28834900 memory=231516 CPUtime=63.83 cores=0-7 /proc/20338/stat : 20338 (java) S 20336 20336 18878 0 -1 1077944320 33026 0 0 0 6361 22 0 0 20 0 28 0 477462692 29526937600 57879 33554432000 4194304 4196468 140733053161024 140733053143568 140157988617975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 /proc/20338/statm: 7208725 57879 3517 1 0 7169825 0 [pid=20338/tid=20339] ppid=20336 vsize=28834900 memory=0 CPUtime=0.65 cores=0-7 /proc/20338/task/20339/stat : 20339 (java) S 20336 20336 18878 0 -1 1077944384 9268 0 0 0 61 4 0 0 20 0 28 0 477462693 29526937600 57879 33554432000 4194304 4196468 140733053161024 140157992858752 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20340] ppid=20336 vsize=28834900 memory=39908 CPUtime=0.01 cores=0-7 /proc/20338/task/20340/stat : 20340 (java) S 20336 20336 18878 0 -1 1077944384 888 0 0 0 1 0 0 0 20 0 28 0 477462694 29526937600 57879 33554432000 4194304 4196468 140733053161024 140157941238672 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20341] ppid=20336 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/20338/task/20341/stat : 20341 (java) S 20336 20336 18878 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 28 0 477462694 29526937600 57879 33554432000 4194304 4196468 140733053161024 140157940185872 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20342] ppid=20336 vsize=28834900 memory=-7966001967441022560 CPUtime=0 cores=0-7 /proc/20338/task/20342/stat : 20342 (java) S 20336 20336 18878 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 477462694 29526937600 57879 33554432000 4194304 4196468 140733053161024 140157939133584 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20343] ppid=20336 vsize=28834900 memory=-7966001957961632603 CPUtime=0.01 cores=0-7 /proc/20338/task/20343/stat : 20343 (java) S 20336 20336 18878 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 477462694 29526937600 57879 33554432000 4194304 4196468 140733053161024 140157938080784 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20344] ppid=20336 vsize=28834900 memory=-7966001734603266090 CPUtime=0.01 cores=0-7 /proc/20338/task/20344/stat : 20344 (java) S 20336 20336 18878 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 28 0 477462694 29526937600 57879 33554432000 4194304 4196468 140733053161024 140157535508880 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20345] ppid=20336 vsize=28834900 memory=7679373425970869011 CPUtime=0.01 cores=0-7 /proc/20338/task/20345/stat : 20345 (java) S 20336 20336 18878 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 28 0 477462694 29526937600 57879 33554432000 4194304 4196468 140733053161024 140157534456080 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20346] ppid=20336 vsize=28834900 memory=4137280412607091059 CPUtime=0.01 cores=0-7 /proc/20338/task/20346/stat : 20346 (java) S 20336 20336 18878 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 28 0 477462694 29526937600 57879 33554432000 4194304 4196468 140733053161024 140157533403792 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20347] ppid=20336 vsize=28834900 memory=-7966001734603266090 CPUtime=0 cores=0-7 /proc/20338/task/20347/stat : 20347 (java) S 20336 20336 18878 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 477462694 29526937600 57879 33554432000 4194304 4196468 140733053161024 140157532350992 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20348] ppid=20336 vsize=28834900 memory=-6876588461455810464 CPUtime=0 cores=0-7 /proc/20338/task/20348/stat : 20348 (java) S 20336 20336 18878 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 28 0 477462695 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156318218864 140157988629122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20349] ppid=20336 vsize=28834900 memory=1414351094373861289 CPUtime=0 cores=0-7 /proc/20338/task/20349/stat : 20349 (java) S 20336 20336 18878 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 477462695 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156317164896 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20350] ppid=20336 vsize=28834900 memory=8292148123324110535 CPUtime=0 cores=0-7 /proc/20338/task/20350/stat : 20350 (java) S 20336 20336 18878 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 477462696 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156316112496 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20351] ppid=20336 vsize=28834900 memory=-7595718148000617580 CPUtime=0 cores=0-7 /proc/20338/task/20351/stat : 20351 (java) S 20336 20336 18878 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477462698 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156315060816 140157988636571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20352] ppid=20336 vsize=28834900 memory=8187704045996132563 CPUtime=1.64 cores=0-7 /proc/20338/task/20352/stat : 20352 (java) S 20336 20336 18878 0 -1 1077944384 4111 0 0 0 163 1 0 0 20 0 28 0 477462698 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156314007664 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20353] ppid=20336 vsize=28834900 memory=7679373425970869011 CPUtime=1.83 cores=0-7 /proc/20338/task/20353/stat : 20353 (java) S 20336 20336 18878 0 -1 1077944384 3477 0 0 0 182 1 0 0 20 0 28 0 477462698 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156312954864 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20354] ppid=20336 vsize=28834900 memory=-7101718590825193272 CPUtime=1.94 cores=0-7 /proc/20338/task/20354/stat : 20354 (java) S 20336 20336 18878 0 -1 1077944384 5276 0 0 0 193 1 0 0 20 0 28 0 477462698 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156311902576 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20355] ppid=20336 vsize=28834900 memory=-2970219127293634922 CPUtime=0.74 cores=0-7 /proc/20338/task/20355/stat : 20355 (java) S 20336 20336 18878 0 -1 1077944384 4023 0 0 0 72 2 0 0 20 0 28 0 477462698 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156310849776 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20356] ppid=20336 vsize=28834900 memory=1414351094373861289 CPUtime=0 cores=0-7 /proc/20338/task/20356/stat : 20356 (java) S 20336 20336 18878 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477462698 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156309797728 140157988628181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20357] ppid=20336 vsize=28834900 memory=8187704045996132563 CPUtime=0 cores=0-7 /proc/20338/task/20357/stat : 20357 (java) S 20336 20336 18878 0 -1 1077944384 815 0 0 0 0 0 0 0 20 0 28 0 477462699 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156308745008 140157988629122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20439] ppid=20336 vsize=28834900 memory=0 CPUtime=5.78 cores=0-7 /proc/20338/task/20439/stat : 20439 (java) R 20336 20336 18878 0 -1 4202560 94 0 0 0 578 0 0 0 20 0 28 0 477462959 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156291341584 140157970024274 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20440] ppid=20336 vsize=28834900 memory=0 CPUtime=5.85 cores=0-7 /proc/20338/task/20440/stat : 20440 (java) R 20336 20336 18878 0 -1 4202560 75 0 0 0 585 0 0 0 20 0 28 0 477462959 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156296606000 140157623447590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20441] ppid=20336 vsize=28834900 memory=0 CPUtime=5.82 cores=0-7 /proc/20338/task/20441/stat : 20441 (java) R 20336 20336 18878 0 -1 4202560 130 0 0 0 582 0 0 0 20 0 28 0 477462959 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156298711136 140157624651503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20442] ppid=20336 vsize=28834900 memory=7229792960201057895 CPUtime=5.6 cores=0-7 /proc/20338/task/20442/stat : 20442 (java) R 20336 20336 18878 0 -1 4202560 332 0 0 0 560 0 0 0 20 0 28 0 477462959 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156297657920 140157622532367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20443] ppid=20336 vsize=28834900 memory=6152590440515659624 CPUtime=5.77 cores=0-7 /proc/20338/task/20443/stat : 20443 (java) R 20336 20336 18878 0 -1 4202560 123 0 0 0 577 0 0 0 20 0 28 0 477462959 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156299766752 140157622571969 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20444] ppid=20336 vsize=28834900 memory=6152590440515659624 CPUtime=5.8 cores=0-7 /proc/20338/task/20444/stat : 20444 (java) R 20336 20336 18878 0 -1 4202560 239 0 0 0 580 0 0 0 20 0 28 0 477462959 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156292395232 140157624655817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20445] ppid=20336 vsize=28834900 memory=5939229118271208291 CPUtime=5.79 cores=0-7 /proc/20338/task/20445/stat : 20445 (java) R 20336 20336 18878 0 -1 4202560 137 0 0 0 579 0 0 0 20 0 28 0 477462959 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156293447600 140157623360214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 [pid=20338/tid=20446] ppid=20336 vsize=28834900 memory=7517465905365214566 CPUtime=5.66 cores=0-7 /proc/20338/task/20446/stat : 20446 (java) R 20336 20336 18878 0 -1 4202560 113 0 0 0 566 0 0 0 20 0 28 0 477462959 29526937600 57879 33554432000 4194304 4196468 140733053161024 140156295552808 140157622983777 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733053166570 140733053166742 140733053166742 140733053169615 0 Current children cumulated CPU time: 63.83 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 232972 KiB Child status: 0 Real time (s): 8.64911 CPU time (s): 64.1348 CPU user time (s): 63.8946 CPU system time (s): 0.240161 CPU usage (%): 741.519 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 232972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 63.8946 system time used= 0.240161 maximum resident set size= 231764 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34212 page faults= 0 swaps= 0 block input operations= 0 block output operations= 176 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5552 involuntary context switches= 1422 # summary of solver processes directly reported to runsolver: # pid: 20336 # total CPU time (s): 64.1348 # total CPU user time (s): 63.8946 # total CPU system time (s): 0.240161 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.104143 second user time and 0.126729 second system time The end
Begin job on node123 at 2019-09-20 22:38:59 IDJOB=4404585 IDBENCH=141365 IDSOLVER=2865 FILE ID=node123/4404585-1569011979 RUNJOBID= node123-1569007204-18905 PBS_JOBID= 21704765 Free space on /tmp= 25920 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-nodv-10_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4404585-1569011979/watcher-4404585-1569011979 -o /tmp/evaluation-result-4404585-1569011979/solver-4404585-1569011979 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569007204-18905 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1499838076 HOME/instance-4404585-1569011979.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 769ec0f26c47f1b96bb609b2e4d8d5d6 RANDOM SEED=1499838076 node123.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.49 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.49 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.49 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.49 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: 25689636 kB MemAvailable: 31847732 kB Buffers: 43428 kB Cached: 6265816 kB SwapCached: 7080 kB Active: 3146660 kB Inactive: 3173904 kB Active(anon): 2780 kB Inactive(anon): 56348 kB Active(file): 3143880 kB Inactive(file): 3117556 kB Unevictable: 107964 kB Mlocked: 107964 kB SwapTotal: 67108860 kB SwapFree: 66999124 kB Dirty: 26228 kB Writeback: 0 kB AnonPages: 113372 kB Mapped: 51276 kB Shmem: 39100 kB Slab: 354576 kB SReclaimable: 325120 kB SUnreclaim: 29456 kB KernelStack: 3360 kB PageTables: 4860 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506848 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 25892 MiB End job on node123 at 2019-09-20 22:39:08