Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | SAT | 3.97269 | 1.00423 |
Name | Primes/ Primes-m1-p10/Primes-10-60-3-5.xml |
MD5SUM | be3388c5d29b2a85b1452e4a694387b2 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.303618 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 60 |
Number of domains | 1 |
Minimum domain size | 28 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":28,"count":99}] |
Minimum variable degree | 0 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 8 |
Distribution of constraint arities | [{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":60}] |
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-4404325-1569002135.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404325-1569002135.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.35/0.68 c solve instance... 3.29/0.98 s SATISFIABLE 3.29/0.98 v <instantiation> 3.29/0.98 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] </list> 3.29/0.98 v <values>7 17 19 13 7 13 17 5 29 3 5 19 2 29 7 17 2 17 5 17 3 23 19 29 5 2 5 7 19 13 29 5 5 23 29 19 7 17 3 5 29 7 3 29 11 19 23 11 13 2 7 17 3 2 17 7 5 2 17 3 13 13 11 19 17 13 17 29 7 19 11 13 5 13 11 19 11 7 2 19 23 17 23 23 11 7 3 11 29 5 2 17 23 29 5 17 17 11 29 </values> 3.29/0.98 v </instantiation>
OK
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 (9727 MiB free) memory of node 1: 16384 MiB (8265 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404325-1569002135/watcher-4404325-1569002135 -o /tmp/evaluation-result-4404325-1569002135/solver-4404325-1569002135 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 899216621 HOME/instance-4404325-1569002135.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=18545, runsolver pid=18542 Current StackSize limit: 8192 KiB [startup+0.100155 s]* /proc/loadavg: 6.22 7.59 8.00 2/210 18566 /proc/meminfo: memFree=18408748/32770624 swapFree=66986244/67108860 [pid=18545] ppid=18542 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18545/stat : 18545 (xcsp3-exec) S 18542 18545 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476470393 115843072 364 33554432000 4194304 5098028 140732888750144 140732888748248 140319635980924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18313216 140732888753014 140732888753257 140732888753257 140732888756170 0 /proc/18545/statm: 28282 364 305 221 0 87 0 [pid=18547] ppid=18545 vsize=28227396 memory=28756 CPUtime=0.12 cores=0-7 /proc/18547/stat : 18547 (java) S 18545 18545 14667 0 -1 1077944320 5630 0 0 0 11 1 0 0 20 0 20 0 476470393 28904853504 7189 33554432000 4194304 4196468 140721838293008 140721838275552 140622401498871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 /proc/18547/statm: 7056849 7189 3160 1 0 7019032 0 [pid=18547/tid=18548] ppid=18545 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/18547/task/18548/stat : 18548 (java) R 18545 18545 14667 0 -1 4202560 3576 0 0 0 8 0 0 0 20 0 20 0 476470394 28904853504 7189 33554432000 4194304 4196468 140721838293008 140622405726896 140622401510806 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18549] ppid=18545 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/18547/task/18549/stat : 18549 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 7189 33554432000 4194304 4196468 140721838293008 140622354119440 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18550] ppid=18545 vsize=28227396 memory=140538423826048 CPUtime=0 cores=0-7 /proc/18547/task/18550/stat : 18550 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 7189 33554432000 4194304 4196468 140721838293008 140622353066896 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18551] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18551/stat : 18551 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 7189 33554432000 4194304 4196468 140721838293008 140622352014352 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18552] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18552/stat : 18552 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 7189 33554432000 4194304 4196468 140721838293008 140622350961808 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18553] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18553/stat : 18553 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 7189 33554432000 4194304 4196468 140721838293008 140622349908240 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18554] ppid=18545 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18547/task/18554/stat : 18554 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 7189 33554432000 4194304 4196468 140721838293008 140622348855696 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18555] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18555/stat : 18555 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 7189 33554432000 4194304 4196468 140721838293008 140622347803152 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18556] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18556/stat : 18556 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 7189 33554432000 4194304 4196468 140721838293008 140622346750608 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18557] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18557/stat : 18557 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470396 28904853504 7189 33554432000 4194304 4196468 140721838293008 140621382646256 140622401510018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18558] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18558/stat : 18558 (java) S 18545 18545 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476470397 28904853504 7189 33554432000 4194304 4196468 140721838293008 140621381592480 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18559] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18559/stat : 18559 (java) S 18545 18545 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476470397 28904853504 7189 33554432000 4194304 4196468 140721838293008 140621380539888 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18560] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18560/stat : 18560 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470399 28904853504 7189 33554432000 4194304 4196468 140721838293008 140621379488464 140622401517467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18561] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18561/stat : 18561 (java) S 18545 18545 14667 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 476470399 28904853504 7189 33554432000 4194304 4196468 140721838293008 140621378435056 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18562] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18562/stat : 18562 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470399 28904853504 7189 33554432000 4194304 4196468 140721838293008 140621377382512 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18563] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18563/stat : 18563 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470399 28904853504 7189 33554432000 4194304 4196468 140721838293008 140621376329968 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18564] ppid=18545 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18547/task/18564/stat : 18564 (java) R 18545 18545 14667 0 -1 4202560 324 0 0 0 1 0 0 0 20 0 20 0 476470399 28904853504 7189 33554432000 4194304 4196468 140721838293008 140621375275824 140622401520218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18565] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18565/stat : 18565 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470399 28904853504 7189 33554432000 4194304 4196468 140721838293008 140621374225120 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18566] ppid=18545 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18547/task/18566/stat : 18566 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470400 28904853504 7189 33554432000 4194304 4196468 140721838293008 140621373172656 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30212 KiB [startup+0.209937 s]* /proc/loadavg: 6.22 7.59 8.00 2/210 18566 /proc/meminfo: memFree=18394288/32770624 swapFree=66986244/67108860 [pid=18545] ppid=18542 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18545/stat : 18545 (xcsp3-exec) S 18542 18545 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476470393 115843072 364 33554432000 4194304 5098028 140732888750144 140732888748248 140319635980924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18313216 140732888753014 140732888753257 140732888753257 140732888756170 0 /proc/18545/statm: 28282 364 305 221 0 87 0 [pid=18547] ppid=18545 vsize=28227396 memory=41272 CPUtime=0.33 cores=0-7 /proc/18547/stat : 18547 (java) S 18545 18545 14667 0 -1 1077944320 9537 0 0 0 31 2 0 0 20 0 20 0 476470393 28904853504 10318 33554432000 4194304 4196468 140721838293008 140721838275552 140622401498871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 /proc/18547/statm: 7056849 10318 3304 1 0 7019032 0 [pid=18547/tid=18548] ppid=18545 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/18547/task/18548/stat : 18548 (java) R 18545 18545 14667 0 -1 4202560 6606 0 0 0 18 2 0 0 20 0 20 0 476470394 28904853504 10318 33554432000 4194304 4196468 140721838293008 140622405738544 140622010919543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18549] ppid=18545 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/18547/task/18549/stat : 18549 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 10318 33554432000 4194304 4196468 140721838293008 140622354119440 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18550] ppid=18545 vsize=28227396 memory=140538427217724 CPUtime=0 cores=0-7 /proc/18547/task/18550/stat : 18550 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 10318 33554432000 4194304 4196468 140721838293008 140622353066896 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18551] ppid=18545 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18547/task/18551/stat : 18551 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 10318 33554432000 4194304 4196468 140721838293008 140622352014352 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18552] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18552/stat : 18552 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 10318 33554432000 4194304 4196468 140721838293008 140622350961808 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18553] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18553/stat : 18553 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 10318 33554432000 4194304 4196468 140721838293008 140622349908240 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18554] ppid=18545 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18547/task/18554/stat : 18554 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 10318 33554432000 4194304 4196468 140721838293008 140622348855696 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18555] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18555/stat : 18555 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 10318 33554432000 4194304 4196468 140721838293008 140622347803152 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18556] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18556/stat : 18556 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470395 28904853504 10318 33554432000 4194304 4196468 140721838293008 140622346750608 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18557] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18557/stat : 18557 (java) S 18545 18545 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476470396 28904853504 10318 33554432000 4194304 4196468 140721838293008 140621382646256 140622401510018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18558] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18558/stat : 18558 (java) S 18545 18545 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476470397 28904853504 10318 33554432000 4194304 4196468 140721838293008 140621381592480 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18559] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18559/stat : 18559 (java) S 18545 18545 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476470397 28904853504 10318 33554432000 4194304 4196468 140721838293008 140621380539888 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18560] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18560/stat : 18560 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470399 28904853504 10318 33554432000 4194304 4196468 140721838293008 140621379488464 140622401517467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18561] ppid=18545 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18547/task/18561/stat : 18561 (java) S 18545 18545 14667 0 -1 1077944384 683 0 0 0 1 0 0 0 20 0 20 0 476470399 28904853504 10318 33554432000 4194304 4196468 140721838293008 140621378435056 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18562] ppid=18545 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18547/task/18562/stat : 18562 (java) S 18545 18545 14667 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 20 0 476470399 28904853504 10318 33554432000 4194304 4196468 140721838293008 140621377382512 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18563] ppid=18545 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/18547/task/18563/stat : 18563 (java) S 18545 18545 14667 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 20 0 476470399 28904853504 10318 33554432000 4194304 4196468 140721838293008 140621376329968 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18564] ppid=18545 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/18547/task/18564/stat : 18564 (java) R 18545 18545 14667 0 -1 4202560 753 0 0 0 7 0 0 0 20 0 20 0 476470399 28904853504 10318 33554432000 4194304 4196468 140721838293008 140621375277424 140622401520218 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18565] ppid=18545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18565/stat : 18565 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470399 28904853504 10318 33554432000 4194304 4196468 140721838293008 140621374225120 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18566] ppid=18545 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18547/task/18566/stat : 18566 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470400 28904853504 10318 33554432000 4194304 4196468 140721838293008 140621373172656 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42728 KiB [startup+0.309689 s]* /proc/loadavg: 6.22 7.59 8.00 3/210 18566 /proc/meminfo: memFree=18386296/32770624 swapFree=66986244/67108860 [pid=18545] ppid=18542 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18545/stat : 18545 (xcsp3-exec) S 18542 18545 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476470393 115843072 364 33554432000 4194304 5098028 140732888750144 140732888748248 140319635980924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18313216 140732888753014 140732888753257 140732888753257 140732888756170 0 /proc/18545/statm: 28282 364 305 221 0 87 0 [pid=18547] ppid=18545 vsize=28231652 memory=49944 CPUtime=0.52 cores=0-7 /proc/18547/stat : 18547 (java) S 18545 18545 14667 0 -1 1077944320 10872 0 0 0 48 4 0 0 20 0 20 0 476470393 28909211648 12486 33554432000 4194304 4196468 140721838293008 140721838275552 140622401498871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 /proc/18547/statm: 7057913 12486 3351 1 0 7019032 0 [pid=18547/tid=18548] ppid=18545 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/18547/task/18548/stat : 18548 (java) R 18545 18545 14667 0 -1 4202560 7716 0 0 0 27 2 0 0 20 0 20 0 476470394 28909211648 12486 33554432000 4194304 4196468 140721838293008 140622405729984 140622385579358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18549] ppid=18545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18549/stat : 18549 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470395 28909211648 12486 33554432000 4194304 4196468 140721838293008 140622354119440 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18550] ppid=18545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18550/stat : 18550 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470395 28909211648 12486 33554432000 4194304 4196468 140721838293008 140622353066896 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18551] ppid=18545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18551/stat : 18551 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470395 28909211648 12486 33554432000 4194304 4196468 140721838293008 140622352014352 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18552] ppid=18545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18552/stat : 18552 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470395 28909211648 12486 33554432000 4194304 4196468 140721838293008 140622350961808 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18553] ppid=18545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18553/stat : 18553 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470395 28909211648 12486 33554432000 4194304 4196468 140721838293008 140622349908240 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18554] ppid=18545 vsize=28231652 memory=140538309339823 CPUtime=0 cores=0-7 /proc/18547/task/18554/stat : 18554 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470395 28909211648 12486 33554432000 4194304 4196468 140721838293008 140622348855696 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18555] ppid=18545 vsize=28231652 memory=140538309342128 CPUtime=0 cores=0-7 /proc/18547/task/18555/stat : 18555 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470395 28909211648 12486 33554432000 4194304 4196468 140721838293008 140622347803152 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18556] ppid=18545 vsize=28231652 memory=140538309344432 CPUtime=0 cores=0-7 /proc/18547/task/18556/stat : 18556 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470395 28909211648 12486 33554432000 4194304 4196468 140721838293008 140622346750608 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18557] ppid=18545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18557/stat : 18557 (java) S 18545 18545 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476470396 28909211648 12486 33554432000 4194304 4196468 140721838293008 140621382646256 140622401510018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18558] ppid=18545 vsize=28231652 memory=281076618702736 CPUtime=0 cores=0-7 /proc/18547/task/18558/stat : 18558 (java) S 18545 18545 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476470397 28909211648 12486 33554432000 4194304 4196468 140721838293008 140621381592480 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18559] ppid=18545 vsize=28231652 memory=281076618700432 CPUtime=0 cores=0-7 /proc/18547/task/18559/stat : 18559 (java) S 18545 18545 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476470397 28909211648 12486 33554432000 4194304 4196468 140721838293008 140621380539888 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18560] ppid=18545 vsize=28231652 memory=281076618707344 CPUtime=0 cores=0-7 /proc/18547/task/18560/stat : 18560 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470399 28909211648 12486 33554432000 4194304 4196468 140721838293008 140621379488464 140622401517467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18561] ppid=18545 vsize=28231652 memory=281076618648624 CPUtime=0.02 cores=0-7 /proc/18547/task/18561/stat : 18561 (java) S 18545 18545 14667 0 -1 1077944384 715 0 0 0 2 0 0 0 20 0 20 0 476470399 28909211648 12486 33554432000 4194304 4196468 140721838293008 140621378435056 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18562] ppid=18545 vsize=28231652 memory=281076618721168 CPUtime=0.02 cores=0-7 /proc/18547/task/18562/stat : 18562 (java) S 18545 18545 14667 0 -1 1077944384 89 0 0 0 2 0 0 0 20 0 20 0 476470399 28909211648 12486 33554432000 4194304 4196468 140721838293008 140621377382512 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18563] ppid=18545 vsize=28231652 memory=281076618728080 CPUtime=0.03 cores=0-7 /proc/18547/task/18563/stat : 18563 (java) R 18545 18545 14667 0 -1 4202560 211 0 0 0 3 0 0 0 20 0 20 0 476470399 28909211648 12486 33554432000 4194304 4196468 140721838293008 140621376320352 140622382134704 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18564] ppid=18545 vsize=28231652 memory=281076618725776 CPUtime=0.12 cores=0-7 /proc/18547/task/18564/stat : 18564 (java) S 18545 18545 14667 0 -1 1077944384 837 0 0 0 12 0 0 0 20 0 20 0 476470399 28909211648 12486 33554432000 4194304 4196468 140721838293008 140621375277424 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18565] ppid=18545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18565/stat : 18565 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470399 28909211648 12486 33554432000 4194304 4196468 140721838293008 140621374225120 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18566] ppid=18545 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/18547/task/18566/stat : 18566 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470400 28909211648 12486 33554432000 4194304 4196468 140721838293008 140621373172656 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51400 KiB [startup+0.702536 s] /proc/loadavg: 6.22 7.59 8.00 5/210 18566 /proc/meminfo: memFree=18372196/32770624 swapFree=66986244/67108860 [pid=18545] ppid=18542 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18545/stat : 18545 (xcsp3-exec) S 18542 18545 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476470393 115843072 364 33554432000 4194304 5098028 140732888750144 140732888748248 140319635980924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18313216 140732888753014 140732888753257 140732888753257 140732888756170 0 /proc/18545/statm: 28282 364 305 221 0 87 0 [pid=18547] ppid=18545 vsize=28766288 memory=108100 CPUtime=1.78 cores=0-7 /proc/18547/stat : 18547 (java) S 18545 18545 14667 0 -1 1077944320 17431 0 0 0 172 6 0 0 20 0 28 0 476470393 29456678912 27025 33554432000 4194304 4196468 140721838293008 140721838275552 140622401498871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 /proc/18547/statm: 7191572 27025 3459 1 0 7152672 0 [pid=18547/tid=18548] ppid=18545 vsize=28766288 memory=0 CPUtime=0.67 cores=0-7 /proc/18547/task/18548/stat : 18548 (java) S 18545 18545 14667 0 -1 1077944384 9237 0 0 0 63 4 0 0 20 0 28 0 476470394 29456678912 27025 33554432000 4194304 4196468 140721838293008 140622405739648 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18549] ppid=18545 vsize=28766288 memory=140538309550960 CPUtime=0 cores=0-7 /proc/18547/task/18549/stat : 18549 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 27025 33554432000 4194304 4196468 140721838293008 140622354119440 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18550] ppid=18545 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18550/stat : 18550 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 27025 33554432000 4194304 4196468 140721838293008 140622353066896 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18551] ppid=18545 vsize=28766288 memory=2832 CPUtime=0 cores=0-7 /proc/18547/task/18551/stat : 18551 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 27025 33554432000 4194304 4196468 140721838293008 140622352014352 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18552] ppid=18545 vsize=28766288 memory=1084 CPUtime=0 cores=0-7 /proc/18547/task/18552/stat : 18552 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 27025 33554432000 4194304 4196468 140721838293008 140622350961808 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18553] ppid=18545 vsize=28766288 memory=14012 CPUtime=0 cores=0-7 /proc/18547/task/18553/stat : 18553 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 27025 33554432000 4194304 4196468 140721838293008 140622349908240 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18554] ppid=18545 vsize=28766288 memory=14048 CPUtime=0 cores=0-7 /proc/18547/task/18554/stat : 18554 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 27025 33554432000 4194304 4196468 140721838293008 140622348855696 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18555] ppid=18545 vsize=28766288 memory=29588 CPUtime=0 cores=0-7 /proc/18547/task/18555/stat : 18555 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 27025 33554432000 4194304 4196468 140721838293008 140622347803152 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18556] ppid=18545 vsize=28766288 memory=2120 CPUtime=0 cores=0-7 /proc/18547/task/18556/stat : 18556 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 27025 33554432000 4194304 4196468 140721838293008 140622346750608 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18557] ppid=18545 vsize=28766288 memory=532 CPUtime=0 cores=0-7 /proc/18547/task/18557/stat : 18557 (java) S 18545 18545 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 476470396 29456678912 27025 33554432000 4194304 4196468 140721838293008 140621382646256 140622401510018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18558] ppid=18545 vsize=28766288 memory=1564 CPUtime=0 cores=0-7 /proc/18547/task/18558/stat : 18558 (java) S 18545 18545 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476470397 29456678912 27025 33554432000 4194304 4196468 140721838293008 140621381592480 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18559] ppid=18545 vsize=28766288 memory=924 CPUtime=0 cores=0-7 /proc/18547/task/18559/stat : 18559 (java) S 18545 18545 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 476470397 29456678912 27025 33554432000 4194304 4196468 140721838293008 140621380539888 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18560] ppid=18545 vsize=28766288 memory=1680 CPUtime=0 cores=0-7 /proc/18547/task/18560/stat : 18560 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470399 29456678912 27025 33554432000 4194304 4196468 140721838293008 140621379488464 140622401517467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18561] ppid=18545 vsize=28766288 memory=33 CPUtime=0.21 cores=0-7 /proc/18547/task/18561/stat : 18561 (java) R 18545 18545 14667 0 -1 4202560 2177 0 0 0 21 0 0 0 20 0 28 0 476470399 29456678912 27025 33554432000 4194304 4196468 140721838293008 140621378421080 140622386428341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18562] ppid=18545 vsize=28766288 memory=-2025810976467231676 CPUtime=0.21 cores=0-7 /proc/18547/task/18562/stat : 18562 (java) R 18545 18545 14667 0 -1 1077944384 1148 0 0 0 21 0 0 0 20 0 28 0 476470399 29456678912 27025 33554432000 4194304 4196468 140721838293008 140621377382512 140622401510018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18563] ppid=18545 vsize=28766288 memory=692 CPUtime=0.2 cores=0-7 /proc/18547/task/18563/stat : 18563 (java) S 18545 18545 14667 0 -1 1077944384 923 0 0 0 20 0 0 0 20 0 28 0 476470399 29456678912 27025 33554432000 4194304 4196468 140721838293008 140621376329968 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18564] ppid=18545 vsize=28766288 memory=1056 CPUtime=0.41 cores=0-7 /proc/18547/task/18564/stat : 18564 (java) R 18545 18545 14667 0 -1 4202560 2366 0 0 0 41 0 0 0 20 0 28 0 476470399 29456678912 27025 33554432000 4194304 4196468 140721838293008 140621375273560 140622379762529 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18565] ppid=18545 vsize=28766288 memory=1556 CPUtime=0 cores=0-7 /proc/18547/task/18565/stat : 18565 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476470399 29456678912 27025 33554432000 4194304 4196468 140721838293008 140621374225120 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18566] ppid=18545 vsize=28766288 memory=780 CPUtime=0 cores=0-7 /proc/18547/task/18566/stat : 18566 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470400 29456678912 27025 33554432000 4194304 4196468 140721838293008 140621373172656 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 Current children cumulated CPU time: 1.78 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 109556 KiB [startup+1.0042 s] # the end of solver process 18545 was just reported to runsolver # cumulated CPU time of all completed processes: user=3.89165 s, system=0.081037 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.801109 s] /proc/loadavg: 6.22 7.59 8.00 5/210 18566 /proc/meminfo: memFree=18372196/32770624 swapFree=66986244/67108860 [pid=18545] ppid=18542 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18545/stat : 18545 (xcsp3-exec) S 18542 18545 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476470393 115843072 364 33554432000 4194304 5098028 140732888750144 140732888748248 140319635980924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18313216 140732888753014 140732888753257 140732888753257 140732888756170 0 /proc/18545/statm: 28282 364 305 221 0 87 0 [pid=18547] ppid=18545 vsize=28766288 memory=113696 CPUtime=2.51 cores=0-7 /proc/18547/stat : 18547 (java) S 18545 18545 14667 0 -1 1077944320 18372 0 0 0 245 6 0 0 20 0 28 0 476470393 29456678912 28424 33554432000 4194304 4196468 140721838293008 140721838275552 140622401498871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 /proc/18547/statm: 7191572 28424 3460 1 0 7152672 0 [pid=18547/tid=18548] ppid=18545 vsize=28766288 memory=6048 CPUtime=0.67 cores=0-7 /proc/18547/task/18548/stat : 18548 (java) S 18545 18545 14667 0 -1 1077944384 9237 0 0 0 63 4 0 0 20 0 28 0 476470394 29456678912 28424 33554432000 4194304 4196468 140721838293008 140622405739648 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18549] ppid=18545 vsize=28766288 memory=7552 CPUtime=0 cores=0-7 /proc/18547/task/18549/stat : 18549 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 28424 33554432000 4194304 4196468 140721838293008 140622354119440 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18550] ppid=18545 vsize=28766288 memory=2832 CPUtime=0 cores=0-7 /proc/18547/task/18550/stat : 18550 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 28424 33554432000 4194304 4196468 140721838293008 140622353066896 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18551] ppid=18545 vsize=28766288 memory=1084 CPUtime=0 cores=0-7 /proc/18547/task/18551/stat : 18551 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 28424 33554432000 4194304 4196468 140721838293008 140622352014352 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18552] ppid=18545 vsize=28766288 memory=7014751519667475793 CPUtime=0 cores=0-7 /proc/18547/task/18552/stat : 18552 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 28424 33554432000 4194304 4196468 140721838293008 140622350961808 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18553] ppid=18545 vsize=28766288 memory=8022147253040146280 CPUtime=0 cores=0-7 /proc/18547/task/18553/stat : 18553 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 28424 33554432000 4194304 4196468 140721838293008 140622349908240 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18554] ppid=18545 vsize=28766288 memory=7881696724453321575 CPUtime=0 cores=0-7 /proc/18547/task/18554/stat : 18554 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 28424 33554432000 4194304 4196468 140721838293008 140622348855696 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18555] ppid=18545 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18555/stat : 18555 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 28424 33554432000 4194304 4196468 140721838293008 140622347803152 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18556] ppid=18545 vsize=28766288 memory=33 CPUtime=0 cores=0-7 /proc/18547/task/18556/stat : 18556 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 28424 33554432000 4194304 4196468 140721838293008 140622346750608 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18557] ppid=18545 vsize=28766288 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/18547/task/18557/stat : 18557 (java) S 18545 18545 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 476470396 29456678912 28424 33554432000 4194304 4196468 140721838293008 140621382646256 140622401510018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18558] ppid=18545 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18558/stat : 18558 (java) S 18545 18545 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476470397 29456678912 28424 33554432000 4194304 4196468 140721838293008 140621381592480 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18559] ppid=18545 vsize=28766288 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/18547/task/18559/stat : 18559 (java) S 18545 18545 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 476470397 29456678912 28424 33554432000 4194304 4196468 140721838293008 140621380539888 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18560] ppid=18545 vsize=28766288 memory=6296683638408171875 CPUtime=0 cores=0-7 /proc/18547/task/18560/stat : 18560 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470399 29456678912 28424 33554432000 4194304 4196468 140721838293008 140621379488464 140622401517467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18561] ppid=18545 vsize=28766288 memory=7595725831727968097 CPUtime=0.28 cores=0-7 /proc/18547/task/18561/stat : 18561 (java) R 18545 18545 14667 0 -1 4202560 2233 0 0 0 28 0 0 0 20 0 28 0 476470399 29456678912 28424 33554432000 4194304 4196468 140721838293008 140621378424976 140622383043658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18562] ppid=18545 vsize=28766288 memory=7810487918915055718 CPUtime=0.27 cores=0-7 /proc/18547/task/18562/stat : 18562 (java) R 18545 18545 14667 0 -1 4202560 1168 0 0 0 27 0 0 0 20 0 28 0 476470399 29456678912 28424 33554432000 4194304 4196468 140721838293008 140621377369248 140622380675585 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18563] ppid=18545 vsize=28766288 memory=-7028383565733675155 CPUtime=0.28 cores=0-7 /proc/18547/task/18563/stat : 18563 (java) R 18545 18545 14667 0 -1 4202560 1660 0 0 0 28 0 0 0 20 0 28 0 476470399 29456678912 28424 33554432000 4194304 4196468 140721838293008 140621376310984 140622385892747 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18564] ppid=18545 vsize=28766288 memory=-9104156881040285045 CPUtime=0.46 cores=0-7 /proc/18547/task/18564/stat : 18564 (java) R 18545 18545 14667 0 -1 1077944384 2440 0 0 0 46 0 0 0 20 0 28 0 476470399 29456678912 28424 33554432000 4194304 4196468 140721838293008 140621375275216 140622401509077 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18565] ppid=18545 vsize=28766288 memory=7679937539659563834 CPUtime=0 cores=0-7 /proc/18547/task/18565/stat : 18565 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476470399 29456678912 28424 33554432000 4194304 4196468 140721838293008 140621374225120 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18566] ppid=18545 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18566/stat : 18566 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470400 29456678912 28424 33554432000 4194304 4196468 140721838293008 140621373172656 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 Current children cumulated CPU time: 2.51 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 115152 KiB [startup+0.901699 s] /proc/loadavg: 6.22 7.59 8.00 5/210 18566 /proc/meminfo: memFree=18372196/32770624 swapFree=66986244/67108860 [pid=18545] ppid=18542 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18545/stat : 18545 (xcsp3-exec) S 18542 18545 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476470393 115843072 364 33554432000 4194304 5098028 140732888750144 140732888748248 140319635980924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18313216 140732888753014 140732888753257 140732888753257 140732888756170 0 /proc/18545/statm: 28282 364 305 221 0 87 0 [pid=18547] ppid=18545 vsize=28766288 memory=118380 CPUtime=3.29 cores=0-7 /proc/18547/stat : 18547 (java) S 18545 18545 14667 0 -1 1077944320 19069 0 0 0 323 6 0 0 20 0 28 0 476470393 29456678912 29595 33554432000 4194304 4196468 140721838293008 140721838275552 140622401498871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 /proc/18547/statm: 7191572 29595 3482 1 0 7152672 0 [pid=18547/tid=18548] ppid=18545 vsize=28766288 memory=1556 CPUtime=0.67 cores=0-7 /proc/18547/task/18548/stat : 18548 (java) S 18545 18545 14667 0 -1 1077944384 9237 0 0 0 63 4 0 0 20 0 28 0 476470394 29456678912 29595 33554432000 4194304 4196468 140721838293008 140622405739648 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18549] ppid=18545 vsize=28766288 memory=780 CPUtime=0 cores=0-7 /proc/18547/task/18549/stat : 18549 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 29595 33554432000 4194304 4196468 140721838293008 140622354119440 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18550] ppid=18545 vsize=28766288 memory=1456 CPUtime=0 cores=0-7 /proc/18547/task/18550/stat : 18550 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 29595 33554432000 4194304 4196468 140721838293008 140622353066896 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18551] ppid=18545 vsize=28766288 memory=108100 CPUtime=0 cores=0-7 /proc/18547/task/18551/stat : 18551 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 29595 33554432000 4194304 4196468 140721838293008 140622352014352 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18552] ppid=18545 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18552/stat : 18552 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 29595 33554432000 4194304 4196468 140721838293008 140622350961808 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18553] ppid=18545 vsize=28766288 memory=140538309550960 CPUtime=0 cores=0-7 /proc/18547/task/18553/stat : 18553 (java) S 18545 18545 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 29595 33554432000 4194304 4196468 140721838293008 140622349908240 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18554] ppid=18545 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18547/task/18554/stat : 18554 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 29595 33554432000 4194304 4196468 140721838293008 140622348855696 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18555] ppid=18545 vsize=28766288 memory=2832 CPUtime=0 cores=0-7 /proc/18547/task/18555/stat : 18555 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 29595 33554432000 4194304 4196468 140721838293008 140622347803152 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18556] ppid=18545 vsize=28766288 memory=1084 CPUtime=0 cores=0-7 /proc/18547/task/18556/stat : 18556 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476470395 29456678912 29595 33554432000 4194304 4196468 140721838293008 140622346750608 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18557] ppid=18545 vsize=28766288 memory=14012 CPUtime=0 cores=0-7 /proc/18547/task/18557/stat : 18557 (java) S 18545 18545 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 476470396 29456678912 29595 33554432000 4194304 4196468 140721838293008 140621382646256 140622401510018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18558] ppid=18545 vsize=28766288 memory=14048 CPUtime=0 cores=0-7 /proc/18547/task/18558/stat : 18558 (java) S 18545 18545 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476470397 29456678912 29595 33554432000 4194304 4196468 140721838293008 140621381592480 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18559] ppid=18545 vsize=28766288 memory=29588 CPUtime=0 cores=0-7 /proc/18547/task/18559/stat : 18559 (java) S 18545 18545 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 476470397 29456678912 29595 33554432000 4194304 4196468 140721838293008 140621380539888 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18560] ppid=18545 vsize=28766288 memory=2120 CPUtime=0 cores=0-7 /proc/18547/task/18560/stat : 18560 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470399 29456678912 29595 33554432000 4194304 4196468 140721838293008 140621379488464 140622401517467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18561] ppid=18545 vsize=28766288 memory=532 CPUtime=0.37 cores=0-7 /proc/18547/task/18561/stat : 18561 (java) R 18545 18545 14667 0 -1 4202560 2266 0 0 0 37 0 0 0 20 0 28 0 476470399 29456678912 29595 33554432000 4194304 4196468 140721838293008 140621378413376 140622383043105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18562] ppid=18545 vsize=28766288 memory=1564 CPUtime=0.35 cores=0-7 /proc/18547/task/18562/stat : 18562 (java) R 18545 18545 14667 0 -1 4202560 1198 0 0 0 35 0 0 0 20 0 28 0 476470399 29456678912 29595 33554432000 4194304 4196468 140721838293008 140621377375472 140622383022206 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18563] ppid=18545 vsize=28766288 memory=924 CPUtime=0.38 cores=0-7 /proc/18547/task/18563/stat : 18563 (java) R 18545 18545 14667 0 -1 4202560 2166 0 0 0 38 0 0 0 20 0 28 0 476470399 29456678912 29595 33554432000 4194304 4196468 140721838293008 140621376315936 140622386427259 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18564] ppid=18545 vsize=28766288 memory=1680 CPUtime=0.5 cores=0-7 /proc/18547/task/18564/stat : 18564 (java) R 18545 18545 14667 0 -1 1077944384 2553 0 0 0 50 0 0 0 20 0 28 0 476470399 29456678912 29595 33554432000 4194304 4196468 140721838293008 140621375277424 140622401510018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18565] ppid=18545 vsize=28766288 memory=33 CPUtime=0 cores=0-7 /proc/18547/task/18565/stat : 18565 (java) S 18545 18545 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476470399 29456678912 29595 33554432000 4194304 4196468 140721838293008 140621374225120 140622401509077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 [pid=18547/tid=18566] ppid=18545 vsize=28766288 memory=7451019101880739156 CPUtime=0 cores=0-7 /proc/18547/task/18566/stat : 18566 (java) S 18545 18545 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470400 29456678912 29595 33554432000 4194304 4196468 140721838293008 140621373172656 140622401510018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24494080 140721838302186 140721838302358 140721838302358 140721838305231 0 Current children cumulated CPU time: 3.29 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 119836 KiB Child status: 0 Real time (s): 1.00423 CPU time (s): 3.97269 CPU user time (s): 3.89165 CPU system time (s): 0.081037 CPU usage (%): 395.594 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 119836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.89165 system time used= 0.081037 maximum resident set size= 127552 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19872 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= 2810 involuntary context switches= 59 # summary of solver processes directly reported to runsolver: # pid: 18545 # total CPU time (s): 3.97269 # total CPU user time (s): 3.89165 # total CPU system time (s): 0.081037 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.022553 second user time and 0.05124 second system time The end
Begin job on node104 at 2019-09-20 18:45:14 IDJOB=4404325 IDBENCH=133432 IDSOLVER=2865 FILE ID=node104/4404325-1569002135 RUNJOBID= node104-1568989783-14694 PBS_JOBID= 21704713 Free space on /tmp= 9832 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-60-3-5.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-4404325-1569002135/watcher-4404325-1569002135 -o /tmp/evaluation-result-4404325-1569002135/solver-4404325-1569002135 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 899216621 HOME/instance-4404325-1569002135.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= be3388c5d29b2a85b1452e4a694387b2 RANDOM SEED=899216621 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 18424232 kB MemAvailable: 31825644 kB Buffers: 93764 kB Cached: 13232460 kB SwapCached: 22652 kB Active: 6645496 kB Inactive: 6706788 kB Active(anon): 2380 kB Inactive(anon): 73004 kB Active(file): 6643116 kB Inactive(file): 6633784 kB Unevictable: 109708 kB Mlocked: 109708 kB SwapTotal: 67108860 kB SwapFree: 66986244 kB Dirty: 26052 kB Writeback: 8 kB AnonPages: 115228 kB Mapped: 52208 kB Shmem: 40708 kB Slab: 583576 kB SReclaimable: 552972 kB SUnreclaim: 30604 kB KernelStack: 3408 kB PageTables: 5076 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498028 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9808 MiB End job on node104 at 2019-09-20 18:45:15