Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 14 | 133.031 | 17.2306 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16e.xml |
MD5SUM | 9478703244e8f640224ac5c9e01083b8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 13.1944 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 272 |
Number of constraints | 22 |
Number of domains | 2 |
Minimum domain size | 4 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":4,"count":21},{"size":16,"count":16}] |
Minimum variable degree | 0 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":0,"count":235},{"degree":1,"count":7},{"degree":2,"count":23},{"degree":5,"count":1},{"degree":7,"count":6}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 16 |
Distribution of constraint arities | [{"arity":3,"count":21},{"arity":16,"count":1}] |
Number of extensional constraints | 21 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":21},{"type":"allDifferent","count":1}] |
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-4406928-1569346226.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4406928-1569346226.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.01/0.59 c solve instance... 1.39/0.66 o 25 1.39/0.67 o 23 1.39/0.68 o 21 1.39/0.69 o 19 2.73/0.85 o 18 3.41/0.92 o 16 3.41/0.97 o 15 6.44/1.40 o 14 132.85/17.22 s OPTIMUM FOUND 132.85/17.22 v <instantiation> 132.85/17.22 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] d[0][2] d[0][3] d[0][5] d[0][6] d[0][7] d[0][8] d[1][3] d[3][5] d[3][6] d[3][7] d[3][8] d[4][5] d[4][6] d[4][7] d[4][8] d[5][6] d[5][7] d[5][8] d[6][7] d[6][8] d[7][8] </list> 132.85/17.22 v <values>3 9 7 1 6 4 2 0 5 12 11 14 15 8 10 13 0 0 2 0 1 1 0 1 1 0 0 0 0 1 1 1 0 0 0 2 1 </values> 132.85/17.22 v </instantiation>
OK 14
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 (13807 MiB free) memory of node 1: 16384 MiB (12312 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406928-1569346226/watcher-4406928-1569346226 -o /tmp/evaluation-result-4406928-1569346226/solver-4406928-1569346226 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1403632523 HOME/instance-4406928-1569346226.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=8491, runsolver pid=8488 Current StackSize limit: 8192 KiB [startup+0.100135 s]* /proc/loadavg: 2.19 3.27 5.61 3/212 8512 /proc/meminfo: memFree=26727548/32770624 swapFree=66986400/67108860 [pid=8491] ppid=8488 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/8491/stat : 8491 (xcsp3-exec) S 8488 8491 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510879229 115843072 364 33554432000 4194304 5098028 140734152783744 140734152781848 140314872910460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38809600 140734152786805 140734152787049 140734152787049 140734152789962 0 /proc/8491/statm: 28282 364 305 221 0 87 0 [pid=8493] ppid=8491 vsize=28227396 memory=31696 CPUtime=0.11 cores=0-7 /proc/8493/stat : 8493 (java) S 8491 8491 4774 0 -1 1077944320 5297 0 0 0 10 1 0 0 20 0 20 0 510879230 28904853504 7924 33554432000 4194304 4196468 140721950753952 140721950736496 140535986388727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 /proc/8493/statm: 7056849 7924 3164 1 0 7019032 0 [pid=8493/tid=8494] ppid=8491 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/8493/task/8494/stat : 8494 (java) R 8491 8491 4774 0 -1 4202560 3260 0 0 0 8 1 0 0 20 0 20 0 510879230 28904853504 7924 33554432000 4194304 4196468 140721950753952 140535990620640 140535986400662 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8495] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8495/stat : 8495 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 7924 33554432000 4194304 4196468 140721950753952 140535906241040 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8496] ppid=8491 vsize=28227396 memory=15960191727593112 CPUtime=0 cores=0-7 /proc/8493/task/8496/stat : 8496 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 7924 33554432000 4194304 4196468 140721950753952 140535905188496 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8497] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8497/stat : 8497 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 7924 33554432000 4194304 4196468 140721950753952 140535904135440 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8498] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8498/stat : 8498 (java) S 8491 8491 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 7924 33554432000 4194304 4196468 140721950753952 140535903082896 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8499] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8499/stat : 8499 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 7924 33554432000 4194304 4196468 140721950753952 140535902030864 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8500] ppid=8491 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8493/task/8500/stat : 8500 (java) S 8491 8491 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 7924 33554432000 4194304 4196468 140721950753952 140535900978320 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8501] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8501/stat : 8501 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 7924 33554432000 4194304 4196468 140721950753952 140535899925264 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8502] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8502/stat : 8502 (java) S 8491 8491 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 7924 33554432000 4194304 4196468 140721950753952 140535898872720 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8503] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8503/stat : 8503 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879232 28904853504 7924 33554432000 4194304 4196468 140721950753952 140534584707312 140535986399874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8504] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8504/stat : 8504 (java) S 8491 8491 4774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510879233 28904853504 7924 33554432000 4194304 4196468 140721950753952 140534583653536 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8505] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8505/stat : 8505 (java) S 8491 8491 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510879233 28904853504 7924 33554432000 4194304 4196468 140721950753952 140534582600432 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8506] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8506/stat : 8506 (java) S 8491 8491 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510879235 28904853504 7924 33554432000 4194304 4196468 140721950753952 140534581549008 140535986407323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8507] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8507/stat : 8507 (java) S 8491 8491 4774 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 510879235 28904853504 7924 33554432000 4194304 4196468 140721950753952 140534580497136 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8508] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8508/stat : 8508 (java) S 8491 8491 4774 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 510879235 28904853504 7924 33554432000 4194304 4196468 140721950753952 140534579444592 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8509] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8509/stat : 8509 (java) R 8491 8491 4774 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510879236 28904853504 7924 33554432000 4194304 4196468 140721950753952 140534578391536 140535986399874 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8510] ppid=8491 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/8493/task/8510/stat : 8510 (java) R 8491 8491 4774 0 -1 4202560 305 0 0 0 1 0 0 0 20 0 20 0 510879236 28904853504 7924 33554432000 4194304 4196468 140721950753952 140534577338992 140535978625854 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8511] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8511/stat : 8511 (java) S 8491 8491 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510879236 28904853504 7924 33554432000 4194304 4196468 140721950753952 140534576286176 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8512] ppid=8491 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8493/task/8512/stat : 8512 (java) S 8491 8491 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510879236 28904853504 7924 33554432000 4194304 4196468 140721950753952 140534575233712 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 33152 KiB [startup+0.210284 s]* /proc/loadavg: 2.19 3.27 5.61 3/212 8512 /proc/meminfo: memFree=26714156/32770624 swapFree=66986400/67108860 [pid=8491] ppid=8488 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/8491/stat : 8491 (xcsp3-exec) S 8488 8491 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510879229 115843072 364 33554432000 4194304 5098028 140734152783744 140734152781848 140314872910460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38809600 140734152786805 140734152787049 140734152787049 140734152789962 0 /proc/8491/statm: 28282 364 305 221 0 87 0 [pid=8493] ppid=8491 vsize=28227396 memory=43064 CPUtime=0.33 cores=0-7 /proc/8493/stat : 8493 (java) S 8491 8491 4774 0 -1 1077944320 8950 0 0 0 30 3 0 0 20 0 20 0 510879230 28904853504 10766 33554432000 4194304 4196468 140721950753952 140721950736496 140535986388727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 /proc/8493/statm: 7056849 10766 3301 1 0 7019032 0 [pid=8493/tid=8494] ppid=8491 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/8493/task/8494/stat : 8494 (java) R 8491 8491 4774 0 -1 4202560 6077 0 0 0 17 2 0 0 20 0 20 0 510879230 28904853504 10766 33554432000 4194304 4196468 140721950753952 140535990619952 140535986400662 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8495] ppid=8491 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/8493/task/8495/stat : 8495 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 10766 33554432000 4194304 4196468 140721950753952 140535906241040 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8496] ppid=8491 vsize=28227396 memory=15675422510966424 CPUtime=0 cores=0-7 /proc/8493/task/8496/stat : 8496 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 10766 33554432000 4194304 4196468 140721950753952 140535905188496 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8497] ppid=8491 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8493/task/8497/stat : 8497 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 10766 33554432000 4194304 4196468 140721950753952 140535904135440 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8498] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8498/stat : 8498 (java) S 8491 8491 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 10766 33554432000 4194304 4196468 140721950753952 140535903082896 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8499] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8499/stat : 8499 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 10766 33554432000 4194304 4196468 140721950753952 140535902030864 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8500] ppid=8491 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8493/task/8500/stat : 8500 (java) S 8491 8491 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 10766 33554432000 4194304 4196468 140721950753952 140535900978320 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8501] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8501/stat : 8501 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 10766 33554432000 4194304 4196468 140721950753952 140535899925264 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8502] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8502/stat : 8502 (java) S 8491 8491 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510879231 28904853504 10766 33554432000 4194304 4196468 140721950753952 140535898872720 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8503] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8503/stat : 8503 (java) S 8491 8491 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510879232 28904853504 10766 33554432000 4194304 4196468 140721950753952 140534584707312 140535986399874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8504] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8504/stat : 8504 (java) S 8491 8491 4774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510879233 28904853504 10766 33554432000 4194304 4196468 140721950753952 140534583653536 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8505] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8505/stat : 8505 (java) S 8491 8491 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510879233 28904853504 10766 33554432000 4194304 4196468 140721950753952 140534582600432 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8506] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8506/stat : 8506 (java) S 8491 8491 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510879235 28904853504 10766 33554432000 4194304 4196468 140721950753952 140534581549008 140535986407323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8507] ppid=8491 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/8493/task/8507/stat : 8507 (java) S 8491 8491 4774 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 20 0 510879235 28904853504 10766 33554432000 4194304 4196468 140721950753952 140534580497136 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8508] ppid=8491 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/8493/task/8508/stat : 8508 (java) S 8491 8491 4774 0 -1 1077944384 554 0 0 0 1 0 0 0 20 0 20 0 510879235 28904853504 10766 33554432000 4194304 4196468 140721950753952 140534579444592 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8509] ppid=8491 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/8493/task/8509/stat : 8509 (java) R 8491 8491 4774 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 510879236 28904853504 10766 33554432000 4194304 4196468 140721950753952 140534578391536 140535986399874 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8510] ppid=8491 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/8493/task/8510/stat : 8510 (java) R 8491 8491 4774 0 -1 4202560 728 0 0 0 8 0 0 0 20 0 20 0 510879236 28904853504 10766 33554432000 4194304 4196468 140721950753952 140534577338800 140535986400662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8511] ppid=8491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8511/stat : 8511 (java) S 8491 8491 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510879236 28904853504 10766 33554432000 4194304 4196468 140721950753952 140534576286176 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8512] ppid=8491 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8493/task/8512/stat : 8512 (java) S 8491 8491 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510879236 28904853504 10766 33554432000 4194304 4196468 140721950753952 140534575233712 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 44520 KiB [startup+0.30971 s]* /proc/loadavg: 2.19 3.27 5.61 5/212 8512 /proc/meminfo: memFree=26707392/32770624 swapFree=66986400/67108860 [pid=8491] ppid=8488 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/8491/stat : 8491 (xcsp3-exec) S 8488 8491 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510879229 115843072 364 33554432000 4194304 5098028 140734152783744 140734152781848 140314872910460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38809600 140734152786805 140734152787049 140734152787049 140734152789962 0 /proc/8491/statm: 28282 364 305 221 0 87 0 [pid=8493] ppid=8491 vsize=28231652 memory=51444 CPUtime=0.52 cores=0-7 /proc/8493/stat : 8493 (java) S 8491 8491 4774 0 -1 1077944320 10228 0 0 0 48 4 0 0 20 0 20 0 510879230 28909211648 12861 33554432000 4194304 4196468 140721950753952 140721950736496 140535986388727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 /proc/8493/statm: 7057913 12861 3339 1 0 7019032 0 [pid=8493/tid=8494] ppid=8491 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/8493/task/8494/stat : 8494 (java) R 8491 8491 4774 0 -1 4202560 7150 0 0 0 26 3 0 0 20 0 20 0 510879230 28909211648 12861 33554432000 4194304 4196468 140721950753952 140535990622512 140535970469214 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8495] ppid=8491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8495/stat : 8495 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879231 28909211648 12861 33554432000 4194304 4196468 140721950753952 140535906241040 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8496] ppid=8491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8496/stat : 8496 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879231 28909211648 12861 33554432000 4194304 4196468 140721950753952 140535905188496 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8497] ppid=8491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8497/stat : 8497 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879231 28909211648 12861 33554432000 4194304 4196468 140721950753952 140535904135440 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8498] ppid=8491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8498/stat : 8498 (java) S 8491 8491 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510879231 28909211648 12861 33554432000 4194304 4196468 140721950753952 140535903082896 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8499] ppid=8491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8499/stat : 8499 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879231 28909211648 12861 33554432000 4194304 4196468 140721950753952 140535902030864 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8500] ppid=8491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8500/stat : 8500 (java) S 8491 8491 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510879231 28909211648 12861 33554432000 4194304 4196468 140721950753952 140535900978320 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8501] ppid=8491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8501/stat : 8501 (java) S 8491 8491 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510879231 28909211648 12861 33554432000 4194304 4196468 140721950753952 140535899925264 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8502] ppid=8491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8502/stat : 8502 (java) S 8491 8491 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510879231 28909211648 12861 33554432000 4194304 4196468 140721950753952 140535898872720 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8503] ppid=8491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8503/stat : 8503 (java) S 8491 8491 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510879232 28909211648 12890 33554432000 4194304 4196468 140721950753952 140534584707312 140535986399874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8504] ppid=8491 vsize=28231652 memory=280388081753472 CPUtime=0 cores=0-7 /proc/8493/task/8504/stat : 8504 (java) S 8491 8491 4774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510879233 28909211648 12890 33554432000 4194304 4196468 140721950753952 140534583653536 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8505] ppid=8491 vsize=28231652 memory=280388081758080 CPUtime=0 cores=0-7 /proc/8493/task/8505/stat : 8505 (java) S 8491 8491 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510879233 28909211648 12890 33554432000 4194304 4196468 140721950753952 140534582600432 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8506] ppid=8491 vsize=28231652 memory=280388081762688 CPUtime=0 cores=0-7 /proc/8493/task/8506/stat : 8506 (java) S 8491 8491 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510879235 28909211648 12890 33554432000 4194304 4196468 140721950753952 140534581549008 140535986407323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8507] ppid=8491 vsize=28231652 memory=280388081767296 CPUtime=0.03 cores=0-7 /proc/8493/task/8507/stat : 8507 (java) R 8491 8491 4774 0 -1 4202560 338 0 0 0 3 0 0 0 20 0 20 0 510879235 28909211648 12890 33554432000 4194304 4196468 140721950753952 140534580478152 140535969775218 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8508] ppid=8491 vsize=28231652 memory=280388081771904 CPUtime=0.03 cores=0-7 /proc/8493/task/8508/stat : 8508 (java) S 8491 8491 4774 0 -1 1077944384 582 0 0 0 3 0 0 0 20 0 20 0 510879235 28909211648 12890 33554432000 4194304 4196468 140721950753952 140534579444592 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8509] ppid=8491 vsize=28231652 memory=280388081776512 CPUtime=0.02 cores=0-7 /proc/8493/task/8509/stat : 8509 (java) S 8491 8491 4774 0 -1 1077944384 47 0 0 0 2 0 0 0 20 0 20 0 510879236 28909211648 12890 33554432000 4194304 4196468 140721950753952 140534578391536 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8510] ppid=8491 vsize=28231652 memory=280388081781120 CPUtime=0.12 cores=0-7 /proc/8493/task/8510/stat : 8510 (java) S 8491 8491 4774 0 -1 1077944384 807 0 0 0 12 0 0 0 20 0 20 0 510879236 28909211648 12890 33554432000 4194304 4196468 140721950753952 140534577338992 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8511] ppid=8491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8511/stat : 8511 (java) S 8491 8491 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510879236 28909211648 12890 33554432000 4194304 4196468 140721950753952 140534576286176 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8512] ppid=8491 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/8493/task/8512/stat : 8512 (java) S 8491 8491 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510879236 28909211648 12890 33554432000 4194304 4196468 140721950753952 140534575233712 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 52900 KiB [startup+0.702715 s] /proc/loadavg: 2.19 3.27 5.61 4/212 8512 /proc/meminfo: memFree=26694292/32770624 swapFree=66986400/67108860 [pid=8491] ppid=8488 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/8491/stat : 8491 (xcsp3-exec) S 8488 8491 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510879229 115843072 364 33554432000 4194304 5098028 140734152783744 140734152781848 140314872910460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38809600 140734152786805 140734152787049 140734152787049 140734152789962 0 /proc/8491/statm: 28282 364 305 221 0 87 0 [pid=8493] ppid=8491 vsize=28767316 memory=170116 CPUtime=1.94 cores=0-7 /proc/8493/stat : 8493 (java) S 8491 8491 4774 0 -1 1077944320 15086 0 0 0 184 10 0 0 20 0 28 0 510879230 29457731584 42529 33554432000 4194304 4196468 140721950753952 140721950736496 140535986388727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 /proc/8493/statm: 7191829 42529 3462 1 0 7152929 0 [pid=8493/tid=8494] ppid=8491 vsize=28767316 memory=4580 CPUtime=0.58 cores=0-7 /proc/8493/task/8494/stat : 8494 (java) S 8491 8491 4774 0 -1 1077944384 8645 0 0 0 54 4 0 0 20 0 28 0 510879230 29457731584 42529 33554432000 4194304 4196468 140721950753952 140535990629504 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8495] ppid=8491 vsize=28767316 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8495/stat : 8495 (java) R 8491 8491 4774 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 28 0 510879231 29457731584 42529 33554432000 4194304 4196468 140721950753952 140535906241160 140535979016935 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8496] ppid=8491 vsize=28767316 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8496/stat : 8496 (java) R 8491 8491 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 510879231 29457731584 42529 33554432000 4194304 4196468 140721950753952 140535905186128 140535986398933 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8497] ppid=8491 vsize=28767316 memory=1056 CPUtime=0 cores=0-7 /proc/8493/task/8497/stat : 8497 (java) R 8491 8491 4774 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 28 0 510879231 29457731584 42529 33554432000 4194304 4196468 140721950753952 140535904135560 140535979016935 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 ################ # More data... # ################ [pid=8493/tid=8510] ppid=8491 vsize=28834900 memory=0 CPUtime=0.64 cores=0-7 /proc/8493/task/8510/stat : 8510 (java) S 8491 8491 4774 0 -1 1077944384 4561 0 0 0 63 1 0 0 20 0 28 0 510879236 29526937600 58486 33554432000 4194304 4196468 140721950753952 140534577338992 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8511] ppid=8491 vsize=28834900 memory=25313 CPUtime=0 cores=0-7 /proc/8493/task/8511/stat : 8511 (java) S 8491 8491 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510879236 29526937600 58486 33554432000 4194304 4196468 140721950753952 140534576286176 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8512] ppid=8491 vsize=28834900 memory=23105 CPUtime=0 cores=0-7 /proc/8493/task/8512/stat : 8512 (java) S 8491 8491 4774 0 -1 1077944384 661 0 0 0 0 0 0 0 20 0 28 0 510879236 29526937600 58486 33554432000 4194304 4196468 140721950753952 140534575233712 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8577] ppid=8491 vsize=28834900 memory=3472328296227701201 CPUtime=14.28 cores=0-7 /proc/8493/task/8577/stat : 8577 (java) R 8491 8491 4774 0 -1 4202560 256 0 0 0 1428 0 0 0 20 0 28 0 510879370 29526937600 58486 33554432000 4194304 4196468 140721950753952 140534562855288 140535580279935 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8578] ppid=8491 vsize=28834900 memory=3472328296227436849 CPUtime=14.25 cores=0-7 /proc/8493/task/8578/stat : 8578 (java) R 8491 8491 4774 0 -1 4202560 197 0 0 0 1425 0 0 0 20 0 28 0 510879370 29526937600 58486 33554432000 4194304 4196468 140721950753952 140534557593768 140535579362397 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8579] ppid=8491 vsize=28834900 memory=3184097920075985041 CPUtime=14.18 cores=0-7 /proc/8493/task/8579/stat : 8579 (java) R 8491 8491 4774 0 -1 4202560 749 0 0 0 1418 0 0 0 20 0 28 0 510879370 29526937600 58486 33554432000 4194304 4196468 140721950753952 140534560752024 140535579361361 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8580] ppid=8491 vsize=28834900 memory=3472328279047825393 CPUtime=14.06 cores=0-7 /proc/8493/task/8580/stat : 8580 (java) R 8491 8491 4774 0 -1 4202560 193 0 0 0 1406 0 0 0 20 0 28 0 510879370 29526937600 58486 33554432000 4194304 4196468 140721950753952 140534563910376 140535579361584 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8581] ppid=8491 vsize=28834900 memory=3472328296227430225 CPUtime=14.22 cores=0-7 /proc/8493/task/8581/stat : 8581 (java) R 8491 8491 4774 0 -1 4202560 293 0 0 0 1420 2 0 0 20 0 28 0 510879370 29526937600 58486 33554432000 4194304 4196468 140721950753952 140534566015272 140535579361552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8582] ppid=8491 vsize=28834900 memory=3471202396320847537 CPUtime=14.11 cores=0-7 /proc/8493/task/8582/stat : 8582 (java) R 8491 8491 4774 0 -1 4202560 592 0 0 0 1411 0 0 0 20 0 28 0 510879370 29526937600 58486 33554432000 4194304 4196468 140721950753952 140534558648760 140535579361714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8583] ppid=8491 vsize=28834900 memory=3472328296227687953 CPUtime=14.07 cores=0-7 /proc/8493/task/8583/stat : 8583 (java) R 8491 8491 4774 0 -1 4202560 182 0 0 0 1407 0 0 0 20 0 28 0 510879370 29526937600 58486 33554432000 4194304 4196468 140721950753952 140534561803264 140535579362437 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8584] ppid=8491 vsize=28834900 memory=7378697229313538744 CPUtime=14.15 cores=0-7 /proc/8493/task/8584/stat : 8584 (java) R 8491 8491 4774 0 -1 4202560 167 0 0 0 1415 0 0 0 20 0 28 0 510879370 29526937600 58486 33554432000 4194304 4196468 140721950753952 140534559699368 140535580163917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 Current children cumulated CPU time: 123.39 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 235400 KiB [startup+16.801 s] /proc/loadavg: 3.34 3.47 5.64 9/220 8584 /proc/meminfo: memFree=26526012/32770624 swapFree=66986400/67108860 [pid=8491] ppid=8488 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/8491/stat : 8491 (xcsp3-exec) S 8488 8491 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510879229 115843072 364 33554432000 4194304 5098028 140734152783744 140734152781848 140314872910460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38809600 140734152786805 140734152787049 140734152787049 140734152789962 0 /proc/8491/statm: 28282 364 305 221 0 87 0 [pid=8493] ppid=8491 vsize=28834900 memory=238060 CPUtime=129.67 cores=0-7 /proc/8493/stat : 8493 (java) S 8491 8491 4774 0 -1 1077944320 37862 0 0 0 12942 25 0 0 20 0 28 0 510879230 29526937600 59515 33554432000 4194304 4196468 140721950753952 140721950736496 140535986388727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 /proc/8493/statm: 7208725 59515 3517 1 0 7169825 0 [pid=8493/tid=8494] ppid=8491 vsize=28834900 memory=1228 CPUtime=0.59 cores=0-7 /proc/8493/task/8494/stat : 8494 (java) S 8491 8491 4774 0 -1 1077944384 8645 0 0 0 55 4 0 0 20 0 28 0 510879230 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535990629504 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8495] ppid=8491 vsize=28834900 memory=6184 CPUtime=0.01 cores=0-7 /proc/8493/task/8495/stat : 8495 (java) S 8491 8491 4774 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535906241040 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8496] ppid=8491 vsize=28834900 memory=7552 CPUtime=0.01 cores=0-7 /proc/8493/task/8496/stat : 8496 (java) S 8491 8491 4774 0 -1 1077944384 538 0 0 0 1 0 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535905188496 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8497] ppid=8491 vsize=28834900 memory=2832 CPUtime=0.01 cores=0-7 /proc/8493/task/8497/stat : 8497 (java) S 8491 8491 4774 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535904135440 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8498] ppid=8491 vsize=28834900 memory=8112282956445269571 CPUtime=0.01 cores=0-7 /proc/8493/task/8498/stat : 8498 (java) S 8491 8491 4774 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535903082896 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8499] ppid=8491 vsize=28834900 memory=924 CPUtime=0.01 cores=0-7 /proc/8493/task/8499/stat : 8499 (java) S 8491 8491 4774 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535902030864 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8500] ppid=8491 vsize=28834900 memory=1760 CPUtime=0.02 cores=0-7 /proc/8493/task/8500/stat : 8500 (java) S 8491 8491 4774 0 -1 1077944384 708 0 0 0 1 1 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535900978320 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8501] ppid=8491 vsize=28834900 memory=1440 CPUtime=0 cores=0-7 /proc/8493/task/8501/stat : 8501 (java) S 8491 8491 4774 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535899925264 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8502] ppid=8491 vsize=28834900 memory=912 CPUtime=0.01 cores=0-7 /proc/8493/task/8502/stat : 8502 (java) S 8491 8491 4774 0 -1 1077944384 139 0 0 0 1 0 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535898872720 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8503] ppid=8491 vsize=28834900 memory=1984 CPUtime=0.01 cores=0-7 /proc/8493/task/8503/stat : 8503 (java) S 8491 8491 4774 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 28 0 510879232 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534584707312 140535986399874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8504] ppid=8491 vsize=28834900 memory=2480 CPUtime=0 cores=0-7 /proc/8493/task/8504/stat : 8504 (java) S 8491 8491 4774 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 510879233 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534583653600 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8505] ppid=8491 vsize=28834900 memory=1768 CPUtime=0 cores=0-7 /proc/8493/task/8505/stat : 8505 (java) S 8491 8491 4774 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 510879233 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534582600448 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8506] ppid=8491 vsize=28834900 memory=111632 CPUtime=0 cores=0-7 /proc/8493/task/8506/stat : 8506 (java) S 8491 8491 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510879235 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534581549008 140535986407323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8507] ppid=8491 vsize=28834900 memory=796 CPUtime=1.45 cores=0-7 /proc/8493/task/8507/stat : 8507 (java) S 8491 8491 4774 0 -1 1077944384 5432 0 0 0 144 1 0 0 20 0 28 0 510879235 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534580497136 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8508] ppid=8491 vsize=28834900 memory=1808 CPUtime=1.19 cores=0-7 /proc/8493/task/8508/stat : 8508 (java) S 8491 8491 4774 0 -1 1077944384 5733 0 0 0 118 1 0 0 20 0 28 0 510879235 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534579444592 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8509] ppid=8491 vsize=28834900 memory=920 CPUtime=1.54 cores=0-7 /proc/8493/task/8509/stat : 8509 (java) S 8491 8491 4774 0 -1 1077944384 4641 0 0 0 153 1 0 0 20 0 28 0 510879236 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534578391536 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8510] ppid=8491 vsize=28834900 memory=4472 CPUtime=0.64 cores=0-7 /proc/8493/task/8510/stat : 8510 (java) S 8491 8491 4774 0 -1 1077944384 4561 0 0 0 63 1 0 0 20 0 28 0 510879236 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534577338992 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8511] ppid=8491 vsize=28834900 memory=4104 CPUtime=0 cores=0-7 /proc/8493/task/8511/stat : 8511 (java) S 8491 8491 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510879236 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534576286176 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8512] ppid=8491 vsize=28834900 memory=1456 CPUtime=0 cores=0-7 /proc/8493/task/8512/stat : 8512 (java) S 8491 8491 4774 0 -1 1077944384 661 0 0 0 0 0 0 0 20 0 28 0 510879236 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534575233712 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8577] ppid=8491 vsize=28834900 memory=233944 CPUtime=15.06 cores=0-7 /proc/8493/task/8577/stat : 8577 (java) R 8491 8491 4774 0 -1 4202560 265 0 0 0 1506 0 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534562855880 140535581241120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8578] ppid=8491 vsize=28834900 memory=6628 CPUtime=15.03 cores=0-7 /proc/8493/task/8578/stat : 8578 (java) R 8491 8491 4774 0 -1 4202560 214 0 0 0 1503 0 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534557593176 140535579361898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8579] ppid=8491 vsize=28834900 memory=8836 CPUtime=14.96 cores=0-7 /proc/8493/task/8579/stat : 8579 (java) R 8491 8491 4774 0 -1 4202560 763 0 0 0 1496 0 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534560752424 140535579361108 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8580] ppid=8491 vsize=28834900 memory=11044 CPUtime=14.83 cores=0-7 /proc/8493/task/8580/stat : 8580 (java) R 8491 8491 4774 0 -1 4202560 210 0 0 0 1483 0 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534563909632 140535580259358 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8581] ppid=8491 vsize=28834900 memory=13252 CPUtime=15 cores=0-7 /proc/8493/task/8581/stat : 8581 (java) R 8491 8491 4774 0 -1 4202560 316 0 0 0 1498 2 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534566014992 140535580789706 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8582] ppid=8491 vsize=28834900 memory=15460 CPUtime=14.89 cores=0-7 /proc/8493/task/8582/stat : 8582 (java) R 8491 8491 4774 0 -1 4202560 627 0 0 0 1489 0 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534558648464 140535582382252 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8583] ppid=8491 vsize=28834900 memory=17668 CPUtime=14.85 cores=0-7 /proc/8493/task/8583/stat : 8583 (java) R 8491 8491 4774 0 -1 4202560 194 0 0 0 1485 0 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534561803992 140535581360095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8584] ppid=8491 vsize=28834900 memory=19876 CPUtime=14.93 cores=0-7 /proc/8493/task/8584/stat : 8584 (java) R 8491 8491 4774 0 -1 4202560 175 0 0 0 1493 0 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534559699368 140535579362671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 Current children cumulated CPU time: 129.67 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 239516 KiB [startup+17.201 s] /proc/loadavg: 3.34 3.47 5.64 9/221 8586 /proc/meminfo: memFree=26520160/32770624 swapFree=66986400/67108860 [pid=8491] ppid=8488 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/8491/stat : 8491 (xcsp3-exec) S 8488 8491 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510879229 115843072 364 33554432000 4194304 5098028 140734152783744 140734152781848 140314872910460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38809600 140734152786805 140734152787049 140734152787049 140734152789962 0 /proc/8491/statm: 28282 364 305 221 0 87 0 [pid=8493] ppid=8491 vsize=28834900 memory=238060 CPUtime=132.85 cores=0-7 /proc/8493/stat : 8493 (java) S 8491 8491 4774 0 -1 1077944320 37862 0 0 0 13260 25 0 0 20 0 28 0 510879230 29526937600 59515 33554432000 4194304 4196468 140721950753952 140721950736496 140535986388727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 /proc/8493/statm: 7208725 59515 3517 1 0 7169825 0 [pid=8493/tid=8494] ppid=8491 vsize=28834900 memory=8317482817917895235 CPUtime=0.59 cores=0-7 /proc/8493/task/8494/stat : 8494 (java) S 8491 8491 4774 0 -1 1077944384 8645 0 0 0 55 4 0 0 20 0 28 0 510879230 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535990629504 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8495] ppid=8491 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/8493/task/8495/stat : 8495 (java) S 8491 8491 4774 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535906241040 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8496] ppid=8491 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/8493/task/8496/stat : 8496 (java) S 8491 8491 4774 0 -1 1077944384 538 0 0 0 1 0 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535905188496 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8497] ppid=8491 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/8493/task/8497/stat : 8497 (java) S 8491 8491 4774 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535904135440 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8498] ppid=8491 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/8493/task/8498/stat : 8498 (java) S 8491 8491 4774 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535903082896 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8499] ppid=8491 vsize=28834900 memory=280388083098336 CPUtime=0.01 cores=0-7 /proc/8493/task/8499/stat : 8499 (java) S 8491 8491 4774 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535902030864 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8500] ppid=8491 vsize=28834900 memory=140194041709528 CPUtime=0.02 cores=0-7 /proc/8493/task/8500/stat : 8500 (java) S 8491 8491 4774 0 -1 1077944384 708 0 0 0 1 1 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535900978320 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8501] ppid=8491 vsize=28834900 memory=924 CPUtime=0 cores=0-7 /proc/8493/task/8501/stat : 8501 (java) S 8491 8491 4774 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535899925264 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8502] ppid=8491 vsize=28834900 memory=280388082793328 CPUtime=0.01 cores=0-7 /proc/8493/task/8502/stat : 8502 (java) S 8491 8491 4774 0 -1 1077944384 139 0 0 0 1 0 0 0 20 0 28 0 510879231 29526937600 59515 33554432000 4194304 4196468 140721950753952 140535898872720 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8503] ppid=8491 vsize=28834900 memory=1812 CPUtime=0.01 cores=0-7 /proc/8493/task/8503/stat : 8503 (java) S 8491 8491 4774 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 28 0 510879232 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534584707312 140535986399874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8504] ppid=8491 vsize=28834900 memory=7378135761878602326 CPUtime=0 cores=0-7 /proc/8493/task/8504/stat : 8504 (java) S 8491 8491 4774 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 510879233 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534583653600 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8505] ppid=8491 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8505/stat : 8505 (java) S 8491 8491 4774 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 510879233 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534582600448 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8506] ppid=8491 vsize=28834900 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/8493/task/8506/stat : 8506 (java) S 8491 8491 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510879235 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534581549008 140535986407323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8507] ppid=8491 vsize=28834900 memory=140194041621700 CPUtime=1.45 cores=0-7 /proc/8493/task/8507/stat : 8507 (java) S 8491 8491 4774 0 -1 1077944384 5432 0 0 0 144 1 0 0 20 0 28 0 510879235 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534580497136 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8508] ppid=8491 vsize=28834900 memory=280388083250592 CPUtime=1.19 cores=0-7 /proc/8493/task/8508/stat : 8508 (java) S 8491 8491 4774 0 -1 1077944384 5733 0 0 0 118 1 0 0 20 0 28 0 510879235 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534579444592 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8509] ppid=8491 vsize=28834900 memory=0 CPUtime=1.54 cores=0-7 /proc/8493/task/8509/stat : 8509 (java) S 8491 8491 4774 0 -1 1077944384 4641 0 0 0 153 1 0 0 20 0 28 0 510879236 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534578391536 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8510] ppid=8491 vsize=28834900 memory=0 CPUtime=0.64 cores=0-7 /proc/8493/task/8510/stat : 8510 (java) S 8491 8491 4774 0 -1 1077944384 4561 0 0 0 63 1 0 0 20 0 28 0 510879236 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534577338992 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8511] ppid=8491 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8511/stat : 8511 (java) S 8491 8491 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510879236 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534576286176 140535986398933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8512] ppid=8491 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/8493/task/8512/stat : 8512 (java) S 8491 8491 4774 0 -1 1077944384 661 0 0 0 0 0 0 0 20 0 28 0 510879236 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534575233712 140535986399874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8577] ppid=8491 vsize=28834900 memory=0 CPUtime=15.46 cores=0-7 /proc/8493/task/8577/stat : 8577 (java) R 8491 8491 4774 0 -1 4202560 265 0 0 0 1546 0 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534562855880 140535580027516 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8578] ppid=8491 vsize=28834900 memory=0 CPUtime=15.43 cores=0-7 /proc/8493/task/8578/stat : 8578 (java) R 8491 8491 4774 0 -1 4202560 214 0 0 0 1543 0 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534557593176 140535579361412 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8579] ppid=8491 vsize=28834900 memory=0 CPUtime=15.36 cores=0-7 /proc/8493/task/8579/stat : 8579 (java) R 8491 8491 4774 0 -1 4202560 763 0 0 0 1536 0 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534560752424 140535574897762 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8580] ppid=8491 vsize=28834900 memory=0 CPUtime=15.22 cores=0-7 /proc/8493/task/8580/stat : 8580 (java) R 8491 8491 4774 0 -1 4202560 210 0 0 0 1522 0 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534563909632 140535579361632 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8581] ppid=8491 vsize=28834900 memory=0 CPUtime=15.4 cores=0-7 /proc/8493/task/8581/stat : 8581 (java) R 8491 8491 4774 0 -1 4202560 316 0 0 0 1538 2 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534566014992 140535579361361 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8582] ppid=8491 vsize=28834900 memory=0 CPUtime=15.29 cores=0-7 /proc/8493/task/8582/stat : 8582 (java) R 8491 8491 4774 0 -1 4202560 627 0 0 0 1529 0 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534558648464 140535580024286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8583] ppid=8491 vsize=28834900 memory=0 CPUtime=15.25 cores=0-7 /proc/8493/task/8583/stat : 8583 (java) R 8491 8491 4774 0 -1 4202560 194 0 0 0 1525 0 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534561803992 140535581241120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 [pid=8493/tid=8584] ppid=8491 vsize=28834900 memory=280388081702168 CPUtime=15.33 cores=0-7 /proc/8493/task/8584/stat : 8584 (java) R 8491 8491 4774 0 -1 4202560 175 0 0 0 1533 0 0 0 20 0 28 0 510879370 29526937600 59515 33554432000 4194304 4196468 140721950753952 140534559699368 140535580259080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140721950761962 140721950762134 140721950762134 140721950765007 0 Current children cumulated CPU time: 132.85 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 239516 KiB Child status: 0 Real time (s): 17.2306 CPU time (s): 133.031 CPU user time (s): 132.766 CPU system time (s): 0.264618 CPU usage (%): 772.063 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 239516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 132.766 system time used= 0.264618 maximum resident set size= 240112 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38750 page faults= 0 swaps= 0 block input operations= 0 block output operations= 120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5629 involuntary context switches= 2169 # summary of solver processes directly reported to runsolver: # pid: 8491 # total CPU time (s): 133.031 # total CPU user time (s): 132.766 # total CPU system time (s): 0.264618 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.145006 second user time and 0.241611 second system time The end
Begin job on node104 at 2019-09-24 18:20:03 IDJOB=4406928 IDBENCH=123101 IDSOLVER=2871 FILE ID=node104/4406928-1569346226 RUNJOBID= node104-1569331756-4801 PBS_JOBID= 21705071 Free space on /tmp= 9836 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-esc16e.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406928-1569346226/watcher-4406928-1569346226 -o /tmp/evaluation-result-4406928-1569346226/solver-4406928-1569346226 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1403632523 HOME/instance-4406928-1569346226.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9478703244e8f640224ac5c9e01083b8 RANDOM SEED=1403632523 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26747100 kB MemAvailable: 31819224 kB Buffers: 94660 kB Cached: 5068388 kB SwapCached: 22640 kB Active: 3195212 kB Inactive: 1995112 kB Active(anon): 3340 kB Inactive(anon): 81584 kB Active(file): 3191872 kB Inactive(file): 1913528 kB Unevictable: 109716 kB Mlocked: 109716 kB SwapTotal: 67108860 kB SwapFree: 66986400 kB Dirty: 26364 kB Writeback: 0 kB AnonPages: 128096 kB Mapped: 56884 kB Shmem: 49032 kB Slab: 424916 kB SReclaimable: 395184 kB SUnreclaim: 29732 kB KernelStack: 3728 kB PageTables: 5284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506204 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9808 MiB End job on node104 at 2019-09-24 18:20:20