Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 20 | 34.1678 | 5.14706 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-20-4-5-8.xml |
MD5SUM | cc4f118531160cfe6c95c1294546deff |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 13.7433 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of constraints | 81 |
Number of domains | 21 |
Minimum domain size | 4 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":4,"count":7},{"size":5,"count":7},{"size":6,"count":6},{"size":21,"count":40}] |
Minimum variable degree | 2 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":2,"count":20},{"degree":21,"count":19},{"degree":22,"count":1},{"degree":23,"count":20}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 21 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":40},{"arity":20,"count":20},{"arity":21,"count":20}] |
Number of extensional constraints | 40 |
Number of intensional constraints | 21 |
Distribution of constraint types | [{"type":"extension","count":40},{"type":"intension","count":21},{"type":"count","count":20}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399790-1568707667.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399790-1568707667.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 4.24/1.31 c solve instance... 5.74/1.50 o -1000 7.28/1.77 o -992 7.28/1.78 o -991 7.28/1.78 o -989 7.28/1.79 o -984 8.02/1.81 o 2 11.08/2.22 o 7 11.87/2.34 o 9 15.01/2.70 o 10 15.01/2.71 o 11 15.01/2.72 o 13 16.50/2.90 o 18 16.50/2.98 o 20 34.00/5.13 s OPTIMUM FOUND 34.00/5.13 v <instantiation> 34.00/5.13 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] </list> 34.00/5.13 v <values>1 6 -1 4 9 0 7 8 3 14 5 -1 -1 -1 19 10 15 16 17 18 0 1 -1 5 6 15 2 3 4 7 14 -1 -1 -1 8 13 12 11 10 9 -5 -3 0 2 6 1 1 2 5 -7 -2 0 0 0 4 3 6 3 2 2 </values> 34.00/5.13 v </instantiation>
OK 20
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 (14920 MiB free) memory of node 1: 16384 MiB (15270 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399790-1568707667/watcher-4399790-1568707667 -o /tmp/evaluation-result-4399790-1568707667/solver-4399790-1568707667 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568702487-27624 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 517071777 HOME/instance-4399790-1568707667.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=30363, runsolver pid=30360 [startup+0.100111 s]* /proc/loadavg: 8.41 8.38 8.31 2/211 30384 /proc/meminfo: memFree=30898956/32770624 swapFree=66922468/67108860 [pid=30363] ppid=30360 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30363/stat : 30363 (xcsp3-exec) S 30360 30363 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446704560 115843072 364 33554432000 4194304 5098028 140735321643696 140735321641800 140572456354428 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25407488 140735321650038 140735321650281 140735321650281 140735321653194 0 /proc/30363/statm: 28282 364 305 221 0 87 0 [pid=30365] ppid=30363 vsize=28227396 memory=29676 CPUtime=0.12 cores=0-7 /proc/30365/stat : 30365 (java) S 30363 30363 27597 0 -1 1077944320 5837 0 0 0 11 1 0 0 20 0 20 0 446704560 28904853504 7419 33554432000 4194304 4196468 140732561908576 140732561891120 140360121401079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 /proc/30365/statm: 7056849 7419 3124 1 0 7019032 0 [pid=30365/tid=30366] ppid=30363 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/30365/task/30366/stat : 30366 (java) R 30363 30363 27597 0 -1 4202560 3843 0 0 0 8 1 0 0 20 0 20 0 446704560 28904853504 7419 33554432000 4194304 4196468 140732561908576 140360125625616 140360121413014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30367] ppid=30363 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/30365/task/30367/stat : 30367 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 7419 33554432000 4194304 4196468 140732561908576 140360074021392 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30368] ppid=30363 vsize=28227396 memory=140611140683392 CPUtime=0 cores=0-7 /proc/30365/task/30368/stat : 30368 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 7419 33554432000 4194304 4196468 140732561908576 140360072968848 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30369] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30369/stat : 30369 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 7419 33554432000 4194304 4196468 140732561908576 140360071915792 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30370] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30370/stat : 30370 (java) S 30363 30363 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 7419 33554432000 4194304 4196468 140732561908576 140360070863248 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30371] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30371/stat : 30371 (java) S 30363 30363 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 7419 33554432000 4194304 4196468 140732561908576 140360069811216 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30372] ppid=30363 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30365/task/30372/stat : 30372 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 7419 33554432000 4194304 4196468 140732561908576 140359667408016 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30373] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30373/stat : 30373 (java) S 30363 30363 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 7419 33554432000 4194304 4196468 140732561908576 140359666354960 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30374] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30374/stat : 30374 (java) S 30363 30363 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 7419 33554432000 4194304 4196468 140732561908576 140359665302416 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30375] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30375/stat : 30375 (java) S 30363 30363 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446704563 28904853504 7419 33554432000 4194304 4196468 140732561908576 140359506204912 140360121412226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30376] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30376/stat : 30376 (java) S 30363 30363 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446704563 28904853504 7419 33554432000 4194304 4196468 140732561908576 140359505151136 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30377] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30377/stat : 30377 (java) S 30363 30363 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446704563 28904853504 7419 33554432000 4194304 4196468 140732561908576 140359504098032 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30378] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30378/stat : 30378 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704566 28904853504 7419 33554432000 4194304 4196468 140732561908576 140359503046608 140360121419675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30379] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30379/stat : 30379 (java) S 30363 30363 27597 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 446704566 28904853504 7419 33554432000 4194304 4196468 140732561908576 140359501994736 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30380] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30380/stat : 30380 (java) S 30363 30363 27597 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446704566 28904853504 7419 33554432000 4194304 4196468 140732561908576 140359500942192 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30381] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30381/stat : 30381 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704566 28904853504 7419 33554432000 4194304 4196468 140732561908576 140359499889136 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30382] ppid=30363 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30365/task/30382/stat : 30382 (java) R 30363 30363 27597 0 -1 4202560 321 0 0 0 1 0 0 0 20 0 20 0 446704566 28904853504 7419 33554432000 4194304 4196468 140732561908576 140359498836592 140360100332517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30383] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30383/stat : 30383 (java) S 30363 30363 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446704566 28904853504 7419 33554432000 4194304 4196468 140732561908576 140359497783776 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30384] ppid=30363 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30365/task/30384/stat : 30384 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704567 28904853504 7419 33554432000 4194304 4196468 140732561908576 140359496731312 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31132 KiB [startup+0.210286 s]* /proc/loadavg: 8.41 8.38 8.31 3/211 30384 /proc/meminfo: memFree=30885860/32770624 swapFree=66922468/67108860 [pid=30363] ppid=30360 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30363/stat : 30363 (xcsp3-exec) S 30360 30363 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446704560 115843072 364 33554432000 4194304 5098028 140735321643696 140735321641800 140572456354428 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25407488 140735321650038 140735321650281 140735321650281 140735321653194 0 /proc/30363/statm: 28282 364 305 221 0 87 0 [pid=30365] ppid=30363 vsize=28227396 memory=41400 CPUtime=0.34 cores=0-7 /proc/30365/stat : 30365 (java) S 30363 30363 27597 0 -1 1077944320 9514 0 0 0 31 3 0 0 20 0 20 0 446704560 28904853504 10350 33554432000 4194304 4196468 140732561908576 140732561891120 140360121401079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 /proc/30365/statm: 7056849 10350 3302 1 0 7019032 0 [pid=30365/tid=30366] ppid=30363 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/30365/task/30366/stat : 30366 (java) R 30363 30363 27597 0 -1 4202560 6655 0 0 0 18 2 0 0 20 0 20 0 446704560 28904853504 10350 33554432000 4194304 4196468 140732561908576 140360125632992 140360121413014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30367] ppid=30363 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/30365/task/30367/stat : 30367 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 10350 33554432000 4194304 4196468 140732561908576 140360074021392 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30368] ppid=30363 vsize=28227396 memory=288370987292395136 CPUtime=0 cores=0-7 /proc/30365/task/30368/stat : 30368 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 10350 33554432000 4194304 4196468 140732561908576 140360072968848 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30369] ppid=30363 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30365/task/30369/stat : 30369 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 10350 33554432000 4194304 4196468 140732561908576 140360071915792 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30370] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30370/stat : 30370 (java) S 30363 30363 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 10350 33554432000 4194304 4196468 140732561908576 140360070863248 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30371] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30371/stat : 30371 (java) S 30363 30363 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 10350 33554432000 4194304 4196468 140732561908576 140360069811216 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30372] ppid=30363 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30365/task/30372/stat : 30372 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 10350 33554432000 4194304 4196468 140732561908576 140359667408016 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30373] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30373/stat : 30373 (java) S 30363 30363 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 10350 33554432000 4194304 4196468 140732561908576 140359666354960 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30374] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30374/stat : 30374 (java) S 30363 30363 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446704561 28904853504 10350 33554432000 4194304 4196468 140732561908576 140359665302416 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30375] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30375/stat : 30375 (java) S 30363 30363 27597 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446704563 28904853504 10350 33554432000 4194304 4196468 140732561908576 140359506204912 140360121412226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30376] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30376/stat : 30376 (java) S 30363 30363 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446704563 28904853504 10350 33554432000 4194304 4196468 140732561908576 140359505151136 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30377] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30377/stat : 30377 (java) S 30363 30363 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446704563 28904853504 10350 33554432000 4194304 4196468 140732561908576 140359504098032 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30378] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30378/stat : 30378 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704566 28904853504 10350 33554432000 4194304 4196468 140732561908576 140359503046608 140360121419675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30379] ppid=30363 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30365/task/30379/stat : 30379 (java) S 30363 30363 27597 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 20 0 446704566 28904853504 10350 33554432000 4194304 4196468 140732561908576 140359501994736 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30380] ppid=30363 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30365/task/30380/stat : 30380 (java) S 30363 30363 27597 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 20 0 446704566 28904853504 10350 33554432000 4194304 4196468 140732561908576 140359500942192 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30381] ppid=30363 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30365/task/30381/stat : 30381 (java) S 30363 30363 27597 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 446704566 28904853504 10350 33554432000 4194304 4196468 140732561908576 140359499889136 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30382] ppid=30363 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/30365/task/30382/stat : 30382 (java) S 30363 30363 27597 0 -1 1077944384 733 0 0 0 7 0 0 0 20 0 20 0 446704566 28904853504 10350 33554432000 4194304 4196468 140732561908576 140359498836592 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30383] ppid=30363 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30383/stat : 30383 (java) S 30363 30363 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446704566 28904853504 10350 33554432000 4194304 4196468 140732561908576 140359497783776 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30384] ppid=30363 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30365/task/30384/stat : 30384 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704567 28904853504 10350 33554432000 4194304 4196468 140732561908576 140359496731312 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42856 KiB [startup+0.3096 s]* /proc/loadavg: 8.41 8.38 8.31 3/211 30384 /proc/meminfo: memFree=30880840/32770624 swapFree=66922468/67108860 [pid=30363] ppid=30360 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30363/stat : 30363 (xcsp3-exec) S 30360 30363 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446704560 115843072 364 33554432000 4194304 5098028 140735321643696 140735321641800 140572456354428 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25407488 140735321650038 140735321650281 140735321650281 140735321653194 0 /proc/30363/statm: 28282 364 305 221 0 87 0 [pid=30365] ppid=30363 vsize=28231652 memory=49828 CPUtime=0.52 cores=0-7 /proc/30365/stat : 30365 (java) S 30363 30363 27597 0 -1 1077944320 10797 0 0 0 48 4 0 0 20 0 20 0 446704560 28909211648 12457 33554432000 4194304 4196468 140732561908576 140732561891120 140360121401079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 /proc/30365/statm: 7057913 12457 3342 1 0 7019032 0 [pid=30365/tid=30366] ppid=30363 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/30365/task/30366/stat : 30366 (java) R 30363 30363 27597 0 -1 4202560 7721 0 0 0 27 3 0 0 20 0 20 0 446704560 28909211648 12457 33554432000 4194304 4196468 140732561908576 140360125632192 140360105481566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30367] ppid=30363 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30367/stat : 30367 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704561 28909211648 12457 33554432000 4194304 4196468 140732561908576 140360074021392 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30368] ppid=30363 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30368/stat : 30368 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704561 28909211648 12457 33554432000 4194304 4196468 140732561908576 140360072968848 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30369] ppid=30363 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30369/stat : 30369 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704561 28909211648 12457 33554432000 4194304 4196468 140732561908576 140360071915792 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30370] ppid=30363 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30370/stat : 30370 (java) S 30363 30363 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446704561 28909211648 12457 33554432000 4194304 4196468 140732561908576 140360070863248 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30371] ppid=30363 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30371/stat : 30371 (java) S 30363 30363 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446704561 28909211648 12457 33554432000 4194304 4196468 140732561908576 140360069811216 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30372] ppid=30363 vsize=28231652 memory=140610988239535 CPUtime=0 cores=0-7 /proc/30365/task/30372/stat : 30372 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704561 28909211648 12457 33554432000 4194304 4196468 140732561908576 140359667408016 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30373] ppid=30363 vsize=28231652 memory=140610988241840 CPUtime=0 cores=0-7 /proc/30365/task/30373/stat : 30373 (java) S 30363 30363 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446704561 28909211648 12457 33554432000 4194304 4196468 140732561908576 140359666354960 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30374] ppid=30363 vsize=28231652 memory=140610988244144 CPUtime=0 cores=0-7 /proc/30365/task/30374/stat : 30374 (java) S 30363 30363 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446704561 28909211648 12457 33554432000 4194304 4196468 140732561908576 140359665302416 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30375] ppid=30363 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30375/stat : 30375 (java) S 30363 30363 27597 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446704563 28909211648 12457 33554432000 4194304 4196468 140732561908576 140359506204912 140360121412226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30376] ppid=30363 vsize=28231652 memory=281221976502160 CPUtime=0 cores=0-7 /proc/30365/task/30376/stat : 30376 (java) S 30363 30363 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446704563 28909211648 12457 33554432000 4194304 4196468 140732561908576 140359505151136 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30377] ppid=30363 vsize=28231652 memory=281221976499856 CPUtime=0 cores=0-7 /proc/30365/task/30377/stat : 30377 (java) S 30363 30363 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446704563 28909211648 12457 33554432000 4194304 4196468 140732561908576 140359504098032 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30378] ppid=30363 vsize=28231652 memory=281221976506768 CPUtime=0 cores=0-7 /proc/30365/task/30378/stat : 30378 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704566 28909211648 12457 33554432000 4194304 4196468 140732561908576 140359503046608 140360121419675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30379] ppid=30363 vsize=28231652 memory=281221976448048 CPUtime=0.03 cores=0-7 /proc/30365/task/30379/stat : 30379 (java) R 30363 30363 27597 0 -1 4202560 550 0 0 0 3 0 0 0 20 0 20 0 446704566 28909211648 12457 33554432000 4194304 4196468 140732561908576 140359501994736 140360102101376 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30380] ppid=30363 vsize=28231652 memory=281221976520592 CPUtime=0.03 cores=0-7 /proc/30365/task/30380/stat : 30380 (java) S 30363 30363 27597 0 -1 1077944384 358 0 0 0 3 0 0 0 20 0 20 0 446704566 28909211648 12457 33554432000 4194304 4196468 140732561908576 140359500942192 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30381] ppid=30363 vsize=28231652 memory=281221976527504 CPUtime=0.01 cores=0-7 /proc/30365/task/30381/stat : 30381 (java) S 30363 30363 27597 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 446704566 28909211648 12457 33554432000 4194304 4196468 140732561908576 140359499889136 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30382] ppid=30363 vsize=28231652 memory=281221976525200 CPUtime=0.12 cores=0-7 /proc/30365/task/30382/stat : 30382 (java) S 30363 30363 27597 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 20 0 446704566 28909211648 12457 33554432000 4194304 4196468 140732561908576 140359498836592 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30383] ppid=30363 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30383/stat : 30383 (java) S 30363 30363 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446704566 28909211648 12457 33554432000 4194304 4196468 140732561908576 140359497783776 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30384] ppid=30363 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30365/task/30384/stat : 30384 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704567 28909211648 12457 33554432000 4194304 4196468 140732561908576 140359496731312 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51284 KiB [startup+0.701052 s] /proc/loadavg: 8.41 8.38 8.31 5/211 30384 /proc/meminfo: memFree=30844552/32770624 swapFree=66922468/67108860 [pid=30363] ppid=30360 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30363/stat : 30363 (xcsp3-exec) S 30360 30363 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446704560 115843072 364 33554432000 4194304 5098028 140735321643696 140735321641800 140572456354428 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25407488 140735321650038 140735321650281 140735321650281 140735321653194 0 /proc/30363/statm: 28282 364 305 221 0 87 0 [pid=30365] ppid=30363 vsize=28233776 memory=106240 CPUtime=1.96 cores=0-7 /proc/30365/stat : 30365 (java) S 30363 30363 27597 0 -1 1077944320 16690 0 0 0 189 7 0 0 20 0 20 0 446704560 28911386624 26560 33554432000 4194304 4196468 140732561908576 140732561891120 140360121401079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 /proc/30365/statm: 7058444 26560 3461 1 0 7019544 0 [pid=30365/tid=30366] ppid=30363 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/30365/task/30366/stat : 30366 (java) R 30363 30363 27597 0 -1 4202560 9156 0 0 0 63 5 0 0 20 0 20 0 446704560 28911386624 26560 33554432000 4194304 4196468 140732561908576 140360125639152 140359753506281 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30367] ppid=30363 vsize=28233776 memory=140610988450672 CPUtime=0 cores=0-7 /proc/30365/task/30367/stat : 30367 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704561 28911386624 26560 33554432000 4194304 4196468 140732561908576 140360074021392 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30368] ppid=30363 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30368/stat : 30368 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704561 28911386624 26560 33554432000 4194304 4196468 140732561908576 140360072968848 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30369] ppid=30363 vsize=28233776 memory=1560 CPUtime=0 cores=0-7 /proc/30365/task/30369/stat : 30369 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446704561 28911386624 26560 33554432000 4194304 4196468 140732561908576 140360071915792 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 ################ # More data... # ################ [pid=30365/tid=30382] ppid=30363 vsize=28769364 memory=0 CPUtime=0.87 cores=0-7 /proc/30365/task/30382/stat : 30382 (java) S 30363 30363 27597 0 -1 1077944384 3117 0 0 0 85 2 0 0 20 0 28 0 446704566 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359498836592 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30383] ppid=30363 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30383/stat : 30383 (java) S 30363 30363 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446704566 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359497783776 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30384] ppid=30363 vsize=28769364 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/30365/task/30384/stat : 30384 (java) S 30363 30363 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446704567 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359496731312 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30489] ppid=30363 vsize=28769364 memory=0 CPUtime=1.72 cores=0-7 /proc/30365/task/30489/stat : 30489 (java) R 30363 30363 27597 0 -1 4202560 26 0 0 0 172 0 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359476992616 140359756671712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30490] ppid=30363 vsize=28769364 memory=0 CPUtime=1.75 cores=0-7 /proc/30365/task/30490/stat : 30490 (java) R 30363 30363 27597 0 -1 4202560 20 0 0 0 175 0 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359482257016 140359756672103 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30491] ppid=30363 vsize=28769364 memory=0 CPUtime=1.72 cores=0-7 /proc/30365/task/30491/stat : 30491 (java) R 30363 30363 27597 0 -1 4202560 21 0 0 0 172 0 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359479099288 140359756672297 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30492] ppid=30363 vsize=28769364 memory=0 CPUtime=1.75 cores=0-7 /proc/30365/task/30492/stat : 30492 (java) R 30363 30363 27597 0 -1 4202560 26 0 0 0 174 1 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359481205864 140359756672263 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30493] ppid=30363 vsize=28769364 memory=0 CPUtime=1.75 cores=0-7 /proc/30365/task/30493/stat : 30493 (java) R 30363 30363 27597 0 -1 4202560 22 0 0 0 175 0 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359483312296 140359756672020 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30494] ppid=30363 vsize=28769364 memory=0 CPUtime=1.76 cores=0-7 /proc/30365/task/30494/stat : 30494 (java) R 30363 30363 27597 0 -1 4202560 22 0 0 0 176 0 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359480154520 140359756671978 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30495] ppid=30363 vsize=28769364 memory=0 CPUtime=1.76 cores=0-7 /proc/30365/task/30495/stat : 30495 (java) R 30363 30363 27597 0 -1 4202560 22 0 0 0 176 0 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359485414736 140359757406938 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30496] ppid=30363 vsize=28769364 memory=0 CPUtime=1.65 cores=0-7 /proc/30365/task/30496/stat : 30496 (java) R 30363 30363 27597 0 -1 4202560 23 0 0 0 165 0 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359484361920 140359756672080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 Current children cumulated CPU time: 31.51 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 378008 KiB [startup+5.00153 s]* /proc/loadavg: 8.46 8.39 8.32 9/219 30496 /proc/meminfo: memFree=30551264/32770624 swapFree=66922468/67108860 [pid=30363] ppid=30360 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30363/stat : 30363 (xcsp3-exec) S 30360 30363 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446704560 115843072 364 33554432000 4194304 5098028 140735321643696 140735321641800 140572456354428 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25407488 140735321650038 140735321650281 140735321650281 140735321653194 0 /proc/30363/statm: 28282 364 305 221 0 87 0 [pid=30365] ppid=30363 vsize=28769364 memory=376552 CPUtime=33.14 cores=0-7 /proc/30365/stat : 30365 (java) S 30363 30363 27597 0 -1 1077944320 23755 0 0 0 3278 36 0 0 20 0 28 0 446704560 29459828736 94138 33554432000 4194304 4196468 140732561908576 140732561891120 140360121401079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 /proc/30365/statm: 7192341 94138 3526 1 0 7153441 0 [pid=30365/tid=30366] ppid=30363 vsize=28769364 memory=8317482817917895235 CPUtime=1.26 cores=0-7 /proc/30365/task/30366/stat : 30366 (java) S 30363 30363 27597 0 -1 1077944384 9458 0 0 0 120 6 0 0 20 0 28 0 446704560 29459828736 94138 33554432000 4194304 4196468 140732561908576 140360125641856 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30367] ppid=30363 vsize=28769364 memory=4872558044660077418 CPUtime=0.04 cores=0-7 /proc/30365/task/30367/stat : 30367 (java) S 30363 30363 27597 0 -1 1077944384 87 0 0 0 2 2 0 0 20 0 28 0 446704561 29459828736 94138 33554432000 4194304 4196468 140732561908576 140360074021392 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30368] ppid=30363 vsize=28769364 memory=0 CPUtime=0.03 cores=0-7 /proc/30365/task/30368/stat : 30368 (java) S 30363 30363 27597 0 -1 1077944384 67 0 0 0 2 1 0 0 20 0 28 0 446704561 29459828736 94138 33554432000 4194304 4196468 140732561908576 140360072968848 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30369] ppid=30363 vsize=28769364 memory=0 CPUtime=0.03 cores=0-7 /proc/30365/task/30369/stat : 30369 (java) S 30363 30363 27597 0 -1 1077944384 78 0 0 0 1 2 0 0 20 0 28 0 446704561 29459828736 94138 33554432000 4194304 4196468 140732561908576 140360071915792 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30370] ppid=30363 vsize=28769364 memory=0 CPUtime=0.04 cores=0-7 /proc/30365/task/30370/stat : 30370 (java) S 30363 30363 27597 0 -1 1077944384 68 0 0 0 2 2 0 0 20 0 28 0 446704561 29459828736 94138 33554432000 4194304 4196468 140732561908576 140360070863248 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30371] ppid=30363 vsize=28769364 memory=0 CPUtime=0.04 cores=0-7 /proc/30365/task/30371/stat : 30371 (java) S 30363 30363 27597 0 -1 1077944384 70 0 0 0 2 2 0 0 20 0 28 0 446704561 29459828736 94138 33554432000 4194304 4196468 140732561908576 140360069811216 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30372] ppid=30363 vsize=28769364 memory=0 CPUtime=0.04 cores=0-7 /proc/30365/task/30372/stat : 30372 (java) S 30363 30363 27597 0 -1 1077944384 90 0 0 0 2 2 0 0 20 0 28 0 446704561 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359667408016 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30373] ppid=30363 vsize=28769364 memory=0 CPUtime=0.04 cores=0-7 /proc/30365/task/30373/stat : 30373 (java) S 30363 30363 27597 0 -1 1077944384 64 0 0 0 2 2 0 0 20 0 28 0 446704561 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359666354960 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30374] ppid=30363 vsize=28769364 memory=0 CPUtime=0.04 cores=0-7 /proc/30365/task/30374/stat : 30374 (java) S 30363 30363 27597 0 -1 1077944384 79 0 0 0 2 2 0 0 20 0 28 0 446704561 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359665302416 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30375] ppid=30363 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/30365/task/30375/stat : 30375 (java) S 30363 30363 27597 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 28 0 446704563 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359506204912 140360121412226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30376] ppid=30363 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30376/stat : 30376 (java) S 30363 30363 27597 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 446704563 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359505151200 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30377] ppid=30363 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30377/stat : 30377 (java) S 30363 30363 27597 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 446704563 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359504098048 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30378] ppid=30363 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30378/stat : 30378 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446704566 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359503046608 140360121419675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30379] ppid=30363 vsize=28769364 memory=0 CPUtime=1.82 cores=0-7 /proc/30365/task/30379/stat : 30379 (java) S 30363 30363 27597 0 -1 1077944384 2329 0 0 0 181 1 0 0 20 0 28 0 446704566 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359501994736 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30380] ppid=30363 vsize=28769364 memory=0 CPUtime=1.55 cores=0-7 /proc/30365/task/30380/stat : 30380 (java) S 30363 30363 27597 0 -1 1077944384 2501 0 0 0 155 0 0 0 20 0 28 0 446704566 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359500942192 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30381] ppid=30363 vsize=28769364 memory=0 CPUtime=1.75 cores=0-7 /proc/30365/task/30381/stat : 30381 (java) S 30363 30363 27597 0 -1 1077944384 1954 0 0 0 174 1 0 0 20 0 28 0 446704566 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359499889136 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30382] ppid=30363 vsize=28769364 memory=0 CPUtime=0.87 cores=0-7 /proc/30365/task/30382/stat : 30382 (java) S 30363 30363 27597 0 -1 1077944384 3119 0 0 0 85 2 0 0 20 0 28 0 446704566 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359498836592 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30383] ppid=30363 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30383/stat : 30383 (java) S 30363 30363 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446704566 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359497783776 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30384] ppid=30363 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30384/stat : 30384 (java) S 30363 30363 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446704567 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359496731312 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30489] ppid=30363 vsize=28769364 memory=-1 CPUtime=1.93 cores=0-7 /proc/30365/task/30489/stat : 30489 (java) R 30363 30363 27597 0 -1 4202560 26 0 0 0 193 0 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359476992616 140359759162559 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30490] ppid=30363 vsize=28769364 memory=-1 CPUtime=1.95 cores=0-7 /proc/30365/task/30490/stat : 30490 (java) R 30363 30363 27597 0 -1 4202560 20 0 0 0 195 0 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359482256496 140359756671914 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30491] ppid=30363 vsize=28769364 memory=0 CPUtime=1.92 cores=0-7 /proc/30365/task/30491/stat : 30491 (java) R 30363 30363 27597 0 -1 4202560 21 0 0 0 192 0 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359479100152 140359756672038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30492] ppid=30363 vsize=28769364 memory=0 CPUtime=1.96 cores=0-7 /proc/30365/task/30492/stat : 30492 (java) R 30363 30363 27597 0 -1 4202560 27 0 0 0 195 1 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359481205128 140359756672311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30493] ppid=30363 vsize=28769364 memory=0 CPUtime=1.96 cores=0-7 /proc/30365/task/30493/stat : 30493 (java) R 30363 30363 27597 0 -1 4202560 22 0 0 0 196 0 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359483312296 140359756672207 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30494] ppid=30363 vsize=28769364 memory=0 CPUtime=1.96 cores=0-7 /proc/30365/task/30494/stat : 30494 (java) R 30363 30363 27597 0 -1 4202560 22 0 0 0 196 0 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359480154520 140359756672043 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30495] ppid=30363 vsize=28769364 memory=0 CPUtime=1.97 cores=0-7 /proc/30365/task/30495/stat : 30495 (java) R 30363 30363 27597 0 -1 4202560 22 0 0 0 197 0 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359485414736 140359756671978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30496] ppid=30363 vsize=28769364 memory=0 CPUtime=1.83 cores=0-7 /proc/30365/task/30496/stat : 30496 (java) R 30363 30363 27597 0 -1 4202560 23 0 0 0 183 0 0 0 20 0 28 0 446704859 29459828736 94138 33554432000 4194304 4196468 140732561908576 140359484361920 140359756672010 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 Current children cumulated CPU time: 33.14 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 378008 KiB [startup+5.11853 s] /proc/loadavg: 8.46 8.39 8.32 9/219 30496 /proc/meminfo: memFree=30551264/32770624 swapFree=66922468/67108860 [pid=30363] ppid=30360 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30363/stat : 30363 (xcsp3-exec) S 30360 30363 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446704560 115843072 364 33554432000 4194304 5098028 140735321643696 140735321641800 140572456354428 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25407488 140735321650038 140735321650281 140735321650281 140735321653194 0 /proc/30363/statm: 28282 364 305 221 0 87 0 [pid=30365] ppid=30363 vsize=28769364 memory=377288 CPUtime=34 cores=0-7 /proc/30365/stat : 30365 (java) S 30363 30363 27597 0 -1 1077944320 24550 0 0 0 3364 36 0 0 20 0 28 0 446704560 29459828736 94322 33554432000 4194304 4196468 140732561908576 140732561891120 140360121401079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 /proc/30365/statm: 7192341 94322 3526 1 0 7153441 0 [pid=30365/tid=30366] ppid=30363 vsize=28769364 memory=376552 CPUtime=1.26 cores=0-7 /proc/30365/task/30366/stat : 30366 (java) S 30363 30363 27597 0 -1 1077944384 9458 0 0 0 120 6 0 0 20 0 28 0 446704560 29459828736 94322 33554432000 4194304 4196468 140732561908576 140360125641856 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30367] ppid=30363 vsize=28769364 memory=376552 CPUtime=0.04 cores=0-7 /proc/30365/task/30367/stat : 30367 (java) S 30363 30363 27597 0 -1 1077944384 87 0 0 0 2 2 0 0 20 0 28 0 446704561 29459828736 94322 33554432000 4194304 4196468 140732561908576 140360074021392 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30368] ppid=30363 vsize=28769364 memory=3 CPUtime=0.03 cores=0-7 /proc/30365/task/30368/stat : 30368 (java) S 30363 30363 27597 0 -1 1077944384 67 0 0 0 2 1 0 0 20 0 28 0 446704561 29459828736 94322 33554432000 4194304 4196468 140732561908576 140360072968848 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30369] ppid=30363 vsize=28769364 memory=1456 CPUtime=0.03 cores=0-7 /proc/30365/task/30369/stat : 30369 (java) S 30363 30363 27597 0 -1 1077944384 78 0 0 0 1 2 0 0 20 0 28 0 446704561 29459828736 94322 33554432000 4194304 4196468 140732561908576 140360071915792 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30370] ppid=30363 vsize=28769364 memory=3616 CPUtime=0.04 cores=0-7 /proc/30365/task/30370/stat : 30370 (java) S 30363 30363 27597 0 -1 1077944384 68 0 0 0 2 2 0 0 20 0 28 0 446704561 29459828736 94322 33554432000 4194304 4196468 140732561908576 140360070863248 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30371] ppid=30363 vsize=28769364 memory=32976 CPUtime=0.04 cores=0-7 /proc/30365/task/30371/stat : 30371 (java) S 30363 30363 27597 0 -1 1077944384 70 0 0 0 2 2 0 0 20 0 28 0 446704561 29459828736 94322 33554432000 4194304 4196468 140732561908576 140360069811216 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30372] ppid=30363 vsize=28769364 memory=988 CPUtime=0.04 cores=0-7 /proc/30365/task/30372/stat : 30372 (java) S 30363 30363 27597 0 -1 1077944384 90 0 0 0 2 2 0 0 20 0 28 0 446704561 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359667408016 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30373] ppid=30363 vsize=28769364 memory=56 CPUtime=0.04 cores=0-7 /proc/30365/task/30373/stat : 30373 (java) S 30363 30363 27597 0 -1 1077944384 64 0 0 0 2 2 0 0 20 0 28 0 446704561 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359666354960 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30374] ppid=30363 vsize=28769364 memory=2811011 CPUtime=0.04 cores=0-7 /proc/30365/task/30374/stat : 30374 (java) S 30363 30363 27597 0 -1 1077944384 79 0 0 0 2 2 0 0 20 0 28 0 446704561 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359665302416 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30375] ppid=30363 vsize=28769364 memory=2812295 CPUtime=0.01 cores=0-7 /proc/30365/task/30375/stat : 30375 (java) S 30363 30363 27597 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 28 0 446704563 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359506204912 140360121412226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30376] ppid=30363 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30365/task/30376/stat : 30376 (java) S 30363 30363 27597 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 446704563 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359505151200 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30377] ppid=30363 vsize=28769364 memory=281221976972256 CPUtime=0 cores=0-7 /proc/30365/task/30377/stat : 30377 (java) S 30363 30363 27597 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 446704563 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359504098048 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30378] ppid=30363 vsize=28769364 memory=7305801120875373142 CPUtime=0 cores=0-7 /proc/30365/task/30378/stat : 30378 (java) S 30363 30363 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446704566 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359503046608 140360121419675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30379] ppid=30363 vsize=28769364 memory=7233454337930979689 CPUtime=1.82 cores=0-7 /proc/30365/task/30379/stat : 30379 (java) R 30363 30363 27597 0 -1 1077944384 2335 0 0 0 181 1 0 0 20 0 28 0 446704566 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359501994496 140360121411285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30380] ppid=30363 vsize=28769364 memory=7451862440200921942 CPUtime=1.55 cores=0-7 /proc/30365/task/30380/stat : 30380 (java) S 30363 30363 27597 0 -1 1077944384 2501 0 0 0 155 0 0 0 20 0 28 0 446704566 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359500942192 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30381] ppid=30363 vsize=28769364 memory=1456 CPUtime=1.75 cores=0-7 /proc/30365/task/30381/stat : 30381 (java) S 30363 30363 27597 0 -1 1077944384 1954 0 0 0 174 1 0 0 20 0 28 0 446704566 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359499889136 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30382] ppid=30363 vsize=28769364 memory=4 CPUtime=0.87 cores=0-7 /proc/30365/task/30382/stat : 30382 (java) S 30363 30363 27597 0 -1 1077944384 3119 0 0 0 85 2 0 0 20 0 28 0 446704566 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359498836592 140360121412226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30383] ppid=30363 vsize=28769364 memory=4 CPUtime=0 cores=0-7 /proc/30365/task/30383/stat : 30383 (java) S 30363 30363 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446704566 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359497783776 140360121411285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30384] ppid=30363 vsize=28769364 memory=4 CPUtime=0 cores=0-7 /proc/30365/task/30384/stat : 30384 (java) R 30363 30363 27597 0 -1 4202560 185 0 0 0 0 0 0 0 20 0 28 0 446704567 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359496731312 140360099428043 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30489] ppid=30363 vsize=28769364 memory=4 CPUtime=2.03 cores=0-7 /proc/30365/task/30489/stat : 30489 (java) R 30363 30363 27597 0 -1 4202560 103 0 0 0 203 0 0 0 20 0 28 0 446704859 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359476993056 140359756672029 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30490] ppid=30363 vsize=28769364 memory=2912 CPUtime=2.05 cores=0-7 /proc/30365/task/30490/stat : 30490 (java) R 30363 30363 27597 0 -1 4202560 85 0 0 0 205 0 0 0 20 0 28 0 446704859 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359482256944 140359756672207 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30491] ppid=30363 vsize=28769364 memory=6791534058613427641 CPUtime=2.03 cores=0-7 /proc/30365/task/30491/stat : 30491 (java) R 30363 30363 27597 0 -1 4202560 156 0 0 0 203 0 0 0 20 0 28 0 446704859 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359479100264 140359756671889 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30492] ppid=30363 vsize=28769364 memory=6947195304540531048 CPUtime=2.06 cores=0-7 /proc/30365/task/30492/stat : 30492 (java) R 30363 30363 27597 0 -1 4202560 92 0 0 0 205 1 0 0 20 0 28 0 446704859 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359481205600 140359756672038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30493] ppid=30363 vsize=28769364 memory=7234030490512353113 CPUtime=2.07 cores=0-7 /proc/30365/task/30493/stat : 30493 (java) R 30363 30363 27597 0 -1 4202560 80 0 0 0 207 0 0 0 20 0 28 0 446704859 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359483310760 140359756672029 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30494] ppid=30363 vsize=28769364 memory=7883944108235712103 CPUtime=2.07 cores=0-7 /proc/30365/task/30494/stat : 30494 (java) R 30363 30363 27597 0 -1 4202560 107 0 0 0 207 0 0 0 20 0 28 0 446704859 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359480151536 140359756895152 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30495] ppid=30363 vsize=28769364 memory=376500 CPUtime=2.07 cores=0-7 /proc/30365/task/30495/stat : 30495 (java) R 30363 30363 27597 0 -1 4202560 59 0 0 0 207 0 0 0 20 0 28 0 446704859 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359485415088 140359756671933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 [pid=30365/tid=30496] ppid=30363 vsize=28769364 memory=376500 CPUtime=1.94 cores=0-7 /proc/30365/task/30496/stat : 30496 (java) R 30363 30363 27597 0 -1 4202560 109 0 0 0 194 0 0 0 20 0 28 0 446704859 29459828736 94322 33554432000 4194304 4196468 140732561908576 140359484362480 140359756671969 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140732561912810 140732561912982 140732561912982 140732561915855 0 Current children cumulated CPU time: 34 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 378744 KiB Child status: 0 Real time (s): 5.14706 CPU time (s): 34.1678 CPU user time (s): 33.7854 CPU system time (s): 0.382473 CPU usage (%): 663.832 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 378744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 33.7854 system time used= 0.382473 maximum resident set size= 377364 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27098 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= 4804 involuntary context switches= 823 # summary of solver processes directly reported to runsolver: # pid: 30363 # total CPU time (s): 34.1678 # total CPU user time (s): 33.7854 # total CPU system time (s): 0.382473 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.077994 second user time and 0.086782 second system time The end
Begin job on node141 at 2019-09-17 10:07:05 IDJOB=4399790 IDBENCH=127982 IDSOLVER=2854 FILE ID=node141/4399790-1568707667 RUNJOBID= node141-1568702487-27624 PBS_JOBID= 21703919 Free space on /tmp= 58544 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-20-4-5-8.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-4399790-1568707667/watcher-4399790-1568707667 -o /tmp/evaluation-result-4399790-1568707667/solver-4399790-1568707667 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568702487-27624 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 517071777 HOME/instance-4399790-1568707667.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= cc4f118531160cfe6c95c1294546deff RANDOM SEED=517071777 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 30915508 kB MemAvailable: 31828696 kB Buffers: 231036 kB Cached: 978592 kB SwapCached: 77704 kB Active: 565004 kB Inactive: 727032 kB Active(anon): 9928 kB Inactive(anon): 115648 kB Active(file): 555076 kB Inactive(file): 611384 kB Unevictable: 108616 kB Mlocked: 108616 kB SwapTotal: 67108860 kB SwapFree: 66922468 kB Dirty: 26720 kB Writeback: 0 kB AnonPages: 116576 kB Mapped: 43300 kB Shmem: 34648 kB Slab: 155292 kB SReclaimable: 125128 kB SUnreclaim: 30164 kB KernelStack: 3616 kB PageTables: 5868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506736 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 58516 MiB End job on node141 at 2019-09-17 10:07:10