Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | OPT | 3 | 3.62128 | 0.94701803 |
Name | OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml |
MD5SUM | 5be561527482570d658e03ce8cbb5c18 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.041241001 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 140 |
Number of constraints | 131 |
Number of domains | 3 |
Minimum domain size | 2 |
Maximum domain size | 11 |
Distribution of domain sizes | [{"size":2,"count":100},{"size":10,"count":30},{"size":11,"count":10}] |
Minimum variable degree | 2 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":2,"count":110},{"degree":5,"count":10},{"degree":11,"count":20}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 11 |
Distribution of constraint arities | [{"arity":2,"count":8},{"arity":3,"count":104},{"arity":4,"count":8},{"arity":10,"count":1},{"arity":11,"count":10}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":100},{"type":"allDifferent","count":1},{"type":"sum","count":10},{"type":"minimum","count":10},{"type":"maximum","count":10}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281710-1503189328.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4281710-1503189328.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.26 c parse instance... 2.01/0.70 c solve instance... 2.71/0.81 o 6 2.71/0.83 o 5 2.71/0.86 o 4 2.71/0.88 o 3 3.44/0.93 s OPTIMUM FOUND 3.44/0.93 v <instantiation> 3.44/0.93 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] min[0] min[1] min[2] min[3] min[4] min[5] min[6] min[7] min[8] min[9] max[0] max[1] max[2] max[3] max[4] max[5] max[6] max[7] max[8] max[9] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] </list> 3.44/0.93 v <values>0 1 5 2 3 4 7 8 9 6 5 0 7 8 4 2 0 9 3 1 7 3 7 9 8 2 6 9 4 1 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 3 3 3 3 3 3 3 2 2 </values> 3.44/0.93 v </instantiation>
OK 3
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 (11407 MiB free) memory of node 1: 16384 MiB (9833 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281710-1503189328/watcher-4281710-1503189328 -o /tmp/evaluation-result-4281710-1503189328/solver-4281710-1503189328 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503180880-13488 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2025091582 HOME/instance-4281710-1503189328.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=18573, runsolver pid=18570 [startup+0.100159 s]* /proc/loadavg: 7.42 6.40 6.91 2/200 18594 /proc/meminfo: memFree=21734228/32770624 swapFree=67108860/67108860 [pid=18573] ppid=18570 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/18573/stat : 18573 (xcsp3-exec) S 18570 18573 13461 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 152020422 9740288 346 33554432000 4194304 5098028 140736749356528 140736749354632 140017171993212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17715200 140736749360234 140736749360444 140736749360444 140736749363179 0 /proc/18573/statm: 2378 346 289 221 0 87 0 [pid=18575] ppid=18573 vsize=25999808 memory=26972 CPUtime=0.11 cores=0-7 /proc/18575/stat : 18575 (java) S 18573 18573 13461 0 -1 1077944320 5680 0 0 0 10 1 0 0 20 0 20 0 152020422 26623803392 6743 33554432000 4194304 4196468 140721541435216 140721541417760 139622795673335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 /proc/18575/statm: 6499952 6743 2847 1 0 6488269 0 [pid=18575/tid=18576] ppid=18573 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/18575/task/18576/stat : 18576 (java) R 18573 18573 13461 0 -1 4202560 3682 0 0 0 8 0 0 0 20 0 20 0 152020423 26623803392 6743 33554432000 4194304 4196468 140721541435216 139622799906608 139622777541768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18577] ppid=18573 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/18575/task/18577/stat : 18577 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020423 26623803392 6743 33554432000 4194304 4196468 140721541435216 139622748293392 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18578] ppid=18573 vsize=25999808 memory=140475235169920 CPUtime=0 cores=0-7 /proc/18575/task/18578/stat : 18578 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020423 26623803392 6743 33554432000 4194304 4196468 140721541435216 139622747240848 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18579] ppid=18573 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18579/stat : 18579 (java) S 18573 18573 13461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152020423 26623803392 6743 33554432000 4194304 4196468 140721541435216 139622746188304 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18580] ppid=18573 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18580/stat : 18580 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020424 26623803392 6743 33554432000 4194304 4196468 140721541435216 139622745135760 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18581] ppid=18573 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18581/stat : 18581 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020424 26623803392 6743 33554432000 4194304 4196468 140721541435216 139622744083216 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18582] ppid=18573 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/18575/task/18582/stat : 18582 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020424 26623803392 6743 33554432000 4194304 4196468 140721541435216 139622349142928 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18583] ppid=18573 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18583/stat : 18583 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020424 26623803392 6743 33554432000 4194304 4196468 140721541435216 139622348090384 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18584] ppid=18573 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18584/stat : 18584 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020424 26623803392 6743 33554432000 4194304 4196468 140721541435216 139622347037840 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18585] ppid=18573 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18585/stat : 18585 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020425 26623803392 6743 33554432000 4194304 4196468 140721541435216 139621336422384 139622795684482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18586] ppid=18573 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18586/stat : 18586 (java) S 18573 18573 13461 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 152020425 26623803392 6743 33554432000 4194304 4196468 140721541435216 139621335368608 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18587] ppid=18573 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18587/stat : 18587 (java) S 18573 18573 13461 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 152020426 26623803392 6743 33554432000 4194304 4196468 140721541435216 139621199504368 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18588] ppid=18573 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18588/stat : 18588 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020428 26623803392 6743 33554432000 4194304 4196468 140721541435216 139621198452944 139622795691931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18589] ppid=18573 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18589/stat : 18589 (java) S 18573 18573 13461 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 20 0 152020428 26623803392 6743 33554432000 4194304 4196468 140721541435216 139621197400560 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18590] ppid=18573 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18590/stat : 18590 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020428 26623803392 6743 33554432000 4194304 4196468 140721541435216 139621196348016 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18591] ppid=18573 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18591/stat : 18591 (java) S 18573 18573 13461 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 152020428 26623803392 6743 33554432000 4194304 4196468 140721541435216 139621195295472 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18592] ppid=18573 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/18575/task/18592/stat : 18592 (java) R 18573 18573 13461 0 -1 4202560 238 0 0 0 1 0 0 0 20 0 20 0 152020428 26623803392 6743 33554432000 4194304 4196468 140721541435216 139621194242928 139622795685270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18593] ppid=18573 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18593/stat : 18593 (java) S 18573 18573 13461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152020428 26623803392 6743 33554432000 4194304 4196468 140721541435216 139621193189600 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18594] ppid=18573 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/18575/task/18594/stat : 18594 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020429 26623803392 6743 33554432000 4194304 4196468 140721541435216 139621192137136 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28356 KiB [startup+0.210432 s]* /proc/loadavg: 7.42 6.40 6.91 2/200 18594 /proc/meminfo: memFree=21723196/32770624 swapFree=67108860/67108860 [pid=18573] ppid=18570 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/18573/stat : 18573 (xcsp3-exec) S 18570 18573 13461 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 152020422 9740288 346 33554432000 4194304 5098028 140736749356528 140736749354632 140017171993212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17715200 140736749360234 140736749360444 140736749360444 140736749363179 0 /proc/18573/statm: 2378 346 289 221 0 87 0 [pid=18575] ppid=18573 vsize=26004064 memory=38984 CPUtime=0.32 cores=0-7 /proc/18575/stat : 18575 (java) S 18573 18573 13461 0 -1 1077944320 8297 0 0 0 30 2 0 0 20 0 20 0 152020422 26628161536 9746 33554432000 4194304 4196468 140721541435216 140721541417760 139622795673335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 /proc/18575/statm: 6501016 9746 3074 1 0 6488269 0 [pid=18575/tid=18576] ppid=18573 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/18575/task/18576/stat : 18576 (java) D 18573 18573 13461 0 -1 1077944384 5449 0 0 0 18 1 0 0 20 0 20 0 152020423 26628161536 9767 33554432000 4194304 4196468 140721541435216 139622799884128 139622788352557 0 4 0 16800975 18446744072101760548 0 0 -1 2 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18577] ppid=18573 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/18575/task/18577/stat : 18577 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020423 26628161536 9767 33554432000 4194304 4196468 140721541435216 139622748293392 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18578] ppid=18573 vsize=26004064 memory=4122681499596224160 CPUtime=0 cores=0-7 /proc/18575/task/18578/stat : 18578 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020423 26628161536 9767 33554432000 4194304 4196468 140721541435216 139622747240848 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18579] ppid=18573 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/18575/task/18579/stat : 18579 (java) S 18573 18573 13461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152020423 26628194304 9767 33554432000 4194304 4196468 140721541435216 139622746188304 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18580] ppid=18573 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18580/stat : 18580 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020424 26628194304 9767 33554432000 4194304 4196468 140721541435216 139622745135760 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18581] ppid=18573 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18581/stat : 18581 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020424 26628194304 9767 33554432000 4194304 4196468 140721541435216 139622744083216 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18582] ppid=18573 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/18575/task/18582/stat : 18582 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020424 26628161536 9767 33554432000 4194304 4196468 140721541435216 139622349142928 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18583] ppid=18573 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18583/stat : 18583 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020424 26628161536 9767 33554432000 4194304 4196468 140721541435216 139622348090384 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18584] ppid=18573 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18584/stat : 18584 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020424 26628161536 9767 33554432000 4194304 4196468 140721541435216 139622347037840 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18585] ppid=18573 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18585/stat : 18585 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020425 26628161536 9767 33554432000 4194304 4196468 140721541435216 139621336422384 139622795684482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18586] ppid=18573 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18586/stat : 18586 (java) S 18573 18573 13461 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 152020425 26628161536 9767 33554432000 4194304 4196468 140721541435216 139621335368608 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18587] ppid=18573 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18587/stat : 18587 (java) S 18573 18573 13461 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 152020426 26628161536 9767 33554432000 4194304 4196468 140721541435216 139621199504368 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18588] ppid=18573 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18588/stat : 18588 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020428 26628161536 9767 33554432000 4194304 4196468 140721541435216 139621198452944 139622795691931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18589] ppid=18573 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/18575/task/18589/stat : 18589 (java) S 18573 18573 13461 0 -1 1077944384 500 0 0 0 1 0 0 0 20 0 20 0 152020428 26628161536 9767 33554432000 4194304 4196468 140721541435216 139621197400560 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18590] ppid=18573 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18590/stat : 18590 (java) S 18573 18573 13461 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 152020428 26628161536 9767 33554432000 4194304 4196468 140721541435216 139621196348016 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18591] ppid=18573 vsize=26004096 memory=-1 CPUtime=0.02 cores=0-7 /proc/18575/task/18591/stat : 18591 (java) S 18573 18573 13461 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 20 0 152020428 26628194304 9767 33554432000 4194304 4196468 140721541435216 139621195295472 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18592] ppid=18573 vsize=26004096 memory=-1 CPUtime=0.07 cores=0-7 /proc/18575/task/18592/stat : 18592 (java) S 18573 18573 13461 0 -1 1077944384 701 0 0 0 7 0 0 0 20 0 20 0 152020428 26628194304 9767 33554432000 4194304 4196468 140721541435216 139621194242928 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18593] ppid=18573 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18593/stat : 18593 (java) S 18573 18573 13461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152020428 26628194304 9767 33554432000 4194304 4196468 140721541435216 139621193189600 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18594] ppid=18573 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/18575/task/18594/stat : 18594 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020429 26628161536 9767 33554432000 4194304 4196468 140721541435216 139621192137136 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40368 KiB [startup+0.310254 s]* /proc/loadavg: 7.42 6.40 6.91 3/200 18594 /proc/meminfo: memFree=21717232/32770624 swapFree=67108860/67108860 [pid=18573] ppid=18570 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/18573/stat : 18573 (xcsp3-exec) S 18570 18573 13461 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 152020422 9740288 346 33554432000 4194304 5098028 140736749356528 140736749354632 140017171993212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17715200 140736749360234 140736749360444 140736749360444 140736749363179 0 /proc/18573/statm: 2378 346 289 221 0 87 0 [pid=18575] ppid=18573 vsize=26004064 memory=45932 CPUtime=0.49 cores=0-7 /proc/18575/stat : 18575 (java) S 18573 18573 13461 0 -1 1077944320 9198 0 0 0 46 3 0 0 20 0 20 0 152020422 26628161536 11483 33554432000 4194304 4196468 140721541435216 140721541417760 139622795673335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 /proc/18575/statm: 6501016 11483 3100 1 0 6488269 0 [pid=18575/tid=18576] ppid=18573 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/18575/task/18576/stat : 18576 (java) R 18573 18573 13461 0 -1 4202560 6157 0 0 0 27 2 0 0 20 0 20 0 152020423 26628161536 11547 33554432000 4194304 4196468 140721541435216 139622799912016 139622779753822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18577] ppid=18573 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18577/stat : 18577 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020423 26628161536 11547 33554432000 4194304 4196468 140721541435216 139622748293392 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18578] ppid=18573 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18578/stat : 18578 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020423 26628161536 11547 33554432000 4194304 4196468 140721541435216 139622747240848 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18579] ppid=18573 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18579/stat : 18579 (java) S 18573 18573 13461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152020423 26628161536 11547 33554432000 4194304 4196468 140721541435216 139622746188304 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18580] ppid=18573 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18580/stat : 18580 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020424 26628161536 11547 33554432000 4194304 4196468 140721541435216 139622745135760 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18581] ppid=18573 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/18575/task/18581/stat : 18581 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020424 26628161536 11547 33554432000 4194304 4196468 140721541435216 139622744083216 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18582] ppid=18573 vsize=26004064 memory=140475092792239 CPUtime=0 cores=0-7 /proc/18575/task/18582/stat : 18582 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020424 26628161536 11547 33554432000 4194304 4196468 140721541435216 139622349142928 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18583] ppid=18573 vsize=26004064 memory=140475092794544 CPUtime=0 cores=0-7 /proc/18575/task/18583/stat : 18583 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020424 26628161536 11547 33554432000 4194304 4196468 140721541435216 139622348090384 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18584] ppid=18573 vsize=26004064 memory=140475092796848 CPUtime=0 cores=0-7 /proc/18575/task/18584/stat : 18584 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020424 26628161536 11547 33554432000 4194304 4196468 140721541435216 139622347037840 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18585] ppid=18573 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18585/stat : 18585 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020425 26628161536 11547 33554432000 4194304 4196468 140721541435216 139621336422384 139622795684482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18586] ppid=18573 vsize=26004064 memory=280950185600656 CPUtime=0 cores=0-7 /proc/18575/task/18586/stat : 18586 (java) S 18573 18573 13461 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 152020425 26628161536 11547 33554432000 4194304 4196468 140721541435216 139621335368608 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18587] ppid=18573 vsize=26004064 memory=280950185607568 CPUtime=0 cores=0-7 /proc/18575/task/18587/stat : 18587 (java) S 18573 18573 13461 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 152020426 26628161536 11547 33554432000 4194304 4196468 140721541435216 139621199504368 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18588] ppid=18573 vsize=26004064 memory=280950185548848 CPUtime=0 cores=0-7 /proc/18575/task/18588/stat : 18588 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020428 26628161536 11547 33554432000 4194304 4196468 140721541435216 139621198452944 139622795691931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18589] ppid=18573 vsize=26004064 memory=280950185621392 CPUtime=0.02 cores=0-7 /proc/18575/task/18589/stat : 18589 (java) S 18573 18573 13461 0 -1 1077944384 529 0 0 0 2 0 0 0 20 0 20 0 152020428 26628161536 11547 33554432000 4194304 4196468 140721541435216 139621197400560 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18590] ppid=18573 vsize=26004064 memory=280950185628304 CPUtime=0 cores=0-7 /proc/18575/task/18590/stat : 18590 (java) S 18573 18573 13461 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 152020428 26628161536 11547 33554432000 4194304 4196468 140721541435216 139621196348016 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18591] ppid=18573 vsize=26004064 memory=280950185626000 CPUtime=0.03 cores=0-7 /proc/18575/task/18591/stat : 18591 (java) S 18573 18573 13461 0 -1 1077944384 358 0 0 0 3 0 0 0 20 0 20 0 152020428 26628161536 11547 33554432000 4194304 4196468 140721541435216 139621195295472 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18592] ppid=18573 vsize=26004064 memory=280950185642160 CPUtime=0.12 cores=0-7 /proc/18575/task/18592/stat : 18592 (java) R 18573 18573 13461 0 -1 1077944384 839 0 0 0 12 0 0 0 20 0 20 0 152020428 26628161536 11547 33554432000 4194304 4196468 140721541435216 139621194242928 139622795684482 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18593] ppid=18573 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18593/stat : 18593 (java) S 18573 18573 13461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152020428 26628161536 11547 33554432000 4194304 4196468 140721541435216 139621193189600 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18594] ppid=18573 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/18575/task/18594/stat : 18594 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020429 26628161536 11547 33554432000 4194304 4196468 140721541435216 139621192137136 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47316 KiB [startup+0.701019 s] /proc/loadavg: 7.42 6.40 6.91 6/200 18594 /proc/meminfo: memFree=21696552/32770624 swapFree=67108860/67108860 [pid=18573] ppid=18570 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/18573/stat : 18573 (xcsp3-exec) S 18570 18573 13461 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 152020422 9740288 346 33554432000 4194304 5098028 140736749356528 140736749354632 140017171993212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17715200 140736749360234 140736749360444 140736749360444 140736749363179 0 /proc/18573/statm: 2378 346 289 221 0 87 0 [pid=18575] ppid=18573 vsize=26006188 memory=100884 CPUtime=2.01 cores=0-7 /proc/18575/stat : 18575 (java) S 18573 18573 13461 0 -1 1077944320 14334 0 0 0 195 6 0 0 20 0 20 0 152020422 26630336512 25221 33554432000 4194304 4196468 140721541435216 140721541417760 139622795673335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 /proc/18575/statm: 6501547 25221 3207 1 0 6488781 0 [pid=18575/tid=18576] ppid=18573 vsize=26006188 memory=280950186000048 CPUtime=0.66 cores=0-7 /proc/18575/task/18576/stat : 18576 (java) R 18573 18573 13461 0 -1 4202560 6815 0 0 0 63 3 0 0 20 0 20 0 152020423 26630336512 25221 33554432000 4194304 4196468 140721541435216 139622799909184 139622428401012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18577] ppid=18573 vsize=26006188 memory=140475093001072 CPUtime=0 cores=0-7 /proc/18575/task/18577/stat : 18577 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020423 26630336512 25221 33554432000 4194304 4196468 140721541435216 139622748293392 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18578] ppid=18573 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18578/stat : 18578 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020423 26630336512 25221 33554432000 4194304 4196468 140721541435216 139622747240848 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18579] ppid=18573 vsize=26006188 memory=1008 CPUtime=0 cores=0-7 /proc/18575/task/18579/stat : 18579 (java) S 18573 18573 13461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152020423 26630336512 25221 33554432000 4194304 4196468 140721541435216 139622746188304 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18580] ppid=18573 vsize=26006188 memory=10728 CPUtime=0 cores=0-7 /proc/18575/task/18580/stat : 18580 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020424 26630336512 25221 33554432000 4194304 4196468 140721541435216 139622745135760 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18581] ppid=18573 vsize=26006188 memory=1204 CPUtime=0 cores=0-7 /proc/18575/task/18581/stat : 18581 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020424 26630336512 25221 33554432000 4194304 4196468 140721541435216 139622744083216 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18582] ppid=18573 vsize=26006188 memory=15876 CPUtime=0 cores=0-7 /proc/18575/task/18582/stat : 18582 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152020424 26630336512 25221 33554432000 4194304 4196468 140721541435216 139622349142928 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18583] ppid=18573 vsize=26006188 memory=16444 CPUtime=0 cores=0-7 /proc/18575/task/18583/stat : 18583 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020424 26630336512 25221 33554432000 4194304 4196468 140721541435216 139622348090384 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18584] ppid=18573 vsize=26006188 memory=4052 CPUtime=0 cores=0-7 /proc/18575/task/18584/stat : 18584 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020424 26630336512 25221 33554432000 4194304 4196468 140721541435216 139622347037840 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18585] ppid=18573 vsize=26006188 memory=23252 CPUtime=0 cores=0-7 /proc/18575/task/18585/stat : 18585 (java) S 18573 18573 13461 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 152020425 26630336512 25221 33554432000 4194304 4196468 140721541435216 139621336422384 139622795684482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18586] ppid=18573 vsize=26006188 memory=1232 CPUtime=0 cores=0-7 /proc/18575/task/18586/stat : 18586 (java) S 18573 18573 13461 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 152020425 26630336512 25221 33554432000 4194304 4196468 140721541435216 139621335368608 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18587] ppid=18573 vsize=26006188 memory=1792 CPUtime=0 cores=0-7 /proc/18575/task/18587/stat : 18587 (java) S 18573 18573 13461 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 152020426 26630336512 25221 33554432000 4194304 4196468 140721541435216 139621199504368 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18588] ppid=18573 vsize=26006188 memory=640 CPUtime=0 cores=0-7 /proc/18575/task/18588/stat : 18588 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020428 26630336512 25221 33554432000 4194304 4196468 140721541435216 139621198452944 139622795691931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18589] ppid=18573 vsize=26006188 memory=0 CPUtime=0.29 cores=0-7 /proc/18575/task/18589/stat : 18589 (java) R 18573 18573 13461 0 -1 4202560 1589 0 0 0 29 0 0 0 20 0 20 0 152020428 26630336512 25221 33554432000 4194304 4196468 140721541435216 139621197393584 139622795685270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18590] ppid=18573 vsize=26006188 memory=1700 CPUtime=0.28 cores=0-7 /proc/18575/task/18590/stat : 18590 (java) R 18573 18573 13461 0 -1 4202560 1129 0 0 0 28 0 0 0 20 0 20 0 152020428 26630336512 25221 33554432000 4194304 4196468 140721541435216 139621196348144 139622795694682 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18591] ppid=18573 vsize=26006188 memory=1228 CPUtime=0.31 cores=0-7 /proc/18575/task/18591/stat : 18591 (java) R 18573 18573 13461 0 -1 4202560 1298 0 0 0 31 0 0 0 20 0 20 0 152020428 26630336512 25221 33554432000 4194304 4196468 140721541435216 139621195287424 139622775516943 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18592] ppid=18573 vsize=26006188 memory=5428 CPUtime=0.44 cores=0-7 /proc/18575/task/18592/stat : 18592 (java) R 18573 18573 13461 0 -1 4202560 2189 0 0 0 43 1 0 0 20 0 20 0 152020428 26630336512 25221 33554432000 4194304 4196468 140721541435216 139621194238656 139622795694682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18593] ppid=18573 vsize=26006188 memory=4624 CPUtime=0 cores=0-7 /proc/18575/task/18593/stat : 18593 (java) S 18573 18573 13461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152020428 26630336512 25221 33554432000 4194304 4196468 140721541435216 139621193189600 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18594] ppid=18573 vsize=26006188 memory=1424 CPUtime=0 cores=0-7 /proc/18575/task/18594/stat : 18594 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152020429 26630336512 25221 33554432000 4194304 4196468 140721541435216 139621192137136 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 Current children cumulated CPU time: 2.01 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 102268 KiB [startup+0.946962 s] # the end of solver process 18573 was just reported to runsolver # cumulated CPU time of all completed processes: user=3.52739 s, system=0.093892 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.801483 s] /proc/loadavg: 7.42 6.40 6.91 6/200 18594 /proc/meminfo: memFree=21696552/32770624 swapFree=67108860/67108860 [pid=18573] ppid=18570 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/18573/stat : 18573 (xcsp3-exec) S 18570 18573 13461 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 152020422 9740288 346 33554432000 4194304 5098028 140736749356528 140736749354632 140017171993212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17715200 140736749360234 140736749360444 140736749360444 140736749363179 0 /proc/18573/statm: 2378 346 289 221 0 87 0 [pid=18575] ppid=18573 vsize=26538700 memory=120440 CPUtime=2.71 cores=0-7 /proc/18575/stat : 18575 (java) S 18573 18573 13461 0 -1 1077944320 15415 0 0 0 264 7 0 0 20 0 28 0 152020422 27175628800 30110 33554432000 4194304 4196468 140721541435216 140721541417760 139622795673335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 /proc/18575/statm: 6634675 30110 3213 1 0 6621909 0 [pid=18575/tid=18576] ppid=18573 vsize=26538700 memory=4638778398333091936 CPUtime=0.68 cores=0-7 /proc/18575/task/18576/stat : 18576 (java) S 18573 18573 13461 0 -1 1077944384 6884 0 0 0 65 3 0 0 20 0 28 0 152020423 27175628800 30110 33554432000 4194304 4196468 140721541435216 139622799914112 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18577] ppid=18573 vsize=26538700 memory=5859271421084128616 CPUtime=0 cores=0-7 /proc/18575/task/18577/stat : 18577 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 152020423 27175628800 30110 33554432000 4194304 4196468 140721541435216 139622748293392 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18578] ppid=18573 vsize=26538700 memory=6935649255759568960 CPUtime=0 cores=0-7 /proc/18575/task/18578/stat : 18578 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 152020423 27175628800 30110 33554432000 4194304 4196468 140721541435216 139622747240848 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18579] ppid=18573 vsize=26538700 memory=8514726395715351173 CPUtime=0 cores=0-7 /proc/18575/task/18579/stat : 18579 (java) S 18573 18573 13461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 152020423 27175628800 30110 33554432000 4194304 4196468 140721541435216 139622746188304 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18580] ppid=18573 vsize=26538700 memory=-9109213556524817781 CPUtime=0 cores=0-7 /proc/18575/task/18580/stat : 18580 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 152020424 27175628800 30110 33554432000 4194304 4196468 140721541435216 139622745135760 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18581] ppid=18573 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18581/stat : 18581 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 152020424 27175628800 30110 33554432000 4194304 4196468 140721541435216 139622744083216 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18582] ppid=18573 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18582/stat : 18582 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 152020424 27175628800 30110 33554432000 4194304 4196468 140721541435216 139622349142928 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18583] ppid=18573 vsize=26538700 memory=280950185463360 CPUtime=0 cores=0-7 /proc/18575/task/18583/stat : 18583 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 152020424 27175628800 30110 33554432000 4194304 4196468 140721541435216 139622348090384 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18584] ppid=18573 vsize=26538700 memory=-9178176404910862942 CPUtime=0 cores=0-7 /proc/18575/task/18584/stat : 18584 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 152020424 27175628800 30110 33554432000 4194304 4196468 140721541435216 139622347037840 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18585] ppid=18573 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18585/stat : 18585 (java) S 18573 18573 13461 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 152020425 27175628800 30110 33554432000 4194304 4196468 140721541435216 139621336422384 139622795684482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18586] ppid=18573 vsize=26538700 memory=1732 CPUtime=0 cores=0-7 /proc/18575/task/18586/stat : 18586 (java) S 18573 18573 13461 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 152020425 27175628800 30110 33554432000 4194304 4196468 140721541435216 139621335368608 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18587] ppid=18573 vsize=26538700 memory=1944 CPUtime=0 cores=0-7 /proc/18575/task/18587/stat : 18587 (java) S 18573 18573 13461 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 152020426 27175628800 30110 33554432000 4194304 4196468 140721541435216 139621199504368 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18588] ppid=18573 vsize=26538700 memory=1700 CPUtime=0 cores=0-7 /proc/18575/task/18588/stat : 18588 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 152020428 27175628800 30110 33554432000 4194304 4196468 140721541435216 139621198452944 139622795691931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18589] ppid=18573 vsize=26538700 memory=1228 CPUtime=0.35 cores=0-7 /proc/18575/task/18589/stat : 18589 (java) R 18573 18573 13461 0 -1 1077944384 1607 0 0 0 35 0 0 0 20 0 28 0 152020428 27175628800 30110 33554432000 4194304 4196468 140721541435216 139621197400560 139622795684482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18590] ppid=18573 vsize=26538700 memory=5428 CPUtime=0.35 cores=0-7 /proc/18575/task/18590/stat : 18590 (java) R 18573 18573 13461 0 -1 4202560 1183 0 0 0 35 0 0 0 20 0 28 0 152020428 27175628800 30110 33554432000 4194304 4196468 140721541435216 139621196335072 139622776859202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18591] ppid=18573 vsize=26538700 memory=4624 CPUtime=0.41 cores=0-7 /proc/18575/task/18591/stat : 18591 (java) R 18573 18573 13461 0 -1 4202560 1734 0 0 0 41 0 0 0 20 0 28 0 152020428 27175628800 30110 33554432000 4194304 4196468 140721541435216 139621195276488 139622777218504 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18592] ppid=18573 vsize=26538700 memory=1424 CPUtime=0.48 cores=0-7 /proc/18575/task/18592/stat : 18592 (java) S 18573 18573 13461 0 -1 1077944384 2352 0 0 0 47 1 0 0 20 0 28 0 152020428 27175628800 30110 33554432000 4194304 4196468 140721541435216 139621194236320 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18593] ppid=18573 vsize=26538700 memory=13160 CPUtime=0 cores=0-7 /proc/18575/task/18593/stat : 18593 (java) S 18573 18573 13461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 152020428 27175628800 30110 33554432000 4194304 4196468 140721541435216 139621193189600 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18594] ppid=18573 vsize=26538700 memory=792 CPUtime=0 cores=0-7 /proc/18575/task/18594/stat : 18594 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 152020429 27175628800 30110 33554432000 4194304 4196468 140721541435216 139621192137136 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 Current children cumulated CPU time: 2.71 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 121824 KiB [startup+0.910482 s] /proc/loadavg: 7.42 6.40 6.91 6/200 18594 /proc/meminfo: memFree=21696552/32770624 swapFree=67108860/67108860 [pid=18573] ppid=18570 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/18573/stat : 18573 (xcsp3-exec) S 18570 18573 13461 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 152020422 9740288 346 33554432000 4194304 5098028 140736749356528 140736749354632 140017171993212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17715200 140736749360234 140736749360444 140736749360444 140736749363179 0 /proc/18573/statm: 2378 346 289 221 0 87 0 [pid=18575] ppid=18573 vsize=26738392 memory=185436 CPUtime=3.44 cores=0-7 /proc/18575/stat : 18575 (java) S 18573 18573 13461 0 -1 1077944320 16325 0 0 0 336 8 0 0 20 0 28 0 152020422 27380113408 46359 33554432000 4194304 4196468 140721541435216 140721541417760 139622795673335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 /proc/18575/statm: 6684598 46359 3221 1 0 6671832 0 [pid=18575/tid=18576] ppid=18573 vsize=26738392 memory=5428 CPUtime=0.68 cores=0-7 /proc/18575/task/18576/stat : 18576 (java) S 18573 18573 13461 0 -1 1077944384 6885 0 0 0 65 3 0 0 20 0 28 0 152020423 27380113408 46359 33554432000 4194304 4196468 140721541435216 139622799914112 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18577] ppid=18573 vsize=26738392 memory=4624 CPUtime=0 cores=0-7 /proc/18575/task/18577/stat : 18577 (java) S 18573 18573 13461 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 152020423 27380113408 46359 33554432000 4194304 4196468 140721541435216 139622748293392 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18578] ppid=18573 vsize=26738392 memory=1424 CPUtime=0 cores=0-7 /proc/18575/task/18578/stat : 18578 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 152020423 27380113408 46359 33554432000 4194304 4196468 140721541435216 139622747240848 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18579] ppid=18573 vsize=26738392 memory=1384 CPUtime=0 cores=0-7 /proc/18575/task/18579/stat : 18579 (java) S 18573 18573 13461 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 152020423 27380113408 46359 33554432000 4194304 4196468 140721541435216 139622746188304 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18580] ppid=18573 vsize=26738392 memory=100884 CPUtime=0 cores=0-7 /proc/18575/task/18580/stat : 18580 (java) S 18573 18573 13461 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 152020424 27380113408 46359 33554432000 4194304 4196468 140721541435216 139622745135760 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18581] ppid=18573 vsize=26738392 memory=280950186000048 CPUtime=0 cores=0-7 /proc/18575/task/18581/stat : 18581 (java) S 18573 18573 13461 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 152020424 27380113408 46359 33554432000 4194304 4196468 140721541435216 139622744083216 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18582] ppid=18573 vsize=26738392 memory=140475093001072 CPUtime=0 cores=0-7 /proc/18575/task/18582/stat : 18582 (java) S 18573 18573 13461 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 152020424 27380113408 46359 33554432000 4194304 4196468 140721541435216 139622349142928 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18583] ppid=18573 vsize=26738392 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18583/stat : 18583 (java) S 18573 18573 13461 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 152020424 27380113408 46359 33554432000 4194304 4196468 140721541435216 139622348090384 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18584] ppid=18573 vsize=26738392 memory=0 CPUtime=0 cores=0-7 /proc/18575/task/18584/stat : 18584 (java) S 18573 18573 13461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 152020424 27380113408 46359 33554432000 4194304 4196468 140721541435216 139622347037840 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18585] ppid=18573 vsize=26738392 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/18575/task/18585/stat : 18585 (java) S 18573 18573 13461 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 152020425 27380113408 46359 33554432000 4194304 4196468 140721541435216 139621336422384 139622795684482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18586] ppid=18573 vsize=26738392 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/18575/task/18586/stat : 18586 (java) S 18573 18573 13461 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 152020425 27380113408 46359 33554432000 4194304 4196468 140721541435216 139621335368608 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18587] ppid=18573 vsize=26738392 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/18575/task/18587/stat : 18587 (java) S 18573 18573 13461 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 152020426 27380113408 46359 33554432000 4194304 4196468 140721541435216 139621199504368 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18588] ppid=18573 vsize=26738392 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/18575/task/18588/stat : 18588 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 152020428 27380113408 46359 33554432000 4194304 4196468 140721541435216 139621198452944 139622795691931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18589] ppid=18573 vsize=26738392 memory=6656426216303648864 CPUtime=0.41 cores=0-7 /proc/18575/task/18589/stat : 18589 (java) R 18573 18573 13461 0 -1 1077944384 1635 0 0 0 41 0 0 0 20 0 28 0 152020428 27380113408 46359 33554432000 4194304 4196468 140721541435216 139621197387920 139622795683541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18590] ppid=18573 vsize=26738392 memory=6944652177228980320 CPUtime=0.45 cores=0-7 /proc/18575/task/18590/stat : 18590 (java) R 18573 18573 13461 0 -1 4202560 1199 0 0 0 45 0 0 0 20 0 28 0 152020428 27380113408 46359 33554432000 4194304 4196468 140721541435216 139621196334560 139622777217624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18591] ppid=18573 vsize=26738392 memory=6944656592455360604 CPUtime=0.5 cores=0-7 /proc/18575/task/18591/stat : 18591 (java) R 18573 18573 13461 0 -1 4202560 1761 0 0 0 50 0 0 0 20 0 28 0 152020428 27380113408 46359 33554432000 4194304 4196468 140721541435216 139621195284208 139622774917210 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18592] ppid=18573 vsize=26738392 memory=5864345774621481062 CPUtime=0.54 cores=0-7 /proc/18575/task/18592/stat : 18592 (java) R 18573 18573 13461 0 -1 4202560 2462 0 0 0 53 1 0 0 20 0 28 0 152020428 27380113408 46359 33554432000 4194304 4196468 140721541435216 139621194238880 139622788779535 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18593] ppid=18573 vsize=26738392 memory=26775823820 CPUtime=0 cores=0-7 /proc/18575/task/18593/stat : 18593 (java) S 18573 18573 13461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 152020428 27380113408 46359 33554432000 4194304 4196468 140721541435216 139621193189600 139622795683541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 [pid=18575/tid=18594] ppid=18573 vsize=26738392 memory=1008 CPUtime=0 cores=0-7 /proc/18575/task/18594/stat : 18594 (java) S 18573 18573 13461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 152020429 27380113408 46359 33554432000 4194304 4196468 140721541435216 139621192137136 139622795684482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29151232 140721541440664 140721541440840 140721541440840 140721541443535 0 Current children cumulated CPU time: 3.44 s Current children cumulated vsize: 26747904 KiB Current children cumulated memory: 186820 KiB Child status: 0 Real time (s): 0.947018 CPU time (s): 3.62128 CPU user time (s): 3.52739 CPU system time (s): 0.093892 CPU usage (%): 382.388 Max. virtual memory (cumulated for all children) (KiB): 26747904 Max. memory (cumulated for all children) (KiB): 186820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.52739 system time used= 0.093892 maximum resident set size= 186488 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16905 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= 3109 involuntary context switches= 31 # summary of solver processes directly reported to runsolver: # pid: 18573 # total CPU time (s): 3.62128 # total CPU user time (s): 3.52739 # total CPU system time (s): 0.093892 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.029728 second user time and 0.04746 second system time The end
Begin job on node114 at 2017-08-20 02:21:08 IDJOB=4281710 IDBENCH=140519 IDSOLVER=2676 FILE ID=node114/4281710-1503189328 RUNJOBID= node114-1503180880-13488 PBS_JOBID= 20630851 Free space on /tmp= 61848 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/OpenStacks/OpenStacks-m2c-s1/OpenStacks-m2c-wbo-10-10-1.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281710-1503189328/watcher-4281710-1503189328 -o /tmp/evaluation-result-4281710-1503189328/solver-4281710-1503189328 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503180880-13488 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2025091582 HOME/instance-4281710-1503189328.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5be561527482570d658e03ce8cbb5c18 RANDOM SEED=2025091582 node114.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 : 5332.98 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 : 5332.98 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 : 5332.98 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 : 5332.98 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: 21750812 kB MemAvailable: 31967780 kB Buffers: 259460 kB Cached: 10246448 kB SwapCached: 0 kB Active: 1768844 kB Inactive: 8792640 kB Active(anon): 47244 kB Inactive(anon): 44268 kB Active(file): 1721600 kB Inactive(file): 8748372 kB Unevictable: 7236 kB Mlocked: 7236 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7600 kB Writeback: 4 kB AnonPages: 62472 kB Mapped: 51556 kB Shmem: 33416 kB Slab: 151892 kB SReclaimable: 125660 kB SUnreclaim: 26232 kB KernelStack: 3184 kB PageTables: 4992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 334004 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61840 MiB End job on node114 at 2017-08-20 02:21:09