Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-06-14 parallel | UNSAT | 1112.21 | 245.898 |
Name | Random/Random-m1-5-8X-05c/ rand-5-8X-05c-44.xml |
MD5SUM | 68fb7a5417760ab9cc88f495b9ce53b3 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 83.873 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 12 |
Number of constraints | 95 |
Number of domains | 1 |
Minimum domain size | 12 |
Maximum domain size | 12 |
Distribution of domain sizes | [{"size":12,"count":12}] |
Minimum variable degree | 28 |
Maximum variable degree | 48 |
Distribution of variable degrees | [{"degree":28,"count":1},{"degree":34,"count":1},{"degree":35,"count":1},{"degree":37,"count":2},{"degree":38,"count":1},{"degree":41,"count":2},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":1}] |
Minimum constraint arity | 5 |
Maximum constraint arity | 5 |
Distribution of constraint arities | [{"arity":5,"count":95}] |
Number of extensional constraints | 95 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":95}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393723-1568420335.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4393723-1568420335.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 453.12/163.05 c solve instance... 1112.09/245.80 s UNSATISFIABLE
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 (9600 MiB free) memory of node 1: 16384 MiB (15566 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393723-1568420335/watcher-4393723-1568420335 -o /tmp/evaluation-result-4393723-1568420335/solver-4393723-1568420335 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568417770-10346 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 610551471 HOME/instance-4393723-1568420335.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=10672, runsolver pid=10669 Current StackSize limit: 8192 KiB [startup+0.100143 s]* /proc/loadavg: 7.45 8.05 7.77 2/211 10693 /proc/meminfo: memFree=25754720/32770624 swapFree=67002140/67108860 [pid=10672] ppid=10669 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10672/stat : 10672 (xcsp3-exec) S 10669 10672 10319 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418282322 115843072 363 33554432000 4194304 5098028 140733663072272 140733663070376 139652162429564 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37412864 140733663081334 140733663081577 140733663081577 140733663084490 0 /proc/10672/statm: 28282 363 304 221 0 87 0 [pid=10674] ppid=10672 vsize=28227388 memory=29768 CPUtime=0.13 cores=0-7 /proc/10674/stat : 10674 (java) S 10672 10672 10319 0 -1 1077944320 5924 0 0 0 12 1 0 0 20 0 20 0 418282322 28904845312 7442 33554432000 4194304 4196468 140723551373312 140723551355856 140616107081463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 /proc/10674/statm: 7056847 7442 3119 1 0 7019032 0 [pid=10674/tid=10675] ppid=10672 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/10674/task/10675/stat : 10675 (java) R 10672 10672 10319 0 -1 4202560 3826 0 0 0 8 0 0 0 20 0 20 0 418282322 28904845312 7442 33554432000 4194304 4196468 140723551373312 140616111313728 140616107093398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10676] ppid=10672 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/10674/task/10676/stat : 10676 (java) S 10672 10672 10319 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 7442 33554432000 4194304 4196468 140723551373312 140616026934160 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10677] ppid=10672 vsize=28227388 memory=139781632452224 CPUtime=0 cores=0-7 /proc/10674/task/10677/stat : 10677 (java) S 10672 10672 10319 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 7442 33554432000 4194304 4196468 140723551373312 140616025881360 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10678] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10678/stat : 10678 (java) S 10672 10672 10319 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 7442 33554432000 4194304 4196468 140723551373312 140616024829072 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10679] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10679/stat : 10679 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 7442 33554432000 4194304 4196468 140723551373312 140616023776272 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10680] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10680/stat : 10680 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 7442 33554432000 4194304 4196468 140723551373312 140616022722960 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10681] ppid=10672 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/10674/task/10681/stat : 10681 (java) S 10672 10672 10319 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 7442 33554432000 4194304 4196468 140723551373312 140615653382416 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10682] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10682/stat : 10682 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 7442 33554432000 4194304 4196468 140723551373312 140615652330128 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10683] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10683/stat : 10683 (java) S 10672 10672 10319 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 7442 33554432000 4194304 4196468 140723551373312 140615651277328 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10684] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10684/stat : 10684 (java) S 10672 10672 10319 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418282325 28904845312 7442 33554432000 4194304 4196468 140723551373312 140614821694064 140616107092610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10685] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10685/stat : 10685 (java) S 10672 10672 10319 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418282325 28904845312 7442 33554432000 4194304 4196468 140723551373312 140614820640032 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10686] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10686/stat : 10686 (java) S 10672 10672 10319 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418282325 28904845312 7442 33554432000 4194304 4196468 140723551373312 140614819587696 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10687] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10687/stat : 10687 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418282328 28904845312 7442 33554432000 4194304 4196468 140723551373312 140614818536016 140616107100059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10688] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10688/stat : 10688 (java) S 10672 10672 10319 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 418282328 28904845312 7442 33554432000 4194304 4196468 140723551373312 140614817482864 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10689] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10689/stat : 10689 (java) S 10672 10672 10319 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418282328 28904845312 7442 33554432000 4194304 4196468 140723551373312 140614816430064 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10690] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10690/stat : 10690 (java) S 10672 10672 10319 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418282328 28904845312 7442 33554432000 4194304 4196468 140723551373312 140614815377776 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10691] ppid=10672 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/10674/task/10691/stat : 10691 (java) R 10672 10672 10319 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 20 0 418282328 28904845312 7442 33554432000 4194304 4196468 140723551373312 140614562867440 140616107093398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10692] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10692/stat : 10692 (java) S 10672 10672 10319 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418282328 28904845312 7442 33554432000 4194304 4196468 140723551373312 140614561815392 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10693] ppid=10672 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/10674/task/10693/stat : 10693 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418282328 28904845312 7442 33554432000 4194304 4196468 140723551373312 140614560762672 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31220 KiB [startup+0.210423 s]* /proc/loadavg: 7.45 8.05 7.77 2/211 10693 /proc/meminfo: memFree=25741504/32770624 swapFree=67002140/67108860 [pid=10672] ppid=10669 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10672/stat : 10672 (xcsp3-exec) S 10669 10672 10319 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418282322 115843072 363 33554432000 4194304 5098028 140733663072272 140733663070376 139652162429564 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37412864 140733663081334 140733663081577 140733663081577 140733663084490 0 /proc/10672/statm: 28282 363 304 221 0 87 0 [pid=10674] ppid=10672 vsize=28227388 memory=41032 CPUtime=0.34 cores=0-7 /proc/10674/stat : 10674 (java) S 10672 10672 10319 0 -1 1077944320 9513 0 0 0 31 3 0 0 20 0 20 0 418282322 28904845312 10258 33554432000 4194304 4196468 140723551373312 140723551355856 140616107081463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 /proc/10674/statm: 7056847 10258 3298 1 0 7019032 0 [pid=10674/tid=10675] ppid=10672 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/10674/task/10675/stat : 10675 (java) R 10672 10672 10319 0 -1 4202560 6653 0 0 0 18 2 0 0 20 0 20 0 418282322 28904845312 10258 33554432000 4194304 4196468 140723551373312 140616111321136 140616107093398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10676] ppid=10672 vsize=28227388 memory=330 CPUtime=0 cores=0-7 /proc/10674/task/10676/stat : 10676 (java) S 10672 10672 10319 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 10258 33554432000 4194304 4196468 140723551373312 140616026934160 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10677] ppid=10672 vsize=28227388 memory=288370157784163968 CPUtime=0 cores=0-7 /proc/10674/task/10677/stat : 10677 (java) S 10672 10672 10319 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 10258 33554432000 4194304 4196468 140723551373312 140616025881360 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10678] ppid=10672 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/10674/task/10678/stat : 10678 (java) S 10672 10672 10319 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 10258 33554432000 4194304 4196468 140723551373312 140616024829072 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10679] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10679/stat : 10679 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 10258 33554432000 4194304 4196468 140723551373312 140616023776272 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10680] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10680/stat : 10680 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 10258 33554432000 4194304 4196468 140723551373312 140616022722960 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10681] ppid=10672 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/10674/task/10681/stat : 10681 (java) S 10672 10672 10319 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 10258 33554432000 4194304 4196468 140723551373312 140615653382416 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10682] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10682/stat : 10682 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 10258 33554432000 4194304 4196468 140723551373312 140615652330128 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10683] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10683/stat : 10683 (java) S 10672 10672 10319 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418282323 28904845312 10258 33554432000 4194304 4196468 140723551373312 140615651277328 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10684] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10684/stat : 10684 (java) S 10672 10672 10319 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418282325 28904845312 10258 33554432000 4194304 4196468 140723551373312 140614821694064 140616107092610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10685] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10685/stat : 10685 (java) S 10672 10672 10319 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418282325 28904845312 10258 33554432000 4194304 4196468 140723551373312 140614820640032 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10686] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10686/stat : 10686 (java) S 10672 10672 10319 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418282325 28904845312 10258 33554432000 4194304 4196468 140723551373312 140614819587696 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10687] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10687/stat : 10687 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418282328 28904845312 10258 33554432000 4194304 4196468 140723551373312 140614818536016 140616107100059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10688] ppid=10672 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/10674/task/10688/stat : 10688 (java) S 10672 10672 10319 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 20 0 418282328 28904845312 10258 33554432000 4194304 4196468 140723551373312 140614817482864 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10689] ppid=10672 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/10674/task/10689/stat : 10689 (java) S 10672 10672 10319 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 20 0 418282328 28904845312 10258 33554432000 4194304 4196468 140723551373312 140614816430064 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10690] ppid=10672 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/10674/task/10690/stat : 10690 (java) S 10672 10672 10319 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 20 0 418282328 28904845312 10258 33554432000 4194304 4196468 140723551373312 140614815377776 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10691] ppid=10672 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/10674/task/10691/stat : 10691 (java) R 10672 10672 10319 0 -1 4202560 765 0 0 0 8 0 0 0 20 0 20 0 418282328 28904845312 10258 33554432000 4194304 4196468 140723551373312 140614562867440 140616085833172 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10692] ppid=10672 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10692/stat : 10692 (java) S 10672 10672 10319 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418282328 28904845312 10258 33554432000 4194304 4196468 140723551373312 140614561815392 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10693] ppid=10672 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/10674/task/10693/stat : 10693 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418282328 28904845312 10258 33554432000 4194304 4196468 140723551373312 140614560762672 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42484 KiB [startup+0.310286 s]* /proc/loadavg: 7.45 8.05 7.77 4/211 10693 /proc/meminfo: memFree=25734316/32770624 swapFree=67002140/67108860 [pid=10672] ppid=10669 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10672/stat : 10672 (xcsp3-exec) S 10669 10672 10319 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418282322 115843072 363 33554432000 4194304 5098028 140733663072272 140733663070376 139652162429564 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37412864 140733663081334 140733663081577 140733663081577 140733663084490 0 /proc/10672/statm: 28282 363 304 221 0 87 0 [pid=10674] ppid=10672 vsize=28231644 memory=50148 CPUtime=0.51 cores=0-7 /proc/10674/stat : 10674 (java) S 10672 10672 10319 0 -1 1077944320 10860 0 0 0 47 4 0 0 20 0 20 0 418282322 28909203456 12537 33554432000 4194304 4196468 140723551373312 140723551355856 140616107081463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 /proc/10674/statm: 7057911 12537 3355 1 0 7019032 0 [pid=10674/tid=10675] ppid=10672 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/10674/task/10675/stat : 10675 (java) R 10672 10672 10319 0 -1 4202560 7780 0 0 0 26 3 0 0 20 0 20 0 418282322 28909203456 12569 33554432000 4194304 4196468 140723551373312 140616111312576 140616091161950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10676] ppid=10672 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10676/stat : 10676 (java) S 10672 10672 10319 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418282323 28909203456 12569 33554432000 4194304 4196468 140723551373312 140616026934160 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10677] ppid=10672 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10677/stat : 10677 (java) S 10672 10672 10319 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418282323 28909203456 12569 33554432000 4194304 4196468 140723551373312 140616025881360 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10678] ppid=10672 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10678/stat : 10678 (java) S 10672 10672 10319 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418282323 28909203456 12569 33554432000 4194304 4196468 140723551373312 140616024829072 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10679] ppid=10672 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10679/stat : 10679 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418282323 28909203456 12569 33554432000 4194304 4196468 140723551373312 140616023776272 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10680] ppid=10672 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/10674/task/10680/stat : 10680 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418282323 28909203456 12569 33554432000 4194304 4196468 140723551373312 140616022722960 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10681] ppid=10672 vsize=28231644 memory=139781522682799 CPUtime=0 cores=0-7 /proc/10674/task/10681/stat : 10681 (java) S 10672 10672 10319 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418282323 28909203456 12569 33554432000 4194304 4196468 140723551373312 140615653382416 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10682] ppid=10672 vsize=28231644 memory=139781522685104 CPUtime=0 cores=0-7 /proc/10674/task/10682/stat : 10682 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418282323 28909203456 12569 33554432000 4194304 4196468 140723551373312 140615652330128 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10683] ppid=10672 vsize=28231644 memory=139781522687408 CPUtime=0 cores=0-7 /proc/10674/task/10683/stat : 10683 (java) S 10672 10672 10319 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418282323 28909203456 12569 33554432000 4194304 4196468 140723551373312 140615651277328 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10684] ppid=10672 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10684/stat : 10684 (java) S 10672 10672 10319 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418282325 28909203456 12569 33554432000 4194304 4196468 140723551373312 140614821694064 140616107092610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10685] ppid=10672 vsize=28231644 memory=279563045381776 CPUtime=0 cores=0-7 /proc/10674/task/10685/stat : 10685 (java) S 10672 10672 10319 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418282325 28909203456 12569 33554432000 4194304 4196468 140723551373312 140614820640032 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10686] ppid=10672 vsize=28231644 memory=279563045388688 CPUtime=0 cores=0-7 /proc/10674/task/10686/stat : 10686 (java) S 10672 10672 10319 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418282325 28909203456 12569 33554432000 4194304 4196468 140723551373312 140614819587696 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10687] ppid=10672 vsize=28231644 memory=279563045329968 CPUtime=0 cores=0-7 /proc/10674/task/10687/stat : 10687 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418282328 28909203456 12569 33554432000 4194304 4196468 140723551373312 140614818536016 140616107100059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10688] ppid=10672 vsize=28231644 memory=279563045402512 CPUtime=0.01 cores=0-7 /proc/10674/task/10688/stat : 10688 (java) S 10672 10672 10319 0 -1 1077944384 404 0 0 0 1 0 0 0 20 0 20 0 418282328 28909203456 12569 33554432000 4194304 4196468 140723551373312 140614817482864 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10689] ppid=10672 vsize=28231644 memory=279563045409424 CPUtime=0.02 cores=0-7 /proc/10674/task/10689/stat : 10689 (java) S 10672 10672 10319 0 -1 1077944384 91 0 0 0 2 0 0 0 20 0 20 0 418282328 28909203456 12569 33554432000 4194304 4196468 140723551373312 140614816430064 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10690] ppid=10672 vsize=28231644 memory=279563045407120 CPUtime=0.03 cores=0-7 /proc/10674/task/10690/stat : 10690 (java) R 10672 10672 10319 0 -1 4202560 418 0 0 0 3 0 0 0 20 0 20 0 418282328 28909203456 12569 33554432000 4194304 4196468 140723551373312 140614815377776 140616088604381 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10691] ppid=10672 vsize=28231644 memory=279563045423280 CPUtime=0.12 cores=0-7 /proc/10674/task/10691/stat : 10691 (java) S 10672 10672 10319 0 -1 1077944384 861 0 0 0 12 0 0 0 20 0 20 0 418282328 28909203456 12569 33554432000 4194304 4196468 140723551373312 140614562867440 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10692] ppid=10672 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/10674/task/10692/stat : 10692 (java) S 10672 10672 10319 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418282328 28909203456 12569 33554432000 4194304 4196468 140723551373312 140614561815392 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10693] ppid=10672 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/10674/task/10693/stat : 10693 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418282328 28909203456 12569 33554432000 4194304 4196468 140723551373312 140614560762672 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51600 KiB [startup+0.700989 s] /proc/loadavg: 7.45 8.05 7.77 2/211 10693 /proc/meminfo: memFree=25622236/32770624 swapFree=67002140/67108860 [pid=10672] ppid=10669 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10672/stat : 10672 (xcsp3-exec) S 10669 10672 10319 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418282322 115843072 363 33554432000 4194304 5098028 140733663072272 140733663070376 139652162429564 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37412864 140733663081334 140733663081577 140733663081577 140733663084490 0 /proc/10672/statm: 28282 363 304 221 0 87 0 [pid=10674] ppid=10672 vsize=28231644 memory=295800 CPUtime=1.6 cores=0-7 /proc/10674/stat : 10674 (java) S 10672 10672 10319 0 -1 1077944320 13995 0 0 0 117 43 0 0 20 0 20 0 418282322 28909203456 73950 33554432000 4194304 4196468 140723551373312 140723551355856 140616107081463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 /proc/10674/statm: 7057911 73950 3412 1 0 7019032 0 [pid=10674/tid=10675] ppid=10672 vsize=28231644 memory=279563045781168 CPUtime=0.61 cores=0-7 /proc/10674/task/10675/stat : 10675 (java) R 10672 10672 10319 0 -1 4202560 8078 0 0 0 53 8 0 0 20 0 20 0 418282322 28909203456 73950 33554432000 4194304 4196468 140723551373312 140616111320320 140616107103389 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10676] ppid=10672 vsize=28231644 memory=139781522891632 CPUtime=0.05 cores=0-7 /proc/10674/task/10676/stat : 10676 (java) S 10672 10672 10319 0 -1 1077944384 61 0 0 0 1 4 0 0 20 0 20 0 418282323 28909203456 73950 33554432000 4194304 4196468 140723551373312 140616026934160 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10677] ppid=10672 vsize=28231644 memory=0 CPUtime=0.05 cores=0-7 /proc/10674/task/10677/stat : 10677 (java) S 10672 10672 10319 0 -1 1077944384 56 0 0 0 2 3 0 0 20 0 20 0 418282323 28909203456 73950 33554432000 4194304 4196468 140723551373312 140616025881360 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10678] ppid=10672 vsize=28231644 memory=1056 CPUtime=0.05 cores=0-7 /proc/10674/task/10678/stat : 10678 (java) S 10672 10672 10319 0 -1 1077944384 60 0 0 0 1 4 0 0 20 0 20 0 418282323 28909203456 73950 33554432000 4194304 4196468 140723551373312 140616024829072 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 ################ # More data... # ################ [pid=10674/tid=10691] ppid=10672 vsize=28768328 memory=1768 CPUtime=0.95 cores=0-7 /proc/10674/task/10691/stat : 10691 (java) S 10672 10672 10319 0 -1 1077944384 16009 0 0 0 92 3 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614562867440 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10692] ppid=10672 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/10674/task/10692/stat : 10692 (java) S 10672 10672 10319 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614561815392 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10693] ppid=10672 vsize=28768328 memory=16196196 CPUtime=0.11 cores=0-7 /proc/10674/task/10693/stat : 10693 (java) S 10672 10672 10319 0 -1 1077944384 1504 0 0 0 6 5 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614560762672 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10713] ppid=10672 vsize=28768328 memory=3616 CPUtime=80.28 cores=0-7 /proc/10674/task/10713/stat : 10713 (java) R 10672 10672 10319 0 -1 4202560 2126 0 0 0 8023 5 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614551789384 140615706246444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10714] ppid=10672 vsize=28768328 memory=1452 CPUtime=80.53 cores=0-7 /proc/10674/task/10714/stat : 10714 (java) R 10672 10672 10319 0 -1 4202560 1781 0 0 0 8045 8 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614550737128 140615707299240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10715] ppid=10672 vsize=28768328 memory=16196164 CPUtime=79.84 cores=0-7 /proc/10674/task/10715/stat : 10715 (java) R 10672 10672 10319 0 -1 4202560 7915 0 0 0 7944 40 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614549685704 140615707299317 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10716] ppid=10672 vsize=28768328 memory=6791534058613427641 CPUtime=80.15 cores=0-7 /proc/10674/task/10716/stat : 10716 (java) R 10672 10672 10319 0 -1 4202560 2446 0 0 0 8001 14 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614548630728 140615707299277 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10717] ppid=10672 vsize=28768328 memory=4126316290023845779 CPUtime=80.08 cores=0-7 /proc/10674/task/10717/stat : 10717 (java) R 10672 10672 10319 0 -1 4202560 2195 0 0 0 8004 4 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614547580360 140615704873034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10718] ppid=10672 vsize=28768328 memory=4136 CPUtime=80.16 cores=0-7 /proc/10674/task/10718/stat : 10718 (java) R 10672 10672 10319 0 -1 4202560 2977 0 0 0 8002 14 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614546525928 140615709623331 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10719] ppid=10672 vsize=28768328 memory=1412 CPUtime=79.35 cores=0-7 /proc/10674/task/10719/stat : 10719 (java) R 10672 10672 10319 0 -1 4202560 1704 0 0 0 7922 13 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614343577936 140615707299326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10720] ppid=10672 vsize=28768328 memory=1452 CPUtime=80.19 cores=0-7 /proc/10674/task/10720/stat : 10720 (java) R 10672 10672 10319 0 -1 4202560 10530 0 0 0 8005 14 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614342524840 140615704873008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 Current children cumulated CPU time: 1104.12 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 16197648 KiB [startup+245.601 s] /proc/loadavg: 7.37 6.42 7.05 9/220 10725 /proc/meminfo: memFree=9558516/32770624 swapFree=67002140/67108860 [pid=10672] ppid=10669 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10672/stat : 10672 (xcsp3-exec) S 10669 10672 10319 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418282322 115843072 363 33554432000 4194304 5098028 140733663072272 140733663070376 139652162429564 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37412864 140733663081334 140733663081577 140733663081577 140733663084490 0 /proc/10672/statm: 28282 363 304 221 0 87 0 [pid=10674] ppid=10672 vsize=28768328 memory=16196196 CPUtime=1110.5 cores=0-7 /proc/10674/stat : 10674 (java) S 10672 10672 10319 0 -1 1077944320 631691 0 0 0 107390 3660 0 0 20 0 28 0 418282322 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140723551355856 140616107081463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 /proc/10674/statm: 7192082 4049049 3533 1 0 7153184 0 [pid=10674/tid=10675] ppid=10672 vsize=28768328 memory=6791534058613427641 CPUtime=97.43 cores=0-7 /proc/10674/task/10675/stat : 10675 (java) S 10672 10672 10319 0 -1 1077944384 57695 0 0 0 9633 110 0 0 20 0 28 0 418282322 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140616111322240 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10676] ppid=10672 vsize=28768328 memory=16196032 CPUtime=41.8 cores=0-7 /proc/10674/task/10676/stat : 10676 (java) S 10672 10672 10319 0 -1 1077944384 65488 0 0 0 3745 435 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140616026934160 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10677] ppid=10672 vsize=28768328 memory=1452 CPUtime=41.46 cores=0-7 /proc/10674/task/10677/stat : 10677 (java) S 10672 10672 10319 0 -1 1077944384 46229 0 0 0 3722 424 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140616025881360 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10678] ppid=10672 vsize=28768328 memory=16195868 CPUtime=41.67 cores=0-7 /proc/10674/task/10678/stat : 10678 (java) S 10672 10672 10319 0 -1 1077944384 53974 0 0 0 3751 416 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140616024829072 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10679] ppid=10672 vsize=28768328 memory=1452 CPUtime=41.67 cores=0-7 /proc/10674/task/10679/stat : 10679 (java) S 10672 10672 10319 0 -1 1077944384 43100 0 0 0 3732 435 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140616023776272 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10680] ppid=10672 vsize=28768328 memory=16195460 CPUtime=41.78 cores=0-7 /proc/10674/task/10680/stat : 10680 (java) S 10672 10672 10319 0 -1 1077944384 69083 0 0 0 3770 408 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140616022722960 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10681] ppid=10672 vsize=28768328 memory=3616 CPUtime=41.67 cores=0-7 /proc/10674/task/10681/stat : 10681 (java) S 10672 10672 10319 0 -1 1077944384 45555 0 0 0 3726 441 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140615653382416 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10682] ppid=10672 vsize=28768328 memory=39284 CPUtime=41.66 cores=0-7 /proc/10674/task/10682/stat : 10682 (java) S 10672 10672 10319 0 -1 1077944384 45917 0 0 0 3759 407 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140615652330128 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10683] ppid=10672 vsize=28768328 memory=988 CPUtime=41.67 cores=0-7 /proc/10674/task/10683/stat : 10683 (java) S 10672 10672 10319 0 -1 1077944384 54858 0 0 0 3765 402 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140615651277328 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10684] ppid=10672 vsize=28768328 memory=2024 CPUtime=23.67 cores=0-7 /proc/10674/task/10684/stat : 10684 (java) S 10672 10672 10319 0 -1 1077944384 54316 0 0 0 2323 44 0 0 20 0 28 0 418282325 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614821694064 140616107092610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10685] ppid=10672 vsize=28768328 memory=1428 CPUtime=0 cores=0-7 /proc/10674/task/10685/stat : 10685 (java) S 10672 10672 10319 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 418282325 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614820640096 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10686] ppid=10672 vsize=28768328 memory=776 CPUtime=0 cores=0-7 /proc/10674/task/10686/stat : 10686 (java) S 10672 10672 10319 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 28 0 418282325 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614819587712 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10687] ppid=10672 vsize=28768328 memory=4008 CPUtime=0 cores=0-7 /proc/10674/task/10687/stat : 10687 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614818536016 140616107100059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10688] ppid=10672 vsize=28768328 memory=1244 CPUtime=2.48 cores=0-7 /proc/10674/task/10688/stat : 10688 (java) S 10672 10672 10319 0 -1 1077944384 17445 0 0 0 245 3 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614817482864 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10689] ppid=10672 vsize=28768328 memory=10472 CPUtime=3.11 cores=0-7 /proc/10674/task/10689/stat : 10689 (java) S 10672 10672 10319 0 -1 1077944384 16630 0 0 0 307 4 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614816430064 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10690] ppid=10672 vsize=28768328 memory=1720 CPUtime=2.16 cores=0-7 /proc/10674/task/10690/stat : 10690 (java) S 10672 10672 10319 0 -1 1077944384 10549 0 0 0 214 2 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614815377776 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10691] ppid=10672 vsize=28768328 memory=5720 CPUtime=0.95 cores=0-7 /proc/10674/task/10691/stat : 10691 (java) S 10672 10672 10319 0 -1 1077944384 16009 0 0 0 92 3 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614562867440 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10692] ppid=10672 vsize=28768328 memory=636 CPUtime=0 cores=0-7 /proc/10674/task/10692/stat : 10692 (java) S 10672 10672 10319 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614561815392 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10693] ppid=10672 vsize=28768328 memory=2832 CPUtime=0.11 cores=0-7 /proc/10674/task/10693/stat : 10693 (java) S 10672 10672 10319 0 -1 1077944384 1506 0 0 0 6 5 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614560762672 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10713] ppid=10672 vsize=28768328 memory=1056 CPUtime=81.08 cores=0-7 /proc/10674/task/10713/stat : 10713 (java) R 10672 10672 10319 0 -1 4202560 2127 0 0 0 8103 5 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614551789384 140615706344109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10714] ppid=10672 vsize=28768328 memory=1568 CPUtime=81.33 cores=0-7 /proc/10674/task/10714/stat : 10714 (java) R 10672 10672 10319 0 -1 4202560 1781 0 0 0 8125 8 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614550737128 140615704873034 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10715] ppid=10672 vsize=28768328 memory=1040 CPUtime=80.63 cores=0-7 /proc/10674/task/10715/stat : 10715 (java) R 10672 10672 10319 0 -1 4202560 7934 0 0 0 8023 40 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614549685704 140615709177057 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10716] ppid=10672 vsize=28768328 memory=14004 CPUtime=80.95 cores=0-7 /proc/10674/task/10716/stat : 10716 (java) R 10672 10672 10319 0 -1 4202560 2448 0 0 0 8081 14 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614548630728 140615707299792 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10717] ppid=10672 vsize=28768328 memory=12040 CPUtime=80.88 cores=0-7 /proc/10674/task/10717/stat : 10717 (java) R 10672 10672 10319 0 -1 4202560 2195 0 0 0 8084 4 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614547580360 140615705296828 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10718] ppid=10672 vsize=28768328 memory=2120 CPUtime=80.96 cores=0-7 /proc/10674/task/10718/stat : 10718 (java) R 10672 10672 10319 0 -1 4202560 3029 0 0 0 8082 14 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614546525928 140615707299834 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10719] ppid=10672 vsize=28768328 memory=6791534058613427641 CPUtime=80.15 cores=0-7 /proc/10674/task/10719/stat : 10719 (java) R 10672 10672 10319 0 -1 4202560 1704 0 0 0 8002 13 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614343577936 140615705296268 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10720] ppid=10672 vsize=28768328 memory=39284 CPUtime=80.99 cores=0-7 /proc/10674/task/10720/stat : 10720 (java) R 10672 10672 10319 0 -1 4202560 10543 0 0 0 8085 14 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614342524840 140615705296219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 Current children cumulated CPU time: 1110.5 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 16197648 KiB [startup+245.801 s] /proc/loadavg: 7.37 6.42 7.05 9/220 10725 /proc/meminfo: memFree=9558516/32770624 swapFree=67002140/67108860 [pid=10672] ppid=10669 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10672/stat : 10672 (xcsp3-exec) S 10669 10672 10319 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418282322 115843072 363 33554432000 4194304 5098028 140733663072272 140733663070376 139652162429564 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37412864 140733663081334 140733663081577 140733663081577 140733663084490 0 /proc/10672/statm: 28282 363 304 221 0 87 0 [pid=10674] ppid=10672 vsize=28768328 memory=16196196 CPUtime=1112.09 cores=0-7 /proc/10674/stat : 10674 (java) S 10672 10672 10319 0 -1 1077944320 631695 0 0 0 107549 3660 0 0 20 0 28 0 418282322 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140723551355856 140616107081463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 /proc/10674/statm: 7192082 4049049 3533 1 0 7153184 0 [pid=10674/tid=10675] ppid=10672 vsize=28768328 memory=1428 CPUtime=97.43 cores=0-7 /proc/10674/task/10675/stat : 10675 (java) S 10672 10672 10319 0 -1 1077944384 57695 0 0 0 9633 110 0 0 20 0 28 0 418282322 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140616111322240 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10676] ppid=10672 vsize=28768328 memory=776 CPUtime=41.8 cores=0-7 /proc/10674/task/10676/stat : 10676 (java) S 10672 10672 10319 0 -1 1077944384 65488 0 0 0 3745 435 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140616026934160 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10677] ppid=10672 vsize=28768328 memory=4008 CPUtime=41.46 cores=0-7 /proc/10674/task/10677/stat : 10677 (java) S 10672 10672 10319 0 -1 1077944384 46229 0 0 0 3722 424 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140616025881360 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10678] ppid=10672 vsize=28768328 memory=1244 CPUtime=41.67 cores=0-7 /proc/10674/task/10678/stat : 10678 (java) S 10672 10672 10319 0 -1 1077944384 53974 0 0 0 3751 416 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140616024829072 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10679] ppid=10672 vsize=28768328 memory=10472 CPUtime=41.67 cores=0-7 /proc/10674/task/10679/stat : 10679 (java) S 10672 10672 10319 0 -1 1077944384 43100 0 0 0 3732 435 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140616023776272 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10680] ppid=10672 vsize=28768328 memory=1720 CPUtime=41.78 cores=0-7 /proc/10674/task/10680/stat : 10680 (java) S 10672 10672 10319 0 -1 1077944384 69083 0 0 0 3770 408 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140616022722960 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10681] ppid=10672 vsize=28768328 memory=1452 CPUtime=41.67 cores=0-7 /proc/10674/task/10681/stat : 10681 (java) S 10672 10672 10319 0 -1 1077944384 45555 0 0 0 3726 441 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140615653382416 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10682] ppid=10672 vsize=28768328 memory=16196144 CPUtime=41.66 cores=0-7 /proc/10674/task/10682/stat : 10682 (java) S 10672 10672 10319 0 -1 1077944384 45917 0 0 0 3759 407 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140615652330128 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10683] ppid=10672 vsize=28768328 memory=3616 CPUtime=41.67 cores=0-7 /proc/10674/task/10683/stat : 10683 (java) S 10672 10672 10319 0 -1 1077944384 54858 0 0 0 3765 402 0 0 20 0 28 0 418282323 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140615651277328 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10684] ppid=10672 vsize=28768328 memory=39284 CPUtime=23.67 cores=0-7 /proc/10674/task/10684/stat : 10684 (java) S 10672 10672 10319 0 -1 1077944384 54316 0 0 0 2323 44 0 0 20 0 28 0 418282325 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614821694064 140616107092610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10685] ppid=10672 vsize=28768328 memory=1452 CPUtime=0 cores=0-7 /proc/10674/task/10685/stat : 10685 (java) S 10672 10672 10319 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 418282325 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614820640096 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10686] ppid=10672 vsize=28768328 memory=16196196 CPUtime=0 cores=0-7 /proc/10674/task/10686/stat : 10686 (java) S 10672 10672 10319 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 28 0 418282325 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614819587712 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10687] ppid=10672 vsize=28768328 memory=1448 CPUtime=0 cores=0-7 /proc/10674/task/10687/stat : 10687 (java) S 10672 10672 10319 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614818536016 140616107100059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10688] ppid=10672 vsize=28768328 memory=1980 CPUtime=2.48 cores=0-7 /proc/10674/task/10688/stat : 10688 (java) S 10672 10672 10319 0 -1 1077944384 17445 0 0 0 245 3 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614817482864 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10689] ppid=10672 vsize=28768328 memory=2580 CPUtime=3.11 cores=0-7 /proc/10674/task/10689/stat : 10689 (java) S 10672 10672 10319 0 -1 1077944384 16630 0 0 0 307 4 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614816430064 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10690] ppid=10672 vsize=28768328 memory=1764 CPUtime=2.16 cores=0-7 /proc/10674/task/10690/stat : 10690 (java) S 10672 10672 10319 0 -1 1077944384 10549 0 0 0 214 2 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614815377776 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10691] ppid=10672 vsize=28768328 memory=111632 CPUtime=0.95 cores=0-7 /proc/10674/task/10691/stat : 10691 (java) S 10672 10672 10319 0 -1 1077944384 16009 0 0 0 92 3 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614562867440 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10692] ppid=10672 vsize=28768328 memory=21472 CPUtime=0 cores=0-7 /proc/10674/task/10692/stat : 10692 (java) S 10672 10672 10319 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614561815392 140616107091669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10693] ppid=10672 vsize=28768328 memory=1556 CPUtime=0.11 cores=0-7 /proc/10674/task/10693/stat : 10693 (java) S 10672 10672 10319 0 -1 1077944384 1506 0 0 0 6 5 0 0 20 0 28 0 418282328 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614560762672 140616107092610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10713] ppid=10672 vsize=28768328 memory=500 CPUtime=81.28 cores=0-7 /proc/10674/task/10713/stat : 10713 (java) R 10672 10672 10319 0 -1 4202560 2127 0 0 0 8123 5 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614551789384 140615707300137 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10714] ppid=10672 vsize=28768328 memory=932 CPUtime=81.53 cores=0-7 /proc/10674/task/10714/stat : 10714 (java) R 10672 10672 10319 0 -1 4202560 1781 0 0 0 8145 8 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614550737128 140615708490474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10715] ppid=10672 vsize=28768328 memory=1768 CPUtime=80.82 cores=0-7 /proc/10674/task/10715/stat : 10715 (java) R 10672 10672 10319 0 -1 4202560 7936 0 0 0 8042 40 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614549685704 140615704872991 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10716] ppid=10672 vsize=28768328 memory=1656 CPUtime=81.15 cores=0-7 /proc/10674/task/10716/stat : 10716 (java) R 10672 10672 10319 0 -1 4202560 2448 0 0 0 8101 14 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614548630728 140615707299277 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10717] ppid=10672 vsize=28768328 memory=804 CPUtime=81.08 cores=0-7 /proc/10674/task/10717/stat : 10717 (java) R 10672 10672 10319 0 -1 4202560 2195 0 0 0 8104 4 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614547580360 140615704873008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10718] ppid=10672 vsize=28768328 memory=1448 CPUtime=81.16 cores=0-7 /proc/10674/task/10718/stat : 10718 (java) R 10672 10672 10319 0 -1 4202560 3031 0 0 0 8102 14 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614546525928 140615704873034 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10719] ppid=10672 vsize=28768328 memory=1980 CPUtime=80.35 cores=0-7 /proc/10674/task/10719/stat : 10719 (java) R 10672 10672 10319 0 -1 4202560 1704 0 0 0 8022 13 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614343577936 140615706246461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 [pid=10674/tid=10720] ppid=10672 vsize=28768328 memory=2580 CPUtime=81.19 cores=0-7 /proc/10674/task/10720/stat : 10720 (java) R 10672 10672 10319 0 -1 4202560 10543 0 0 0 8105 14 0 0 20 0 28 0 418298630 29458767872 4049049 33554432000 4194304 4196468 140723551373312 140614342524840 140615705295904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36900864 140723551380458 140723551380630 140723551380630 140723551383503 0 Current children cumulated CPU time: 1112.09 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 16197648 KiB Child status: 0 Real time (s): 245.898 CPU time (s): 1112.21 CPU user time (s): 1075.52 CPU system time (s): 36.6916 CPU usage (%): 452.306 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 16386712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1075.52 system time used= 36.6916 maximum resident set size= 16385260 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 633925 page faults= 0 swaps= 0 block input operations= 0 block output operations= 536 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21113 involuntary context switches= 14134 # summary of solver processes directly reported to runsolver: # pid: 10672 # total CPU time (s): 1112.21 # total CPU user time (s): 1075.52 # total CPU system time (s): 36.6916 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.97697 second user time and 2.62456 second system time The end
Begin job on node136 at 2019-09-14 02:18:12 IDJOB=4393723 IDBENCH=122513 IDSOLVER=2841 FILE ID=node136/4393723-1568420335 RUNJOBID= node136-1568417770-10346 PBS_JOBID= 21702281 Free space on /tmp= 61064 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Random/Random-m1-5-8X-05c/rand-5-8X-05c-44.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-4393723-1568420335/watcher-4393723-1568420335 -o /tmp/evaluation-result-4393723-1568420335/solver-4393723-1568420335 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568417770-10346 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 610551471 HOME/instance-4393723-1568420335.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 68fb7a5417760ab9cc88f495b9ce53b3 RANDOM SEED=610551471 node136.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.00 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.54 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.00 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.54 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.00 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.54 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.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25771436 kB MemAvailable: 31890948 kB Buffers: 74488 kB Cached: 6322288 kB SwapCached: 3096 kB Active: 2121328 kB Inactive: 4281532 kB Active(anon): 4828 kB Inactive(anon): 42100 kB Active(file): 2116500 kB Inactive(file): 4239432 kB Unevictable: 107800 kB Mlocked: 107800 kB SwapTotal: 67108860 kB SwapFree: 67002140 kB Dirty: 133792 kB Writeback: 0 kB AnonPages: 112304 kB Mapped: 43580 kB Shmem: 31936 kB Slab: 187960 kB SReclaimable: 158828 kB SUnreclaim: 29132 kB KernelStack: 3296 kB PageTables: 5584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497740 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: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61036 MiB End job on node136 at 2019-09-14 02:22:19