Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 44 | 18.6095 | 2.90377 |
Name | GolombRuler/ GolombRuler-a3v18-nodv-09_c18.xml |
MD5SUM | 5099229ea21e0b755c9ada14ed0c0ccc |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 9.40739 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 37 |
Number of domains | 2 |
Minimum domain size | 81 |
Maximum domain size | 82 |
Distribution of domain sizes | [{"size":81,"count":36},{"size":82,"count":9}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":45},{"degree":2,"count":36},{"degree":8,"count":8},{"degree":9,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":3,"count":36},{"arity":36,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 36 |
Distribution of constraint types | [{"type":"intension","count":36},{"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-4407058-1569364098.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407058-1569364098.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.27/0.65 c solve instance... 1.64/0.73 o 65 1.64/0.76 o 61 1.64/0.80 o 59 2.32/0.82 o 58 2.32/0.82 o 57 2.32/0.83 o 53 2.32/0.84 o 51 2.32/0.87 o 50 2.99/0.97 o 49 2.99/0.97 o 47 3.78/1.07 o 45 4.54/1.11 o 44 17.86/2.89 s OPTIMUM FOUND 17.86/2.89 v <instantiation> 17.86/2.89 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] 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[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[4][5] y[4][6] y[4][7] y[4][8] y[5][6] y[5][7] y[5][8] y[6][7] y[6][8] y[7][8] </list> 17.86/2.89 v <values>0 1 5 12 25 27 35 41 44 1 5 12 25 27 35 41 44 4 11 24 26 34 40 43 7 20 22 30 36 39 13 15 23 29 32 2 10 16 19 8 14 17 6 9 3 </values> 17.86/2.89 v </instantiation>
OK 44
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 (11989 MiB free) memory of node 1: 16384 MiB (13152 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407058-1569364098/watcher-4407058-1569364098 -o /var/tmp/evaluation-result-4407058-1569364098/solver-4407058-1569364098 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 106262617 HOME/instance-4407058-1569364098.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=22627, runsolver pid=22624 [startup+0.100114 s]* /proc/loadavg: 6.03 6.93 7.14 3/211 22648 /proc/meminfo: memFree=25728820/32770624 swapFree=66992472/67108860 [pid=22627] ppid=22624 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22627/stat : 22627 (xcsp3-exec) S 22624 22627 20811 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512672380 115843072 363 33554432000 4194304 5098028 140721289787072 140721289785176 140218171814524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10698752 140721289794386 140721289794645 140721289794645 140721289797574 0 /proc/22627/statm: 28282 363 304 221 0 87 0 [pid=22629] ppid=22627 vsize=28227396 memory=29788 CPUtime=0.12 cores=0-7 /proc/22629/stat : 22629 (java) S 22627 22627 20811 0 -1 1077944320 5864 0 0 0 11 1 0 0 20 0 20 0 512672380 28904853504 7447 33554432000 4194304 4196468 140723309751968 140723309734512 140565842915063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 /proc/22629/statm: 7056849 7447 3145 1 0 7019032 0 [pid=22629/tid=22630] ppid=22627 vsize=28227396 memory=-2177352373413752899 CPUtime=0.09 cores=0-7 /proc/22629/task/22630/stat : 22630 (java) R 22627 22627 20811 0 -1 4202560 3806 0 0 0 8 1 0 0 20 0 20 0 512672380 28904853504 7447 33554432000 4194304 4196468 140723309751968 140565847137136 140565842926998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22631] ppid=22627 vsize=28227396 memory=732370334622280677 CPUtime=0 cores=0-7 /proc/22629/task/22631/stat : 22631 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 7447 33554432000 4194304 4196468 140723309751968 140565762767376 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22632] ppid=22627 vsize=28227396 memory=140196284827264 CPUtime=0 cores=0-7 /proc/22629/task/22632/stat : 22632 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 7447 33554432000 4194304 4196468 140723309751968 140565761714832 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22633] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22633/stat : 22633 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 7447 33554432000 4194304 4196468 140723309751968 140565760661776 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22634] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22634/stat : 22634 (java) S 22627 22627 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 7447 33554432000 4194304 4196468 140723309751968 140565759609232 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22635] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22635/stat : 22635 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 7447 33554432000 4194304 4196468 140723309751968 140565758557200 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22636] ppid=22627 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22629/task/22636/stat : 22636 (java) S 22627 22627 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 7447 33554432000 4194304 4196468 140723309751968 140565388844176 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22637] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22637/stat : 22637 (java) S 22627 22627 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 7447 33554432000 4194304 4196468 140723309751968 140565387791120 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22638] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22638/stat : 22638 (java) S 22627 22627 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 7447 33554432000 4194304 4196468 140723309751968 140565386738576 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22639] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22639/stat : 22639 (java) S 22627 22627 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512672382 28904853504 7447 33554432000 4194304 4196468 140723309751968 140563971131632 140565842926210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22640] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22640/stat : 22640 (java) S 22627 22627 20811 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512672383 28904853504 7447 33554432000 4194304 4196468 140723309751968 140563970077856 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22641] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22641/stat : 22641 (java) S 22627 22627 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512672383 28904853504 7447 33554432000 4194304 4196468 140723309751968 140563969024752 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22642] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22642/stat : 22642 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672386 28904853504 7447 33554432000 4194304 4196468 140723309751968 140563967973328 140565842933659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22643] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22643/stat : 22643 (java) S 22627 22627 20811 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 512672386 28904853504 7447 33554432000 4194304 4196468 140723309751968 140563966921456 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22644] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22644/stat : 22644 (java) S 22627 22627 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512672386 28904853504 7447 33554432000 4194304 4196468 140723309751968 140563965868912 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22645] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22645/stat : 22645 (java) S 22627 22627 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512672386 28904853504 7447 33554432000 4194304 4196468 140723309751968 140563964815856 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22646] ppid=22627 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/22629/task/22646/stat : 22646 (java) S 22627 22627 20811 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 20 0 512672386 28904853504 7447 33554432000 4194304 4196468 140723309751968 140563963763312 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22647] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22647/stat : 22647 (java) S 22627 22627 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512672386 28904853504 7447 33554432000 4194304 4196468 140723309751968 140563962710496 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22648] ppid=22627 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22629/task/22648/stat : 22648 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672386 28904853504 7447 33554432000 4194304 4196468 140723309751968 140563961658032 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31240 KiB [startup+0.210111 s]* /proc/loadavg: 6.03 6.93 7.14 2/211 22648 /proc/meminfo: memFree=25714556/32770624 swapFree=66992472/67108860 [pid=22627] ppid=22624 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22627/stat : 22627 (xcsp3-exec) S 22624 22627 20811 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512672380 115843072 363 33554432000 4194304 5098028 140721289787072 140721289785176 140218171814524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10698752 140721289794386 140721289794645 140721289794645 140721289797574 0 /proc/22627/statm: 28282 363 304 221 0 87 0 [pid=22629] ppid=22627 vsize=28227396 memory=41052 CPUtime=0.33 cores=0-7 /proc/22629/stat : 22629 (java) S 22627 22627 20811 0 -1 1077944320 9524 0 0 0 30 3 0 0 20 0 20 0 512672380 28904853504 10263 33554432000 4194304 4196468 140723309751968 140723309734512 140565842915063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 /proc/22629/statm: 7056849 10263 3298 1 0 7019032 0 [pid=22629/tid=22630] ppid=22627 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7 /proc/22629/task/22630/stat : 22630 (java) R 22627 22627 20811 0 -1 4202560 6656 0 0 0 17 2 0 0 20 0 20 0 512672380 28904853504 10263 33554432000 4194304 4196468 140723309751968 140565847144784 140565842926998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22631] ppid=22627 vsize=28227396 memory=732370334622280677 CPUtime=0 cores=0-7 /proc/22629/task/22631/stat : 22631 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 10263 33554432000 4194304 4196468 140723309751968 140565762767376 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22632] ppid=22627 vsize=28227396 memory=140196284827264 CPUtime=0 cores=0-7 /proc/22629/task/22632/stat : 22632 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 10263 33554432000 4194304 4196468 140723309751968 140565761714832 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22633] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22633/stat : 22633 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 10263 33554432000 4194304 4196468 140723309751968 140565760661776 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22634] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22634/stat : 22634 (java) S 22627 22627 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 10263 33554432000 4194304 4196468 140723309751968 140565759609232 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22635] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22635/stat : 22635 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 10263 33554432000 4194304 4196468 140723309751968 140565758557200 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22636] ppid=22627 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22629/task/22636/stat : 22636 (java) S 22627 22627 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 10263 33554432000 4194304 4196468 140723309751968 140565388844176 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22637] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22637/stat : 22637 (java) S 22627 22627 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 10263 33554432000 4194304 4196468 140723309751968 140565387791120 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22638] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22638/stat : 22638 (java) S 22627 22627 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512672381 28904853504 10263 33554432000 4194304 4196468 140723309751968 140565386738576 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22639] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22639/stat : 22639 (java) S 22627 22627 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512672382 28904853504 10263 33554432000 4194304 4196468 140723309751968 140563971131632 140565842926210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22640] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22640/stat : 22640 (java) S 22627 22627 20811 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512672383 28904853504 10263 33554432000 4194304 4196468 140723309751968 140563970077856 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22641] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22641/stat : 22641 (java) S 22627 22627 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512672383 28904853504 10263 33554432000 4194304 4196468 140723309751968 140563969024752 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22642] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22642/stat : 22642 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672386 28904853504 10263 33554432000 4194304 4196468 140723309751968 140563967973328 140565842933659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22643] ppid=22627 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/22629/task/22643/stat : 22643 (java) R 22627 22627 20811 0 -1 1077944384 519 0 0 0 1 0 0 0 20 0 20 0 512672386 28904853504 10263 33554432000 4194304 4196468 140723309751968 140563966921456 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22644] ppid=22627 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/22629/task/22644/stat : 22644 (java) S 22627 22627 20811 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 512672386 28904853504 10263 33554432000 4194304 4196468 140723309751968 140563965868912 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22645] ppid=22627 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/22629/task/22645/stat : 22645 (java) S 22627 22627 20811 0 -1 1077944384 234 0 0 0 1 0 0 0 20 0 20 0 512672386 28904853504 10263 33554432000 4194304 4196468 140723309751968 140563964815856 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22646] ppid=22627 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/22629/task/22646/stat : 22646 (java) R 22627 22627 20811 0 -1 4202560 747 0 0 0 7 0 0 0 20 0 20 0 512672386 28904853504 10263 33554432000 4194304 4196468 140723309751968 140563963763312 140565821536472 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22647] ppid=22627 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22647/stat : 22647 (java) S 22627 22627 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512672386 28904853504 10263 33554432000 4194304 4196468 140723309751968 140563962710496 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22648] ppid=22627 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22629/task/22648/stat : 22648 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672386 28904853504 10263 33554432000 4194304 4196468 140723309751968 140563961658032 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42504 KiB [startup+0.309417 s]* /proc/loadavg: 6.03 6.93 7.14 4/211 22648 /proc/meminfo: memFree=25707644/32770624 swapFree=66992472/67108860 [pid=22627] ppid=22624 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22627/stat : 22627 (xcsp3-exec) S 22624 22627 20811 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512672380 115843072 363 33554432000 4194304 5098028 140721289787072 140721289785176 140218171814524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10698752 140721289794386 140721289794645 140721289794645 140721289797574 0 /proc/22627/statm: 28282 363 304 221 0 87 0 [pid=22629] ppid=22627 vsize=28231652 memory=49392 CPUtime=0.52 cores=0-7 /proc/22629/stat : 22629 (java) S 22627 22627 20811 0 -1 1077944320 10786 0 0 0 48 4 0 0 20 0 20 0 512672380 28909211648 12348 33554432000 4194304 4196468 140723309751968 140723309734512 140565842915063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 /proc/22629/statm: 7057913 12348 3339 1 0 7019032 0 [pid=22629/tid=22630] ppid=22627 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/22629/task/22630/stat : 22630 (java) R 22627 22627 20811 0 -1 4202560 7748 0 0 0 26 3 0 0 20 0 20 0 512672380 28909211648 12348 33554432000 4194304 4196468 140723309751968 140565847146176 140565826995550 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22631] ppid=22627 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22631/stat : 22631 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672381 28909211648 12348 33554432000 4194304 4196468 140723309751968 140565762767376 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22632] ppid=22627 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22632/stat : 22632 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672381 28909211648 12348 33554432000 4194304 4196468 140723309751968 140565761714832 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22633] ppid=22627 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22633/stat : 22633 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672381 28909211648 12348 33554432000 4194304 4196468 140723309751968 140565760661776 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22634] ppid=22627 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22634/stat : 22634 (java) S 22627 22627 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512672381 28909211648 12348 33554432000 4194304 4196468 140723309751968 140565759609232 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22635] ppid=22627 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22635/stat : 22635 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672381 28909211648 12348 33554432000 4194304 4196468 140723309751968 140565758557200 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22636] ppid=22627 vsize=28231652 memory=140196188351151 CPUtime=0 cores=0-7 /proc/22629/task/22636/stat : 22636 (java) S 22627 22627 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512672381 28909211648 12348 33554432000 4194304 4196468 140723309751968 140565388844176 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22637] ppid=22627 vsize=28231652 memory=140196188353456 CPUtime=0 cores=0-7 /proc/22629/task/22637/stat : 22637 (java) S 22627 22627 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512672381 28909211648 12348 33554432000 4194304 4196468 140723309751968 140565387791120 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22638] ppid=22627 vsize=28231652 memory=140196188355760 CPUtime=0 cores=0-7 /proc/22629/task/22638/stat : 22638 (java) S 22627 22627 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512672381 28909211648 12392 33554432000 4194304 4196468 140723309751968 140565386738576 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22639] ppid=22627 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22639/stat : 22639 (java) S 22627 22627 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512672382 28909211648 12392 33554432000 4194304 4196468 140723309751968 140563971131632 140565842926210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22640] ppid=22627 vsize=28231652 memory=280392376725392 CPUtime=0 cores=0-7 /proc/22629/task/22640/stat : 22640 (java) S 22627 22627 20811 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512672383 28909211648 12392 33554432000 4194304 4196468 140723309751968 140563970077856 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22641] ppid=22627 vsize=28231652 memory=280392376723088 CPUtime=0 cores=0-7 /proc/22629/task/22641/stat : 22641 (java) S 22627 22627 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512672383 28909211648 12392 33554432000 4194304 4196468 140723309751968 140563969024752 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22642] ppid=22627 vsize=28231652 memory=280392376730000 CPUtime=0 cores=0-7 /proc/22629/task/22642/stat : 22642 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672386 28909211648 12392 33554432000 4194304 4196468 140723309751968 140563967973328 140565842933659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22643] ppid=22627 vsize=28231652 memory=280392376671248 CPUtime=0.03 cores=0-7 /proc/22629/task/22643/stat : 22643 (java) R 22627 22627 20811 0 -1 4202560 606 0 0 0 3 0 0 0 20 0 20 0 512672386 28909211648 12392 33554432000 4194304 4196468 140723309751968 140563966911568 140565823615360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22644] ppid=22627 vsize=28231652 memory=280392376743824 CPUtime=0.02 cores=0-7 /proc/22629/task/22644/stat : 22644 (java) S 22627 22627 20811 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 20 0 512672386 28909211648 12392 33554432000 4194304 4196468 140723309751968 140563965868912 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22645] ppid=22627 vsize=28231652 memory=280392376750736 CPUtime=0.03 cores=0-7 /proc/22629/task/22645/stat : 22645 (java) S 22627 22627 20811 0 -1 1077944384 240 0 0 0 3 0 0 0 20 0 20 0 512672386 28909211648 12392 33554432000 4194304 4196468 140723309751968 140563964815856 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22646] ppid=22627 vsize=28231652 memory=280392376748432 CPUtime=0.13 cores=0-7 /proc/22629/task/22646/stat : 22646 (java) S 22627 22627 20811 0 -1 1077944384 827 0 0 0 13 0 0 0 20 0 20 0 512672386 28909211648 12392 33554432000 4194304 4196468 140723309751968 140563963763312 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22647] ppid=22627 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22647/stat : 22647 (java) S 22627 22627 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512672386 28909211648 12392 33554432000 4194304 4196468 140723309751968 140563962710496 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22648] ppid=22627 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/22629/task/22648/stat : 22648 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512672386 28909211648 12392 33554432000 4194304 4196468 140723309751968 140563961658032 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50844 KiB [startup+0.701407 s] /proc/loadavg: 6.03 6.93 7.14 3/211 22648 /proc/meminfo: memFree=25690268/32770624 swapFree=66992472/67108860 [pid=22627] ppid=22624 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22627/stat : 22627 (xcsp3-exec) S 22624 22627 20811 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512672380 115843072 363 33554432000 4194304 5098028 140721289787072 140721289785176 140218171814524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10698752 140721289794386 140721289794645 140721289794645 140721289797574 0 /proc/22627/statm: 28282 363 304 221 0 87 0 [pid=22629] ppid=22627 vsize=28766288 memory=98508 CPUtime=1.64 cores=0-7 /proc/22629/stat : 22629 (java) S 22627 22627 20811 0 -1 1077944320 15389 0 0 0 157 7 0 0 20 0 28 0 512672380 29456678912 24627 33554432000 4194304 4196468 140723309751968 140723309734512 140565842915063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 /proc/22629/statm: 7191572 24627 3455 1 0 7152672 0 [pid=22629/tid=22630] ppid=22627 vsize=28766288 memory=0 CPUtime=0.63 cores=0-7 /proc/22629/task/22630/stat : 22630 (java) S 22627 22627 20811 0 -1 1077944384 9220 0 0 0 59 4 0 0 20 0 28 0 512672380 29456678912 24627 33554432000 4194304 4196468 140723309751968 140565847155840 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22631] ppid=22627 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22631/stat : 22631 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512672381 29456678912 24627 33554432000 4194304 4196468 140723309751968 140565762767376 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22632] ppid=22627 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22632/stat : 22632 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512672381 29456678912 24627 33554432000 4194304 4196468 140723309751968 140565761714832 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22633] ppid=22627 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22633/stat : 22633 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512672381 29456678912 24627 33554432000 4194304 4196468 140723309751968 140565760661776 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 ################ # More data... # ################ [pid=22629/tid=22643] ppid=22627 vsize=28768336 memory=2241 CPUtime=0.68 cores=0-7 /proc/22629/task/22643/stat : 22643 (java) R 22627 22627 20811 0 -1 4202560 3532 0 0 0 68 0 0 0 20 0 28 0 512672386 29458776064 52144 33554432000 4194304 4196468 140723309751968 140563966907472 140565824438714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22644] ppid=22627 vsize=28768336 memory=2244 CPUtime=0.71 cores=0-7 /proc/22629/task/22644/stat : 22644 (java) R 22627 22627 20811 0 -1 4202560 3404 0 0 0 71 0 0 0 20 0 28 0 512672386 29458776064 52144 33554432000 4194304 4196468 140723309751968 140563965855456 140565827837045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22645] ppid=22627 vsize=28768336 memory=0 CPUtime=0.61 cores=0-7 /proc/22629/task/22645/stat : 22645 (java) R 22627 22627 20811 0 -1 4202560 2437 0 0 0 61 0 0 0 20 0 28 0 512672386 29458776064 52144 33554432000 4194304 4196468 140723309751968 140563964804544 140565828039760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22646] ppid=22627 vsize=28768336 memory=0 CPUtime=0.6 cores=0-7 /proc/22629/task/22646/stat : 22646 (java) S 22627 22627 20811 0 -1 1077944384 3094 0 0 0 59 1 0 0 20 0 28 0 512672386 29458776064 52144 33554432000 4194304 4196468 140723309751968 140563963763312 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22647] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22647/stat : 22647 (java) S 22627 22627 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512672386 29458776064 52144 33554432000 4194304 4196468 140723309751968 140563962710496 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22648] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22648/stat : 22648 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512672386 29458776064 52144 33554432000 4194304 4196468 140723309751968 140563961658032 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 Current children cumulated CPU time: 8.34 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 210028 KiB [startup+2.40148 s] /proc/loadavg: 6.51 7.01 7.16 12/219 22752 /proc/meminfo: memFree=25532632/32770624 swapFree=66992472/67108860 [pid=22627] ppid=22624 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22627/stat : 22627 (xcsp3-exec) S 22624 22627 20811 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512672380 115843072 363 33554432000 4194304 5098028 140721289787072 140721289785176 140218171814524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10698752 140721289794386 140721289794645 140721289794645 140721289797574 0 /proc/22627/statm: 28282 363 304 221 0 87 0 [pid=22629] ppid=22627 vsize=28768336 memory=214984 CPUtime=14.68 cores=0-7 /proc/22629/stat : 22629 (java) S 22627 22627 20811 0 -1 1077944320 26582 0 0 0 1454 14 0 0 20 0 28 0 512672380 29458776064 53746 33554432000 4194304 4196468 140723309751968 140723309734512 140565842915063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 /proc/22629/statm: 7192084 53746 3491 1 0 7153184 0 [pid=22629/tid=22630] ppid=22627 vsize=28768336 memory=21304 CPUtime=0.64 cores=0-7 /proc/22629/task/22630/stat : 22630 (java) S 22627 22627 20811 0 -1 1077944384 9223 0 0 0 60 4 0 0 20 0 28 0 512672380 29458776064 53746 33554432000 4194304 4196468 140723309751968 140565847155840 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22631] ppid=22627 vsize=28768336 memory=512 CPUtime=0 cores=0-7 /proc/22629/task/22631/stat : 22631 (java) S 22627 22627 20811 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 53746 33554432000 4194304 4196468 140723309751968 140565762767376 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22632] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22632/stat : 22632 (java) S 22627 22627 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 53746 33554432000 4194304 4196468 140723309751968 140565761714832 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22633] ppid=22627 vsize=28768336 memory=2241 CPUtime=0 cores=0-7 /proc/22629/task/22633/stat : 22633 (java) S 22627 22627 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 53746 33554432000 4194304 4196468 140723309751968 140565760661776 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22634] ppid=22627 vsize=28768336 memory=2244 CPUtime=0 cores=0-7 /proc/22629/task/22634/stat : 22634 (java) S 22627 22627 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 53746 33554432000 4194304 4196468 140723309751968 140565759609232 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22635] ppid=22627 vsize=28768336 memory=7379823555192771682 CPUtime=0 cores=0-7 /proc/22629/task/22635/stat : 22635 (java) S 22627 22627 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 53746 33554432000 4194304 4196468 140723309751968 140565758557200 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22636] ppid=22627 vsize=28768336 memory=7811322447938938990 CPUtime=0 cores=0-7 /proc/22629/task/22636/stat : 22636 (java) S 22627 22627 20811 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 53746 33554432000 4194304 4196468 140723309751968 140565388844176 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22637] ppid=22627 vsize=28768336 memory=5931329015123165280 CPUtime=0 cores=0-7 /proc/22629/task/22637/stat : 22637 (java) S 22627 22627 20811 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 53746 33554432000 4194304 4196468 140723309751968 140565387791120 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22638] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22638/stat : 22638 (java) S 22627 22627 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 53746 33554432000 4194304 4196468 140723309751968 140565386738576 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22639] ppid=22627 vsize=28768336 memory=2241 CPUtime=0 cores=0-7 /proc/22629/task/22639/stat : 22639 (java) S 22627 22627 20811 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 512672382 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563971131632 140565842926210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22640] ppid=22627 vsize=28768336 memory=2244 CPUtime=0 cores=0-7 /proc/22629/task/22640/stat : 22640 (java) S 22627 22627 20811 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 512672383 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563970077920 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22641] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22641/stat : 22641 (java) S 22627 22627 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 512672383 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563969024752 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22642] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22642/stat : 22642 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512672386 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563967973328 140565842933659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22643] ppid=22627 vsize=28768336 memory=0 CPUtime=1.3 cores=0-7 /proc/22629/task/22643/stat : 22643 (java) R 22627 22627 20811 0 -1 4202560 3620 0 0 0 130 0 0 0 20 0 28 0 512672386 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563966908000 140565824436501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22644] ppid=22627 vsize=28768336 memory=1452 CPUtime=1.28 cores=0-7 /proc/22629/task/22644/stat : 22644 (java) R 22627 22627 20811 0 -1 4202560 3531 0 0 0 128 0 0 0 20 0 28 0 512672386 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563965861400 140565827303920 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22645] ppid=22627 vsize=28768336 memory=201532 CPUtime=1.18 cores=0-7 /proc/22629/task/22645/stat : 22645 (java) R 22627 22627 20811 0 -1 4202560 3442 0 0 0 118 0 0 0 20 0 28 0 512672386 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563964802672 140565822161863 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22646] ppid=22627 vsize=28768336 memory=0 CPUtime=0.67 cores=0-7 /proc/22629/task/22646/stat : 22646 (java) R 22627 22627 20811 0 -1 1077944384 3225 0 0 0 66 1 0 0 20 0 28 0 512672386 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563963763312 140565842926210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22647] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22647/stat : 22647 (java) S 22627 22627 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512672386 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563962710496 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22648] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22648/stat : 22648 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512672386 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563961658032 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22745] ppid=22627 vsize=28768336 memory=0 CPUtime=0.99 cores=0-7 /proc/22629/task/22745/stat : 22745 (java) R 22627 22627 20811 0 -1 4202560 40 0 0 0 99 0 0 0 20 0 28 0 512672491 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563952674344 140565443707242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22746] ppid=22627 vsize=28768336 memory=0 CPUtime=0.93 cores=0-7 /proc/22629/task/22746/stat : 22746 (java) R 22627 22627 20811 0 -1 4202560 26 0 0 0 93 0 0 0 20 0 28 0 512672492 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563950572872 140565443068539 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22747] ppid=22627 vsize=28768336 memory=0 CPUtime=0.79 cores=0-7 /proc/22629/task/22747/stat : 22747 (java) R 22627 22627 20811 0 -1 4202560 26 0 0 0 79 0 0 0 20 0 28 0 512672492 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563637421488 140565443633281 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22748] ppid=22627 vsize=28768336 memory=0 CPUtime=1 cores=0-7 /proc/22629/task/22748/stat : 22748 (java) R 22627 22627 20811 0 -1 4202560 26 0 0 0 100 0 0 0 20 0 28 0 512672492 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563949520720 140565444245328 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22749] ppid=22627 vsize=28768336 memory=0 CPUtime=0.88 cores=0-7 /proc/22629/task/22749/stat : 22749 (java) R 22627 22627 20811 0 -1 4202560 27 0 0 0 88 0 0 0 20 0 28 0 512672492 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563948467736 140565442995763 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22750] ppid=22627 vsize=28768336 memory=0 CPUtime=1.02 cores=0-7 /proc/22629/task/22750/stat : 22750 (java) R 22627 22627 20811 0 -1 4202560 24 0 0 0 102 0 0 0 20 0 28 0 512672492 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563951623896 140565442993560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22751] ppid=22627 vsize=28768336 memory=0 CPUtime=1.01 cores=0-7 /proc/22629/task/22751/stat : 22751 (java) R 22627 22627 20811 0 -1 4202560 26 0 0 0 101 0 0 0 20 0 28 0 512672492 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563947412712 140565443633636 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22752] ppid=22627 vsize=28768336 memory=0 CPUtime=0.82 cores=0-7 /proc/22629/task/22752/stat : 22752 (java) R 22627 22627 20811 0 -1 4202560 25 0 0 0 82 0 0 0 20 0 28 0 512672492 29458776064 53746 33554432000 4194304 4196468 140723309751968 140563946360288 140565442871670 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 Current children cumulated CPU time: 14.68 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 216436 KiB [startup+2.80147 s] /proc/loadavg: 6.51 7.01 7.16 12/219 22752 /proc/meminfo: memFree=25532632/32770624 swapFree=66992472/67108860 [pid=22627] ppid=22624 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22627/stat : 22627 (xcsp3-exec) S 22624 22627 20811 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512672380 115843072 363 33554432000 4194304 5098028 140721289787072 140721289785176 140218171814524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10698752 140721289794386 140721289794645 140721289794645 140721289797574 0 /proc/22627/statm: 28282 363 304 221 0 87 0 [pid=22629] ppid=22627 vsize=28768336 memory=217348 CPUtime=17.86 cores=0-7 /proc/22629/stat : 22629 (java) S 22627 22627 20811 0 -1 1077944320 26696 0 0 0 1772 14 0 0 20 0 28 0 512672380 29458776064 54337 33554432000 4194304 4196468 140723309751968 140723309734512 140565842915063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 /proc/22629/statm: 7192084 54337 3493 1 0 7153184 0 [pid=22629/tid=22630] ppid=22627 vsize=28768336 memory=80 CPUtime=0.64 cores=0-7 /proc/22629/task/22630/stat : 22630 (java) S 22627 22627 20811 0 -1 1077944384 9223 0 0 0 60 4 0 0 20 0 28 0 512672380 29458776064 54337 33554432000 4194304 4196468 140723309751968 140565847155840 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22631] ppid=22627 vsize=28768336 memory=81 CPUtime=0 cores=0-7 /proc/22629/task/22631/stat : 22631 (java) S 22627 22627 20811 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 54337 33554432000 4194304 4196468 140723309751968 140565762767376 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22632] ppid=22627 vsize=28768336 memory=62 CPUtime=0 cores=0-7 /proc/22629/task/22632/stat : 22632 (java) S 22627 22627 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 54337 33554432000 4194304 4196468 140723309751968 140565761714832 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22633] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22633/stat : 22633 (java) S 22627 22627 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 54337 33554432000 4194304 4196468 140723309751968 140565760661776 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22634] ppid=22627 vsize=28768336 memory=97182225051866 CPUtime=0 cores=0-7 /proc/22629/task/22634/stat : 22634 (java) S 22627 22627 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 54337 33554432000 4194304 4196468 140723309751968 140565759609232 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22635] ppid=22627 vsize=28768336 memory=97182225051867 CPUtime=0 cores=0-7 /proc/22629/task/22635/stat : 22635 (java) S 22627 22627 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 54337 33554432000 4194304 4196468 140723309751968 140565758557200 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22636] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22636/stat : 22636 (java) S 22627 22627 20811 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 54337 33554432000 4194304 4196468 140723309751968 140565388844176 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22637] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22637/stat : 22637 (java) S 22627 22627 20811 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 54337 33554432000 4194304 4196468 140723309751968 140565387791120 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22638] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22638/stat : 22638 (java) S 22627 22627 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512672381 29458776064 54337 33554432000 4194304 4196468 140723309751968 140565386738576 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22639] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22639/stat : 22639 (java) S 22627 22627 20811 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 512672382 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563971131632 140565842926210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22640] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22640/stat : 22640 (java) S 22627 22627 20811 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 512672383 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563970077920 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22641] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22641/stat : 22641 (java) S 22627 22627 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 512672383 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563969024752 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22642] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22642/stat : 22642 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512672386 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563967973328 140565842933659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22643] ppid=22627 vsize=28768336 memory=0 CPUtime=1.5 cores=0-7 /proc/22629/task/22643/stat : 22643 (java) R 22627 22627 20811 0 -1 4202560 3653 0 0 0 149 1 0 0 20 0 28 0 512672386 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563966908096 140565828020608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22644] ppid=22627 vsize=28768336 memory=0 CPUtime=1.48 cores=0-7 /proc/22629/task/22644/stat : 22644 (java) S 22627 22627 20811 0 -1 1077944384 3553 0 0 0 148 0 0 0 20 0 28 0 512672386 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563965868912 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22645] ppid=22627 vsize=28768336 memory=0 CPUtime=1.38 cores=0-7 /proc/22629/task/22645/stat : 22645 (java) S 22627 22627 20811 0 -1 1077944384 3475 0 0 0 138 0 0 0 20 0 28 0 512672386 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563964815856 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22646] ppid=22627 vsize=28768336 memory=0 CPUtime=0.69 cores=0-7 /proc/22629/task/22646/stat : 22646 (java) S 22627 22627 20811 0 -1 1077944384 3246 0 0 0 68 1 0 0 20 0 28 0 512672386 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563963763312 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22647] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22647/stat : 22647 (java) S 22627 22627 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512672386 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563962710496 140565842925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22648] ppid=22627 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22629/task/22648/stat : 22648 (java) S 22627 22627 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512672386 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563961658032 140565842926210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22745] ppid=22627 vsize=28768336 memory=0 CPUtime=1.29 cores=0-7 /proc/22629/task/22745/stat : 22745 (java) R 22627 22627 20811 0 -1 4202560 40 0 0 0 129 0 0 0 20 0 28 0 512672491 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563952675448 140565442994148 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22746] ppid=22627 vsize=28768336 memory=0 CPUtime=1.3 cores=0-7 /proc/22629/task/22746/stat : 22746 (java) R 22627 22627 20811 0 -1 4202560 27 0 0 0 130 0 0 0 20 0 28 0 512672492 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563950573032 140565443633281 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22747] ppid=22627 vsize=28768336 memory=0 CPUtime=1.19 cores=0-7 /proc/22629/task/22747/stat : 22747 (java) R 22627 22627 20811 0 -1 4202560 27 0 0 0 119 0 0 0 20 0 28 0 512672492 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563637422088 140565442871540 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22748] ppid=22627 vsize=28768336 memory=0 CPUtime=1.38 cores=0-7 /proc/22629/task/22748/stat : 22748 (java) R 22627 22627 20811 0 -1 4202560 28 0 0 0 138 0 0 0 20 0 28 0 512672492 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563949520168 140723310823638 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22749] ppid=22627 vsize=28768336 memory=0 CPUtime=1.12 cores=0-7 /proc/22629/task/22749/stat : 22749 (java) R 22627 22627 20811 0 -1 4202560 27 0 0 0 112 0 0 0 20 0 28 0 512672492 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563948467112 140565443253322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22750] ppid=22627 vsize=28768336 memory=0 CPUtime=1.33 cores=0-7 /proc/22629/task/22750/stat : 22750 (java) R 22627 22627 20811 0 -1 4202560 25 0 0 0 133 0 0 0 20 0 28 0 512672492 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563951625176 140565443252307 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22751] ppid=22627 vsize=28768336 memory=0 CPUtime=1.3 cores=0-7 /proc/22629/task/22751/stat : 22751 (java) R 22627 22627 20811 0 -1 4202560 26 0 0 0 130 0 0 0 20 0 28 0 512672492 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563947412160 140565443633281 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 [pid=22629/tid=22752] ppid=22627 vsize=28768336 memory=0 CPUtime=1.1 cores=0-7 /proc/22629/task/22752/stat : 22752 (java) R 22627 22627 20811 0 -1 4202560 25 0 0 0 110 0 0 0 20 0 28 0 512672492 29458776064 54337 33554432000 4194304 4196468 140723309751968 140563946361640 140565442995359 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140723309757398 140723309757574 140723309757574 140723309760463 0 Current children cumulated CPU time: 17.86 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 218800 KiB [startup+2.90113 s] /proc/loadavg: 6.51 7.01 7.16 12/219 22752 /proc/meminfo: memFree=25532632/32770624 swapFree=66992472/67108860 [pid=22627] ppid=22624 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22627/stat : 22627 (xcsp3-exec) S 22624 22627 20811 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512672380 115843072 363 33554432000 4194304 5098028 140721289787072 140721289785176 140218171814524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10698752 140721289794386 140721289794645 140721289794645 140721289797574 0 /proc/22627/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 2.90377 CPU time (s): 18.6095 CPU user time (s): 18.4504 CPU system time (s): 0.159075 CPU usage (%): 640.875 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 218800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.4504 system time used= 0.159075 maximum resident set size= 220712 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27279 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4882 involuntary context switches= 593 # summary of solver processes directly reported to runsolver: # pid: 22627 # total CPU time (s): 18.6095 # total CPU user time (s): 18.4504 # total CPU system time (s): 0.159075 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.047486 second user time and 0.062946 second system time The end
Begin job on node121 at 2019-09-25 00:27:35 IDJOB=4407058 IDBENCH=141374 IDSOLVER=2871 FILE ID=node121/4407058-1569364098 RUNJOBID= node121-1569357356-20838 PBS_JOBID= 21705107 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-nodv-09_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 /var/tmp/evaluation-result-4407058-1569364098/watcher-4407058-1569364098 -o /var/tmp/evaluation-result-4407058-1569364098/solver-4407058-1569364098 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 106262617 HOME/instance-4407058-1569364098.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5099229ea21e0b755c9ada14ed0c0ccc RANDOM SEED=106262617 node121.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.75 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.75 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.75 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.75 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: 25745552 kB MemAvailable: 31845356 kB Buffers: 155988 kB Cached: 6034068 kB SwapCached: 4680 kB Active: 3070524 kB Inactive: 3126704 kB Active(anon): 1924 kB Inactive(anon): 55024 kB Active(file): 3068600 kB Inactive(file): 3071680 kB Unevictable: 109592 kB Mlocked: 109592 kB SwapTotal: 67108860 kB SwapFree: 66992472 kB Dirty: 26308 kB Writeback: 0 kB AnonPages: 112748 kB Mapped: 53700 kB Shmem: 41156 kB Slab: 417392 kB SReclaimable: 387984 kB SUnreclaim: 29408 kB KernelStack: 3376 kB PageTables: 5304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514984 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: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13484 MiB End job on node121 at 2019-09-25 00:27:38