Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 7 | 52.6607 | 7.9981 |
Name | PeacableArmies/ PeacableArmies-m2-07_c18.xml |
MD5SUM | d533abf730bec48b9e0ac1943d19d6b7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 9.6335 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 51 |
Number of constraints | 479 |
Number of domains | 2 |
Minimum domain size | 3 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":3,"count":49},{"size":24,"count":2}] |
Minimum variable degree | 2 |
Maximum variable degree | 26 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":1},{"degree":20,"count":24},{"degree":22,"count":16},{"degree":24,"count":8},{"degree":26,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":2,"count":477},{"arity":50,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 477 |
Distribution of constraint types | [{"type":"intension","count":477},{"type":"count","count":2}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407368-1569350607.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407368-1569350607.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 3.04/1.56 c solve instance... 3.04/1.59 o 6 3.48/1.66 o 7 51.95/7.98 s OPTIMUM FOUND 51.95/7.98 v <instantiation> 51.95/7.98 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] nb nw </list> 51.95/7.98 v <values>0 0 0 0 1 0 1 2 2 2 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 2 0 2 0 0 0 2 0 2 0 0 0 0 0 0 0 0 1 0 0 7 7 </values> 51.95/7.98 v </instantiation>
OK 7
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 (9629 MiB free) memory of node 1: 16384 MiB (15011 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407368-1569350607/watcher-4407368-1569350607 -o /tmp/evaluation-result-4407368-1569350607/solver-4407368-1569350607 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 81567665 HOME/instance-4407368-1569350607.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=5822, runsolver pid=5819 Current StackSize limit: 8192 KiB [startup+0.100134 s]* /proc/loadavg: 4.56 3.48 5.12 4/211 5843 /proc/meminfo: memFree=25215108/32770624 swapFree=66999760/67108860 [pid=5822] ppid=5819 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5822/stat : 5822 (xcsp3-exec) S 5819 5822 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511314660 115843072 362 33554432000 4194304 5098028 140728169967168 140728169965272 140247358321276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37937152 140728169972605 140728169972846 140728169972846 140728169975754 0 /proc/5822/statm: 28282 362 304 221 0 87 0 [pid=5824] ppid=5822 vsize=28227396 memory=28620 CPUtime=0.12 cores=0-7 /proc/5824/stat : 5824 (java) S 5822 5822 31481 0 -1 1077944320 5633 0 0 0 11 1 0 0 20 0 20 0 511314660 28904853504 7155 33554432000 4194304 4196468 140724609681920 140724609664464 139848500190967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 /proc/5824/statm: 7056849 7155 3124 1 0 7019032 0 [pid=5824/tid=5825] ppid=5822 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/5824/task/5825/stat : 5825 (java) R 5822 5822 31481 0 -1 4202560 3573 0 0 0 8 1 0 0 20 0 20 0 511314661 28904853504 7155 33554432000 4194304 4196468 140724609681920 139848504424240 139848484234597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5826] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5826/stat : 5826 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 7155 33554432000 4194304 4196468 140724609681920 139848452811920 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5827] ppid=5822 vsize=28227396 memory=139724763036608 CPUtime=0 cores=0-7 /proc/5824/task/5827/stat : 5827 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 7155 33554432000 4194304 4196468 140724609681920 139848451759120 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5828] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5828/stat : 5828 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 7155 33554432000 4194304 4196468 140724609681920 139848450706320 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5829] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5829/stat : 5829 (java) S 5822 5822 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 7155 33554432000 4194304 4196468 140724609681920 139848449653520 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5830] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5830/stat : 5830 (java) S 5822 5822 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 7155 33554432000 4194304 4196468 140724609681920 139848448600720 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5831] ppid=5822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5824/task/5831/stat : 5831 (java) S 5822 5822 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 7155 33554432000 4194304 4196468 140724609681920 139848447547920 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5832] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5832/stat : 5832 (java) S 5822 5822 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 7155 33554432000 4194304 4196468 140724609681920 139848446495120 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5833] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5833/stat : 5833 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 7155 33554432000 4194304 4196468 140724609681920 139848445442320 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5834] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5834/stat : 5834 (java) S 5822 5822 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511314663 28904853504 7155 33554432000 4194304 4196468 140724609681920 139846627715952 139848500202114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5835] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5835/stat : 5835 (java) S 5822 5822 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511314663 28904853504 7155 33554432000 4194304 4196468 140724609681920 139846626661920 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5836] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5836/stat : 5836 (java) S 5822 5822 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511314664 28904853504 7155 33554432000 4194304 4196468 140724609681920 139846625609072 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5837] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5837/stat : 5837 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314666 28904853504 7155 33554432000 4194304 4196468 140724609681920 139846624557392 139848500209563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5838] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5838/stat : 5838 (java) S 5822 5822 31481 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 511314666 28904853504 7155 33554432000 4194304 4196468 140724609681920 139846623504752 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5839] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5839/stat : 5839 (java) R 5822 5822 31481 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 511314666 28904853504 7155 33554432000 4194304 4196468 140724609681920 139846622451952 139848500202114 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5840] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5840/stat : 5840 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314666 28904853504 7155 33554432000 4194304 4196468 140724609681920 139846621399152 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5841] ppid=5822 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/5824/task/5841/stat : 5841 (java) R 5822 5822 31481 0 -1 4202560 342 0 0 0 1 0 0 0 20 0 20 0 511314666 28904853504 7155 33554432000 4194304 4196468 140724609681920 139846620346352 139848500202902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5842] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5842/stat : 5842 (java) S 5822 5822 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511314666 28904853504 7155 33554432000 4194304 4196468 140724609681920 139846619294816 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5843] ppid=5822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5824/task/5843/stat : 5843 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314666 28904853504 7155 33554432000 4194304 4196468 140724609681920 139846310779952 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30068 KiB [startup+0.210775 s]* /proc/loadavg: 4.56 3.48 5.12 3/211 5843 /proc/meminfo: memFree=25202280/32770624 swapFree=66999760/67108860 [pid=5822] ppid=5819 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5822/stat : 5822 (xcsp3-exec) S 5819 5822 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511314660 115843072 362 33554432000 4194304 5098028 140728169967168 140728169965272 140247358321276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37937152 140728169972605 140728169972846 140728169972846 140728169975754 0 /proc/5822/statm: 28282 362 304 221 0 87 0 [pid=5824] ppid=5822 vsize=28227396 memory=40596 CPUtime=0.33 cores=0-7 /proc/5824/stat : 5824 (java) S 5822 5822 31481 0 -1 1077944320 9382 0 0 0 30 3 0 0 20 0 20 0 511314660 28904853504 10149 33554432000 4194304 4196468 140724609681920 140724609664464 139848500190967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 /proc/5824/statm: 7056849 10149 3294 1 0 7019032 0 [pid=5824/tid=5825] ppid=5822 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/5824/task/5825/stat : 5825 (java) R 5822 5822 31481 0 -1 4202560 6591 0 0 0 17 3 0 0 20 0 20 0 511314661 28904853504 10149 33554432000 4194304 4196468 140724609681920 139848504424896 139848484271454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5826] ppid=5822 vsize=28227396 memory=288230596118053219 CPUtime=0 cores=0-7 /proc/5824/task/5826/stat : 5826 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 10149 33554432000 4194304 4196468 140724609681920 139848452811920 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5827] ppid=5822 vsize=28227396 memory=4122395958429787808 CPUtime=0 cores=0-7 /proc/5824/task/5827/stat : 5827 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 10149 33554432000 4194304 4196468 140724609681920 139848451759120 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5828] ppid=5822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5824/task/5828/stat : 5828 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 10149 33554432000 4194304 4196468 140724609681920 139848450706320 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5829] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5829/stat : 5829 (java) S 5822 5822 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 10149 33554432000 4194304 4196468 140724609681920 139848449653520 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5830] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5830/stat : 5830 (java) S 5822 5822 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 10149 33554432000 4194304 4196468 140724609681920 139848448600720 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5831] ppid=5822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5824/task/5831/stat : 5831 (java) S 5822 5822 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 10149 33554432000 4194304 4196468 140724609681920 139848447547920 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5832] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5832/stat : 5832 (java) S 5822 5822 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 10149 33554432000 4194304 4196468 140724609681920 139848446495120 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5833] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5833/stat : 5833 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314661 28904853504 10149 33554432000 4194304 4196468 140724609681920 139848445442320 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5834] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5834/stat : 5834 (java) S 5822 5822 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511314663 28904853504 10149 33554432000 4194304 4196468 140724609681920 139846627715952 139848500202114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5835] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5835/stat : 5835 (java) S 5822 5822 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511314663 28904853504 10149 33554432000 4194304 4196468 140724609681920 139846626661920 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5836] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5836/stat : 5836 (java) S 5822 5822 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511314664 28904853504 10149 33554432000 4194304 4196468 140724609681920 139846625609072 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5837] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5837/stat : 5837 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314666 28904853504 10149 33554432000 4194304 4196468 140724609681920 139846624557392 139848500209563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5838] ppid=5822 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/5824/task/5838/stat : 5838 (java) S 5822 5822 31481 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 20 0 511314666 28904853504 10149 33554432000 4194304 4196468 140724609681920 139846623504752 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5839] ppid=5822 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/5824/task/5839/stat : 5839 (java) S 5822 5822 31481 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 20 0 511314666 28904853504 10149 33554432000 4194304 4196468 140724609681920 139846622451952 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5840] ppid=5822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5824/task/5840/stat : 5840 (java) S 5822 5822 31481 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 511314666 28904853504 10149 33554432000 4194304 4196468 140724609681920 139846621399152 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5841] ppid=5822 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/5824/task/5841/stat : 5841 (java) R 5822 5822 31481 0 -1 4202560 812 0 0 0 8 0 0 0 20 0 20 0 511314666 28904853504 10149 33554432000 4194304 4196468 140724609681920 139846620346352 139848478306722 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5842] ppid=5822 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5842/stat : 5842 (java) S 5822 5822 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511314666 28904853504 10149 33554432000 4194304 4196468 140724609681920 139846619294816 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5843] ppid=5822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5824/task/5843/stat : 5843 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314666 28904853504 10149 33554432000 4194304 4196468 140724609681920 139846310779952 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42044 KiB [startup+0.310335 s]* /proc/loadavg: 4.56 3.48 5.12 4/211 5843 /proc/meminfo: memFree=25182108/32770624 swapFree=66999760/67108860 [pid=5822] ppid=5819 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5822/stat : 5822 (xcsp3-exec) S 5819 5822 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511314660 115843072 362 33554432000 4194304 5098028 140728169967168 140728169965272 140247358321276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37937152 140728169972605 140728169972846 140728169972846 140728169975754 0 /proc/5822/statm: 28282 362 304 221 0 87 0 [pid=5824] ppid=5822 vsize=28231652 memory=49956 CPUtime=0.52 cores=0-7 /proc/5824/stat : 5824 (java) S 5822 5822 31481 0 -1 1077944320 10896 0 0 0 48 4 0 0 20 0 20 0 511314660 28909211648 12489 33554432000 4194304 4196468 140724609681920 140724609664464 139848500190967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 /proc/5824/statm: 7057913 12489 3340 1 0 7019032 0 [pid=5824/tid=5825] ppid=5822 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/5824/task/5825/stat : 5825 (java) R 5822 5822 31481 0 -1 4202560 7757 0 0 0 26 3 0 0 20 0 20 0 511314661 28909211648 12489 33554432000 4194304 4196468 140724609681920 139848504422080 139848484271454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5826] ppid=5822 vsize=28231652 memory=2116 CPUtime=0 cores=0-7 /proc/5824/task/5826/stat : 5826 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314661 28909211648 12489 33554432000 4194304 4196468 140724609681920 139848452811920 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5827] ppid=5822 vsize=28231652 memory=24092 CPUtime=0 cores=0-7 /proc/5824/task/5827/stat : 5827 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314661 28909211648 12489 33554432000 4194304 4196468 140724609681920 139848451759120 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5828] ppid=5822 vsize=28231652 memory=12024 CPUtime=0 cores=0-7 /proc/5824/task/5828/stat : 5828 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314661 28909211648 12489 33554432000 4194304 4196468 140724609681920 139848450706320 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5829] ppid=5822 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5829/stat : 5829 (java) S 5822 5822 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511314661 28909211648 12489 33554432000 4194304 4196468 140724609681920 139848449653520 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5830] ppid=5822 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5830/stat : 5830 (java) S 5822 5822 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511314661 28909211648 12489 33554432000 4194304 4196468 140724609681920 139848448600720 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5831] ppid=5822 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5831/stat : 5831 (java) S 5822 5822 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511314661 28909211648 12489 33554432000 4194304 4196468 140724609681920 139848447547920 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5832] ppid=5822 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5832/stat : 5832 (java) S 5822 5822 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511314661 28909211648 12489 33554432000 4194304 4196468 140724609681920 139848446495120 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5833] ppid=5822 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5833/stat : 5833 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314661 28909211648 12489 33554432000 4194304 4196468 140724609681920 139848445442320 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5834] ppid=5822 vsize=28231652 memory=139724614363872 CPUtime=0 cores=0-7 /proc/5824/task/5834/stat : 5834 (java) S 5822 5822 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511314663 28909211648 12489 33554432000 4194304 4196468 140724609681920 139846627715952 139848500202114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5835] ppid=5822 vsize=28231652 memory=279449228732288 CPUtime=0 cores=0-7 /proc/5824/task/5835/stat : 5835 (java) S 5822 5822 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511314663 28909211648 12489 33554432000 4194304 4196468 140724609681920 139846626661920 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5836] ppid=5822 vsize=28231652 memory=279449228736896 CPUtime=0 cores=0-7 /proc/5824/task/5836/stat : 5836 (java) S 5822 5822 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511314664 28909211648 12489 33554432000 4194304 4196468 140724609681920 139846625609072 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5837] ppid=5822 vsize=28231652 memory=279449228741504 CPUtime=0 cores=0-7 /proc/5824/task/5837/stat : 5837 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314666 28909211648 12489 33554432000 4194304 4196468 140724609681920 139846624557392 139848500209563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5838] ppid=5822 vsize=28231652 memory=279449228746112 CPUtime=0.03 cores=0-7 /proc/5824/task/5838/stat : 5838 (java) S 5822 5822 31481 0 -1 1077944384 376 0 0 0 3 0 0 0 20 0 20 0 511314666 28909211648 12489 33554432000 4194304 4196468 140724609681920 139846623504752 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5839] ppid=5822 vsize=28231652 memory=279449228750720 CPUtime=0.03 cores=0-7 /proc/5824/task/5839/stat : 5839 (java) S 5822 5822 31481 0 -1 1077944384 302 0 0 0 3 0 0 0 20 0 20 0 511314666 28909211648 12489 33554432000 4194304 4196468 140724609681920 139846622451952 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5840] ppid=5822 vsize=28231652 memory=279449228755328 CPUtime=0.02 cores=0-7 /proc/5824/task/5840/stat : 5840 (java) R 5822 5822 31481 0 -1 4202560 183 0 0 0 2 0 0 0 20 0 20 0 511314666 28909211648 12489 33554432000 4194304 4196468 140724609681920 139846621389536 139848481712213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5841] ppid=5822 vsize=28231652 memory=279449228759936 CPUtime=0.12 cores=0-7 /proc/5824/task/5841/stat : 5841 (java) S 5822 5822 31481 0 -1 1077944384 990 0 0 0 12 0 0 0 20 0 20 0 511314666 28909211648 12489 33554432000 4194304 4196468 140724609681920 139846620346352 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5842] ppid=5822 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5824/task/5842/stat : 5842 (java) S 5822 5822 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511314666 28909211648 12489 33554432000 4194304 4196468 140724609681920 139846619294816 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5843] ppid=5822 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/5824/task/5843/stat : 5843 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314666 28909211648 12489 33554432000 4194304 4196468 140724609681920 139846310779952 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51404 KiB [startup+0.877267 s]* /proc/loadavg: 4.27 3.44 5.09 3/211 5843 /proc/meminfo: memFree=25190320/32770624 swapFree=66999760/67108860 [pid=5822] ppid=5819 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5822/stat : 5822 (xcsp3-exec) S 5819 5822 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511314660 115843072 362 33554432000 4194304 5098028 140728169967168 140728169965272 140247358321276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37937152 140728169972605 140728169972846 140728169972846 140728169975754 0 /proc/5822/statm: 28282 362 304 221 0 87 0 [pid=5824] ppid=5822 vsize=28231728 memory=55160 CPUtime=0.75 cores=0-7 /proc/5824/stat : 5824 (java) S 5822 5822 31481 0 -1 1077944320 11621 0 0 0 70 5 0 0 20 0 20 0 511314660 28909289472 13790 33554432000 4194304 4196468 140724609681920 140724609664464 139848500190967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 /proc/5824/statm: 7057932 13790 3387 1 0 7019032 0 [pid=5824/tid=5825] ppid=5822 vsize=28231728 memory=8318255677412212789 CPUtime=0.4 cores=0-7 /proc/5824/task/5825/stat : 5825 (java) S 5822 5822 31481 0 -1 1077944384 8212 0 0 0 37 3 0 0 20 0 20 0 511314661 28909289472 13790 33554432000 4194304 4196468 140724609681920 139848504427376 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5826] ppid=5822 vsize=28231728 memory=288230596118053219 CPUtime=0 cores=0-7 /proc/5824/task/5826/stat : 5826 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314661 28909289472 13790 33554432000 4194304 4196468 140724609681920 139848452811920 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5827] ppid=5822 vsize=28231728 memory=4122395958429787808 CPUtime=0 cores=0-7 /proc/5824/task/5827/stat : 5827 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314661 28909289472 13790 33554432000 4194304 4196468 140724609681920 139848451759120 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5828] ppid=5822 vsize=28231728 memory=-1 CPUtime=0 cores=0-7 /proc/5824/task/5828/stat : 5828 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511314661 28909289472 13790 33554432000 4194304 4196468 140724609681920 139848450706320 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 ################ # More data... # ################ [pid=5824/tid=5841] ppid=5822 vsize=28768336 memory=984 CPUtime=0.8 cores=0-7 /proc/5824/task/5841/stat : 5841 (java) S 5822 5822 31481 0 -1 1077944384 4392 0 0 0 79 1 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846620346352 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5842] ppid=5822 vsize=28768336 memory=2024 CPUtime=0 cores=0-7 /proc/5824/task/5842/stat : 5842 (java) S 5822 5822 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846619294816 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5843] ppid=5822 vsize=28768336 memory=1376 CPUtime=0 cores=0-7 /proc/5824/task/5843/stat : 5843 (java) S 5822 5822 31481 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846310779952 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5860] ppid=5822 vsize=28768336 memory=1128 CPUtime=5.08 cores=0-7 /proc/5824/task/5860/stat : 5860 (java) R 5822 5822 31481 0 -1 4202560 366 0 0 0 507 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846300748944 139848479916102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5861] ppid=5822 vsize=28768336 memory=772 CPUtime=5.14 cores=0-7 /proc/5824/task/5861/stat : 5861 (java) R 5822 5822 31481 0 -1 4202560 87 0 0 0 513 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846294433984 139848120137374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5862] ppid=5822 vsize=28768336 memory=3648 CPUtime=5.41 cores=0-7 /proc/5824/task/5862/stat : 5862 (java) R 5822 5822 31481 0 -1 4202560 70 0 0 0 540 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846299697216 139848120179853 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5863] ppid=5822 vsize=28768336 memory=948 CPUtime=5.16 cores=0-7 /proc/5824/task/5863/stat : 5863 (java) R 5822 5822 31481 0 -1 4202560 226 0 0 0 515 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846298640912 139848119217383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5864] ppid=5822 vsize=28768336 memory=2832 CPUtime=5.21 cores=0-7 /proc/5824/task/5864/stat : 5864 (java) R 5822 5822 31481 0 -1 4202560 113 0 0 0 520 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846296538704 139848117964742 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5865] ppid=5822 vsize=28768336 memory=9588 CPUtime=5.41 cores=0-7 /proc/5824/task/5865/stat : 5865 (java) R 5822 5822 31481 0 -1 4202560 153 0 0 0 541 0 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846295482368 139848120104284 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5866] ppid=5822 vsize=28768336 memory=1548 CPUtime=4.95 cores=0-7 /proc/5824/task/5866/stat : 5866 (java) R 5822 5822 31481 0 -1 4202560 78 0 0 0 494 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846301802976 139848118533936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5867] ppid=5822 vsize=28768336 memory=628 CPUtime=5.11 cores=0-7 /proc/5824/task/5867/stat : 5867 (java) R 5822 5822 31481 0 -1 4202560 97 0 0 0 511 0 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846297590256 139848120670500 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 Current children cumulated CPU time: 49.63 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 233376 KiB [startup+7.81043 s] /proc/loadavg: 4.57 3.52 5.11 9/219 5867 /proc/meminfo: memFree=25011232/32770624 swapFree=66999760/67108860 [pid=5822] ppid=5819 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5822/stat : 5822 (xcsp3-exec) S 5819 5822 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511314660 115843072 362 33554432000 4194304 5098028 140728169967168 140728169965272 140247358321276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37937152 140728169972605 140728169972846 140728169972846 140728169975754 0 /proc/5822/statm: 28282 362 304 221 0 87 0 [pid=5824] ppid=5822 vsize=28768336 memory=231928 CPUtime=51.22 cores=0-7 /proc/5824/stat : 5824 (java) S 5822 5822 31481 0 -1 1077944320 36703 0 0 0 5093 29 0 0 20 0 28 0 511314660 29458776064 57982 33554432000 4194304 4196468 140724609681920 140724609664464 139848500190967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 /proc/5824/statm: 7192084 57982 3523 1 0 7153184 0 [pid=5824/tid=5825] ppid=5822 vsize=28768336 memory=206 CPUtime=1.09 cores=0-7 /proc/5824/task/5825/stat : 5825 (java) S 5822 5822 31481 0 -1 1077944384 9749 0 0 0 103 6 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848504431744 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5826] ppid=5822 vsize=28768336 memory=8112282956445269571 CPUtime=0.02 cores=0-7 /proc/5824/task/5826/stat : 5826 (java) S 5822 5822 31481 0 -1 1077944384 34 0 0 0 2 0 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848452811920 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5827] ppid=5822 vsize=28768336 memory=288230617509003574 CPUtime=0.02 cores=0-7 /proc/5824/task/5827/stat : 5827 (java) S 5822 5822 31481 0 -1 1077944384 126 0 0 0 2 0 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848451759120 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5828] ppid=5822 vsize=28768336 memory=14978875360806793 CPUtime=0.01 cores=0-7 /proc/5824/task/5828/stat : 5828 (java) S 5822 5822 31481 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848450706320 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5829] ppid=5822 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/5824/task/5829/stat : 5829 (java) S 5822 5822 31481 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848449653520 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5830] ppid=5822 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7 /proc/5824/task/5830/stat : 5830 (java) S 5822 5822 31481 0 -1 1077944384 976 0 0 0 2 1 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848448600720 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5831] ppid=5822 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/5824/task/5831/stat : 5831 (java) S 5822 5822 31481 0 -1 1077944384 203 0 0 0 2 0 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848447547920 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5832] ppid=5822 vsize=28768336 memory=6944652177228980320 CPUtime=0.02 cores=0-7 /proc/5824/task/5832/stat : 5832 (java) S 5822 5822 31481 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848446495120 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5833] ppid=5822 vsize=28768336 memory=6944656592455359580 CPUtime=0.02 cores=0-7 /proc/5824/task/5833/stat : 5833 (java) S 5822 5822 31481 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848445442320 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5834] ppid=5822 vsize=28768336 memory=6944656592387989600 CPUtime=0.02 cores=0-7 /proc/5824/task/5834/stat : 5834 (java) S 5822 5822 31481 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 28 0 511314663 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846627715952 139848500202114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5835] ppid=5822 vsize=28768336 memory=7451323679690608747 CPUtime=0 cores=0-7 /proc/5824/task/5835/stat : 5835 (java) S 5822 5822 31481 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 511314663 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846626661984 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5836] ppid=5822 vsize=28768336 memory=7665242462125844816 CPUtime=0 cores=0-7 /proc/5824/task/5836/stat : 5836 (java) S 5822 5822 31481 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 511314664 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846625609088 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5837] ppid=5822 vsize=28768336 memory=7811890908703773012 CPUtime=0 cores=0-7 /proc/5824/task/5837/stat : 5837 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846624557392 139848500209563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5838] ppid=5822 vsize=28768336 memory=7597132098393106257 CPUtime=1.81 cores=0-7 /proc/5824/task/5838/stat : 5838 (java) S 5822 5822 31481 0 -1 1077944384 5843 0 0 0 180 1 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846623504752 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5839] ppid=5822 vsize=28768336 memory=7956284311809123648 CPUtime=1.89 cores=0-7 /proc/5824/task/5839/stat : 5839 (java) S 5822 5822 31481 0 -1 1077944384 6317 0 0 0 188 1 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846622451952 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5840] ppid=5822 vsize=28768336 memory=14012 CPUtime=1.84 cores=0-7 /proc/5824/task/5840/stat : 5840 (java) S 5822 5822 31481 0 -1 1077944384 5155 0 0 0 183 1 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846621399152 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5841] ppid=5822 vsize=28768336 memory=2116 CPUtime=0.8 cores=0-7 /proc/5824/task/5841/stat : 5841 (java) S 5822 5822 31481 0 -1 1077944384 4392 0 0 0 79 1 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846620346352 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5842] ppid=5822 vsize=28768336 memory=24092 CPUtime=0 cores=0-7 /proc/5824/task/5842/stat : 5842 (java) S 5822 5822 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846619294816 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5843] ppid=5822 vsize=28768336 memory=12024 CPUtime=0 cores=0-7 /proc/5824/task/5843/stat : 5843 (java) S 5822 5822 31481 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846310779952 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5860] ppid=5822 vsize=28768336 memory=1556 CPUtime=5.28 cores=0-7 /proc/5824/task/5860/stat : 5860 (java) S 5822 5822 31481 0 -1 1077944384 374 0 0 0 527 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846300748848 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5861] ppid=5822 vsize=28768336 memory=500 CPUtime=5.34 cores=0-7 /proc/5824/task/5861/stat : 5861 (java) R 5822 5822 31481 0 -1 4202560 87 0 0 0 533 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846294433984 139848120277791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5862] ppid=5822 vsize=28768336 memory=928 CPUtime=5.62 cores=0-7 /proc/5824/task/5862/stat : 5862 (java) R 5822 5822 31481 0 -1 4202560 90 0 0 0 561 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846299697216 139848120671428 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5863] ppid=5822 vsize=28768336 memory=1728 CPUtime=5.36 cores=0-7 /proc/5824/task/5863/stat : 5863 (java) R 5822 5822 31481 0 -1 4202560 227 0 0 0 535 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846298644320 139848115281659 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5864] ppid=5822 vsize=28768336 memory=1448 CPUtime=5.41 cores=0-7 /proc/5824/task/5864/stat : 5864 (java) R 5822 5822 31481 0 -1 4202560 114 0 0 0 540 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846296538848 139848119516655 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5865] ppid=5822 vsize=28768336 memory=860 CPUtime=5.61 cores=0-7 /proc/5824/task/5865/stat : 5865 (java) R 5822 5822 31481 0 -1 4202560 153 0 0 0 561 0 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846295486144 139848484529779 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5866] ppid=5822 vsize=28768336 memory=1980 CPUtime=5.15 cores=0-7 /proc/5824/task/5866/stat : 5866 (java) R 5822 5822 31481 0 -1 1077944384 78 0 0 0 514 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846301803072 139848500201173 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5867] ppid=5822 vsize=28768336 memory=2552 CPUtime=5.31 cores=0-7 /proc/5824/task/5867/stat : 5867 (java) R 5822 5822 31481 0 -1 4202560 97 0 0 0 531 0 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846297592160 139848118210385 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 Current children cumulated CPU time: 51.22 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 233376 KiB [startup+7.90126 s] /proc/loadavg: 4.57 3.52 5.11 9/219 5867 /proc/meminfo: memFree=25011232/32770624 swapFree=66999760/67108860 [pid=5822] ppid=5819 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5822/stat : 5822 (xcsp3-exec) S 5819 5822 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511314660 115843072 362 33554432000 4194304 5098028 140728169967168 140728169965272 140247358321276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37937152 140728169972605 140728169972846 140728169972846 140728169975754 0 /proc/5822/statm: 28282 362 304 221 0 87 0 [pid=5824] ppid=5822 vsize=28768336 memory=231928 CPUtime=51.95 cores=0-7 /proc/5824/stat : 5824 (java) S 5822 5822 31481 0 -1 1077944320 36705 0 0 0 5166 29 0 0 20 0 28 0 511314660 29458776064 57982 33554432000 4194304 4196468 140724609681920 140724609664464 139848500190967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 /proc/5824/statm: 7192084 57982 3523 1 0 7153184 0 [pid=5824/tid=5825] ppid=5822 vsize=28768336 memory=1716 CPUtime=1.09 cores=0-7 /proc/5824/task/5825/stat : 5825 (java) S 5822 5822 31481 0 -1 1077944384 9749 0 0 0 103 6 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848504431744 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5826] ppid=5822 vsize=28768336 memory=6168 CPUtime=0.02 cores=0-7 /proc/5824/task/5826/stat : 5826 (java) S 5822 5822 31481 0 -1 1077944384 34 0 0 0 2 0 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848452811920 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5827] ppid=5822 vsize=28768336 memory=232192 CPUtime=0.02 cores=0-7 /proc/5824/task/5827/stat : 5827 (java) S 5822 5822 31481 0 -1 1077944384 126 0 0 0 2 0 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848451759120 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5828] ppid=5822 vsize=28768336 memory=1448 CPUtime=0.01 cores=0-7 /proc/5824/task/5828/stat : 5828 (java) S 5822 5822 31481 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848450706320 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5829] ppid=5822 vsize=28768336 memory=233224 CPUtime=0.01 cores=0-7 /proc/5824/task/5829/stat : 5829 (java) S 5822 5822 31481 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848449653520 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5830] ppid=5822 vsize=28768336 memory=1760 CPUtime=0.03 cores=0-7 /proc/5824/task/5830/stat : 5830 (java) S 5822 5822 31481 0 -1 1077944384 976 0 0 0 2 1 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848448600720 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5831] ppid=5822 vsize=28768336 memory=111632 CPUtime=0.02 cores=0-7 /proc/5824/task/5831/stat : 5831 (java) S 5822 5822 31481 0 -1 1077944384 203 0 0 0 2 0 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848447547920 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5832] ppid=5822 vsize=28768336 memory=800 CPUtime=0.02 cores=0-7 /proc/5824/task/5832/stat : 5832 (java) S 5822 5822 31481 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848446495120 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5833] ppid=5822 vsize=28768336 memory=233224 CPUtime=0.02 cores=0-7 /proc/5824/task/5833/stat : 5833 (java) S 5822 5822 31481 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 28 0 511314661 29458776064 57982 33554432000 4194304 4196468 140724609681920 139848445442320 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5834] ppid=5822 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/5824/task/5834/stat : 5834 (java) S 5822 5822 31481 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 28 0 511314663 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846627715952 139848500202114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5835] ppid=5822 vsize=28768336 memory=279449228956080 CPUtime=0 cores=0-7 /proc/5824/task/5835/stat : 5835 (java) S 5822 5822 31481 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 511314663 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846626661984 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5836] ppid=5822 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/5824/task/5836/stat : 5836 (java) S 5822 5822 31481 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 511314664 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846625609088 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5837] ppid=5822 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/5824/task/5837/stat : 5837 (java) S 5822 5822 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846624557392 139848500209563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5838] ppid=5822 vsize=28768336 memory=0 CPUtime=1.81 cores=0-7 /proc/5824/task/5838/stat : 5838 (java) S 5822 5822 31481 0 -1 1077944384 5843 0 0 0 180 1 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846623504752 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5839] ppid=5822 vsize=28768336 memory=279449229746496 CPUtime=1.89 cores=0-7 /proc/5824/task/5839/stat : 5839 (java) S 5822 5822 31481 0 -1 1077944384 6317 0 0 0 188 1 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846622451952 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5840] ppid=5822 vsize=28768336 memory=139724614879062 CPUtime=1.84 cores=0-7 /proc/5824/task/5840/stat : 5840 (java) S 5822 5822 31481 0 -1 1077944384 5155 0 0 0 183 1 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846621399152 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5841] ppid=5822 vsize=28768336 memory=279449229755456 CPUtime=0.8 cores=0-7 /proc/5824/task/5841/stat : 5841 (java) S 5822 5822 31481 0 -1 1077944384 4392 0 0 0 79 1 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846620346352 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5842] ppid=5822 vsize=28768336 memory=55 CPUtime=0 cores=0-7 /proc/5824/task/5842/stat : 5842 (java) S 5822 5822 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846619294816 139848500201173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5843] ppid=5822 vsize=28768336 memory=6363679124350472324 CPUtime=0 cores=0-7 /proc/5824/task/5843/stat : 5843 (java) S 5822 5822 31481 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 511314666 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846310779952 139848500202114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5860] ppid=5822 vsize=28768336 memory=0 CPUtime=5.37 cores=0-7 /proc/5824/task/5860/stat : 5860 (java) R 5822 5822 31481 0 -1 4202560 375 0 0 0 536 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846300748848 139848481030468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5861] ppid=5822 vsize=28768336 memory=0 CPUtime=5.43 cores=0-7 /proc/5824/task/5861/stat : 5861 (java) R 5822 5822 31481 0 -1 4202560 87 0 0 0 542 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846294433888 139848119824940 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5862] ppid=5822 vsize=28768336 memory=226556 CPUtime=5.71 cores=0-7 /proc/5824/task/5862/stat : 5862 (java) R 5822 5822 31481 0 -1 4202560 91 0 0 0 570 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846299697120 139848120443645 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5863] ppid=5822 vsize=28768336 memory=3539886714521927623 CPUtime=5.45 cores=0-7 /proc/5824/task/5863/stat : 5863 (java) R 5822 5822 31481 0 -1 4202560 227 0 0 0 544 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846298644416 139848118998556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5864] ppid=5822 vsize=28768336 memory=33 CPUtime=5.5 cores=0-7 /proc/5824/task/5864/stat : 5864 (java) R 5822 5822 31481 0 -1 4202560 114 0 0 0 549 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846296538848 139848119186389 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5865] ppid=5822 vsize=28768336 memory=6226629333149445482 CPUtime=5.7 cores=0-7 /proc/5824/task/5865/stat : 5865 (java) R 5822 5822 31481 0 -1 4202560 153 0 0 0 570 0 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846295486144 139848119186266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5866] ppid=5822 vsize=28768336 memory=1448 CPUtime=5.23 cores=0-7 /proc/5824/task/5866/stat : 5866 (java) R 5822 5822 31481 0 -1 4202560 78 0 0 0 522 1 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846301803464 139848118998403 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 [pid=5824/tid=5867] ppid=5822 vsize=28768336 memory=213164 CPUtime=5.4 cores=0-7 /proc/5824/task/5867/stat : 5867 (java) R 5822 5822 31481 0 -1 4202560 97 0 0 0 540 0 0 0 20 0 28 0 511314827 29458776064 57982 33554432000 4194304 4196468 140724609681920 139846297592160 139848118533505 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140724609684464 140724609684635 140724609684635 140724609687503 0 Current children cumulated CPU time: 51.95 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 233376 KiB Child status: 0 Real time (s): 7.9981 CPU time (s): 52.6607 CPU user time (s): 52.3534 CPU system time (s): 0.307275 CPU usage (%): 658.415 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 236368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 52.3534 system time used= 0.307275 maximum resident set size= 238348 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37950 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22866 involuntary context switches= 700 # summary of solver processes directly reported to runsolver: # pid: 5822 # total CPU time (s): 52.6607 # total CPU user time (s): 52.3534 # total CPU system time (s): 0.307275 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.097655 second user time and 0.110743 second system time The end
Begin job on node106 at 2019-09-24 19:42:03 IDJOB=4407368 IDBENCH=141494 IDSOLVER=2872 FILE ID=node106/4407368-1569350607 RUNJOBID= node106-1569332296-31508 PBS_JOBID= 21705069 Free space on /tmp= 23488 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m2-07_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407368-1569350607/watcher-4407368-1569350607 -o /tmp/evaluation-result-4407368-1569350607/solver-4407368-1569350607 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 81567665 HOME/instance-4407368-1569350607.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d533abf730bec48b9e0ac1943d19d6b7 RANDOM SEED=81567665 node106.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.79 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.79 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.79 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.79 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: 25233164 kB MemAvailable: 31843796 kB Buffers: 96368 kB Cached: 6685440 kB SwapCached: 4572 kB Active: 3396700 kB Inactive: 3395428 kB Active(anon): 4480 kB Inactive(anon): 58172 kB Active(file): 3392220 kB Inactive(file): 3337256 kB Unevictable: 107312 kB Mlocked: 107312 kB SwapTotal: 67108860 kB SwapFree: 66999760 kB Dirty: 25972 kB Writeback: 0 kB AnonPages: 117704 kB Mapped: 54564 kB Shmem: 43716 kB Slab: 338516 kB SReclaimable: 309616 kB SUnreclaim: 28900 kB KernelStack: 3696 kB PageTables: 5260 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507452 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 23464 MiB End job on node106 at 2019-09-24 19:42:11