Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | OPT | 8 | 83.273003 | 10.9182 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml |
MD5SUM | 797dd3ed6ca3fcac5df6221abf320949 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8 |
Best CPU time to get the best result obtained on this benchmark | 13.4442 |
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":2},{"degree":2,"count":22},{"degree":3,"count":6},{"degree":4,"count":2},{"degree":5,"count":3},{"degree":6,"count":1},{"degree":7,"count":1}] |
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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280472-1503127010.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4280472-1503127010.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.34/0.27 c parse instance... 1.13/0.56 c solve instance... 1.59/0.63 o 23 1.59/0.65 o 22 1.59/0.66 o 21 1.59/0.68 o 19 1.59/0.69 o 18 2.18/0.74 o 17 2.18/0.74 o 16 2.18/0.75 o 9 2.99/0.80 o 8 83.19/10.91 s OPTIMUM FOUND 83.19/10.91 v <instantiation> 83.19/10.91 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][3] d[0][4] d[1][6] d[1][8] d[1][11] d[1][14] d[2][12] d[2][14] d[3][4] d[6][8] d[6][11] d[6][14] d[7][9] d[8][11] d[8][14] d[9][10] d[10][13] d[11][12] d[11][13] d[11][14] d[12][13] </list> 83.19/10.91 v <values>9 15 12 8 11 6 3 10 7 2 0 5 4 1 13 14 0 0 1 0 1 0 0 0 1 0 1 2 0 0 1 0 0 0 0 0 1 </values> 83.19/10.91 v </instantiation>
OK 8
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 (13008 MiB free) memory of node 1: 16384 MiB (13424 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280472-1503127010/watcher-4280472-1503127010 -o /tmp/evaluation-result-4280472-1503127010/solver-4280472-1503127010 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503126150-19729 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 575657313 HOME/instance-4280472-1503127010.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=19746, runsolver pid=19743 Current StackSize limit: 8192 KiB [startup+0.100157 s]* /proc/loadavg: 7.50 8.08 8.17 2/201 19767 /proc/meminfo: memFree=27051944/32770624 swapFree=67108860/67108860 [pid=19746] ppid=19743 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19746/stat : 19746 (xcsp3-exec) S 19743 19746 19702 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145788916 9740288 346 33554432000 4194304 5098028 140724569614320 140724569612424 139673980777084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13238272 140724569621605 140724569621815 140724569621815 140724569624555 0 /proc/19746/statm: 2378 346 289 221 0 87 0 [pid=19748] ppid=19746 vsize=25999808 memory=27204 CPUtime=0.11 cores=0-7 /proc/19748/stat : 19748 (java) S 19746 19746 19702 0 -1 1077944320 5676 0 0 0 10 1 0 0 20 0 20 0 145788916 26623803392 6801 33554432000 4194304 4196468 140725111243648 140725111226192 139789901565687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 /proc/19748/statm: 6499952 6801 2864 1 0 6488269 0 [pid=19748/tid=19749] ppid=19746 vsize=25999808 memory=8186869505745396123 CPUtime=0.09 cores=0-7 /proc/19748/task/19749/stat : 19749 (java) R 19746 19746 19702 0 -1 4202560 3676 0 0 0 8 1 0 0 20 0 20 0 145788917 26623803392 6801 33554432000 4194304 4196468 140725111243648 139789905789136 139789525656279 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19750] ppid=19746 vsize=25999808 memory=732370300923235301 CPUtime=0 cores=0-7 /proc/19748/task/19750/stat : 19750 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788917 26623803392 6801 33554432000 4194304 4196468 140725111243648 139789854186128 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19751] ppid=19746 vsize=25999808 memory=140162585781888 CPUtime=0 cores=0-7 /proc/19748/task/19751/stat : 19751 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788917 26623803392 6801 33554432000 4194304 4196468 140725111243648 139789853133328 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19752] ppid=19746 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19752/stat : 19752 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145788917 26623803392 6801 33554432000 4194304 4196468 140725111243648 139789852080528 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19753] ppid=19746 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19753/stat : 19753 (java) S 19746 19746 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145788917 26623803392 6801 33554432000 4194304 4196468 140725111243648 139789851027728 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19754] ppid=19746 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19754/stat : 19754 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788917 26623803392 6801 33554432000 4194304 4196468 140725111243648 139789849975952 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19755] ppid=19746 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/19748/task/19755/stat : 19755 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788917 26623803392 6801 33554432000 4194304 4196468 140725111243648 139789848923152 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19756] ppid=19746 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19756/stat : 19756 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788917 26623803392 6801 33554432000 4194304 4196468 140725111243648 139789847870352 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19757] ppid=19746 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19757/stat : 19757 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145788917 26623803392 6801 33554432000 4194304 4196468 140725111243648 139789846817552 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19758] ppid=19746 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19758/stat : 19758 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788919 26623803392 6801 33554432000 4194304 4196468 140725111243648 139788643723632 139789901576834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19759] ppid=19746 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19759/stat : 19759 (java) S 19746 19746 19702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145788919 26623803392 6801 33554432000 4194304 4196468 140725111243648 139788642669600 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19760] ppid=19746 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19760/stat : 19760 (java) S 19746 19746 19702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145788920 26623803392 6801 33554432000 4194304 4196468 140725111243648 139788641616752 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19761] ppid=19746 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19761/stat : 19761 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145788922 26623803392 6801 33554432000 4194304 4196468 140725111243648 139788640565072 139789901584283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19762] ppid=19746 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19762/stat : 19762 (java) S 19746 19746 19702 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 145788922 26623803392 6801 33554432000 4194304 4196468 140725111243648 139788639513456 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19763] ppid=19746 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19763/stat : 19763 (java) S 19746 19746 19702 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 145788922 26623803392 6801 33554432000 4194304 4196468 140725111243648 139788638460656 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19764] ppid=19746 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19764/stat : 19764 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145788922 26623803392 6801 33554432000 4194304 4196468 140725111243648 139788637407856 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19765] ppid=19746 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/19748/task/19765/stat : 19765 (java) R 19746 19746 19702 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 20 0 145788922 26623803392 6801 33554432000 4194304 4196468 140725111243648 139788300577264 139789901587034 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19766] ppid=19746 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19766/stat : 19766 (java) S 19746 19746 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145788922 26623803392 6801 33554432000 4194304 4196468 140725111243648 139788299524704 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19767] ppid=19746 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/19748/task/19767/stat : 19767 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145788922 26623803392 6801 33554432000 4194304 4196468 140725111243648 139788298471984 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28588 KiB [startup+0.210166 s]* /proc/loadavg: 7.50 8.08 8.17 2/201 19767 /proc/meminfo: memFree=27043340/32770624 swapFree=67108860/67108860 [pid=19746] ppid=19743 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19746/stat : 19746 (xcsp3-exec) S 19743 19746 19702 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145788916 9740288 346 33554432000 4194304 5098028 140724569614320 140724569612424 139673980777084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13238272 140724569621605 140724569621815 140724569621815 140724569624555 0 /proc/19746/statm: 2378 346 289 221 0 87 0 [pid=19748] ppid=19746 vsize=26004064 memory=39252 CPUtime=0.34 cores=0-7 /proc/19748/stat : 19748 (java) S 19746 19746 19702 0 -1 1077944320 8329 0 0 0 31 3 0 0 20 0 20 0 145788916 26628161536 9813 33554432000 4194304 4196468 140725111243648 140725111226192 139789901565687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 /proc/19748/statm: 6501016 9813 3066 1 0 6488269 0 [pid=19748/tid=19749] ppid=19746 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7 /proc/19748/task/19749/stat : 19749 (java) R 19746 19746 19702 0 -1 4202560 5424 0 0 0 18 2 0 0 20 0 20 0 145788917 26628161536 9813 33554432000 4194304 4196468 140725111243648 139789905786512 139789901587613 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19750] ppid=19746 vsize=26004064 memory=732370300923235301 CPUtime=0 cores=0-7 /proc/19748/task/19750/stat : 19750 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 9813 33554432000 4194304 4196468 140725111243648 139789854186128 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19751] ppid=19746 vsize=26004064 memory=140162585781888 CPUtime=0 cores=0-7 /proc/19748/task/19751/stat : 19751 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 9813 33554432000 4194304 4196468 140725111243648 139789853133328 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19752] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19752/stat : 19752 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 9813 33554432000 4194304 4196468 140725111243648 139789852080528 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19753] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19753/stat : 19753 (java) S 19746 19746 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 9813 33554432000 4194304 4196468 140725111243648 139789851027728 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19754] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19754/stat : 19754 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 9813 33554432000 4194304 4196468 140725111243648 139789849975952 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19755] ppid=19746 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19748/task/19755/stat : 19755 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 9813 33554432000 4194304 4196468 140725111243648 139789848923152 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19756] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19756/stat : 19756 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 9813 33554432000 4194304 4196468 140725111243648 139789847870352 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19757] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19757/stat : 19757 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 9813 33554432000 4194304 4196468 140725111243648 139789846817552 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19758] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19758/stat : 19758 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788919 26628161536 9813 33554432000 4194304 4196468 140725111243648 139788643723632 139789901576834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19759] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19759/stat : 19759 (java) S 19746 19746 19702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145788919 26628161536 9813 33554432000 4194304 4196468 140725111243648 139788642669600 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19760] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19760/stat : 19760 (java) S 19746 19746 19702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145788920 26628161536 9813 33554432000 4194304 4196468 140725111243648 139788641616752 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19761] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19761/stat : 19761 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145788922 26628161536 9813 33554432000 4194304 4196468 140725111243648 139788640565072 139789901584283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19762] ppid=19746 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/19748/task/19762/stat : 19762 (java) S 19746 19746 19702 0 -1 1077944384 543 0 0 0 1 0 0 0 20 0 20 0 145788922 26628161536 9813 33554432000 4194304 4196468 140725111243648 139788639513456 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19763] ppid=19746 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/19748/task/19763/stat : 19763 (java) S 19746 19746 19702 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 20 0 145788922 26628161536 9813 33554432000 4194304 4196468 140725111243648 139788638460656 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19764] ppid=19746 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/19748/task/19764/stat : 19764 (java) S 19746 19746 19702 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 145788922 26628161536 9813 33554432000 4194304 4196468 140725111243648 139788637407856 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19765] ppid=19746 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/19748/task/19765/stat : 19765 (java) S 19746 19746 19702 0 -1 1077944384 752 0 0 0 7 0 0 0 20 0 20 0 145788922 26628161536 9813 33554432000 4194304 4196468 140725111243648 139788300577264 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19766] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19766/stat : 19766 (java) S 19746 19746 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145788922 26628161536 9813 33554432000 4194304 4196468 140725111243648 139788299524704 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19767] ppid=19746 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19748/task/19767/stat : 19767 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145788922 26628161536 9813 33554432000 4194304 4196468 140725111243648 139788298471984 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40636 KiB [startup+0.309578 s]* /proc/loadavg: 7.50 8.08 8.17 2/201 19767 /proc/meminfo: memFree=27034592/32770624 swapFree=67108860/67108860 [pid=19746] ppid=19743 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19746/stat : 19746 (xcsp3-exec) S 19743 19746 19702 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145788916 9740288 346 33554432000 4194304 5098028 140724569614320 140724569612424 139673980777084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13238272 140724569621605 140724569621815 140724569621815 140724569624555 0 /proc/19746/statm: 2378 346 289 221 0 87 0 [pid=19748] ppid=19746 vsize=26004064 memory=45920 CPUtime=0.49 cores=0-7 /proc/19748/stat : 19748 (java) S 19746 19746 19702 0 -1 1077944320 9203 0 0 0 46 3 0 0 20 0 20 0 145788916 26628161536 11480 33554432000 4194304 4196468 140725111243648 140725111226192 139789901565687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 /proc/19748/statm: 6501016 11480 3082 1 0 6488269 0 [pid=19748/tid=19749] ppid=19746 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/19748/task/19749/stat : 19749 (java) R 19746 19746 19702 0 -1 4202560 6166 0 0 0 27 2 0 0 20 0 20 0 145788917 26628161536 11480 33554432000 4194304 4196468 140725111243648 139789905801936 139789901587613 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19750] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19750/stat : 19750 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 11480 33554432000 4194304 4196468 140725111243648 139789854186128 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19751] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19751/stat : 19751 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 11480 33554432000 4194304 4196468 140725111243648 139789853133328 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19752] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19752/stat : 19752 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 11480 33554432000 4194304 4196468 140725111243648 139789852080528 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19753] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19753/stat : 19753 (java) S 19746 19746 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 11480 33554432000 4194304 4196468 140725111243648 139789851027728 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19754] ppid=19746 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/19748/task/19754/stat : 19754 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 11480 33554432000 4194304 4196468 140725111243648 139789849975952 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19755] ppid=19746 vsize=26004064 memory=140162432594863 CPUtime=0 cores=0-7 /proc/19748/task/19755/stat : 19755 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 11480 33554432000 4194304 4196468 140725111243648 139789848923152 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19756] ppid=19746 vsize=26004064 memory=140162432597168 CPUtime=0 cores=0-7 /proc/19748/task/19756/stat : 19756 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 11480 33554432000 4194304 4196468 140725111243648 139789847870352 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19757] ppid=19746 vsize=26004064 memory=140162432599472 CPUtime=0 cores=0-7 /proc/19748/task/19757/stat : 19757 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145788917 26628161536 11480 33554432000 4194304 4196468 140725111243648 139789846817552 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19758] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19758/stat : 19758 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145788919 26628161536 11480 33554432000 4194304 4196468 140725111243648 139788643723632 139789901576834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19759] ppid=19746 vsize=26004064 memory=280324865205904 CPUtime=0 cores=0-7 /proc/19748/task/19759/stat : 19759 (java) S 19746 19746 19702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145788919 26628161536 11480 33554432000 4194304 4196468 140725111243648 139788642669600 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19760] ppid=19746 vsize=26004064 memory=280324865212816 CPUtime=0 cores=0-7 /proc/19748/task/19760/stat : 19760 (java) S 19746 19746 19702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145788920 26628161536 11480 33554432000 4194304 4196468 140725111243648 139788641616752 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19761] ppid=19746 vsize=26004064 memory=280324865154096 CPUtime=0 cores=0-7 /proc/19748/task/19761/stat : 19761 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145788922 26628161536 11480 33554432000 4194304 4196468 140725111243648 139788640565072 139789901584283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19762] ppid=19746 vsize=26004064 memory=280324865226640 CPUtime=0.02 cores=0-7 /proc/19748/task/19762/stat : 19762 (java) S 19746 19746 19702 0 -1 1077944384 578 0 0 0 2 0 0 0 20 0 20 0 145788922 26628161536 11480 33554432000 4194304 4196468 140725111243648 139788639513456 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19763] ppid=19746 vsize=26004064 memory=280324865233552 CPUtime=0.02 cores=0-7 /proc/19748/task/19763/stat : 19763 (java) S 19746 19746 19702 0 -1 1077944384 283 0 0 0 2 0 0 0 20 0 20 0 145788922 26628161536 11480 33554432000 4194304 4196468 140725111243648 139788638460656 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19764] ppid=19746 vsize=26004064 memory=280324865231248 CPUtime=0.01 cores=0-7 /proc/19748/task/19764/stat : 19764 (java) S 19746 19746 19702 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 20 0 145788922 26628161536 11480 33554432000 4194304 4196468 140725111243648 139788637407856 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19765] ppid=19746 vsize=26004064 memory=280324865247408 CPUtime=0.11 cores=0-7 /proc/19748/task/19765/stat : 19765 (java) R 19746 19746 19702 0 -1 4202560 833 0 0 0 11 0 0 0 20 0 20 0 145788922 26628161536 11480 33554432000 4194304 4196468 140725111243648 139788300577264 139789885646100 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19766] ppid=19746 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19766/stat : 19766 (java) S 19746 19746 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145788922 26628161536 11480 33554432000 4194304 4196468 140725111243648 139788299524704 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19767] ppid=19746 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19748/task/19767/stat : 19767 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145788922 26628161536 11480 33554432000 4194304 4196468 140725111243648 139788298471984 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47304 KiB [startup+0.700966 s] /proc/loadavg: 7.50 8.08 8.17 5/201 19767 /proc/meminfo: memFree=27016216/32770624 swapFree=67108860/67108860 [pid=19746] ppid=19743 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19746/stat : 19746 (xcsp3-exec) S 19743 19746 19702 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145788916 9740288 346 33554432000 4194304 5098028 140724569614320 140724569612424 139673980777084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13238272 140724569621605 140724569621815 140724569621815 140724569624555 0 /proc/19746/statm: 2378 346 289 221 0 87 0 [pid=19748] ppid=19746 vsize=26539728 memory=167904 CPUtime=2.18 cores=0-7 /proc/19748/stat : 19748 (java) S 19746 19746 19702 0 -1 1077944320 14000 0 0 0 210 8 0 0 20 0 26 0 145788916 27176681472 41976 33554432000 4194304 4196468 140725111243648 140725111226192 139789901565687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 /proc/19748/statm: 6634932 41976 3207 1 0 6622166 0 [pid=19748/tid=19749] ppid=19746 vsize=26539728 memory=280324865542336 CPUtime=0.55 cores=0-7 /proc/19748/task/19749/stat : 19749 (java) S 19746 19746 19702 0 -1 1077944384 6843 0 0 0 52 3 0 0 20 0 26 0 145788917 27176681472 41976 33554432000 4194304 4196468 140725111243648 139789905806464 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19750] ppid=19746 vsize=26539728 memory=5089536246941 CPUtime=0 cores=0-7 /proc/19748/task/19750/stat : 19750 (java) S 19746 19746 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 145788917 27176681472 41976 33554432000 4194304 4196468 140725111243648 139789854186128 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19751] ppid=19746 vsize=26539728 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19751/stat : 19751 (java) S 19746 19746 19702 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 26 0 145788917 27176681472 41976 33554432000 4194304 4196468 140725111243648 139789853133328 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19752] ppid=19746 vsize=26539728 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19752/stat : 19752 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 145788917 27176681472 41976 33554432000 4194304 4196468 140725111243648 139789852080528 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 ################ # More data... # ################ [pid=19748/tid=19765] ppid=19746 vsize=26539728 memory=0 CPUtime=0.54 cores=0-7 /proc/19748/task/19765/stat : 19765 (java) S 19746 19746 19702 0 -1 1077944384 4061 0 0 0 53 1 0 0 20 0 28 0 145788922 27176681472 52923 33554432000 4194304 4196468 140725111243648 139788300577264 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19766] ppid=19746 vsize=26539728 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19766/stat : 19766 (java) S 19746 19746 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145788922 27176681472 52923 33554432000 4194304 4196468 140725111243648 139788299524704 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19767] ppid=19746 vsize=26539728 memory=280324866046656 CPUtime=0 cores=0-7 /proc/19748/task/19767/stat : 19767 (java) S 19746 19746 19702 0 -1 1077944384 570 0 0 0 0 0 0 0 20 0 28 0 145788922 27176681472 52923 33554432000 4194304 4196468 140725111243648 139788298471984 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19840] ppid=19746 vsize=26539728 memory=280324864999664 CPUtime=9.27 cores=0-7 /proc/19748/task/19840/stat : 19840 (java) R 19746 19746 19702 0 -1 4202560 149 0 0 0 927 0 0 0 20 0 28 0 145788997 27176681472 52923 33554432000 4194304 4196468 140725111243648 139788285197864 139789531246068 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19841] ppid=19746 vsize=26539728 memory=140162433025488 CPUtime=9.39 cores=0-7 /proc/19748/task/19841/stat : 19841 (java) R 19746 19746 19702 0 -1 4202560 184 0 0 0 939 0 0 0 20 0 28 0 145788997 27176681472 52923 33554432000 4194304 4196468 140725111243648 139788282040120 139789530467239 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19842] ppid=19746 vsize=26539728 memory=-3395018494885449503 CPUtime=8.97 cores=0-7 /proc/19748/task/19842/stat : 19842 (java) R 19746 19746 19702 0 -1 4202560 390 0 0 0 897 0 0 0 20 0 28 0 145788997 27176681472 52923 33554432000 4194304 4196468 140725111243648 139788290464568 139789529635383 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19843] ppid=19746 vsize=26539728 memory=0 CPUtime=9.29 cores=0-7 /proc/19748/task/19843/stat : 19843 (java) R 19746 19746 19702 0 -1 4202560 833 0 0 0 928 1 0 0 20 0 28 0 145788997 27176681472 52923 33554432000 4194304 4196468 140725111243648 139788283095216 139789529725882 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19844] ppid=19746 vsize=26539728 memory=280324864999664 CPUtime=9.21 cores=0-7 /proc/19748/task/19844/stat : 19844 (java) R 19746 19746 19702 0 -1 4202560 491 0 0 0 921 0 0 0 20 0 28 0 145788997 27176681472 52923 33554432000 4194304 4196468 140725111243648 139788286250984 139789529635559 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19845] ppid=19746 vsize=26539728 memory=280324866073184 CPUtime=9 cores=0-7 /proc/19748/task/19845/stat : 19845 (java) R 19746 19746 19702 0 -1 4202560 95 0 0 0 900 0 0 0 20 0 28 0 145788997 27176681472 52923 33554432000 4194304 4196468 140725111243648 139788287304536 139789529635901 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19846] ppid=19746 vsize=26539728 memory=1384 CPUtime=9.22 cores=0-7 /proc/19748/task/19846/stat : 19846 (java) R 19746 19746 19702 0 -1 4202560 175 0 0 0 922 0 0 0 20 0 28 0 145788997 27176681472 52923 33554432000 4194304 4196468 140725111243648 139788289409752 139789885905847 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19847] ppid=19746 vsize=26539728 memory=288230574492221466 CPUtime=8.88 cores=0-7 /proc/19748/task/19847/stat : 19847 (java) R 19746 19746 19702 0 -1 4202560 243 0 0 0 888 0 0 0 20 0 28 0 145788998 27176681472 52923 33554432000 4194304 4196468 140725111243648 139788284145104 139789530595766 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 Current children cumulated CPU time: 79.2 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 213076 KiB [startup+10.8019 s] /proc/loadavg: 7.28 8.01 8.15 9/209 19847 /proc/meminfo: memFree=26867592/32770624 swapFree=67108860/67108860 [pid=19746] ppid=19743 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19746/stat : 19746 (xcsp3-exec) S 19743 19746 19702 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145788916 9740288 346 33554432000 4194304 5098028 140724569614320 140724569612424 139673980777084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13238272 140724569621605 140724569621815 140724569621815 140724569624555 0 /proc/19746/statm: 2378 346 289 221 0 87 0 [pid=19748] ppid=19746 vsize=26539728 memory=211728 CPUtime=82.4 cores=0-7 /proc/19748/stat : 19748 (java) S 19746 19746 19702 0 -1 1077944320 29599 0 0 0 8224 16 0 0 20 0 28 0 145788916 27176681472 52932 33554432000 4194304 4196468 140725111243648 140725111226192 139789901565687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 /proc/19748/statm: 6634932 52932 3262 1 0 6622166 0 [pid=19748/tid=19749] ppid=19746 vsize=26539728 memory=6944656592387989600 CPUtime=0.56 cores=0-7 /proc/19748/task/19749/stat : 19749 (java) S 19746 19746 19702 0 -1 1077944384 6843 0 0 0 53 3 0 0 20 0 28 0 145788917 27176681472 52932 33554432000 4194304 4196468 140725111243648 139789905806464 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19750] ppid=19746 vsize=26539728 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/19748/task/19750/stat : 19750 (java) S 19746 19746 19702 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52932 33554432000 4194304 4196468 140725111243648 139789854186128 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19751] ppid=19746 vsize=26539728 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/19748/task/19751/stat : 19751 (java) S 19746 19746 19702 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52932 33554432000 4194304 4196468 140725111243648 139789853133328 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19752] ppid=19746 vsize=26539728 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/19748/task/19752/stat : 19752 (java) S 19746 19746 19702 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52932 33554432000 4194304 4196468 140725111243648 139789852080528 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19753] ppid=19746 vsize=26539728 memory=-8823246064971903881 CPUtime=0 cores=0-7 /proc/19748/task/19753/stat : 19753 (java) S 19746 19746 19702 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52932 33554432000 4194304 4196468 140725111243648 139789851027728 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19754] ppid=19746 vsize=26539728 memory=-8614379499087747112 CPUtime=0 cores=0-7 /proc/19748/task/19754/stat : 19754 (java) S 19746 19746 19702 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52932 33554432000 4194304 4196468 140725111243648 139789849975952 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19755] ppid=19746 vsize=26539728 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19755/stat : 19755 (java) S 19746 19746 19702 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52932 33554432000 4194304 4196468 140725111243648 139789848923152 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19756] ppid=19746 vsize=26539728 memory=140162432987150 CPUtime=0 cores=0-7 /proc/19748/task/19756/stat : 19756 (java) S 19746 19746 19702 0 -1 1077944384 594 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52932 33554432000 4194304 4196468 140725111243648 139789847870352 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19757] ppid=19746 vsize=26539728 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19757/stat : 19757 (java) S 19746 19746 19702 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52932 33554432000 4194304 4196468 140725111243648 139789846817552 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19758] ppid=19746 vsize=26539728 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19758/stat : 19758 (java) S 19746 19746 19702 0 -1 1077944384 552 0 0 0 0 0 0 0 20 0 28 0 145788919 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788643723632 139789901576834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19759] ppid=19746 vsize=26539728 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19759/stat : 19759 (java) S 19746 19746 19702 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 145788919 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788642669664 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19760] ppid=19746 vsize=26539728 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19760/stat : 19760 (java) S 19746 19746 19702 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 145788920 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788641616768 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19761] ppid=19746 vsize=26539728 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19761/stat : 19761 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145788922 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788640565072 139789901584283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19762] ppid=19746 vsize=26539728 memory=0 CPUtime=1.28 cores=0-7 /proc/19748/task/19762/stat : 19762 (java) S 19746 19746 19702 0 -1 1077944384 3617 0 0 0 128 0 0 0 20 0 28 0 145788922 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788639513456 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19763] ppid=19746 vsize=26539728 memory=0 CPUtime=1.21 cores=0-7 /proc/19748/task/19763/stat : 19763 (java) S 19746 19746 19702 0 -1 1077944384 3045 0 0 0 120 1 0 0 20 0 28 0 145788922 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788638460656 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19764] ppid=19746 vsize=26539728 memory=0 CPUtime=1.23 cores=0-7 /proc/19748/task/19764/stat : 19764 (java) S 19746 19746 19702 0 -1 1077944384 3962 0 0 0 122 1 0 0 20 0 28 0 145788922 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788637407856 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19765] ppid=19746 vsize=26539728 memory=0 CPUtime=0.54 cores=0-7 /proc/19748/task/19765/stat : 19765 (java) S 19746 19746 19702 0 -1 1077944384 4289 0 0 0 53 1 0 0 20 0 28 0 145788922 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788300577264 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19766] ppid=19746 vsize=26539728 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19766/stat : 19766 (java) S 19746 19746 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145788922 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788299524704 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19767] ppid=19746 vsize=26539728 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19767/stat : 19767 (java) S 19746 19746 19702 0 -1 1077944384 570 0 0 0 0 0 0 0 20 0 28 0 145788922 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788298471984 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19840] ppid=19746 vsize=26539728 memory=0 CPUtime=9.67 cores=0-7 /proc/19748/task/19840/stat : 19840 (java) R 19746 19746 19702 0 -1 4202560 149 0 0 0 967 0 0 0 20 0 28 0 145788997 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788285197864 139789529635307 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19841] ppid=19746 vsize=26539728 memory=0 CPUtime=9.77 cores=0-7 /proc/19748/task/19841/stat : 19841 (java) R 19746 19746 19702 0 -1 4202560 184 0 0 0 977 0 0 0 20 0 28 0 145788997 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788282040120 139789529635769 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19842] ppid=19746 vsize=26539728 memory=0 CPUtime=9.37 cores=0-7 /proc/19748/task/19842/stat : 19842 (java) R 19746 19746 19702 0 -1 4202560 390 0 0 0 937 0 0 0 20 0 28 0 145788997 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788290464840 139789530467293 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19843] ppid=19746 vsize=26539728 memory=910 CPUtime=9.69 cores=0-7 /proc/19748/task/19843/stat : 19843 (java) R 19746 19746 19702 0 -1 4202560 835 0 0 0 968 1 0 0 20 0 28 0 145788997 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788283095216 139789529636008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19844] ppid=19746 vsize=26539728 memory=903 CPUtime=9.61 cores=0-7 /proc/19748/task/19844/stat : 19844 (java) R 19746 19746 19702 0 -1 4202560 497 0 0 0 961 0 0 0 20 0 28 0 145788997 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788286251032 139789529635533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19845] ppid=19746 vsize=26539728 memory=880 CPUtime=9.4 cores=0-7 /proc/19748/task/19845/stat : 19845 (java) R 19746 19746 19702 0 -1 4202560 95 0 0 0 940 0 0 0 20 0 28 0 145788997 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788287304536 139789529725366 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19846] ppid=19746 vsize=26539728 memory=902 CPUtime=9.62 cores=0-7 /proc/19748/task/19846/stat : 19846 (java) R 19746 19746 19702 0 -1 4202560 175 0 0 0 962 0 0 0 20 0 28 0 145788997 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788289409752 139789529636057 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19847] ppid=19746 vsize=26539728 memory=869 CPUtime=9.28 cores=0-7 /proc/19748/task/19847/stat : 19847 (java) R 19746 19746 19702 0 -1 4202560 243 0 0 0 928 0 0 0 20 0 28 0 145788998 27176681472 52932 33554432000 4194304 4196468 140725111243648 139788284145104 139789529635948 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 Current children cumulated CPU time: 82.4 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 213112 KiB [startup+10.9019 s] /proc/loadavg: 7.28 8.01 8.15 9/209 19847 /proc/meminfo: memFree=26867592/32770624 swapFree=67108860/67108860 [pid=19746] ppid=19743 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19746/stat : 19746 (xcsp3-exec) S 19743 19746 19702 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145788916 9740288 346 33554432000 4194304 5098028 140724569614320 140724569612424 139673980777084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13238272 140724569621605 140724569621815 140724569621815 140724569624555 0 /proc/19746/statm: 2378 346 289 221 0 87 0 [pid=19748] ppid=19746 vsize=26539728 memory=211732 CPUtime=83.19 cores=0-7 /proc/19748/stat : 19748 (java) S 19746 19746 19702 0 -1 1077944320 29803 0 0 0 8303 16 0 0 20 0 28 0 145788916 27176681472 52933 33554432000 4194304 4196468 140725111243648 140725111226192 139789901565687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 /proc/19748/statm: 6634932 52933 3262 1 0 6622166 0 [pid=19748/tid=19749] ppid=19746 vsize=26539728 memory=211664 CPUtime=0.56 cores=0-7 /proc/19748/task/19749/stat : 19749 (java) S 19746 19746 19702 0 -1 1077944384 6843 0 0 0 53 3 0 0 20 0 28 0 145788917 27176681472 52933 33554432000 4194304 4196468 140725111243648 139789905806464 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19750] ppid=19746 vsize=26539728 memory=3690900754482848647 CPUtime=0 cores=0-7 /proc/19748/task/19750/stat : 19750 (java) S 19746 19746 19702 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52933 33554432000 4194304 4196468 140725111243648 139789854186128 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19751] ppid=19746 vsize=26539728 memory=1384 CPUtime=0 cores=0-7 /proc/19748/task/19751/stat : 19751 (java) S 19746 19746 19702 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52933 33554432000 4194304 4196468 140725111243648 139789853133328 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19752] ppid=19746 vsize=26539728 memory=211504 CPUtime=0 cores=0-7 /proc/19748/task/19752/stat : 19752 (java) S 19746 19746 19702 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52933 33554432000 4194304 4196468 140725111243648 139789852080528 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19753] ppid=19746 vsize=26539728 memory=170450072148740 CPUtime=0 cores=0-7 /proc/19748/task/19753/stat : 19753 (java) S 19746 19746 19702 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52933 33554432000 4194304 4196468 140725111243648 139789851027728 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19754] ppid=19746 vsize=26539728 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/19748/task/19754/stat : 19754 (java) S 19746 19746 19702 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52933 33554432000 4194304 4196468 140725111243648 139789849975952 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19755] ppid=19746 vsize=26539728 memory=280324866243552 CPUtime=0 cores=0-7 /proc/19748/task/19755/stat : 19755 (java) S 19746 19746 19702 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52933 33554432000 4194304 4196468 140725111243648 139789848923152 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19756] ppid=19746 vsize=26539728 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19756/stat : 19756 (java) S 19746 19746 19702 0 -1 1077944384 594 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52933 33554432000 4194304 4196468 140725111243648 139789847870352 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19757] ppid=19746 vsize=26539728 memory=56 CPUtime=0 cores=0-7 /proc/19748/task/19757/stat : 19757 (java) S 19746 19746 19702 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 145788917 27176681472 52933 33554432000 4194304 4196468 140725111243648 139789846817552 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19758] ppid=19746 vsize=26539728 memory=-7745282787156912514 CPUtime=0 cores=0-7 /proc/19748/task/19758/stat : 19758 (java) S 19746 19746 19702 0 -1 1077944384 574 0 0 0 0 0 0 0 20 0 28 0 145788919 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788643723632 139789901576834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19759] ppid=19746 vsize=26539728 memory=-7674914009464020912 CPUtime=0 cores=0-7 /proc/19748/task/19759/stat : 19759 (java) S 19746 19746 19702 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 145788919 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788642669664 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19760] ppid=19746 vsize=26539728 memory=2200 CPUtime=0 cores=0-7 /proc/19748/task/19760/stat : 19760 (java) S 19746 19746 19702 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 145788920 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788641616768 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19761] ppid=19746 vsize=26539728 memory=7792 CPUtime=0 cores=0-7 /proc/19748/task/19761/stat : 19761 (java) S 19746 19746 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145788922 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788640565072 139789901584283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19762] ppid=19746 vsize=26539728 memory=840 CPUtime=1.28 cores=0-7 /proc/19748/task/19762/stat : 19762 (java) S 19746 19746 19702 0 -1 1077944384 3617 0 0 0 128 0 0 0 20 0 28 0 145788922 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788639513456 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19763] ppid=19746 vsize=26539728 memory=4104 CPUtime=1.21 cores=0-7 /proc/19748/task/19763/stat : 19763 (java) S 19746 19746 19702 0 -1 1077944384 3045 0 0 0 120 1 0 0 20 0 28 0 145788922 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788638460656 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19764] ppid=19746 vsize=26539728 memory=6791534058613427641 CPUtime=1.23 cores=0-7 /proc/19748/task/19764/stat : 19764 (java) S 19746 19746 19702 0 -1 1077944384 3962 0 0 0 122 1 0 0 20 0 28 0 145788922 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788637407856 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19765] ppid=19746 vsize=26539728 memory=288230617509003574 CPUtime=0.54 cores=0-7 /proc/19748/task/19765/stat : 19765 (java) S 19746 19746 19702 0 -1 1077944384 4466 0 0 0 53 1 0 0 20 0 28 0 145788922 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788300577264 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19766] ppid=19746 vsize=26539728 memory=15260333174426010 CPUtime=0 cores=0-7 /proc/19748/task/19766/stat : 19766 (java) S 19746 19746 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145788922 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788299524704 139789901575893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19767] ppid=19746 vsize=26539728 memory=0 CPUtime=0 cores=0-7 /proc/19748/task/19767/stat : 19767 (java) S 19746 19746 19702 0 -1 1077944384 570 0 0 0 0 0 0 0 20 0 28 0 145788922 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788298471984 139789901576834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19840] ppid=19746 vsize=26539728 memory=0 CPUtime=9.77 cores=0-7 /proc/19748/task/19840/stat : 19840 (java) R 19746 19746 19702 0 -1 4202560 149 0 0 0 977 0 0 0 20 0 28 0 145788997 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788285197008 139789525656674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19841] ppid=19746 vsize=26539728 memory=0 CPUtime=9.87 cores=0-7 /proc/19748/task/19841/stat : 19841 (java) R 19746 19746 19702 0 -1 4202560 184 0 0 0 987 0 0 0 20 0 28 0 145788997 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788282040592 139789531246800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19842] ppid=19746 vsize=26539728 memory=0 CPUtime=9.47 cores=0-7 /proc/19748/task/19842/stat : 19842 (java) R 19746 19746 19702 0 -1 4202560 391 0 0 0 947 0 0 0 20 0 28 0 145788997 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788290462800 139789529635592 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19843] ppid=19746 vsize=26539728 memory=0 CPUtime=9.79 cores=0-7 /proc/19748/task/19843/stat : 19843 (java) R 19746 19746 19702 0 -1 4202560 836 0 0 0 978 1 0 0 20 0 28 0 145788997 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788283093168 139789529636370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19844] ppid=19746 vsize=26539728 memory=0 CPUtime=9.71 cores=0-7 /proc/19748/task/19844/stat : 19844 (java) R 19746 19746 19702 0 -1 4202560 498 0 0 0 971 0 0 0 20 0 28 0 145788997 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788286251856 139789529635546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19845] ppid=19746 vsize=26539728 memory=0 CPUtime=9.5 cores=0-7 /proc/19748/task/19845/stat : 19845 (java) R 19746 19746 19702 0 -1 4202560 95 0 0 0 950 0 0 0 20 0 28 0 145788997 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788287303856 139789529635088 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19846] ppid=19746 vsize=26539728 memory=0 CPUtime=9.71 cores=0-7 /proc/19748/task/19846/stat : 19846 (java) R 19746 19746 19702 0 -1 4202560 176 0 0 0 971 0 0 0 20 0 28 0 145788997 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788289409168 139789530759989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 [pid=19748/tid=19847] ppid=19746 vsize=26539728 memory=0 CPUtime=9.38 cores=0-7 /proc/19748/task/19847/stat : 19847 (java) R 19746 19746 19702 0 -1 4202560 244 0 0 0 938 0 0 0 20 0 28 0 145788998 27176681472 52933 33554432000 4194304 4196468 140725111243648 139788284145352 139789529635476 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36048896 140725111248018 140725111248195 140725111248195 140725111250895 0 Current children cumulated CPU time: 83.19 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 213116 KiB Child status: 0 Real time (s): 10.9182 CPU time (s): 83.273 CPU user time (s): 83.1028 CPU system time (s): 0.170257 CPU usage (%): 762.699 Max. virtual memory (cumulated for all children) (KiB): 26549240 Max. memory (cumulated for all children) (KiB): 216144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 83.1028 system time used= 0.170257 maximum resident set size= 214764 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31013 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4302 involuntary context switches= 1354 # summary of solver processes directly reported to runsolver: # pid: 19746 # total CPU time (s): 83.273 # total CPU user time (s): 83.1028 # total CPU system time (s): 0.170257 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.114451 second user time and 0.151188 second system time The end
Begin job on node107 at 2017-08-19 09:02:30 IDJOB=4280472 IDBENCH=123124 IDSOLVER=2675 FILE ID=node107/4280472-1503127010 RUNJOBID= node107-1503126150-19729 PBS_JOBID= 20630778 Free space on /tmp= 61868 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-esc16d.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280472-1503127010/watcher-4280472-1503127010 -o /tmp/evaluation-result-4280472-1503127010/solver-4280472-1503127010 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503126150-19729 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 575657313 HOME/instance-4280472-1503127010.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 797dd3ed6ca3fcac5df6221abf320949 RANDOM SEED=575657313 node107.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.84 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.84 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.84 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.84 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: 27068136 kB MemAvailable: 31978400 kB Buffers: 262036 kB Cached: 4942108 kB SwapCached: 0 kB Active: 824528 kB Inactive: 4432016 kB Active(anon): 55312 kB Inactive(anon): 33160 kB Active(file): 769216 kB Inactive(file): 4398856 kB Unevictable: 7640 kB Mlocked: 7640 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7804 kB Writeback: 0 kB AnonPages: 60136 kB Mapped: 50388 kB Shmem: 33420 kB Slab: 141968 kB SReclaimable: 116056 kB SUnreclaim: 25912 kB KernelStack: 3120 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332696 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61860 MiB End job on node107 at 2017-08-19 09:02:41