Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT | 10.9702 | 6.1832099 |
Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-048.xml |
MD5SUM | 7adabca14a9e2cab4a49f4d8c4ab1203 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.101219 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 96 |
Number of constraints | 56 |
Number of domains | 2 |
Minimum domain size | 48 |
Maximum domain size | 2304 |
Distribution of domain sizes | [{"size":48,"count":48},{"size":2304,"count":48}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":48},{"degree":4,"count":47},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 48 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":6},{"arity":48,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 49 |
Distribution of constraint types | [{"type":"intension","count":49},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280889-1503124404.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4280889-1503124404.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 7.55/5.70 c solve instance... 10.59/6.15 s SATISFIABLE 10.59/6.15 v <instantiation> 10.59/6.15 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] </list> 10.59/6.15 v <values>1 3 10 11 12 14 15 17 18 19 20 22 23 24 25 26 27 28 43 44 45 46 47 48 2 4 5 6 7 8 9 13 16 21 29 30 31 32 33 34 35 36 37 38 39 40 41 42 1 9 100 121 144 196 225 289 324 361 400 484 529 576 625 676 729 784 1849 1936 2025 2116 2209 2304 4 16 25 36 49 64 81 169 256 441 841 900 961 1024 1089 1156 1225 1296 1369 1444 1521 1600 1681 1764 </values> 10.59/6.15 v </instantiation>
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12785 MiB free) memory of node 1: 16384 MiB (12133 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280889-1503124404/watcher-4280889-1503124404 -o /tmp/evaluation-result-4280889-1503124404/solver-4280889-1503124404 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503120656-24673 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 119310247 HOME/instance-4280889-1503124404.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 Current StackSize limit: 8192 KiB solver pid=25039, runsolver pid=25036 [startup+0.100153 s]* /proc/loadavg: 8.11 7.78 7.97 2/199 25060 /proc/meminfo: memFree=25499180/32770624 swapFree=67108860/67108860 [pid=25039] ppid=25036 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/25039/stat : 25039 (xcsp3-exec) S 25036 25039 24646 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145521322 9740288 346 33554432000 4194304 5098028 140721102647792 140721102645896 139818057970300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23441408 140721102656613 140721102656823 140721102656823 140721102659563 0 /proc/25039/statm: 2378 346 289 221 0 87 0 [pid=25041] ppid=25039 vsize=25999808 memory=28340 CPUtime=0.11 cores=0-7 /proc/25041/stat : 25041 (java) S 25039 25039 24646 0 -1 1077944320 5477 0 0 0 10 1 0 0 20 0 20 0 145521322 26623803392 7085 33554432000 4194304 4196468 140733557787680 140733557770224 140501544337143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 /proc/25041/statm: 6499952 7085 2864 1 0 6488269 0 [pid=25041/tid=25042] ppid=25039 vsize=25999808 memory=7681341547084683931 CPUtime=0.09 cores=0-7 /proc/25041/task/25042/stat : 25042 (java) R 25039 25039 24646 0 -1 4202560 3469 0 0 0 8 1 0 0 20 0 20 0 145521323 26623803392 7085 33554432000 4194304 4196468 140733557787680 140501548570416 140501528380773 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25043] ppid=25039 vsize=25999808 memory=732370543222414309 CPUtime=0 cores=0-7 /proc/25041/task/25043/stat : 25043 (java) S 25039 25039 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521324 26623803392 7085 33554432000 4194304 4196468 140733557787680 140501102648336 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25044] ppid=25039 vsize=25999808 memory=140404884960896 CPUtime=0 cores=0-7 /proc/25041/task/25044/stat : 25044 (java) S 25039 25039 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521324 26623803392 7085 33554432000 4194304 4196468 140733557787680 140501101595792 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25045] ppid=25039 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25045/stat : 25045 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521324 26623803392 7085 33554432000 4194304 4196468 140733557787680 140501100542736 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25046] ppid=25039 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25046/stat : 25046 (java) S 25039 25039 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145521324 26623803392 7085 33554432000 4194304 4196468 140733557787680 140501099490192 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25047] ppid=25039 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25047/stat : 25047 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521324 26623803392 7085 33554432000 4194304 4196468 140733557787680 140501098437136 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25048] ppid=25039 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/25041/task/25048/stat : 25048 (java) S 25039 25039 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521324 26623803392 7085 33554432000 4194304 4196468 140733557787680 140501097384592 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25049] ppid=25039 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25049/stat : 25049 (java) S 25039 25039 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521324 26623803392 7085 33554432000 4194304 4196468 140733557787680 140501096331536 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25050] ppid=25039 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25050/stat : 25050 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521324 26623803392 7085 33554432000 4194304 4196468 140733557787680 140501095278992 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25051] ppid=25039 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25051/stat : 25051 (java) S 25039 25039 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521325 26623803392 7085 33554432000 4194304 4196468 140733557787680 140500671642352 140501544348290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25052] ppid=25039 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25052/stat : 25052 (java) S 25039 25039 24646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145521326 26623803392 7085 33554432000 4194304 4196468 140733557787680 140500670588576 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25053] ppid=25039 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25053/stat : 25053 (java) S 25039 25039 24646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145521326 26623803392 7085 33554432000 4194304 4196468 140733557787680 140500669535472 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25054] ppid=25039 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25054/stat : 25054 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521328 26623803392 7085 33554432000 4194304 4196468 140733557787680 140500668484048 140501544355739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25055] ppid=25039 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25055/stat : 25055 (java) S 25039 25039 24646 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 145521328 26623803392 7085 33554432000 4194304 4196468 140733557787680 140500667431152 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25056] ppid=25039 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25056/stat : 25056 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521328 26623803392 7085 33554432000 4194304 4196468 140733557787680 140500666378608 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25057] ppid=25039 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25057/stat : 25057 (java) S 25039 25039 24646 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 145521328 26623803392 7085 33554432000 4194304 4196468 140733557787680 140500665325552 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25058] ppid=25039 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/25041/task/25058/stat : 25058 (java) R 25039 25039 24646 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 20 0 145521328 26623803392 7085 33554432000 4194304 4196468 140733557787680 140500664273008 140501536574270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25059] ppid=25039 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25059/stat : 25059 (java) S 25039 25039 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145521328 26623803392 7085 33554432000 4194304 4196468 140733557787680 140500663221216 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25060] ppid=25039 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/25041/task/25060/stat : 25060 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521329 26623803392 7085 33554432000 4194304 4196468 140733557787680 140499738946736 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 29724 KiB [startup+0.210154 s]* /proc/loadavg: 8.11 7.78 7.97 2/199 25060 /proc/meminfo: memFree=25488124/32770624 swapFree=67108860/67108860 [pid=25039] ppid=25036 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/25039/stat : 25039 (xcsp3-exec) S 25036 25039 24646 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145521322 9740288 346 33554432000 4194304 5098028 140721102647792 140721102645896 139818057970300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23441408 140721102656613 140721102656823 140721102656823 140721102659563 0 /proc/25039/statm: 2378 346 289 221 0 87 0 [pid=25041] ppid=25039 vsize=26004064 memory=40404 CPUtime=0.33 cores=0-7 /proc/25041/stat : 25041 (java) S 25039 25039 24646 0 -1 1077944320 8244 0 0 0 30 3 0 0 20 0 20 0 145521322 26628161536 10101 33554432000 4194304 4196468 140733557787680 140733557770224 140501544337143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 /proc/25041/statm: 6501016 10101 3004 1 0 6488269 0 [pid=25041/tid=25042] ppid=25039 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/25041/task/25042/stat : 25042 (java) R 25039 25039 24646 0 -1 4202560 5406 0 0 0 18 1 0 0 20 0 20 0 145521323 26628161536 10101 33554432000 4194304 4196468 140733557787680 140501548557952 140501528417630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25043] ppid=25039 vsize=26004064 memory=732370543222414309 CPUtime=0 cores=0-7 /proc/25041/task/25043/stat : 25043 (java) S 25039 25039 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 10101 33554432000 4194304 4196468 140733557787680 140501102648336 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25044] ppid=25039 vsize=26004064 memory=140404884960896 CPUtime=0 cores=0-7 /proc/25041/task/25044/stat : 25044 (java) S 25039 25039 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 10101 33554432000 4194304 4196468 140733557787680 140501101595792 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25045] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25045/stat : 25045 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 10101 33554432000 4194304 4196468 140733557787680 140501100542736 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25046] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25046/stat : 25046 (java) S 25039 25039 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 10101 33554432000 4194304 4196468 140733557787680 140501099490192 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25047] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25047/stat : 25047 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 10101 33554432000 4194304 4196468 140733557787680 140501098437136 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25048] ppid=25039 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/25041/task/25048/stat : 25048 (java) S 25039 25039 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 10101 33554432000 4194304 4196468 140733557787680 140501097384592 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25049] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25049/stat : 25049 (java) S 25039 25039 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 10101 33554432000 4194304 4196468 140733557787680 140501096331536 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25050] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25050/stat : 25050 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 10101 33554432000 4194304 4196468 140733557787680 140501095278992 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25051] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25051/stat : 25051 (java) S 25039 25039 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521325 26628161536 10101 33554432000 4194304 4196468 140733557787680 140500671642352 140501544348290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25052] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25052/stat : 25052 (java) S 25039 25039 24646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145521326 26628161536 10101 33554432000 4194304 4196468 140733557787680 140500670588576 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25053] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25053/stat : 25053 (java) S 25039 25039 24646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145521326 26628161536 10101 33554432000 4194304 4196468 140733557787680 140500669535472 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25054] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25054/stat : 25054 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521328 26628161536 10101 33554432000 4194304 4196468 140733557787680 140500668484048 140501544355739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25055] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25055/stat : 25055 (java) S 25039 25039 24646 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 20 0 145521328 26628161536 10101 33554432000 4194304 4196468 140733557787680 140500667431152 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25056] ppid=25039 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/25041/task/25056/stat : 25056 (java) S 25039 25039 24646 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 20 0 145521328 26628161536 10101 33554432000 4194304 4196468 140733557787680 140500666378608 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25057] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25057/stat : 25057 (java) S 25039 25039 24646 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 20 0 145521328 26628161536 10101 33554432000 4194304 4196468 140733557787680 140500665325552 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25058] ppid=25039 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/25041/task/25058/stat : 25058 (java) S 25039 25039 24646 0 -1 1077944384 757 0 0 0 7 0 0 0 20 0 20 0 145521328 26628161536 10101 33554432000 4194304 4196468 140733557787680 140500664273008 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25059] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25059/stat : 25059 (java) S 25039 25039 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145521328 26628161536 10101 33554432000 4194304 4196468 140733557787680 140500663221216 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25060] ppid=25039 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/25041/task/25060/stat : 25060 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521329 26628161536 10101 33554432000 4194304 4196468 140733557787680 140499738946736 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 41788 KiB [startup+0.309411 s]* /proc/loadavg: 8.11 7.78 7.97 2/199 25060 /proc/meminfo: memFree=25480256/32770624 swapFree=67108860/67108860 [pid=25039] ppid=25036 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/25039/stat : 25039 (xcsp3-exec) S 25036 25039 24646 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145521322 9740288 346 33554432000 4194304 5098028 140721102647792 140721102645896 139818057970300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23441408 140721102656613 140721102656823 140721102656823 140721102659563 0 /proc/25039/statm: 2378 346 289 221 0 87 0 [pid=25041] ppid=25039 vsize=26004064 memory=48144 CPUtime=0.48 cores=0-7 /proc/25041/stat : 25041 (java) S 25039 25039 24646 0 -1 1077944320 9264 0 0 0 45 3 0 0 20 0 20 0 145521322 26628161536 12036 33554432000 4194304 4196468 140733557787680 140733557770224 140501544337143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 /proc/25041/statm: 6501016 12036 3116 1 0 6488269 0 [pid=25041/tid=25042] ppid=25039 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/25041/task/25042/stat : 25042 (java) R 25039 25039 24646 0 -1 4202560 6143 0 0 0 27 2 0 0 20 0 20 0 145521323 26628161536 12036 33554432000 4194304 4196468 140733557787680 140501548571200 140501528417630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25043] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25043/stat : 25043 (java) S 25039 25039 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 12036 33554432000 4194304 4196468 140733557787680 140501102648336 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25044] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25044/stat : 25044 (java) S 25039 25039 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 12036 33554432000 4194304 4196468 140733557787680 140501101595792 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25045] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25045/stat : 25045 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 12036 33554432000 4194304 4196468 140733557787680 140501100542736 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25046] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25046/stat : 25046 (java) S 25039 25039 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 12036 33554432000 4194304 4196468 140733557787680 140501099490192 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25047] ppid=25039 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/25041/task/25047/stat : 25047 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 12036 33554432000 4194304 4196468 140733557787680 140501098437136 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25048] ppid=25039 vsize=26004064 memory=140404762702767 CPUtime=0 cores=0-7 /proc/25041/task/25048/stat : 25048 (java) S 25039 25039 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 12036 33554432000 4194304 4196468 140733557787680 140501097384592 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25049] ppid=25039 vsize=26004064 memory=140404762705072 CPUtime=0 cores=0-7 /proc/25041/task/25049/stat : 25049 (java) S 25039 25039 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 12036 33554432000 4194304 4196468 140733557787680 140501096331536 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25050] ppid=25039 vsize=26004064 memory=140404762707376 CPUtime=0 cores=0-7 /proc/25041/task/25050/stat : 25050 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521324 26628161536 12036 33554432000 4194304 4196468 140733557787680 140501095278992 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25051] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25051/stat : 25051 (java) S 25039 25039 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521325 26628161536 12036 33554432000 4194304 4196468 140733557787680 140500671642352 140501544348290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25052] ppid=25039 vsize=26004064 memory=280809525421712 CPUtime=0 cores=0-7 /proc/25041/task/25052/stat : 25052 (java) S 25039 25039 24646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145521326 26628161536 12036 33554432000 4194304 4196468 140733557787680 140500670588576 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25053] ppid=25039 vsize=26004064 memory=280809525428624 CPUtime=0 cores=0-7 /proc/25041/task/25053/stat : 25053 (java) S 25039 25039 24646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145521326 26628161536 12036 33554432000 4194304 4196468 140733557787680 140500669535472 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25054] ppid=25039 vsize=26004064 memory=280809525369904 CPUtime=0 cores=0-7 /proc/25041/task/25054/stat : 25054 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521328 26628161536 12036 33554432000 4194304 4196468 140733557787680 140500668484048 140501544355739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25055] ppid=25039 vsize=26004064 memory=280809525442448 CPUtime=0.01 cores=0-7 /proc/25041/task/25055/stat : 25055 (java) S 25039 25039 24646 0 -1 1077944384 514 0 0 0 1 0 0 0 20 0 20 0 145521328 26628161536 12036 33554432000 4194304 4196468 140733557787680 140500667431152 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25056] ppid=25039 vsize=26004064 memory=280809525449360 CPUtime=0.03 cores=0-7 /proc/25041/task/25056/stat : 25056 (java) S 25039 25039 24646 0 -1 1077944384 192 0 0 0 3 0 0 0 20 0 20 0 145521328 26628161536 12036 33554432000 4194304 4196468 140733557787680 140500666378608 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25057] ppid=25039 vsize=26004064 memory=280809525447056 CPUtime=0.01 cores=0-7 /proc/25041/task/25057/stat : 25057 (java) S 25039 25039 24646 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 20 0 145521328 26628161536 12036 33554432000 4194304 4196468 140733557787680 140500665325552 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25058] ppid=25039 vsize=26004064 memory=280809525463216 CPUtime=0.11 cores=0-7 /proc/25041/task/25058/stat : 25058 (java) R 25039 25039 24646 0 -1 4202560 874 0 0 0 11 0 0 0 20 0 20 0 145521328 26628161536 12036 33554432000 4194304 4196468 140733557787680 140500664273008 140501544358490 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25059] ppid=25039 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25059/stat : 25059 (java) S 25039 25039 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145521328 26628161536 12036 33554432000 4194304 4196468 140733557787680 140500663221216 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25060] ppid=25039 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/25041/task/25060/stat : 25060 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521329 26628161536 12036 33554432000 4194304 4196468 140733557787680 140499738946736 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 49528 KiB [startup+0.70103 s] /proc/loadavg: 8.11 7.78 7.97 4/199 25060 /proc/meminfo: memFree=25433132/32770624 swapFree=67108860/67108860 [pid=25039] ppid=25036 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/25039/stat : 25039 (xcsp3-exec) S 25036 25039 24646 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145521322 9740288 346 33554432000 4194304 5098028 140721102647792 140721102645896 139818057970300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23441408 140721102656613 140721102656823 140721102656823 140721102659563 0 /proc/25039/statm: 2378 346 289 221 0 87 0 [pid=25041] ppid=25039 vsize=26006188 memory=211096 CPUtime=1.36 cores=0-7 /proc/25041/stat : 25041 (java) S 25039 25039 24646 0 -1 1077944320 11815 0 0 0 128 8 0 0 20 0 20 0 145521322 26630336512 52774 33554432000 4194304 4196468 140733557787680 140733557770224 140501544337143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 /proc/25041/statm: 6501547 52774 3213 1 0 6488781 0 [pid=25041/tid=25042] ppid=25039 vsize=26006188 memory=280809525758144 CPUtime=0.66 cores=0-7 /proc/25041/task/25042/stat : 25042 (java) R 25039 25039 24646 0 -1 4202560 6769 0 0 0 62 4 0 0 20 0 20 0 145521323 26630336512 52774 33554432000 4194304 4196468 140733557787680 140501548575328 140501150666126 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25043] ppid=25039 vsize=26006188 memory=12136 CPUtime=0 cores=0-7 /proc/25041/task/25043/stat : 25043 (java) S 25039 25039 24646 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 145521324 26630336512 52774 33554432000 4194304 4196468 140733557787680 140501102648336 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25044] ppid=25039 vsize=26006188 memory=1004 CPUtime=0 cores=0-7 /proc/25041/task/25044/stat : 25044 (java) S 25039 25039 24646 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 145521324 26630336512 52774 33554432000 4194304 4196468 140733557787680 140501101595792 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25045] ppid=25039 vsize=26006188 memory=1228 CPUtime=0 cores=0-7 /proc/25041/task/25045/stat : 25045 (java) S 25039 25039 24646 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 145521324 26630336512 52774 33554432000 4194304 4196468 140733557787680 140501100542736 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 ################ # More data... # ################ [pid=25041/tid=25050] ppid=25039 vsize=26006188 memory=50 CPUtime=0.06 cores=0-7 /proc/25041/task/25050/stat : 25050 (java) S 25039 25039 24646 0 -1 1077944384 91 0 0 0 3 3 0 0 20 0 20 0 145521324 26630336512 631206 33554432000 4194304 4196468 140733557787680 140501095278992 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25051] ppid=25039 vsize=26006188 memory=336 CPUtime=0.01 cores=0-7 /proc/25041/task/25051/stat : 25051 (java) S 25039 25039 24646 0 -1 1077944384 1060 0 0 0 1 0 0 0 20 0 20 0 145521325 26630336512 631206 33554432000 4194304 4196468 140733557787680 140500671642352 140501544348290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25052] ppid=25039 vsize=26006188 memory=203 CPUtime=0 cores=0-7 /proc/25041/task/25052/stat : 25052 (java) S 25039 25039 24646 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 145521326 26630336512 631206 33554432000 4194304 4196468 140733557787680 140500670588640 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25053] ppid=25039 vsize=26006188 memory=104 CPUtime=0 cores=0-7 /proc/25041/task/25053/stat : 25053 (java) S 25039 25039 24646 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 145521326 26630336512 631206 33554432000 4194304 4196468 140733557787680 140500669535488 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25054] ppid=25039 vsize=26006188 memory=718 CPUtime=0 cores=0-7 /proc/25041/task/25054/stat : 25054 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521328 26630336512 631206 33554432000 4194304 4196468 140733557787680 140500668484048 140501544355739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25055] ppid=25039 vsize=26006188 memory=115 CPUtime=0.25 cores=0-7 /proc/25041/task/25055/stat : 25055 (java) S 25039 25039 24646 0 -1 1077944384 1688 0 0 0 25 0 0 0 20 0 20 0 145521328 26630336512 631206 33554432000 4194304 4196468 140733557787680 140500667431152 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25056] ppid=25039 vsize=26006188 memory=4 CPUtime=0.4 cores=0-7 /proc/25041/task/25056/stat : 25056 (java) S 25039 25039 24646 0 -1 1077944384 1523 0 0 0 39 1 0 0 20 0 20 0 145521328 26630336512 631206 33554432000 4194304 4196468 140733557787680 140500666378608 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25057] ppid=25039 vsize=26006188 memory=10151 CPUtime=0.2 cores=0-7 /proc/25041/task/25057/stat : 25057 (java) S 25039 25039 24646 0 -1 1077944384 880 0 0 0 20 0 0 0 20 0 20 0 145521328 26630336512 631206 33554432000 4194304 4196468 140733557787680 140500665325552 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25058] ppid=25039 vsize=26006188 memory=408 CPUtime=0.45 cores=0-7 /proc/25041/task/25058/stat : 25058 (java) S 25039 25039 24646 0 -1 1077944384 1985 0 0 0 44 1 0 0 20 0 20 0 145521328 26630336512 631206 33554432000 4194304 4196468 140733557787680 140500664273008 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25059] ppid=25039 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25059/stat : 25059 (java) S 25039 25039 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145521328 26630336512 631206 33554432000 4194304 4196468 140733557787680 140500663221216 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25060] ppid=25039 vsize=26006188 memory=1 CPUtime=0 cores=0-7 /proc/25041/task/25060/stat : 25060 (java) S 25039 25039 24646 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 145521329 26630336512 631206 33554432000 4194304 4196468 140733557787680 140499738946736 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 Current children cumulated CPU time: 7.43 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 2526208 KiB [startup+6.00185 s]* /proc/loadavg: 7.54 7.67 7.94 13/207 25068 /proc/meminfo: memFree=22810328/32770624 swapFree=67108860/67108860 [pid=25039] ppid=25036 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/25039/stat : 25039 (xcsp3-exec) S 25036 25039 24646 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145521322 9740288 346 33554432000 4194304 5098028 140721102647792 140721102645896 139818057970300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23441408 140721102656613 140721102656823 140721102656823 140721102659563 0 /proc/25039/statm: 2378 346 289 221 0 87 0 [pid=25041] ppid=25039 vsize=26538700 memory=2715440 CPUtime=9.81 cores=0-7 /proc/25041/stat : 25041 (java) S 25039 25039 24646 0 -1 1077944320 20196 0 0 0 908 73 0 0 20 0 28 0 145521322 27175628800 678860 33554432000 4194304 4196468 140733557787680 140733557770224 140501544337143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 /proc/25041/statm: 6634675 678860 3238 1 0 6621909 0 [pid=25041/tid=25042] ppid=25039 vsize=26538700 memory=6791534058613427641 CPUtime=5.58 cores=0-7 /proc/25041/task/25042/stat : 25042 (java) S 25039 25039 24646 0 -1 1077944384 10129 0 0 0 518 40 0 0 20 0 28 0 145521323 27175628800 678860 33554432000 4194304 4196468 140733557787680 140501548577920 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25043] ppid=25039 vsize=26538700 memory=-7003737579269690708 CPUtime=0.06 cores=0-7 /proc/25041/task/25043/stat : 25043 (java) S 25039 25039 24646 0 -1 1077944384 92 0 0 0 3 3 0 0 20 0 28 0 145521324 27175628800 678860 33554432000 4194304 4196468 140733557787680 140501102648336 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25044] ppid=25039 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7 /proc/25041/task/25044/stat : 25044 (java) S 25039 25039 24646 0 -1 1077944384 88 0 0 0 3 3 0 0 20 0 28 0 145521324 27175628800 678860 33554432000 4194304 4196468 140733557787680 140501101595792 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25045] ppid=25039 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7 /proc/25041/task/25045/stat : 25045 (java) S 25039 25039 24646 0 -1 1077944384 98 0 0 0 4 3 0 0 20 0 28 0 145521324 27175628800 678860 33554432000 4194304 4196468 140733557787680 140501100542736 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25046] ppid=25039 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7 /proc/25041/task/25046/stat : 25046 (java) S 25039 25039 24646 0 -1 1077944384 95 0 0 0 3 3 0 0 20 0 28 0 145521324 27175628800 678860 33554432000 4194304 4196468 140733557787680 140501099490192 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25047] ppid=25039 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7 /proc/25041/task/25047/stat : 25047 (java) S 25039 25039 24646 0 -1 1077944384 117 0 0 0 3 3 0 0 20 0 28 0 145521324 27175628800 678860 33554432000 4194304 4196468 140733557787680 140501098437136 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25048] ppid=25039 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7 /proc/25041/task/25048/stat : 25048 (java) S 25039 25039 24646 0 -1 1077944384 91 0 0 0 3 3 0 0 20 0 28 0 145521324 27175628800 678860 33554432000 4194304 4196468 140733557787680 140501097384592 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25049] ppid=25039 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7 /proc/25041/task/25049/stat : 25049 (java) S 25039 25039 24646 0 -1 1077944384 91 0 0 0 3 3 0 0 20 0 28 0 145521324 27175628800 678860 33554432000 4194304 4196468 140733557787680 140501096331536 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25050] ppid=25039 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7 /proc/25041/task/25050/stat : 25050 (java) S 25039 25039 24646 0 -1 1077944384 91 0 0 0 3 3 0 0 20 0 28 0 145521324 27175628800 678860 33554432000 4194304 4196468 140733557787680 140501095278992 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25051] ppid=25039 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7 /proc/25041/task/25051/stat : 25051 (java) S 25039 25039 24646 0 -1 1077944384 1060 0 0 0 1 0 0 0 20 0 28 0 145521325 27175628800 678860 33554432000 4194304 4196468 140733557787680 140500671642352 140501544348290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25052] ppid=25039 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25052/stat : 25052 (java) S 25039 25039 24646 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 145521326 27175628800 678860 33554432000 4194304 4196468 140733557787680 140500670588640 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25053] ppid=25039 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25053/stat : 25053 (java) S 25039 25039 24646 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145521326 27175628800 678860 33554432000 4194304 4196468 140733557787680 140500669535488 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25054] ppid=25039 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25054/stat : 25054 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145521328 27175628800 678860 33554432000 4194304 4196468 140733557787680 140500668484048 140501544355739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25055] ppid=25039 vsize=26538700 memory=0 CPUtime=0.37 cores=0-7 /proc/25041/task/25055/stat : 25055 (java) R 25039 25039 24646 0 -1 4202560 1726 0 0 0 37 0 0 0 20 0 28 0 145521328 27175628800 678860 33554432000 4194304 4196468 140733557787680 140500667417248 140501524918535 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25056] ppid=25039 vsize=26538700 memory=0 CPUtime=0.47 cores=0-7 /proc/25041/task/25056/stat : 25056 (java) R 25039 25039 24646 0 -1 4202560 1540 0 0 0 46 1 0 0 20 0 28 0 145521328 27175628800 678860 33554432000 4194304 4196468 140733557787680 140500666364896 140501529444846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25057] ppid=25039 vsize=26538700 memory=0 CPUtime=0.3 cores=0-7 /proc/25041/task/25057/stat : 25057 (java) R 25039 25039 24646 0 -1 4202560 1146 0 0 0 30 0 0 0 20 0 28 0 145521328 27175628800 678860 33554432000 4194304 4196468 140733557787680 140500665318072 140501529235519 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25058] ppid=25039 vsize=26538700 memory=-1 CPUtime=0.53 cores=0-7 /proc/25041/task/25058/stat : 25058 (java) R 25039 25039 24646 0 -1 4202560 2110 0 0 0 52 1 0 0 20 0 28 0 145521328 27175628800 678860 33554432000 4194304 4196468 140733557787680 140500664267824 140501537322217 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25059] ppid=25039 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/25041/task/25059/stat : 25059 (java) S 25039 25039 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145521328 27175628800 678860 33554432000 4194304 4196468 140733557787680 140500663221216 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25060] ppid=25039 vsize=26538700 memory=-1 CPUtime=0 cores=0-7 /proc/25041/task/25060/stat : 25060 (java) S 25039 25039 24646 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 145521329 27175628800 678860 33554432000 4194304 4196468 140733557787680 140499738946736 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25061] ppid=25039 vsize=26538700 memory=-1 CPUtime=0.26 cores=0-7 /proc/25041/task/25061/stat : 25061 (java) R 25039 25039 24646 0 -1 4202560 71 0 0 0 26 0 0 0 20 0 28 0 145521893 27175628800 678860 33554432000 4194304 4196468 140733557787680 140499731433528 140501147852518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25062] ppid=25039 vsize=26538700 memory=0 CPUtime=0.25 cores=0-7 /proc/25041/task/25062/stat : 25062 (java) R 25039 25039 24646 0 -1 4202560 96 0 0 0 25 0 0 0 20 0 28 0 145521894 27175628800 678860 33554432000 4194304 4196468 140733557787680 140499730382200 140501147818951 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25063] ppid=25039 vsize=26538700 memory=0 CPUtime=0.21 cores=0-7 /proc/25041/task/25063/stat : 25063 (java) R 25039 25039 24646 0 -1 4202560 34 0 0 0 21 0 0 0 20 0 28 0 145521894 27175628800 678860 33554432000 4194304 4196468 140733557787680 140499729328848 140501147745572 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25064] ppid=25039 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7 /proc/25041/task/25064/stat : 25064 (java) R 25039 25039 24646 0 -1 4202560 83 0 0 0 23 0 0 0 20 0 28 0 145521894 27175628800 678926 33554432000 4194304 4196468 140733557787680 140499728259520 140501148003820 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25065] ppid=25039 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7 /proc/25041/task/25065/stat : 25065 (java) R 25039 25039 24646 0 -1 4202560 30 0 0 0 23 0 0 0 20 0 28 0 145521894 27175628800 678926 33554432000 4194304 4196468 140733557787680 140499727220416 140501147864077 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25066] ppid=25039 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7 /proc/25041/task/25066/stat : 25066 (java) R 25039 25039 24646 0 -1 1077944384 33 0 0 0 23 0 0 0 20 0 28 0 145521894 27175628800 678926 33554432000 4194304 4196468 140733557787680 140499726169712 140501544347349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25067] ppid=25039 vsize=26538700 memory=0 CPUtime=0.21 cores=0-7 /proc/25041/task/25067/stat : 25067 (java) R 25039 25039 24646 0 -1 4202560 37 0 0 0 21 0 0 0 20 0 28 0 145521894 27175628800 678926 33554432000 4194304 4196468 140733557787680 140499725115216 140501153244245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25068] ppid=25039 vsize=26538700 memory=0 CPUtime=0.24 cores=0-7 /proc/25041/task/25068/stat : 25068 (java) R 25039 25039 24646 0 -1 4202560 37 0 0 0 24 0 0 0 20 0 28 0 145521894 27175628800 678926 33554432000 4194304 4196468 140733557787680 140499724065072 140501147824276 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 Current children cumulated CPU time: 9.81 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 2716824 KiB [startup+6.11085 s] /proc/loadavg: 7.54 7.67 7.94 13/207 25068 /proc/meminfo: memFree=22810328/32770624 swapFree=67108860/67108860 [pid=25039] ppid=25036 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/25039/stat : 25039 (xcsp3-exec) S 25036 25039 24646 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145521322 9740288 346 33554432000 4194304 5098028 140721102647792 140721102645896 139818057970300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23441408 140721102656613 140721102656823 140721102656823 140721102659563 0 /proc/25039/statm: 2378 346 289 221 0 87 0 [pid=25041] ppid=25039 vsize=26538700 memory=2720048 CPUtime=10.59 cores=0-7 /proc/25041/stat : 25041 (java) S 25039 25039 24646 0 -1 1077944320 21356 0 0 0 986 73 0 0 20 0 28 0 145521322 27175628800 680012 33554432000 4194304 4196468 140733557787680 140733557770224 140501544337143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 /proc/25041/statm: 6634675 680012 3239 1 0 6621909 0 [pid=25041/tid=25042] ppid=25039 vsize=26538700 memory=1132368 CPUtime=5.58 cores=0-7 /proc/25041/task/25042/stat : 25042 (java) S 25039 25039 24646 0 -1 1077944384 10129 0 0 0 518 40 0 0 20 0 28 0 145521323 27175628800 680012 33554432000 4194304 4196468 140733557787680 140501548577920 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25043] ppid=25039 vsize=26538700 memory=1132348 CPUtime=0.06 cores=0-7 /proc/25041/task/25043/stat : 25043 (java) S 25039 25039 24646 0 -1 1077944384 92 0 0 0 3 3 0 0 20 0 28 0 145521324 27175628800 680012 33554432000 4194304 4196468 140733557787680 140501102648336 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25044] ppid=25039 vsize=26538700 memory=1384 CPUtime=0.06 cores=0-7 /proc/25041/task/25044/stat : 25044 (java) S 25039 25039 24646 0 -1 1077944384 88 0 0 0 3 3 0 0 20 0 28 0 145521324 27175628800 680012 33554432000 4194304 4196468 140733557787680 140501101595792 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25045] ppid=25039 vsize=26538700 memory=2695052 CPUtime=0.07 cores=0-7 /proc/25041/task/25045/stat : 25045 (java) S 25039 25039 24646 0 -1 1077944384 98 0 0 0 4 3 0 0 20 0 28 0 145521324 27175628800 680012 33554432000 4194304 4196468 140733557787680 140501100542736 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25046] ppid=25039 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7 /proc/25041/task/25046/stat : 25046 (java) S 25039 25039 24646 0 -1 1077944384 95 0 0 0 3 3 0 0 20 0 28 0 145521324 27175628800 680012 33554432000 4194304 4196468 140733557787680 140501099490192 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25047] ppid=25039 vsize=26538700 memory=3768 CPUtime=0.06 cores=0-7 /proc/25041/task/25047/stat : 25047 (java) S 25039 25039 24646 0 -1 1077944384 117 0 0 0 3 3 0 0 20 0 28 0 145521324 27175628800 680012 33554432000 4194304 4196468 140733557787680 140501098437136 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25048] ppid=25039 vsize=26538700 memory=1384 CPUtime=0.06 cores=0-7 /proc/25041/task/25048/stat : 25048 (java) S 25039 25039 24646 0 -1 1077944384 91 0 0 0 3 3 0 0 20 0 28 0 145521324 27175628800 680012 33554432000 4194304 4196468 140733557787680 140501097384592 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25049] ppid=25039 vsize=26538700 memory=2713920 CPUtime=0.06 cores=0-7 /proc/25041/task/25049/stat : 25049 (java) S 25039 25039 24646 0 -1 1077944384 91 0 0 0 3 3 0 0 20 0 28 0 145521324 27175628800 680012 33554432000 4194304 4196468 140733557787680 140501096331536 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25050] ppid=25039 vsize=26538700 memory=56 CPUtime=0.06 cores=0-7 /proc/25041/task/25050/stat : 25050 (java) S 25039 25039 24646 0 -1 1077944384 91 0 0 0 3 3 0 0 20 0 28 0 145521324 27175628800 680012 33554432000 4194304 4196468 140733557787680 140501095278992 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25051] ppid=25039 vsize=26538700 memory=-3395018486312292127 CPUtime=0.01 cores=0-7 /proc/25041/task/25051/stat : 25051 (java) S 25039 25039 24646 0 -1 1077944384 1060 0 0 0 1 0 0 0 20 0 28 0 145521325 27175628800 680012 33554432000 4194304 4196468 140733557787680 140500671642352 140501544348290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25052] ppid=25039 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/25041/task/25052/stat : 25052 (java) S 25039 25039 24646 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 145521326 27175628800 680012 33554432000 4194304 4196468 140733557787680 140500670588640 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25053] ppid=25039 vsize=26538700 memory=2191908 CPUtime=0 cores=0-7 /proc/25041/task/25053/stat : 25053 (java) S 25039 25039 24646 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145521326 27175628800 680012 33554432000 4194304 4196468 140733557787680 140500669535488 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25054] ppid=25039 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/25041/task/25054/stat : 25054 (java) S 25039 25039 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145521328 27175628800 680012 33554432000 4194304 4196468 140733557787680 140500668484048 140501544355739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25055] ppid=25039 vsize=26538700 memory=2191908 CPUtime=0.43 cores=0-7 /proc/25041/task/25055/stat : 25055 (java) R 25039 25039 24646 0 -1 4202560 1744 0 0 0 43 0 0 0 20 0 28 0 145521328 27175628800 680012 33554432000 4194304 4196468 140733557787680 140500667419472 140501525881600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25056] ppid=25039 vsize=26538700 memory=1384 CPUtime=0.55 cores=0-7 /proc/25041/task/25056/stat : 25056 (java) R 25039 25039 24646 0 -1 4202560 1844 0 0 0 54 1 0 0 20 0 28 0 145521328 27175628800 680012 33554432000 4194304 4196468 140733557787680 140500666364384 140501525037758 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25057] ppid=25039 vsize=26538700 memory=2 CPUtime=0.39 cores=0-7 /proc/25041/task/25057/stat : 25057 (java) R 25039 25039 24646 0 -1 4202560 1851 0 0 0 39 0 0 0 20 0 28 0 145521328 27175628800 680012 33554432000 4194304 4196468 140733557787680 140500665306568 140501525859472 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25058] ppid=25039 vsize=26538700 memory=2 CPUtime=0.57 cores=0-7 /proc/25041/task/25058/stat : 25058 (java) R 25039 25039 24646 0 -1 4202560 2234 0 0 0 56 1 0 0 20 0 28 0 145521328 27175628800 680012 33554432000 4194304 4196468 140733557787680 140500664269016 140501522967266 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25059] ppid=25039 vsize=26538700 memory=2 CPUtime=0 cores=0-7 /proc/25041/task/25059/stat : 25059 (java) S 25039 25039 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145521328 27175628800 680012 33554432000 4194304 4196468 140733557787680 140500663221216 140501544347349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25060] ppid=25039 vsize=26538700 memory=2 CPUtime=0 cores=0-7 /proc/25041/task/25060/stat : 25060 (java) S 25039 25039 24646 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 145521329 27175628800 680012 33554432000 4194304 4196468 140733557787680 140499738946736 140501544348290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25061] ppid=25039 vsize=26538700 memory=303430223234596890 CPUtime=0.34 cores=0-7 /proc/25041/task/25061/stat : 25061 (java) R 25039 25039 24646 0 -1 4202560 72 0 0 0 34 0 0 0 20 0 28 0 145521893 27175628800 680012 33554432000 4194304 4196468 140733557787680 140499731432304 140501147825121 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25062] ppid=25039 vsize=26538700 memory=288230583166042425 CPUtime=0.3 cores=0-7 /proc/25041/task/25062/stat : 25062 (java) R 25039 25039 24646 0 -1 4202560 97 0 0 0 30 0 0 0 20 0 28 0 145521894 27175628800 680012 33554432000 4194304 4196468 140733557787680 140499730381184 140501153478587 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25063] ppid=25039 vsize=26538700 memory=16101468159609422 CPUtime=0.27 cores=0-7 /proc/25041/task/25063/stat : 25063 (java) R 25039 25039 24646 0 -1 4202560 38 0 0 0 27 0 0 0 20 0 28 0 145521894 27175628800 680012 33554432000 4194304 4196468 140733557787680 140499729327936 140501528677097 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25064] ppid=25039 vsize=26538700 memory=0 CPUtime=0.28 cores=0-7 /proc/25041/task/25064/stat : 25064 (java) R 25039 25039 24646 0 -1 1077944384 83 0 0 0 28 0 0 0 20 0 28 0 145521894 27175628800 680012 33554432000 4194304 4196468 140733557787680 140499728273376 140501544347349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25065] ppid=25039 vsize=26538700 memory=0 CPUtime=0.3 cores=0-7 /proc/25041/task/25065/stat : 25065 (java) R 25039 25039 24646 0 -1 4202560 31 0 0 0 30 0 0 0 20 0 28 0 145521894 27175628800 680012 33554432000 4194304 4196468 140733557787680 140499727222696 140501147791071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25066] ppid=25039 vsize=26538700 memory=0 CPUtime=0.28 cores=0-7 /proc/25041/task/25066/stat : 25066 (java) R 25039 25039 24646 0 -1 4202560 33 0 0 0 28 0 0 0 20 0 28 0 145521894 27175628800 680012 33554432000 4194304 4196468 140733557787680 140499726169752 140501153331719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25067] ppid=25039 vsize=26538700 memory=0 CPUtime=0.31 cores=0-7 /proc/25041/task/25067/stat : 25067 (java) R 25039 25039 24646 0 -1 4202560 37 0 0 0 31 0 0 0 20 0 28 0 145521894 27175628800 680012 33554432000 4194304 4196468 140733557787680 140499725115456 140501147790640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 [pid=25041/tid=25068] ppid=25039 vsize=26538700 memory=0 CPUtime=0.28 cores=0-7 /proc/25041/task/25068/stat : 25068 (java) R 25039 25039 24646 0 -1 4202560 39 0 0 0 28 0 0 0 20 0 28 0 145521894 27175628800 680012 33554432000 4194304 4196468 140733557787680 140499724064888 140501147791099 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15847424 140733557793938 140733557794115 140733557794115 140733557796815 0 Current children cumulated CPU time: 10.59 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 2721432 KiB Child status: 0 Real time (s): 6.18321 CPU time (s): 10.9702 CPU user time (s): 10.2126 CPU system time (s): 0.757631 CPU usage (%): 177.419 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 2721432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.2126 system time used= 0.757631 maximum resident set size= 2725452 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22574 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4134 involuntary context switches= 142 # summary of solver processes directly reported to runsolver: # pid: 25039 # total CPU time (s): 10.9702 # total CPU user time (s): 10.2126 # total CPU system time (s): 0.757631 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.05482 second user time and 0.112915 second system time The end
Begin job on node148 at 2017-08-19 08:19:04 IDJOB=4280889 IDBENCH=122882 IDSOLVER=2675 FILE ID=node148/4280889-1503124404 RUNJOBID= node148-1503120656-24673 PBS_JOBID= 20630768 Free space on /tmp= 61948 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-048.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-4280889-1503124404/watcher-4280889-1503124404 -o /tmp/evaluation-result-4280889-1503124404/solver-4280889-1503124404 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503120656-24673 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 119310247 HOME/instance-4280889-1503124404.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7adabca14a9e2cab4a49f4d8c4ab1203 RANDOM SEED=119310247 node148.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.19 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.19 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.19 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.19 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: 25517648 kB MemAvailable: 31976408 kB Buffers: 288676 kB Cached: 6464444 kB SwapCached: 0 kB Active: 1154812 kB Inactive: 5652204 kB Active(anon): 5300 kB Inactive(anon): 84708 kB Active(file): 1149512 kB Inactive(file): 5567496 kB Unevictable: 7784 kB Mlocked: 7784 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7872 kB Writeback: 0 kB AnonPages: 61184 kB Mapped: 50896 kB Shmem: 33416 kB Slab: 141612 kB SReclaimable: 115176 kB SUnreclaim: 26436 kB KernelStack: 3520 kB PageTables: 5212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333960 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: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61940 MiB End job on node148 at 2017-08-19 08:19:11