Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 40 | 21.3548 | 3.37394 |
Name | PizzaVoucher/ PizzaVoucher-12a_c18.xml |
MD5SUM | 56cb9e23f693fb34c9078bf93399e92e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 40 |
Best CPU time to get the best result obtained on this benchmark | 10.8863 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 44 |
Number of constraints | 105 |
Number of domains | 18 |
Minimum domain size | 1 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":2,"count":24},{"size":3,"count":3},{"size":4,"count":2},{"size":5,"count":1},{"size":7,"count":1},{"size":21,"count":12}] |
Minimum variable degree | 2 |
Maximum variable degree | 32 |
Distribution of variable degrees | [{"degree":2,"count":32},{"degree":31,"count":6},{"degree":32,"count":6}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 13 |
Distribution of constraint arities | [{"arity":2,"count":85},{"arity":13,"count":20}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 85 |
Distribution of constraint types | [{"type":"intension","count":85},{"type":"count","count":20}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404918-1569014298.xml" -tl '2016s' -p 8 0.10/0.19 c Choco 3fb4b153 0.10/0.19 c [HOME/instance-4404918-1569014298.xml, -tl, 2016s, -p, 8] 0.31/0.23 c 8 solvers in parallel 0.31/0.30 c parse instance... 1.92/0.88 c solve instance... 2.27/0.98 o 84 2.27/0.99 o 72 2.27/0.99 o 62 2.99/1.05 o 55 2.99/1.05 o 54 2.99/1.05 o 48 3.71/1.11 o 47 5.96/1.48 o 46 5.96/1.48 o 45 5.96/1.48 o 44 6.81/1.50 o 43 7.53/1.65 o 41 10.74/2.06 o 40 20.91/3.35 s OPTIMUM FOUND 20.91/3.35 v <instantiation> 20.91/3.35 v <list>v[0] v[1] v[2] v[3] v[4] v[5] v[6] v[7] v[8] v[9] v[10] v[11] np[0] np[1] np[2] np[3] np[4] np[5] np[6] np[7] np[8] np[9] nf[0] nf[1] nf[2] nf[3] nf[4] nf[5] nf[6] nf[7] nf[8] nf[9] pp[0] pp[1] pp[2] pp[3] pp[4] pp[5] pp[6] pp[7] pp[8] pp[9] pp[10] pp[11] </list> 20.91/3.35 v <values>9 9 -9 9 -9 9 9 9 1 -9 1 -1 1 0 0 0 0 0 0 0 3 0 2 0 0 0 0 0 0 0 6 0 0 0 9 0 10 0 0 0 0 8 0 13 </values> 20.91/3.35 v </instantiation>
OK 40
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 (13667 MiB free) memory of node 1: 16384 MiB (12090 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404918-1569014298/watcher-4404918-1569014298 -o /var/tmp/evaluation-result-4404918-1569014298/solver-4404918-1569014298 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569003138-317 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 110821760 HOME/instance-4404918-1569014298.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 solver pid=1385, runsolver pid=1382 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.100061 s]* /proc/loadavg: 6.85 6.90 6.06 3/210 1406 /proc/meminfo: memFree=26359956/32770624 swapFree=66955788/67108860 [pid=1385] ppid=1382 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1385/stat : 1385 (xcsp3-exec) S 1382 1385 32757 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477687779 115843072 364 33554432000 4194304 5098028 140731443320608 140731443318712 139687013552764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14532608 140731443327832 140731443328090 140731443328090 140731443331014 0 /proc/1385/statm: 28282 364 305 221 0 87 0 [pid=1387] ppid=1385 vsize=28227396 memory=27864 CPUtime=0.1 cores=0-7 /proc/1387/stat : 1387 (java) S 1385 1385 32757 0 -1 1077944320 5447 0 0 0 9 1 0 0 20 0 20 0 477687779 28904853504 6966 33554432000 4194304 4196468 140733599879760 140733599862304 139866305384183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 /proc/1387/statm: 7056849 6966 3026 1 0 7019032 0 [pid=1387/tid=1388] ppid=1385 vsize=28227396 memory=-7035114785800479027 CPUtime=0.07 cores=0-7 /proc/1387/task/1388/stat : 1388 (java) R 1385 1385 32757 0 -1 4202560 3570 0 0 0 7 0 0 0 20 0 20 0 477687780 28904853504 7098 33554432000 4194304 4196468 140733599879760 139866309618816 139866305406109 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1389] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1389/stat : 1389 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 7098 33554432000 4194304 4196468 140733599879760 139866225236752 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1390] ppid=1385 vsize=28227396 memory=140584925738624 CPUtime=0 cores=0-7 /proc/1387/task/1390/stat : 1390 (java) S 1385 1385 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 7098 33554432000 4194304 4196468 140733599879760 139866224184208 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1391] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1391/stat : 1391 (java) S 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 7098 33554432000 4194304 4196468 140733599879760 139866223131664 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1392] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1392/stat : 1392 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 7098 33554432000 4194304 4196468 140733599879760 139866222079120 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1393] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1393/stat : 1393 (java) S 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 7098 33554432000 4194304 4196468 140733599879760 139866221025552 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1394] ppid=1385 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1387/task/1394/stat : 1394 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 7098 33554432000 4194304 4196468 140733599879760 139866219973008 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1395] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1395/stat : 1395 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 7098 33554432000 4194304 4196468 140733599879760 139866218920464 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1396] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1396/stat : 1396 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 7098 33554432000 4194304 4196468 140733599879760 139866217867920 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1397] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1397/stat : 1397 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687782 28904853504 7098 33554432000 4194304 4196468 140733599879760 139864433596912 139866305395330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1398] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1398/stat : 1398 (java) S 1385 1385 32757 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477687782 28904853504 7098 33554432000 4194304 4196468 140733599879760 139864432543136 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1399] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1399/stat : 1399 (java) S 1385 1385 32757 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477687783 28904853504 7098 33554432000 4194304 4196468 140733599879760 139864431490544 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1400] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1400/stat : 1400 (java) S 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477687785 28904853504 7098 33554432000 4194304 4196468 140733599879760 139864430439120 139866305402779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1401] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1401/stat : 1401 (java) S 1385 1385 32757 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 477687786 28904853504 7098 33554432000 4194304 4196468 140733599879760 139864429385712 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1402] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1402/stat : 1402 (java) S 1385 1385 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477687786 28904853504 7098 33554432000 4194304 4196468 140733599879760 139864428333168 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1403] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1403/stat : 1403 (java) S 1385 1385 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477687786 28904853504 7098 33554432000 4194304 4196468 140733599879760 139864427280624 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1404] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1404/stat : 1404 (java) S 1385 1385 32757 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 20 0 477687786 28904853504 7098 33554432000 4194304 4196468 140733599879760 139864426228080 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1405] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1405/stat : 1405 (java) S 1385 1385 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477687787 28904853504 7098 33554432000 4194304 4196468 140733599879760 139864425175776 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1406] ppid=1385 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1387/task/1406/stat : 1406 (java) S 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477687787 28904853504 7098 33554432000 4194304 4196468 140733599879760 139864424123312 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 29320 KiB [startup+0.210435 s]* /proc/loadavg: 6.85 6.90 6.06 2/210 1406 /proc/meminfo: memFree=26345724/32770624 swapFree=66955788/67108860 [pid=1385] ppid=1382 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1385/stat : 1385 (xcsp3-exec) S 1382 1385 32757 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477687779 115843072 364 33554432000 4194304 5098028 140731443320608 140731443318712 139687013552764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14532608 140731443327832 140731443328090 140731443328090 140731443331014 0 /proc/1385/statm: 28282 364 305 221 0 87 0 [pid=1387] ppid=1385 vsize=28227396 memory=41104 CPUtime=0.31 cores=0-7 /proc/1387/stat : 1387 (java) S 1385 1385 32757 0 -1 1077944320 9479 0 0 0 28 3 0 0 20 0 20 0 477687779 28904853504 10276 33554432000 4194304 4196468 140733599879760 140733599862304 139866305384183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 /proc/1387/statm: 7056849 10276 3304 1 0 7019032 0 [pid=1387/tid=1388] ppid=1385 vsize=28227396 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/1387/task/1388/stat : 1388 (java) R 1385 1385 32757 0 -1 4202560 6595 0 0 0 17 2 0 0 20 0 20 0 477687780 28904853504 10276 33554432000 4194304 4196468 140733599879760 139866309621664 139866289464670 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1389] ppid=1385 vsize=28227396 memory=1899516 CPUtime=0 cores=0-7 /proc/1387/task/1389/stat : 1389 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 10276 33554432000 4194304 4196468 140733599879760 139866225236752 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1390] ppid=1385 vsize=28227396 memory=3618555519378339488 CPUtime=0 cores=0-7 /proc/1387/task/1390/stat : 1390 (java) S 1385 1385 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 10276 33554432000 4194304 4196468 140733599879760 139866224184208 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1391] ppid=1385 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1387/task/1391/stat : 1391 (java) S 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 10276 33554432000 4194304 4196468 140733599879760 139866223131664 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1392] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1392/stat : 1392 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 10276 33554432000 4194304 4196468 140733599879760 139866222079120 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1393] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1393/stat : 1393 (java) S 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 10276 33554432000 4194304 4196468 140733599879760 139866221025552 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1394] ppid=1385 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1387/task/1394/stat : 1394 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 10276 33554432000 4194304 4196468 140733599879760 139866219973008 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1395] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1395/stat : 1395 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 10276 33554432000 4194304 4196468 140733599879760 139866218920464 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1396] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1396/stat : 1396 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28904853504 10276 33554432000 4194304 4196468 140733599879760 139866217867920 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1397] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1397/stat : 1397 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687782 28904853504 10276 33554432000 4194304 4196468 140733599879760 139864433596912 139866305395330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1398] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1398/stat : 1398 (java) S 1385 1385 32757 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477687782 28904853504 10276 33554432000 4194304 4196468 140733599879760 139864432543136 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1399] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1399/stat : 1399 (java) S 1385 1385 32757 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477687783 28904853504 10276 33554432000 4194304 4196468 140733599879760 139864431490544 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1400] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1400/stat : 1400 (java) S 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477687785 28904853504 10276 33554432000 4194304 4196468 140733599879760 139864430439120 139866305402779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1401] ppid=1385 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1387/task/1401/stat : 1401 (java) S 1385 1385 32757 0 -1 1077944384 612 0 0 0 1 0 0 0 20 0 20 0 477687786 28904853504 10276 33554432000 4194304 4196468 140733599879760 139864429385712 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1402] ppid=1385 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1387/task/1402/stat : 1402 (java) S 1385 1385 32757 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 477687786 28904853504 10276 33554432000 4194304 4196468 140733599879760 139864428333168 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1403] ppid=1385 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/1387/task/1403/stat : 1403 (java) S 1385 1385 32757 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 20 0 477687786 28904853504 10276 33554432000 4194304 4196468 140733599879760 139864427280624 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1404] ppid=1385 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/1387/task/1404/stat : 1404 (java) S 1385 1385 32757 0 -1 1077944384 761 0 0 0 7 0 0 0 20 0 20 0 477687786 28904853504 10276 33554432000 4194304 4196468 140733599879760 139864426228080 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1405] ppid=1385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1405/stat : 1405 (java) S 1385 1385 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477687787 28904853504 10276 33554432000 4194304 4196468 140733599879760 139864425175776 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1406] ppid=1385 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1387/task/1406/stat : 1406 (java) S 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477687787 28904853504 10276 33554432000 4194304 4196468 140733599879760 139864424123312 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42560 KiB [startup+0.310471 s]* /proc/loadavg: 6.85 6.90 6.06 3/210 1406 /proc/meminfo: memFree=26340624/32770624 swapFree=66955788/67108860 [pid=1385] ppid=1382 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1385/stat : 1385 (xcsp3-exec) S 1382 1385 32757 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477687779 115843072 364 33554432000 4194304 5098028 140731443320608 140731443318712 139687013552764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14532608 140731443327832 140731443328090 140731443328090 140731443331014 0 /proc/1385/statm: 28282 364 305 221 0 87 0 [pid=1387] ppid=1385 vsize=28231652 memory=46940 CPUtime=0.49 cores=0-7 /proc/1387/stat : 1387 (java) S 1385 1385 32757 0 -1 1077944320 10624 0 0 0 45 4 0 0 20 0 20 0 477687779 28909211648 11735 33554432000 4194304 4196468 140733599879760 140733599862304 139866305384183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 /proc/1387/statm: 7057913 11735 3336 1 0 7019032 0 [pid=1387/tid=1388] ppid=1385 vsize=28231652 memory=-7035114785800479027 CPUtime=0.28 cores=0-7 /proc/1387/task/1388/stat : 1388 (java) R 1385 1385 32757 0 -1 4202560 7660 0 0 0 26 2 0 0 20 0 20 0 477687780 28909211648 12247 33554432000 4194304 4196468 140733599879760 139866309620816 139866305396118 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1389] ppid=1385 vsize=28231652 memory=2832 CPUtime=0 cores=0-7 /proc/1387/task/1389/stat : 1389 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28909211648 12247 33554432000 4194304 4196468 140733599879760 139866225236752 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1390] ppid=1385 vsize=28231652 memory=1620 CPUtime=0 cores=0-7 /proc/1387/task/1390/stat : 1390 (java) S 1385 1385 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477687781 28909211648 12247 33554432000 4194304 4196468 140733599879760 139866224184208 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1391] ppid=1385 vsize=28231652 memory=1136 CPUtime=0 cores=0-7 /proc/1387/task/1391/stat : 1391 (java) S 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477687781 28909211648 12247 33554432000 4194304 4196468 140733599879760 139866223131664 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1392] ppid=1385 vsize=28231652 memory=1072 CPUtime=0 cores=0-7 /proc/1387/task/1392/stat : 1392 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28909211648 12247 33554432000 4194304 4196468 140733599879760 139866222079120 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1393] ppid=1385 vsize=28231652 memory=6036 CPUtime=0 cores=0-7 /proc/1387/task/1393/stat : 1393 (java) S 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477687781 28909211648 12247 33554432000 4194304 4196468 140733599879760 139866221025552 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1394] ppid=1385 vsize=28231652 memory=784 CPUtime=0 cores=0-7 /proc/1387/task/1394/stat : 1394 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28909211648 12247 33554432000 4194304 4196468 140733599879760 139866219973008 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1395] ppid=1385 vsize=28231652 memory=1060 CPUtime=0 cores=0-7 /proc/1387/task/1395/stat : 1395 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28909211648 12247 33554432000 4194304 4196468 140733599879760 139866218920464 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1396] ppid=1385 vsize=28231652 memory=14000 CPUtime=0 cores=0-7 /proc/1387/task/1396/stat : 1396 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28909211648 12247 33554432000 4194304 4196468 140733599879760 139866217867920 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1397] ppid=1385 vsize=28231652 memory=4104 CPUtime=0 cores=0-7 /proc/1387/task/1397/stat : 1397 (java) S 1385 1385 32757 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477687782 28909211648 12247 33554432000 4194304 4196468 140733599879760 139864433596912 139866305395330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1398] ppid=1385 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1398/stat : 1398 (java) S 1385 1385 32757 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477687782 28909211648 12247 33554432000 4194304 4196468 140733599879760 139864432543136 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1399] ppid=1385 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1399/stat : 1399 (java) S 1385 1385 32757 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477687783 28909211648 12247 33554432000 4194304 4196468 140733599879760 139864431490544 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1400] ppid=1385 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1400/stat : 1400 (java) S 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477687785 28909211648 12247 33554432000 4194304 4196468 140733599879760 139864430439120 139866305402779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1401] ppid=1385 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/1387/task/1401/stat : 1401 (java) S 1385 1385 32757 0 -1 1077944384 621 0 0 0 3 0 0 0 20 0 20 0 477687786 28909211648 12247 33554432000 4194304 4196468 140733599879760 139864429385712 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1402] ppid=1385 vsize=28231652 memory=140584815789487 CPUtime=0.01 cores=0-7 /proc/1387/task/1402/stat : 1402 (java) S 1385 1385 32757 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 477687786 28909211648 12247 33554432000 4194304 4196468 140733599879760 139864428333168 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1403] ppid=1385 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/1387/task/1403/stat : 1403 (java) R 1385 1385 32757 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 20 0 477687786 28909211648 12247 33554432000 4194304 4196468 140733599879760 139864427280624 139866305395330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1404] ppid=1385 vsize=28231652 memory=281169631569824 CPUtime=0.12 cores=0-7 /proc/1387/task/1404/stat : 1404 (java) S 1385 1385 32757 0 -1 1077944384 837 0 0 0 12 0 0 0 20 0 20 0 477687786 28909211648 12247 33554432000 4194304 4196468 140733599879760 139864426228080 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1405] ppid=1385 vsize=28231652 memory=140584815817652 CPUtime=0 cores=0-7 /proc/1387/task/1405/stat : 1405 (java) S 1385 1385 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477687787 28909211648 12247 33554432000 4194304 4196468 140733599879760 139864425175776 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1406] ppid=1385 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/1387/task/1406/stat : 1406 (java) S 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477687787 28909211648 12247 33554432000 4194304 4196468 140733599879760 139864424123312 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48396 KiB [startup+0.701011 s] /proc/loadavg: 6.85 6.90 6.06 5/210 1406 /proc/meminfo: memFree=26325468/32770624 swapFree=66955788/67108860 [pid=1385] ppid=1382 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1385/stat : 1385 (xcsp3-exec) S 1382 1385 32757 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477687779 115843072 364 33554432000 4194304 5098028 140731443320608 140731443318712 139687013552764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14532608 140731443327832 140731443328090 140731443328090 140731443331014 0 /proc/1385/statm: 28282 364 305 221 0 87 0 [pid=1387] ppid=1385 vsize=28233776 memory=84396 CPUtime=1.58 cores=0-7 /proc/1387/stat : 1387 (java) S 1385 1385 32757 0 -1 1077944320 15277 0 0 0 151 7 0 0 20 0 20 0 477687779 28911386624 21099 33554432000 4194304 4196468 140733599879760 140733599862304 139866305384183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 /proc/1387/statm: 7058444 21099 3456 1 0 7019544 0 [pid=1387/tid=1388] ppid=1385 vsize=28233776 memory=281169631985328 CPUtime=0.66 cores=0-7 /proc/1387/task/1388/stat : 1388 (java) R 1385 1385 32757 0 -1 4202560 9352 0 0 0 63 3 0 0 20 0 20 0 477687780 28911386624 21099 33554432000 4194304 4196468 140733599879760 139866309620464 139865898779168 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1389] ppid=1385 vsize=28233776 memory=140584815993712 CPUtime=0 cores=0-7 /proc/1387/task/1389/stat : 1389 (java) S 1385 1385 32757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477687781 28911386624 21099 33554432000 4194304 4196468 140733599879760 139866225236752 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1390] ppid=1385 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1390/stat : 1390 (java) S 1385 1385 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477687781 28911386624 21099 33554432000 4194304 4196468 140733599879760 139866224184208 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1391] ppid=1385 vsize=28233776 memory=0 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=1387/tid=1513] ppid=1385 vsize=28835928 memory=146531399240414 CPUtime=0.84 cores=0-7 /proc/1387/task/1513/stat : 1513 (java) R 1385 1385 32757 0 -1 4202560 17 0 0 0 84 0 0 0 20 0 28 0 477687986 29527990272 58380 33554432000 4194304 4196468 140733599879760 139864404624280 139865903166268 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1514] ppid=1385 vsize=28835928 memory=984 CPUtime=0.84 cores=0-7 /proc/1387/task/1514/stat : 1514 (java) R 1385 1385 32757 0 -1 4202560 18 0 0 0 84 0 0 0 20 0 28 0 477687986 29527990272 58380 33554432000 4194304 4196468 140733599879760 139864408834424 139865903166395 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1515] ppid=1385 vsize=28835928 memory=2016 CPUtime=0.88 cores=0-7 /proc/1387/task/1515/stat : 1515 (java) R 1385 1385 32757 0 -1 4202560 17 0 0 0 88 0 0 0 20 0 28 0 477687986 29527990272 58380 33554432000 4194304 4196468 140733599879760 139864413045672 139866286790500 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1516] ppid=1385 vsize=28835928 memory=1408 CPUtime=0.73 cores=0-7 /proc/1387/task/1516/stat : 1516 (java) R 1385 1385 32757 0 -1 4202560 18 0 0 0 73 0 0 0 20 0 28 0 477687986 29527990272 58380 33554432000 4194304 4196468 140733599879760 139864410938760 139865901734709 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1517] ppid=1385 vsize=28835928 memory=1548 CPUtime=0.62 cores=0-7 /proc/1387/task/1517/stat : 1517 (java) R 1385 1385 32757 0 -1 4202560 18 0 0 0 62 0 0 0 20 0 28 0 477687986 29527990272 58380 33554432000 4194304 4196468 140733599879760 139864403569344 139865903575443 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1518] ppid=1385 vsize=28835928 memory=7552 CPUtime=0.78 cores=0-7 /proc/1387/task/1518/stat : 1518 (java) R 1385 1385 32757 0 -1 4202560 20 0 0 0 78 0 0 0 20 0 28 0 477687986 29527990272 58380 33554432000 4194304 4196468 140733599879760 139864409887288 139865898695151 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1519] ppid=1385 vsize=28835928 memory=3608 CPUtime=0.74 cores=0-7 /proc/1387/task/1519/stat : 1519 (java) R 1385 1385 32757 0 -1 4202560 18 0 0 0 74 0 0 0 20 0 28 0 477687986 29527990272 58380 33554432000 4194304 4196468 140733599879760 139864407781560 139865902222086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 Current children cumulated CPU time: 19.42 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 234976 KiB [startup+3.3739 s] # the end of solver process 1385 was just reported to runsolver # cumulated CPU time of all completed processes: user=21.1937 s, system=0.161056 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20212 s] /proc/loadavg: 6.54 6.83 6.04 11/218 1519 /proc/meminfo: memFree=26154676/32770624 swapFree=66955788/67108860 [pid=1385] ppid=1382 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1385/stat : 1385 (xcsp3-exec) S 1382 1385 32757 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477687779 115843072 364 33554432000 4194304 5098028 140731443320608 140731443318712 139687013552764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14532608 140731443327832 140731443328090 140731443328090 140731443331014 0 /proc/1385/statm: 28282 364 305 221 0 87 0 [pid=1387] ppid=1385 vsize=28835928 memory=233680 CPUtime=20.13 cores=0-7 /proc/1387/stat : 1387 (java) S 1385 1385 32757 0 -1 1077944320 27366 0 0 0 1999 14 0 0 20 0 28 0 477687779 29527990272 58420 33554432000 4194304 4196468 140733599879760 140733599862304 139866305384183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 /proc/1387/statm: 7208982 58420 3515 1 0 7170082 0 [pid=1387/tid=1388] ppid=1385 vsize=28835928 memory=1620 CPUtime=0.87 cores=0-7 /proc/1387/task/1388/stat : 1388 (java) S 1385 1385 32757 0 -1 1077944384 9506 0 0 0 82 5 0 0 20 0 28 0 477687780 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866309624960 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1389] ppid=1385 vsize=28835928 memory=1136 CPUtime=0 cores=0-7 /proc/1387/task/1389/stat : 1389 (java) S 1385 1385 32757 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866225236752 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1390] ppid=1385 vsize=28835928 memory=15599321222257 CPUtime=0.01 cores=0-7 /proc/1387/task/1390/stat : 1390 (java) S 1385 1385 32757 0 -1 1077944384 6 0 0 0 1 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866224184208 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1391] ppid=1385 vsize=28835928 memory=288230574492221466 CPUtime=0.01 cores=0-7 /proc/1387/task/1391/stat : 1391 (java) S 1385 1385 32757 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866223131664 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1392] ppid=1385 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/1387/task/1392/stat : 1392 (java) S 1385 1385 32757 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866222079120 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1393] ppid=1385 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/1387/task/1393/stat : 1393 (java) S 1385 1385 32757 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866221025552 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1394] ppid=1385 vsize=28835928 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/1387/task/1394/stat : 1394 (java) S 1385 1385 32757 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866219973008 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1395] ppid=1385 vsize=28835928 memory=6944656592455097440 CPUtime=0.01 cores=0-7 /proc/1387/task/1395/stat : 1395 (java) S 1385 1385 32757 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866218920464 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1396] ppid=1385 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/1387/task/1396/stat : 1396 (java) S 1385 1385 32757 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866217867920 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1397] ppid=1385 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1397/stat : 1397 (java) S 1385 1385 32757 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 477687782 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864433596912 139866305395330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1398] ppid=1385 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1398/stat : 1398 (java) S 1385 1385 32757 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 477687782 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864432543136 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1399] ppid=1385 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1399/stat : 1399 (java) S 1385 1385 32757 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477687783 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864431490544 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1400] ppid=1385 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1400/stat : 1400 (java) S 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477687785 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864430439120 139866305402779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1401] ppid=1385 vsize=28835928 memory=0 CPUtime=1.58 cores=0-7 /proc/1387/task/1401/stat : 1401 (java) S 1385 1385 32757 0 -1 1077944384 3957 0 0 0 157 1 0 0 20 0 28 0 477687786 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864429385712 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1402] ppid=1385 vsize=28835928 memory=0 CPUtime=1.52 cores=0-7 /proc/1387/task/1402/stat : 1402 (java) S 1385 1385 32757 0 -1 1077944384 2956 0 0 0 151 1 0 0 20 0 28 0 477687786 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864428333168 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1403] ppid=1385 vsize=28835928 memory=0 CPUtime=1.77 cores=0-7 /proc/1387/task/1403/stat : 1403 (java) S 1385 1385 32757 0 -1 1077944384 3691 0 0 0 176 1 0 0 20 0 28 0 477687786 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864427280624 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1404] ppid=1385 vsize=28835928 memory=0 CPUtime=0.76 cores=0-7 /proc/1387/task/1404/stat : 1404 (java) S 1385 1385 32757 0 -1 1077944384 3593 0 0 0 75 1 0 0 20 0 28 0 477687786 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864426228080 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1405] ppid=1385 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1405/stat : 1405 (java) S 1385 1385 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477687787 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864425175776 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1406] ppid=1385 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1406/stat : 1406 (java) S 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477687787 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864424123312 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1512] ppid=1385 vsize=28835928 memory=0 CPUtime=0.91 cores=0-7 /proc/1387/task/1512/stat : 1512 (java) R 1385 1385 32757 0 -1 4202560 17 0 0 0 91 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864411992104 139865901733792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1513] ppid=1385 vsize=28835928 memory=0 CPUtime=0.93 cores=0-7 /proc/1387/task/1513/stat : 1513 (java) R 1385 1385 32757 0 -1 4202560 17 0 0 0 93 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864404624280 139865901736365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1514] ppid=1385 vsize=28835928 memory=57 CPUtime=0.91 cores=0-7 /proc/1387/task/1514/stat : 1514 (java) R 1385 1385 32757 0 -1 4202560 18 0 0 0 91 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864408834424 140733600049435 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1515] ppid=1385 vsize=28835928 memory=0 CPUtime=0.97 cores=0-7 /proc/1387/task/1515/stat : 1515 (java) R 1385 1385 32757 0 -1 4202560 17 0 0 0 97 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864413045672 139865901733151 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1516] ppid=1385 vsize=28835928 memory=0 CPUtime=0.81 cores=0-7 /proc/1387/task/1516/stat : 1516 (java) R 1385 1385 32757 0 -1 4202560 18 0 0 0 81 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864410938760 139865902669133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1517] ppid=1385 vsize=28835928 memory=3 CPUtime=0.7 cores=0-7 /proc/1387/task/1517/stat : 1517 (java) R 1385 1385 32757 0 -1 4202560 18 0 0 0 70 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864403569344 139865903119977 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1518] ppid=1385 vsize=28835928 memory=109 CPUtime=0.87 cores=0-7 /proc/1387/task/1518/stat : 1518 (java) R 1385 1385 32757 0 -1 4202560 20 0 0 0 87 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864409887288 139865901333063 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1519] ppid=1385 vsize=28835928 memory=0 CPUtime=0.83 cores=0-7 /proc/1387/task/1519/stat : 1519 (java) R 1385 1385 32757 0 -1 4202560 18 0 0 0 83 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864407783928 139865903169182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 Current children cumulated CPU time: 20.13 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 235136 KiB [startup+3.30111 s] /proc/loadavg: 6.54 6.83 6.04 11/218 1519 /proc/meminfo: memFree=26154676/32770624 swapFree=66955788/67108860 [pid=1385] ppid=1382 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1385/stat : 1385 (xcsp3-exec) S 1382 1385 32757 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477687779 115843072 364 33554432000 4194304 5098028 140731443320608 140731443318712 139687013552764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14532608 140731443327832 140731443328090 140731443328090 140731443331014 0 /proc/1385/statm: 28282 364 305 221 0 87 0 [pid=1387] ppid=1385 vsize=28835928 memory=233680 CPUtime=20.91 cores=0-7 /proc/1387/stat : 1387 (java) S 1385 1385 32757 0 -1 1077944320 27382 0 0 0 2077 14 0 0 20 0 28 0 477687779 29527990272 58420 33554432000 4194304 4196468 140733599879760 140733599862304 139866305384183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 /proc/1387/statm: 7208982 58420 3515 1 0 7170082 0 [pid=1387/tid=1388] ppid=1385 vsize=28835928 memory=0 CPUtime=0.87 cores=0-7 /proc/1387/task/1388/stat : 1388 (java) S 1385 1385 32757 0 -1 1077944384 9506 0 0 0 82 5 0 0 20 0 28 0 477687780 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866309624960 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1389] ppid=1385 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1389/stat : 1389 (java) S 1385 1385 32757 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866225236752 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1390] ppid=1385 vsize=28835928 memory=1 CPUtime=0.01 cores=0-7 /proc/1387/task/1390/stat : 1390 (java) S 1385 1385 32757 0 -1 1077944384 6 0 0 0 1 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866224184208 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1391] ppid=1385 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/1387/task/1391/stat : 1391 (java) S 1385 1385 32757 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866223131664 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1392] ppid=1385 vsize=28835928 memory=1 CPUtime=0.01 cores=0-7 /proc/1387/task/1392/stat : 1392 (java) S 1385 1385 32757 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866222079120 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1393] ppid=1385 vsize=28835928 memory=1 CPUtime=0.01 cores=0-7 /proc/1387/task/1393/stat : 1393 (java) S 1385 1385 32757 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866221025552 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1394] ppid=1385 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1394/stat : 1394 (java) S 1385 1385 32757 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866219973008 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1395] ppid=1385 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/1387/task/1395/stat : 1395 (java) S 1385 1385 32757 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866218920464 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1396] ppid=1385 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/1387/task/1396/stat : 1396 (java) S 1385 1385 32757 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 28 0 477687781 29527990272 58420 33554432000 4194304 4196468 140733599879760 139866217867920 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1397] ppid=1385 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/1387/task/1397/stat : 1397 (java) S 1385 1385 32757 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 477687782 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864433596912 139866305395330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1398] ppid=1385 vsize=28835928 memory=281169631610080 CPUtime=0 cores=0-7 /proc/1387/task/1398/stat : 1398 (java) S 1385 1385 32757 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 477687782 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864432543136 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1399] ppid=1385 vsize=28835928 memory=140587164501454 CPUtime=0 cores=0-7 /proc/1387/task/1399/stat : 1399 (java) S 1385 1385 32757 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477687783 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864431490544 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1400] ppid=1385 vsize=28835928 memory=140587164502113 CPUtime=0 cores=0-7 /proc/1387/task/1400/stat : 1400 (java) S 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477687785 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864430439120 139866305402779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1401] ppid=1385 vsize=28835928 memory=140587164502114 CPUtime=1.58 cores=0-7 /proc/1387/task/1401/stat : 1401 (java) S 1385 1385 32757 0 -1 1077944384 3957 0 0 0 157 1 0 0 20 0 28 0 477687786 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864429385712 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1402] ppid=1385 vsize=28835928 memory=140587164502166 CPUtime=1.52 cores=0-7 /proc/1387/task/1402/stat : 1402 (java) S 1385 1385 32757 0 -1 1077944384 2956 0 0 0 151 1 0 0 20 0 28 0 477687786 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864428333168 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1403] ppid=1385 vsize=28835928 memory=984 CPUtime=1.77 cores=0-7 /proc/1387/task/1403/stat : 1403 (java) S 1385 1385 32757 0 -1 1077944384 3691 0 0 0 176 1 0 0 20 0 28 0 477687786 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864427280624 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1404] ppid=1385 vsize=28835928 memory=2016 CPUtime=0.76 cores=0-7 /proc/1387/task/1404/stat : 1404 (java) S 1385 1385 32757 0 -1 1077944384 3593 0 0 0 75 1 0 0 20 0 28 0 477687786 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864426228080 139866305395330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1405] ppid=1385 vsize=28835928 memory=1408 CPUtime=0 cores=0-7 /proc/1387/task/1405/stat : 1405 (java) S 1385 1385 32757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477687787 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864425175776 139866305394389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1406] ppid=1385 vsize=28835928 memory=1548 CPUtime=0 cores=0-7 /proc/1387/task/1406/stat : 1406 (java) R 1385 1385 32757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477687787 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864424123312 139866305395330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1512] ppid=1385 vsize=28835928 memory=7552 CPUtime=1.01 cores=0-7 /proc/1387/task/1512/stat : 1512 (java) R 1385 1385 32757 0 -1 4202560 17 0 0 0 101 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864411992104 139865902841159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1513] ppid=1385 vsize=28835928 memory=3608 CPUtime=1.03 cores=0-7 /proc/1387/task/1513/stat : 1513 (java) R 1385 1385 32757 0 -1 4202560 18 0 0 0 103 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864404624280 139865901733169 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1514] ppid=1385 vsize=28835928 memory=281169631583488 CPUtime=1.01 cores=0-7 /proc/1387/task/1514/stat : 1514 (java) R 1385 1385 32757 0 -1 4202560 19 0 0 0 101 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864408834424 139865903452209 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1515] ppid=1385 vsize=28835928 memory=146531399240410 CPUtime=1.07 cores=0-7 /proc/1387/task/1515/stat : 1515 (java) R 1385 1385 32757 0 -1 4202560 18 0 0 0 107 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864413045672 139865901327040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1516] ppid=1385 vsize=28835928 memory=146531399240411 CPUtime=0.91 cores=0-7 /proc/1387/task/1516/stat : 1516 (java) R 1385 1385 32757 0 -1 4202560 19 0 0 0 91 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864410940024 139865901734683 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1517] ppid=1385 vsize=28835928 memory=146531399240412 CPUtime=0.79 cores=0-7 /proc/1387/task/1517/stat : 1517 (java) R 1385 1385 32757 0 -1 4202560 20 0 0 0 79 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864403569344 139865901733268 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1518] ppid=1385 vsize=28835928 memory=146531399240413 CPUtime=0.96 cores=0-7 /proc/1387/task/1518/stat : 1518 (java) R 1385 1385 32757 0 -1 4202560 26 0 0 0 96 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864409887288 139865903166240 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 [pid=1387/tid=1519] ppid=1385 vsize=28835928 memory=146531399240414 CPUtime=0.92 cores=0-7 /proc/1387/task/1519/stat : 1519 (java) R 1385 1385 32757 0 -1 4202560 22 0 0 0 92 0 0 0 20 0 28 0 477687986 29527990272 58420 33554432000 4194304 4196468 140733599879760 139864407783928 139865903121354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14139392 140733599888348 140733599888523 140733599888523 140733599891407 0 Current children cumulated CPU time: 20.91 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 235136 KiB Child status: 0 Real time (s): 3.37394 CPU time (s): 21.3548 CPU user time (s): 21.1937 CPU system time (s): 0.161056 CPU usage (%): 632.932 Max. virtual memory (cumulated for all children) (KiB): 28949056 Max. memory (cumulated for all children) (KiB): 235136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 21.1937 system time used= 0.161056 maximum resident set size= 234672 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27955 page faults= 0 swaps= 0 block input operations= 1248 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5042 involuntary context switches= 771 # summary of solver processes directly reported to runsolver: # pid: 1385 # total CPU time (s): 21.3548 # total CPU user time (s): 21.1937 # total CPU system time (s): 0.161056 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.045048 second user time and 0.083503 second system time The end
Begin job on node105 at 2019-09-20 22:16:39 IDJOB=4404918 IDBENCH=141325 IDSOLVER=2866 FILE ID=node105/4404918-1569014298 RUNJOBID= node105-1569003138-317 PBS_JOBID= 21704763 Free space on /var/tmp= 13180 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP18/PizzaVoucher/PizzaVoucher-12a_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404918-1569014298/watcher-4404918-1569014298 -o /var/tmp/evaluation-result-4404918-1569014298/solver-4404918-1569014298 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569003138-317 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 110821760 HOME/instance-4404918-1569014298.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 56cb9e23f693fb34c9078bf93399e92e RANDOM SEED=110821760 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26375940 kB MemAvailable: 31808772 kB Buffers: 66440 kB Cached: 5505848 kB SwapCached: 49004 kB Active: 2786940 kB Inactive: 2834744 kB Active(anon): 1336 kB Inactive(anon): 93396 kB Active(file): 2785604 kB Inactive(file): 2741348 kB Unevictable: 110940 kB Mlocked: 110940 kB SwapTotal: 67108860 kB SwapFree: 66955788 kB Dirty: 26184 kB Writeback: 0 kB AnonPages: 112744 kB Mapped: 48820 kB Shmem: 36676 kB Slab: 362912 kB SReclaimable: 334340 kB SUnreclaim: 28572 kB KernelStack: 3328 kB PageTables: 5176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498600 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13152 MiB End job on node105 at 2019-09-20 22:16:43