Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT | 11471.5 | 1446.59 |
Name | Random/Random-RB-3-28-28f/ rand-3-28-28-93-632f-05.xml |
MD5SUM | 1bf4ccefbf8ae7bb3bb3e34b69384fe1 |
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 | 687.52002 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 28 |
Number of constraints | 93 |
Number of domains | 1 |
Minimum domain size | 28 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":28,"count":28}] |
Minimum variable degree | 4 |
Maximum variable degree | 16 |
Distribution of variable degrees | [{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":1},{"degree":7,"count":4},{"degree":9,"count":3},{"degree":10,"count":3},{"degree":11,"count":6},{"degree":12,"count":2},{"degree":13,"count":3},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":93}] |
Number of extensional constraints | 93 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":93}] |
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-4271190-1502687023.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271190-1502687023.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 21.35/11.27 c solve instance... 11471.06/1446.55 s SATISFIABLE 11471.06/1446.55 v <instantiation> 11471.06/1446.55 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] x[24] x[25] x[26] x[27] </list> 11471.06/1446.55 v <values>23 4 18 0 18 21 22 12 26 5 23 3 3 4 20 14 2 3 5 9 20 13 8 16 25 10 0 23 </values> 11471.06/1446.55 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 (13342 MiB free) memory of node 1: 16384 MiB (13785 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271190-1502687023/watcher-4271190-1502687023 -o /tmp/evaluation-result-4271190-1502687023/solver-4271190-1502687023 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502680501-31442 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1518167 HOME/instance-4271190-1502687023.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=32520, runsolver pid=32517 Current StackSize limit: 8192 KiB [startup+0.100607 s]* /proc/loadavg: 7.95 7.66 7.85 2/199 32541 /proc/meminfo: memFree=27763760/32770624 swapFree=67108860/67108860 [pid=32520] ppid=32517 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32520/stat : 32520 (xcsp3-exec) S 32517 32520 31415 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101783232 9740288 346 33554432000 4194304 5098028 140731397547536 140731397545640 140123627483772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23744512 140731397555303 140731397555511 140731397555511 140731397558251 0 /proc/32520/statm: 2378 346 289 221 0 87 0 [pid=32522] ppid=32520 vsize=25999808 memory=26444 CPUtime=0.11 cores=0-7 /proc/32522/stat : 32522 (java) S 32520 32520 31415 0 -1 1077944320 5502 0 0 0 10 1 0 0 20 0 20 0 101783232 26623803392 6611 33554432000 4194304 4196468 140729454051104 140729454033648 140645405261559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 /proc/32522/statm: 6499952 6611 2866 1 0 6488269 0 [pid=32522/tid=32523] ppid=32520 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/32522/task/32523/stat : 32523 (java) R 32520 32520 31415 0 -1 4202560 3485 0 0 0 8 1 0 0 20 0 20 0 101783233 26623803392 6611 33554432000 4194304 4196468 140729454051104 140645409492864 140645384339047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32524] ppid=32520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32524/stat : 32524 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783233 26623803392 6611 33554432000 4194304 4196468 140729454051104 140645357882256 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32525] ppid=32520 vsize=25999808 memory=140234638452352 CPUtime=0 cores=0-7 /proc/32522/task/32525/stat : 32525 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783233 26623803392 6611 33554432000 4194304 4196468 140729454051104 140645356829456 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32526] ppid=32520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32526/stat : 32526 (java) S 32520 32520 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101783233 26623803392 6611 33554432000 4194304 4196468 140729454051104 140645355777168 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32527] ppid=32520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32527/stat : 32527 (java) S 32520 32520 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101783233 26623803392 6611 33554432000 4194304 4196468 140729454051104 140645354724368 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32528] ppid=32520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32528/stat : 32528 (java) S 32520 32520 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101783233 26623803392 6611 33554432000 4194304 4196468 140729454051104 140645353671056 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32529] ppid=32520 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/32522/task/32529/stat : 32529 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783233 26623803392 6611 33554432000 4194304 4196468 140729454051104 140645352618256 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32530] ppid=32520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32530/stat : 32530 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783233 26623803392 6611 33554432000 4194304 4196468 140729454051104 140645351565968 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32531] ppid=32520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32531/stat : 32531 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783233 26623803392 6611 33554432000 4194304 4196468 140729454051104 140645350513168 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32532] ppid=32520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32532/stat : 32532 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783235 26623803392 6611 33554432000 4194304 4196468 140729454051104 140643945908848 140645405272706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32533] ppid=32520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32533/stat : 32533 (java) S 32520 32520 31415 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101783235 26623803392 6611 33554432000 4194304 4196468 140729454051104 140643944854816 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32534] ppid=32520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32534/stat : 32534 (java) S 32520 32520 31415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101783235 26623803392 6611 33554432000 4194304 4196468 140729454051104 140643943802480 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32535] ppid=32520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32535/stat : 32535 (java) S 32520 32520 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101783238 26623803392 6611 33554432000 4194304 4196468 140729454051104 140643942750800 140645405280155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32536] ppid=32520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32536/stat : 32536 (java) S 32520 32520 31415 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 101783238 26623803392 6611 33554432000 4194304 4196468 140729454051104 140643941697648 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32537] ppid=32520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32537/stat : 32537 (java) S 32520 32520 31415 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 101783238 26623803392 6611 33554432000 4194304 4196468 140729454051104 140643940644848 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32538] ppid=32520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32538/stat : 32538 (java) S 32520 32520 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101783238 26623803392 6611 33554432000 4194304 4196468 140729454051104 140643871484272 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32539] ppid=32520 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/32522/task/32539/stat : 32539 (java) R 32520 32520 31415 0 -1 4202560 284 0 0 0 1 0 0 0 20 0 20 0 101783238 26623803392 6611 33554432000 4194304 4196468 140729454051104 140643870431472 140645384137028 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32540] ppid=32520 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32540/stat : 32540 (java) S 32520 32520 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101783238 26623803392 6611 33554432000 4194304 4196468 140729454051104 140643869379424 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32541] ppid=32520 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/32522/task/32541/stat : 32541 (java) S 32520 32520 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101783238 26623803392 6611 33554432000 4194304 4196468 140729454051104 140643868326704 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27828 KiB [startup+0.21058 s]* /proc/loadavg: 7.95 7.66 7.85 2/199 32541 /proc/meminfo: memFree=27752704/32770624 swapFree=67108860/67108860 [pid=32520] ppid=32517 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32520/stat : 32520 (xcsp3-exec) S 32517 32520 31415 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101783232 9740288 346 33554432000 4194304 5098028 140731397547536 140731397545640 140123627483772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23744512 140731397555303 140731397555511 140731397555511 140731397558251 0 /proc/32520/statm: 2378 346 289 221 0 87 0 [pid=32522] ppid=32520 vsize=26004064 memory=38908 CPUtime=0.33 cores=0-7 /proc/32522/stat : 32522 (java) S 32520 32520 31415 0 -1 1077944320 8370 0 0 0 31 2 0 0 20 0 20 0 101783232 26628161536 9727 33554432000 4194304 4196468 140729454051104 140729454033648 140645405261559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 /proc/32522/statm: 6501024 9727 3055 1 0 6488277 0 [pid=32522/tid=32523] ppid=32520 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/32522/task/32523/stat : 32523 (java) R 32520 32520 31415 0 -1 4202560 5462 0 0 0 18 1 0 0 20 0 20 0 101783233 26628161536 9727 33554432000 4194304 4196468 140729454051104 140645409463280 140645397940781 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32524] ppid=32520 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/32522/task/32524/stat : 32524 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783233 26628161536 9727 33554432000 4194304 4196468 140729454051104 140645357882256 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32525] ppid=32520 vsize=26004064 memory=140234638483764 CPUtime=0 cores=0-7 /proc/32522/task/32525/stat : 32525 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783233 26628161536 9727 33554432000 4194304 4196468 140729454051104 140645356829456 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32526] ppid=32520 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/32522/task/32526/stat : 32526 (java) S 32520 32520 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101783233 26628161536 9727 33554432000 4194304 4196468 140729454051104 140645355777168 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32527] ppid=32520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32527/stat : 32527 (java) S 32520 32520 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101783233 26628161536 9727 33554432000 4194304 4196468 140729454051104 140645354724368 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32528] ppid=32520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32528/stat : 32528 (java) S 32520 32520 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101783233 26628161536 9727 33554432000 4194304 4196468 140729454051104 140645353671056 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32529] ppid=32520 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/32522/task/32529/stat : 32529 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783233 26628194304 9727 33554432000 4194304 4196468 140729454051104 140645352618256 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32530] ppid=32520 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32530/stat : 32530 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783233 26628194304 9727 33554432000 4194304 4196468 140729454051104 140645351565968 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32531] ppid=32520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32531/stat : 32531 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783233 26628161536 9727 33554432000 4194304 4196468 140729454051104 140645350513168 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32532] ppid=32520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32532/stat : 32532 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783235 26628161536 9727 33554432000 4194304 4196468 140729454051104 140643945908848 140645405272706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32533] ppid=32520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32533/stat : 32533 (java) S 32520 32520 31415 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101783235 26628161536 9727 33554432000 4194304 4196468 140729454051104 140643944854816 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32534] ppid=32520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32534/stat : 32534 (java) S 32520 32520 31415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101783235 26628161536 9727 33554432000 4194304 4196468 140729454051104 140643943802480 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32535] ppid=32520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32535/stat : 32535 (java) S 32520 32520 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101783238 26628161536 9727 33554432000 4194304 4196468 140729454051104 140643942750800 140645405280155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32536] ppid=32520 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/32522/task/32536/stat : 32536 (java) S 32520 32520 31415 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 101783238 26628161536 9727 33554432000 4194304 4196468 140729454051104 140643941697648 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32537] ppid=32520 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/32522/task/32537/stat : 32537 (java) S 32520 32520 31415 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 20 0 101783238 26628161536 9727 33554432000 4194304 4196468 140729454051104 140643940644848 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32538] ppid=32520 vsize=26004096 memory=-1 CPUtime=0.02 cores=0-7 /proc/32522/task/32538/stat : 32538 (java) S 32520 32520 31415 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 20 0 101783238 26628194304 9727 33554432000 4194304 4196468 140729454051104 140643871484272 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32539] ppid=32520 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/32522/task/32539/stat : 32539 (java) S 32520 32520 31415 0 -1 1077944384 741 0 0 0 7 0 0 0 20 0 20 0 101783238 26628161536 9727 33554432000 4194304 4196468 140729454051104 140643870431472 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32540] ppid=32520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32540/stat : 32540 (java) S 32520 32520 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101783238 26628161536 9727 33554432000 4194304 4196468 140729454051104 140643869379424 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32541] ppid=32520 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/32522/task/32541/stat : 32541 (java) S 32520 32520 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101783238 26628161536 9727 33554432000 4194304 4196468 140729454051104 140643868326704 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40292 KiB [startup+0.310746 s]* /proc/loadavg: 7.95 7.66 7.85 3/199 32541 /proc/meminfo: memFree=27746128/32770624 swapFree=67108860/67108860 [pid=32520] ppid=32517 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32520/stat : 32520 (xcsp3-exec) S 32517 32520 31415 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101783232 9740288 346 33554432000 4194304 5098028 140731397547536 140731397545640 140123627483772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23744512 140731397555303 140731397555511 140731397555511 140731397558251 0 /proc/32520/statm: 2378 346 289 221 0 87 0 [pid=32522] ppid=32520 vsize=26004064 memory=46316 CPUtime=0.5 cores=0-7 /proc/32522/stat : 32522 (java) S 32520 32520 31415 0 -1 1077944320 9255 0 0 0 47 3 0 0 20 0 20 0 101783232 26628161536 11579 33554432000 4194304 4196468 140729454051104 140729454033648 140645405261559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 /proc/32522/statm: 6501016 11579 3101 1 0 6488269 0 [pid=32522/tid=32523] ppid=32520 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/32522/task/32523/stat : 32523 (java) R 32520 32520 31415 0 -1 4202560 6059 0 0 0 28 1 0 0 20 0 20 0 101783233 26628161536 11579 33554432000 4194304 4196468 140729454051104 140645409499712 140645405283485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32524] ppid=32520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32524/stat : 32524 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783233 26628161536 11579 33554432000 4194304 4196468 140729454051104 140645357882256 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32525] ppid=32520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32525/stat : 32525 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783233 26628161536 11579 33554432000 4194304 4196468 140729454051104 140645356829456 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32526] ppid=32520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32526/stat : 32526 (java) S 32520 32520 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101783233 26628161536 11579 33554432000 4194304 4196468 140729454051104 140645355777168 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32527] ppid=32520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32527/stat : 32527 (java) S 32520 32520 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101783233 26628161536 11579 33554432000 4194304 4196468 140729454051104 140645354724368 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32528] ppid=32520 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/32522/task/32528/stat : 32528 (java) S 32520 32520 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101783233 26628161536 11579 33554432000 4194304 4196468 140729454051104 140645353671056 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32529] ppid=32520 vsize=26004064 memory=140234507514799 CPUtime=0 cores=0-7 /proc/32522/task/32529/stat : 32529 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783233 26628161536 11579 33554432000 4194304 4196468 140729454051104 140645352618256 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32530] ppid=32520 vsize=26004064 memory=140234507517104 CPUtime=0 cores=0-7 /proc/32522/task/32530/stat : 32530 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783233 26628161536 11579 33554432000 4194304 4196468 140729454051104 140645351565968 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32531] ppid=32520 vsize=26004064 memory=140234507519408 CPUtime=0 cores=0-7 /proc/32522/task/32531/stat : 32531 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783233 26628161536 11579 33554432000 4194304 4196468 140729454051104 140645350513168 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32532] ppid=32520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32532/stat : 32532 (java) S 32520 32520 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101783235 26628161536 11579 33554432000 4194304 4196468 140729454051104 140643945908848 140645405272706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32533] ppid=32520 vsize=26004064 memory=280469015045776 CPUtime=0 cores=0-7 /proc/32522/task/32533/stat : 32533 (java) S 32520 32520 31415 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101783235 26628161536 11579 33554432000 4194304 4196468 140729454051104 140643944854816 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32534] ppid=32520 vsize=26004064 memory=280469015052688 CPUtime=0 cores=0-7 /proc/32522/task/32534/stat : 32534 (java) S 32520 32520 31415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101783235 26628161536 11579 33554432000 4194304 4196468 140729454051104 140643943802480 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32535] ppid=32520 vsize=26004064 memory=280469014993968 CPUtime=0 cores=0-7 /proc/32522/task/32535/stat : 32535 (java) S 32520 32520 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101783238 26628161536 11579 33554432000 4194304 4196468 140729454051104 140643942750800 140645405280155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32536] ppid=32520 vsize=26004064 memory=280469015066512 CPUtime=0.02 cores=0-7 /proc/32522/task/32536/stat : 32536 (java) S 32520 32520 31415 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 20 0 101783238 26628161536 11579 33554432000 4194304 4196468 140729454051104 140643941697648 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32537] ppid=32520 vsize=26004064 memory=280469015073424 CPUtime=0.02 cores=0-7 /proc/32522/task/32537/stat : 32537 (java) R 32520 32520 31415 0 -1 4202560 467 0 0 0 2 0 0 0 20 0 20 0 101783238 26628161536 11579 33554432000 4194304 4196468 140729454051104 140643940635232 140645405282906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32538] ppid=32520 vsize=26004064 memory=280469015071120 CPUtime=0.02 cores=0-7 /proc/32522/task/32538/stat : 32538 (java) R 32520 32520 31415 0 -1 4202560 235 0 0 0 2 0 0 0 20 0 20 0 101783238 26628161536 11579 33554432000 4194304 4196468 140729454051104 140643871484272 140645405282906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32539] ppid=32520 vsize=26004064 memory=280469015087280 CPUtime=0.12 cores=0-7 /proc/32522/task/32539/stat : 32539 (java) S 32520 32520 31415 0 -1 1077944384 842 0 0 0 12 0 0 0 20 0 20 0 101783238 26628161536 11579 33554432000 4194304 4196468 140729454051104 140643870431472 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32540] ppid=32520 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32540/stat : 32540 (java) S 32520 32520 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101783238 26628161536 11579 33554432000 4194304 4196468 140729454051104 140643869379424 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32541] ppid=32520 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/32522/task/32541/stat : 32541 (java) S 32520 32520 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101783238 26628161536 11579 33554432000 4194304 4196468 140729454051104 140643868326704 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47700 KiB [startup+0.701101 s] /proc/loadavg: 7.95 7.66 7.85 5/199 32541 /proc/meminfo: memFree=27700688/32770624 swapFree=67108860/67108860 [pid=32520] ppid=32517 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32520/stat : 32520 (xcsp3-exec) S 32517 32520 31415 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101783232 9740288 346 33554432000 4194304 5098028 140731397547536 140731397545640 140123627483772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23744512 140731397555303 140731397555511 140731397555511 140731397558251 0 /proc/32520/statm: 2378 346 289 221 0 87 0 [pid=32522] ppid=32520 vsize=26004140 memory=199880 CPUtime=1.65 cores=0-7 /proc/32522/stat : 32522 (java) S 32520 32520 31415 0 -1 1077944320 12456 0 0 0 155 10 0 0 20 0 20 0 101783232 26628239360 49970 33554432000 4194304 4196468 140729454051104 140729454033648 140645405261559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 /proc/32522/statm: 6501035 49970 3208 1 0 6488269 0 [pid=32522/tid=32523] ppid=32520 vsize=26004140 memory=280469015445168 CPUtime=0.66 cores=0-7 /proc/32522/task/32523/stat : 32523 (java) R 32520 32520 31415 0 -1 4202560 6384 0 0 0 62 4 0 0 20 0 20 0 101783233 26628239360 49970 33554432000 4194304 4196468 140729454051104 140645409499840 140645032193587 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32524] ppid=32520 vsize=26004140 memory=140234507723632 CPUtime=0 cores=0-7 /proc/32522/task/32524/stat : 32524 (java) S 32520 32520 31415 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 101783233 26628239360 49970 33554432000 4194304 4196468 140729454051104 140645357882256 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32525] ppid=32520 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32525/stat : 32525 (java) S 32520 32520 31415 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 101783233 26628239360 49970 33554432000 4194304 4196468 140729454051104 140645356829456 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32526] ppid=32520 vsize=26004140 memory=8612 CPUtime=0 cores=0-7 /proc/32522/task/32526/stat : 32526 (java) S 32520 32520 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101783233 26628239360 49970 33554432000 4194304 4196468 140729454051104 140645355777168 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 ################ # More data... # ################ [pid=32522/tid=32539] ppid=32520 vsize=26538700 memory=6291636798348683584 CPUtime=0.71 cores=0-7 /proc/32522/task/32539/stat : 32539 (java) S 32520 32520 31415 0 -1 1077944384 9473 0 0 0 69 2 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643870431472 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32540] ppid=32520 vsize=26538700 memory=5793410747612549457 CPUtime=0 cores=0-7 /proc/32522/task/32540/stat : 32540 (java) S 32520 32520 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643869379424 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32541] ppid=32520 vsize=26538700 memory=5792262852892967008 CPUtime=0.57 cores=0-7 /proc/32522/task/32541/stat : 32541 (java) S 32520 32520 31415 0 -1 1077944384 1956 0 0 0 19 38 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643868326704 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32542] ppid=32520 vsize=26538700 memory=5932194335068018787 CPUtime=1417.8 cores=0-7 /proc/32522/task/32542/stat : 32542 (java) R 32520 32520 31415 0 -1 4202560 2946 0 0 0 141773 7 0 0 20 0 28 0 101784360 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643860811224 140645034996171 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32543] ppid=32520 vsize=26538700 memory=5931912860091307875 CPUtime=1433.72 cores=0-7 /proc/32522/task/32543/stat : 32543 (java) R 32520 32520 31415 0 -1 4202560 2756 0 0 0 143371 1 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643859759672 140645035257294 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32544] ppid=32520 vsize=26538700 memory=5931631385114597475 CPUtime=1425.61 cores=0-7 /proc/32522/task/32544/stat : 32544 (java) R 32520 32520 31415 0 -1 4202560 15763 0 0 0 142479 82 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643858706152 140645035257072 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32545] ppid=32520 vsize=26538700 memory=5933319135463232100 CPUtime=1432.02 cores=0-7 /proc/32522/task/32545/stat : 32545 (java) R 32520 32520 31415 0 -1 4202560 3943 0 0 0 143198 4 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643857653544 140645035312876 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32546] ppid=32520 vsize=26538700 memory=5932194335068018275 CPUtime=1433.46 cores=0-7 /proc/32522/task/32546/stat : 32546 (java) R 32520 32520 31415 0 -1 4202560 3968 0 0 0 143337 9 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643856601024 140645035257261 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32547] ppid=32520 vsize=26538700 memory=5933882085416654947 CPUtime=1433.66 cores=0-7 /proc/32522/task/32547/stat : 32547 (java) R 32520 32520 31415 0 -1 4202560 8633 0 0 0 143335 31 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643855548280 140645035256790 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32548] ppid=32520 vsize=26538700 memory=5931631385114597219 CPUtime=1433.72 cores=0-7 /proc/32522/task/32548/stat : 32548 (java) R 32520 32520 31415 0 -1 4202560 21082 0 0 0 143259 113 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643854496184 140645035257312 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32549] ppid=32520 vsize=26538700 memory=5859295618929807440 CPUtime=1428.19 cores=0-7 /proc/32522/task/32549/stat : 32549 (java) R 32520 32520 31415 0 -1 4202560 2419 0 0 0 142815 4 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643853443384 140645034996427 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 Current children cumulated CPU time: 11467.1 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 5725904 KiB [startup+1446.4 s] /proc/loadavg: 8.10 8.20 8.15 9/208 32597 /proc/meminfo: memFree=22061224/32770624 swapFree=67108860/67108860 [pid=32520] ppid=32517 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32520/stat : 32520 (xcsp3-exec) S 32517 32520 31415 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101783232 9740288 346 33554432000 4194304 5098028 140731397547536 140731397545640 140123627483772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23744512 140731397555303 140731397555511 140731397555511 140731397558251 0 /proc/32520/statm: 2378 346 289 221 0 87 0 [pid=32522] ppid=32520 vsize=26538700 memory=5724520 CPUtime=11470.3 cores=0-7 /proc/32522/stat : 32522 (java) S 32520 32520 31415 0 -1 1077944320 142484 0 0 0 1146416 610 0 0 20 0 28 0 101783232 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140729454033648 140645405261559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 /proc/32522/statm: 6634675 1431130 3288 1 0 6621909 0 [pid=32522/tid=32523] ppid=32520 vsize=26538700 memory=29588 CPUtime=9.88 cores=0-7 /proc/32522/task/32523/stat : 32523 (java) S 32520 32520 31415 0 -1 1077944384 10296 0 0 0 955 33 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645409502336 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32524] ppid=32520 vsize=26538700 memory=1296 CPUtime=1.69 cores=0-7 /proc/32522/task/32524/stat : 32524 (java) S 32520 32520 31415 0 -1 1077944384 2124 0 0 0 131 38 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645357882256 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32525] ppid=32520 vsize=26538700 memory=6791534058613427641 CPUtime=1.71 cores=0-7 /proc/32522/task/32525/stat : 32525 (java) S 32520 32520 31415 0 -1 1077944384 2062 0 0 0 133 38 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645356829456 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32526] ppid=32520 vsize=26538700 memory=1384 CPUtime=1.69 cores=0-7 /proc/32522/task/32526/stat : 32526 (java) S 32520 32520 31415 0 -1 1077944384 1766 0 0 0 132 37 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645355777168 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32527] ppid=32520 vsize=26538700 memory=1384 CPUtime=1.69 cores=0-7 /proc/32522/task/32527/stat : 32527 (java) S 32520 32520 31415 0 -1 1077944384 2152 0 0 0 131 38 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645354724368 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32528] ppid=32520 vsize=26538700 memory=5724520 CPUtime=1.69 cores=0-7 /proc/32522/task/32528/stat : 32528 (java) S 32520 32520 31415 0 -1 1077944384 2823 0 0 0 127 42 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645353671056 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32529] ppid=32520 vsize=26538700 memory=-3622645143214314312 CPUtime=1.69 cores=0-7 /proc/32522/task/32529/stat : 32529 (java) S 32520 32520 31415 0 -1 1077944384 2450 0 0 0 133 36 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645352618256 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32530] ppid=32520 vsize=26538700 memory=288230621803970871 CPUtime=1.67 cores=0-7 /proc/32522/task/32530/stat : 32530 (java) S 32520 32520 31415 0 -1 1077944384 1829 0 0 0 129 38 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645351565968 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32531] ppid=32520 vsize=26538700 memory=15252640887999017 CPUtime=1.68 cores=0-7 /proc/32522/task/32531/stat : 32531 (java) S 32520 32520 31415 0 -1 1077944384 2609 0 0 0 131 37 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645350513168 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32532] ppid=32520 vsize=26538700 memory=12032 CPUtime=0.25 cores=0-7 /proc/32522/task/32532/stat : 32532 (java) S 32520 32520 31415 0 -1 1077944384 9900 0 0 0 24 1 0 0 20 0 28 0 101783235 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643945908848 140645405272706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32533] ppid=32520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32533/stat : 32533 (java) S 32520 32520 31415 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 101783235 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643944854880 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32534] ppid=32520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32534/stat : 32534 (java) S 32520 32520 31415 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 101783235 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643943802496 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32535] ppid=32520 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/32522/task/32535/stat : 32535 (java) S 32520 32520 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643942750800 140645405280155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32536] ppid=32520 vsize=26538700 memory=0 CPUtime=1.34 cores=0-7 /proc/32522/task/32536/stat : 32536 (java) S 32520 32520 31415 0 -1 1077944384 11996 0 0 0 132 2 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643941697648 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32537] ppid=32520 vsize=26538700 memory=4144 CPUtime=1.23 cores=0-7 /proc/32522/task/32537/stat : 32537 (java) S 32520 32520 31415 0 -1 1077944384 10078 0 0 0 120 3 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643940644848 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32538] ppid=32520 vsize=26538700 memory=29588 CPUtime=1.24 cores=0-7 /proc/32522/task/32538/stat : 32538 (java) S 32520 32520 31415 0 -1 1077944384 8060 0 0 0 122 2 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643871484272 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32539] ppid=32520 vsize=26538700 memory=1296 CPUtime=0.71 cores=0-7 /proc/32522/task/32539/stat : 32539 (java) S 32520 32520 31415 0 -1 1077944384 9473 0 0 0 69 2 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643870431472 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32540] ppid=32520 vsize=26538700 memory=280469017561744 CPUtime=0 cores=0-7 /proc/32522/task/32540/stat : 32540 (java) S 32520 32520 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643869379424 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32541] ppid=32520 vsize=26538700 memory=5724520 CPUtime=0.57 cores=0-7 /proc/32522/task/32541/stat : 32541 (java) S 32520 32520 31415 0 -1 1077944384 1956 0 0 0 19 38 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643868326704 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32542] ppid=32520 vsize=26538700 memory=1384 CPUtime=1418.19 cores=0-7 /proc/32522/task/32542/stat : 32542 (java) R 32520 32520 31415 0 -1 4202560 2946 0 0 0 141812 7 0 0 20 0 28 0 101784360 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643860811224 140645035256994 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32543] ppid=32520 vsize=26538700 memory=5724520 CPUtime=1434.11 cores=0-7 /proc/32522/task/32543/stat : 32543 (java) R 32520 32520 31415 0 -1 4202560 2756 0 0 0 143410 1 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643859759672 140645034996253 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32544] ppid=32520 vsize=26538700 memory=-6876588461455810464 CPUtime=1425.99 cores=0-7 /proc/32522/task/32544/stat : 32544 (java) R 32520 32520 31415 0 -1 4202560 15793 0 0 0 142517 82 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643858706152 140645035257072 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32545] ppid=32520 vsize=26538700 memory=6791534058613427641 CPUtime=1432.41 cores=0-7 /proc/32522/task/32545/stat : 32545 (java) R 32520 32520 31415 0 -1 4202560 3943 0 0 0 143237 4 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643857653544 140645034996098 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32546] ppid=32520 vsize=26538700 memory=1240 CPUtime=1433.85 cores=0-7 /proc/32522/task/32546/stat : 32546 (java) R 32520 32520 31415 0 -1 4202560 3968 0 0 0 143376 9 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643856601024 140645034996302 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32547] ppid=32520 vsize=26538700 memory=960 CPUtime=1434.05 cores=0-7 /proc/32522/task/32547/stat : 32547 (java) R 32520 32520 31415 0 -1 4202560 8641 0 0 0 143374 31 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643855548280 140645035256726 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32548] ppid=32520 vsize=26538700 memory=2340 CPUtime=1434.11 cores=0-7 /proc/32522/task/32548/stat : 32548 (java) R 32520 32520 31415 0 -1 4202560 21087 0 0 0 143298 113 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643854496184 140645035256994 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32549] ppid=32520 vsize=26538700 memory=5724376 CPUtime=1428.58 cores=0-7 /proc/32522/task/32549/stat : 32549 (java) R 32520 32520 31415 0 -1 4202560 2419 0 0 0 142854 4 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643853443384 140645035254627 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 Current children cumulated CPU time: 11470.3 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 5725904 KiB [startup+1446.5 s] /proc/loadavg: 8.10 8.20 8.15 9/208 32597 /proc/meminfo: memFree=22061224/32770624 swapFree=67108860/67108860 [pid=32520] ppid=32517 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32520/stat : 32520 (xcsp3-exec) S 32517 32520 31415 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101783232 9740288 346 33554432000 4194304 5098028 140731397547536 140731397545640 140123627483772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23744512 140731397555303 140731397555511 140731397555511 140731397558251 0 /proc/32520/statm: 2378 346 289 221 0 87 0 [pid=32522] ppid=32520 vsize=26538700 memory=5724520 CPUtime=11471.1 cores=0-7 /proc/32522/stat : 32522 (java) S 32520 32520 31415 0 -1 1077944320 142488 0 0 0 1146496 610 0 0 20 0 28 0 101783232 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140729454033648 140645405261559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 /proc/32522/statm: 6634675 1431130 3288 1 0 6621909 0 [pid=32522/tid=32523] ppid=32520 vsize=26538700 memory=1384 CPUtime=9.88 cores=0-7 /proc/32522/task/32523/stat : 32523 (java) S 32520 32520 31415 0 -1 1077944384 10296 0 0 0 955 33 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645409502336 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32524] ppid=32520 vsize=26538700 memory=5724520 CPUtime=1.69 cores=0-7 /proc/32522/task/32524/stat : 32524 (java) S 32520 32520 31415 0 -1 1077944384 2124 0 0 0 131 38 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645357882256 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32525] ppid=32520 vsize=26538700 memory=1384 CPUtime=1.71 cores=0-7 /proc/32522/task/32525/stat : 32525 (java) S 32520 32520 31415 0 -1 1077944384 2062 0 0 0 133 38 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645356829456 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32526] ppid=32520 vsize=26538700 memory=1384 CPUtime=1.69 cores=0-7 /proc/32522/task/32526/stat : 32526 (java) S 32520 32520 31415 0 -1 1077944384 1766 0 0 0 132 37 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645355777168 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32527] ppid=32520 vsize=26538700 memory=5724520 CPUtime=1.69 cores=0-7 /proc/32522/task/32527/stat : 32527 (java) S 32520 32520 31415 0 -1 1077944384 2152 0 0 0 131 38 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645354724368 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32528] ppid=32520 vsize=26538700 memory=4144 CPUtime=1.69 cores=0-7 /proc/32522/task/32528/stat : 32528 (java) S 32520 32520 31415 0 -1 1077944384 2823 0 0 0 127 42 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645353671056 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32529] ppid=32520 vsize=26538700 memory=29588 CPUtime=1.69 cores=0-7 /proc/32522/task/32529/stat : 32529 (java) S 32520 32520 31415 0 -1 1077944384 2450 0 0 0 133 36 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645352618256 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32530] ppid=32520 vsize=26538700 memory=7519156851219517776 CPUtime=1.67 cores=0-7 /proc/32522/task/32530/stat : 32530 (java) S 32520 32520 31415 0 -1 1077944384 1829 0 0 0 129 38 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645351565968 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32531] ppid=32520 vsize=26538700 memory=5792262852892967008 CPUtime=1.68 cores=0-7 /proc/32522/task/32531/stat : 32531 (java) S 32520 32520 31415 0 -1 1077944384 2609 0 0 0 131 37 0 0 20 0 28 0 101783233 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140645350513168 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32532] ppid=32520 vsize=26538700 memory=2408 CPUtime=0.25 cores=0-7 /proc/32522/task/32532/stat : 32532 (java) S 32520 32520 31415 0 -1 1077944384 9900 0 0 0 24 1 0 0 20 0 28 0 101783235 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643945908848 140645405272706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32533] ppid=32520 vsize=26538700 memory=1732 CPUtime=0 cores=0-7 /proc/32522/task/32533/stat : 32533 (java) S 32520 32520 31415 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 101783235 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643944854880 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32534] ppid=32520 vsize=26538700 memory=1224 CPUtime=0 cores=0-7 /proc/32522/task/32534/stat : 32534 (java) S 32520 32520 31415 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 101783235 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643943802496 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32535] ppid=32520 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/32522/task/32535/stat : 32535 (java) S 32520 32520 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643942750800 140645405280155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32536] ppid=32520 vsize=26538700 memory=5724520 CPUtime=1.34 cores=0-7 /proc/32522/task/32536/stat : 32536 (java) S 32520 32520 31415 0 -1 1077944384 11996 0 0 0 132 2 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643941697648 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32537] ppid=32520 vsize=26538700 memory=1384 CPUtime=1.23 cores=0-7 /proc/32522/task/32537/stat : 32537 (java) S 32520 32520 31415 0 -1 1077944384 10078 0 0 0 120 3 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643940644848 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32538] ppid=32520 vsize=26538700 memory=6791534058613427641 CPUtime=1.24 cores=0-7 /proc/32522/task/32538/stat : 32538 (java) S 32520 32520 31415 0 -1 1077944384 8060 0 0 0 122 2 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643871484272 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32539] ppid=32520 vsize=26538700 memory=5724520 CPUtime=0.71 cores=0-7 /proc/32522/task/32539/stat : 32539 (java) S 32520 32520 31415 0 -1 1077944384 9473 0 0 0 69 2 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643870431472 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32540] ppid=32520 vsize=26538700 memory=5724520 CPUtime=0 cores=0-7 /proc/32522/task/32540/stat : 32540 (java) S 32520 32520 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643869379424 140645405271765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32541] ppid=32520 vsize=26538700 memory=1384 CPUtime=0.57 cores=0-7 /proc/32522/task/32541/stat : 32541 (java) S 32520 32520 31415 0 -1 1077944384 1956 0 0 0 19 38 0 0 20 0 28 0 101783238 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643868326704 140645405272706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32542] ppid=32520 vsize=26538700 memory=5724520 CPUtime=1418.29 cores=0-7 /proc/32522/task/32542/stat : 32542 (java) R 32520 32520 31415 0 -1 4202560 2946 0 0 0 141822 7 0 0 20 0 28 0 101784360 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643860811224 140645035257228 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32543] ppid=32520 vsize=26538700 memory=1384 CPUtime=1434.21 cores=0-7 /proc/32522/task/32543/stat : 32543 (java) R 32520 32520 31415 0 -1 4202560 2756 0 0 0 143420 1 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643859759672 140645034995991 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32544] ppid=32520 vsize=26538700 memory=1384 CPUtime=1426.09 cores=0-7 /proc/32522/task/32544/stat : 32544 (java) R 32520 32520 31415 0 -1 4202560 15796 0 0 0 142527 82 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643858706152 140645035134960 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32545] ppid=32520 vsize=26538700 memory=1384 CPUtime=1432.51 cores=0-7 /proc/32522/task/32545/stat : 32545 (java) R 32520 32520 31415 0 -1 4202560 3943 0 0 0 143247 4 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643857653544 140645035257072 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32546] ppid=32520 vsize=26538700 memory=1384 CPUtime=1433.95 cores=0-7 /proc/32522/task/32546/stat : 32546 (java) R 32520 32520 31415 0 -1 4202560 3968 0 0 0 143386 9 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643856601024 140645035255981 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32547] ppid=32520 vsize=26538700 memory=1384 CPUtime=1434.15 cores=0-7 /proc/32522/task/32547/stat : 32547 (java) R 32520 32520 31415 0 -1 4202560 8641 0 0 0 143384 31 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643855548280 140645035256237 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32548] ppid=32520 vsize=26538700 memory=5724520 CPUtime=1434.21 cores=0-7 /proc/32522/task/32548/stat : 32548 (java) R 32520 32520 31415 0 -1 4202560 21088 0 0 0 143308 113 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643854496184 140645035312469 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 [pid=32522/tid=32549] ppid=32520 vsize=26538700 memory=1224 CPUtime=1428.67 cores=0-7 /proc/32522/task/32549/stat : 32549 (java) R 32520 32520 31415 0 -1 4202560 2419 0 0 0 142863 4 0 0 20 0 28 0 101784361 27175628800 1431130 33554432000 4194304 4196468 140729454051104 140643853443384 140645035256198 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 36151296 140729454052498 140729454052675 140729454052675 140729454055375 0 Current children cumulated CPU time: 11471.1 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 5725904 KiB Child status: 0 Real time (s): 1446.59 CPU time (s): 11471.5 CPU user time (s): 11465.4 CPU system time (s): 6.13624 CPU usage (%): 793.006 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 5725904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11465.4 system time used= 6.13624 maximum resident set size= 5724556 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 145090 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1288 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37311 involuntary context switches= 116234 # summary of solver processes directly reported to runsolver: # pid: 32520 # total CPU time (s): 11471.5 # total CPU user time (s): 11465.4 # total CPU system time (s): 6.13624 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.865 second user time and 17.4332 second system time The end
Begin job on node149 at 2017-08-14 06:49:25 IDJOB=4271190 IDBENCH=122829 IDSOLVER=2662 FILE ID=node149/4271190-1502687023 RUNJOBID= node149-1502680501-31442 PBS_JOBID= 20628986 Free space on /tmp= 61928 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Random/Random-RB-3-28-28f/rand-3-28-28-93-632f-05.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-4271190-1502687023/watcher-4271190-1502687023 -o /tmp/evaluation-result-4271190-1502687023/solver-4271190-1502687023 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502680501-31442 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1518167 HOME/instance-4271190-1502687023.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1bf4ccefbf8ae7bb3bb3e34b69384fe1 RANDOM SEED=1518167 node149.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.43 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.43 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.43 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.43 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: 27778644 kB MemAvailable: 31968808 kB Buffers: 289644 kB Cached: 4173124 kB SwapCached: 0 kB Active: 1181844 kB Inactive: 3337476 kB Active(anon): 59236 kB Inactive(anon): 24944 kB Active(file): 1122608 kB Inactive(file): 3312532 kB Unevictable: 6360 kB Mlocked: 6360 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 14308 kB Writeback: 0 kB AnonPages: 55940 kB Mapped: 44672 kB Shmem: 25224 kB Slab: 168328 kB SReclaimable: 141716 kB SUnreclaim: 26612 kB KernelStack: 3536 kB PageTables: 5440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324324 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61920 MiB End job on node149 at 2017-08-14 07:13:32