Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 44 | 18.2098 | 2.82991 |
Name | GolombRuler/ GolombRuler-a3v18-09_c18.xml |
MD5SUM | 967738086e80168f9eb4b0337d9e8cf6 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 3.78942 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 37 |
Number of domains | 2 |
Minimum domain size | 81 |
Maximum domain size | 82 |
Distribution of domain sizes | [{"size":81,"count":36},{"size":82,"count":9}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":45},{"degree":2,"count":36},{"degree":8,"count":8},{"degree":9,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":3,"count":36},{"arity":36,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 36 |
Distribution of constraint types | [{"type":"intension","count":36},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400109-1568720575.xml" -tl '2016s' -p 8 0.12/0.17 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400109-1568720575.xml, -tl, 2016s, -p, 8] 0.12/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.30/0.62 c solve instance... 1.77/0.71 o 65 1.77/0.88 o 61 1.77/0.88 o 59 1.77/0.88 o 57 1.77/0.88 o 53 1.77/0.88 o 52 1.77/0.88 o 50 1.77/0.92 o 49 1.77/0.93 o 47 3.94/1.10 o 45 4.69/1.17 o 44 17.39/2.81 s OPTIMUM FOUND 17.39/2.81 v <instantiation> 17.39/2.81 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[4][5] y[4][6] y[4][7] y[4][8] y[5][6] y[5][7] y[5][8] y[6][7] y[6][8] y[7][8] </list> 17.39/2.81 v <values>0 1 5 12 25 27 35 41 44 1 5 12 25 27 35 41 44 4 11 24 26 34 40 43 7 20 22 30 36 39 13 15 23 29 32 2 10 16 19 8 14 17 6 9 3 </values> 17.39/2.81 v </instantiation>
OK 44
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 (15121 MiB free) memory of node 1: 16384 MiB (15324 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400109-1568720575/watcher-4400109-1568720575 -o /tmp/evaluation-result-4400109-1568720575/solver-4400109-1568720575 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568709526-22615 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1652222204 HOME/instance-4400109-1568720575.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=30480, runsolver pid=30477 Current StackSize limit: 8192 KiB [startup+0.100132 s]* /proc/loadavg: 8.90 7.82 7.82 3/211 30502 /proc/meminfo: memFree=31158736/32770624 swapFree=66939936/67108860 [pid=30480] ppid=30477 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30480/stat : 30480 (xcsp3-exec) S 30477 30480 22588 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448315733 115843072 362 33554432000 4194304 5098028 140722281298912 140722281297016 140312593257084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38010880 140722281304955 140722281305198 140722281305198 140722281308106 0 /proc/30480/statm: 28282 362 304 221 0 87 0 [pid=30482] ppid=30480 vsize=28227396 memory=30340 CPUtime=0.12 cores=0-7 /proc/30482/stat : 30482 (java) S 30480 30480 22588 0 -1 1077944320 5481 0 0 0 11 1 0 0 20 0 20 0 448315734 28904853504 7585 33554432000 4194304 4196468 140720499745552 140720499728096 139882766565111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 /proc/30482/statm: 7056849 7585 3142 1 0 7019032 0 [pid=30482/tid=30483] ppid=30480 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/30482/task/30483/stat : 30483 (java) R 30480 30480 22588 0 -1 4202560 3402 0 0 0 8 1 0 0 20 0 20 0 448315734 28904853504 7585 33554432000 4194304 4196468 140720499745552 139882770799392 139882766577046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30484] ppid=30480 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/30482/task/30484/stat : 30484 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 7585 33554432000 4194304 4196468 140720499745552 139882318125968 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30485] ppid=30480 vsize=28227396 memory=139885020960384 CPUtime=0 cores=0-7 /proc/30482/task/30485/stat : 30485 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 7585 33554432000 4194304 4196468 140720499745552 139882317073168 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30486] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30486/stat : 30486 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 7585 33554432000 4194304 4196468 140720499745552 139882316020880 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30487] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30487/stat : 30487 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 7585 33554432000 4194304 4196468 140720499745552 139882314968080 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30488] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30488/stat : 30488 (java) S 30480 30480 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 7585 33554432000 4194304 4196468 140720499745552 139882313914768 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30489] ppid=30480 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30482/task/30489/stat : 30489 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 7585 33554432000 4194304 4196468 140720499745552 139882312861968 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30490] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30490/stat : 30490 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 7585 33554432000 4194304 4196468 140720499745552 139882311809680 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30491] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30491/stat : 30491 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 7585 33554432000 4194304 4196468 140720499745552 139882310756880 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30492] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30492/stat : 30492 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448315736 28904853504 7585 33554432000 4194304 4196468 140720499745552 139881882843760 139882766576258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30493] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30493/stat : 30493 (java) S 30480 30480 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448315737 28904853504 7585 33554432000 4194304 4196468 140720499745552 139881881789728 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30494] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30494/stat : 30494 (java) S 30480 30480 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448315737 28904853504 7585 33554432000 4194304 4196468 140720499745552 139881880737392 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30495] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30495/stat : 30495 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315739 28904853504 7585 33554432000 4194304 4196468 140720499745552 139881879685712 139882766583707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30496] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30496/stat : 30496 (java) R 30480 30480 22588 0 -1 4202560 434 0 0 0 0 0 0 0 20 0 20 0 448315739 28904853504 7585 33554432000 4194304 4196468 140720499745552 139881878624208 139882749964284 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30497] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30497/stat : 30497 (java) S 30480 30480 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448315739 28904853504 7585 33554432000 4194304 4196468 140720499745552 139881877579760 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30498] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30498/stat : 30498 (java) S 30480 30480 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448315739 28904853504 7585 33554432000 4194304 4196468 140720499745552 139881876527472 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30500] ppid=30480 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30482/task/30500/stat : 30500 (java) R 30480 30480 22588 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 20 0 448315739 28904853504 7585 33554432000 4194304 4196468 140720499745552 139881875474672 139882766586458 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30501] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30501/stat : 30501 (java) S 30480 30480 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448315740 28904853504 7585 33554432000 4194304 4196468 140720499745552 139881874422624 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30502] ppid=30480 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30482/task/30502/stat : 30502 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315740 28904853504 7585 33554432000 4194304 4196468 140720499745552 139881873369904 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31788 KiB [startup+0.210905 s]* /proc/loadavg: 8.90 7.82 7.82 2/211 30502 /proc/meminfo: memFree=31143640/32770624 swapFree=66939936/67108860 [pid=30480] ppid=30477 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30480/stat : 30480 (xcsp3-exec) S 30477 30480 22588 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448315733 115843072 362 33554432000 4194304 5098028 140722281298912 140722281297016 140312593257084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38010880 140722281304955 140722281305198 140722281305198 140722281308106 0 /proc/30480/statm: 28282 362 304 221 0 87 0 [pid=30482] ppid=30480 vsize=28227396 memory=41308 CPUtime=0.34 cores=0-7 /proc/30482/stat : 30482 (java) S 30480 30480 22588 0 -1 1077944320 9052 0 0 0 30 4 0 0 20 0 20 0 448315734 28904853504 10327 33554432000 4194304 4196468 140720499745552 140720499728096 139882766565111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 /proc/30482/statm: 7056849 10327 3296 1 0 7019032 0 [pid=30482/tid=30483] ppid=30480 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/30482/task/30483/stat : 30483 (java) R 30480 30480 22588 0 -1 4202560 6221 0 0 0 17 2 0 0 20 0 20 0 448315734 28904853504 10327 33554432000 4194304 4196468 140720499745552 139882770800096 139882766577046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30484] ppid=30480 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/30482/task/30484/stat : 30484 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 10327 33554432000 4194304 4196468 140720499745552 139882318125968 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30485] ppid=30480 vsize=28227396 memory=3905946246778443424 CPUtime=0 cores=0-7 /proc/30482/task/30485/stat : 30485 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 10327 33554432000 4194304 4196468 140720499745552 139882317073168 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30486] ppid=30480 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30482/task/30486/stat : 30486 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 10327 33554432000 4194304 4196468 140720499745552 139882316020880 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30487] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30487/stat : 30487 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 10327 33554432000 4194304 4196468 140720499745552 139882314968080 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30488] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30488/stat : 30488 (java) S 30480 30480 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 10327 33554432000 4194304 4196468 140720499745552 139882313914768 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30489] ppid=30480 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30482/task/30489/stat : 30489 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 10327 33554432000 4194304 4196468 140720499745552 139882312861968 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30490] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30490/stat : 30490 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 10327 33554432000 4194304 4196468 140720499745552 139882311809680 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30491] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30491/stat : 30491 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315735 28904853504 10327 33554432000 4194304 4196468 140720499745552 139882310756880 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30492] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30492/stat : 30492 (java) S 30480 30480 22588 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448315736 28904853504 10327 33554432000 4194304 4196468 140720499745552 139881882843760 139882766576258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30493] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30493/stat : 30493 (java) S 30480 30480 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448315737 28904853504 10327 33554432000 4194304 4196468 140720499745552 139881881789728 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30494] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30494/stat : 30494 (java) S 30480 30480 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448315737 28904853504 10327 33554432000 4194304 4196468 140720499745552 139881880737392 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30495] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30495/stat : 30495 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315739 28904853504 10327 33554432000 4194304 4196468 140720499745552 139881879685712 139882766583707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30496] ppid=30480 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30482/task/30496/stat : 30496 (java) S 30480 30480 22588 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 20 0 448315739 28904853504 10327 33554432000 4194304 4196468 140720499745552 139881878632560 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30497] ppid=30480 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30482/task/30497/stat : 30497 (java) S 30480 30480 22588 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 20 0 448315739 28904853504 10327 33554432000 4194304 4196468 140720499745552 139881877579760 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30498] ppid=30480 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/30482/task/30498/stat : 30498 (java) S 30480 30480 22588 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 448315739 28904853504 10327 33554432000 4194304 4196468 140720499745552 139881876527472 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30500] ppid=30480 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/30482/task/30500/stat : 30500 (java) S 30480 30480 22588 0 -1 1077944384 728 0 0 0 7 0 0 0 20 0 20 0 448315739 28904853504 10327 33554432000 4194304 4196468 140720499745552 139881875474672 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30501] ppid=30480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30501/stat : 30501 (java) S 30480 30480 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448315740 28904853504 10327 33554432000 4194304 4196468 140720499745552 139881874422624 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30502] ppid=30480 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30482/task/30502/stat : 30502 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315740 28904853504 10327 33554432000 4194304 4196468 140720499745552 139881873369904 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42756 KiB [startup+0.310483 s]* /proc/loadavg: 8.90 7.82 7.82 3/211 30502 /proc/meminfo: memFree=31136244/32770624 swapFree=66939936/67108860 [pid=30480] ppid=30477 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30480/stat : 30480 (xcsp3-exec) S 30477 30480 22588 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448315733 115843072 362 33554432000 4194304 5098028 140722281298912 140722281297016 140312593257084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38010880 140722281304955 140722281305198 140722281305198 140722281308106 0 /proc/30480/statm: 28282 362 304 221 0 87 0 [pid=30482] ppid=30480 vsize=28231652 memory=50328 CPUtime=0.53 cores=0-7 /proc/30482/stat : 30482 (java) S 30480 30480 22588 0 -1 1077944320 10513 0 0 0 49 4 0 0 20 0 20 0 448315734 28909211648 12582 33554432000 4194304 4196468 140720499745552 140720499728096 139882766565111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 /proc/30482/statm: 7057913 12582 3343 1 0 7019032 0 [pid=30482/tid=30483] ppid=30480 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/30482/task/30483/stat : 30483 (java) R 30480 30480 22588 0 -1 4202560 7416 0 0 0 27 3 0 0 20 0 20 0 448315734 28909211648 12582 33554432000 4194304 4196468 140720499745552 139882770796880 139882750645598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30484] ppid=30480 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30484/stat : 30484 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315735 28909211648 12582 33554432000 4194304 4196468 140720499745552 139882318125968 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30485] ppid=30480 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30485/stat : 30485 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448315735 28909211648 12582 33554432000 4194304 4196468 140720499745552 139882317073168 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30486] ppid=30480 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30486/stat : 30486 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448315735 28909211648 12582 33554432000 4194304 4196468 140720499745552 139882316020880 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30487] ppid=30480 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30487/stat : 30487 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448315735 28909211648 12582 33554432000 4194304 4196468 140720499745552 139882314968080 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30488] ppid=30480 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30488/stat : 30488 (java) S 30480 30480 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448315735 28909211648 12582 33554432000 4194304 4196468 140720499745552 139882313914768 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30489] ppid=30480 vsize=28231652 memory=139884870331055 CPUtime=0 cores=0-7 /proc/30482/task/30489/stat : 30489 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315735 28909211648 12582 33554432000 4194304 4196468 140720499745552 139882312861968 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30490] ppid=30480 vsize=28231652 memory=139884870333360 CPUtime=0 cores=0-7 /proc/30482/task/30490/stat : 30490 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315735 28909211648 12582 33554432000 4194304 4196468 140720499745552 139882311809680 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30491] ppid=30480 vsize=28231652 memory=139884870335664 CPUtime=0 cores=0-7 /proc/30482/task/30491/stat : 30491 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315735 28909211648 12582 33554432000 4194304 4196468 140720499745552 139882310756880 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30492] ppid=30480 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30492/stat : 30492 (java) S 30480 30480 22588 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448315736 28909211648 12582 33554432000 4194304 4196468 140720499745552 139881882843760 139882766576258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30493] ppid=30480 vsize=28231652 memory=279769740685200 CPUtime=0 cores=0-7 /proc/30482/task/30493/stat : 30493 (java) S 30480 30480 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448315737 28909211648 12582 33554432000 4194304 4196468 140720499745552 139881881789728 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30494] ppid=30480 vsize=28231652 memory=279769740682896 CPUtime=0 cores=0-7 /proc/30482/task/30494/stat : 30494 (java) S 30480 30480 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448315737 28909211648 12582 33554432000 4194304 4196468 140720499745552 139881880737392 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30495] ppid=30480 vsize=28231652 memory=279769740689808 CPUtime=0 cores=0-7 /proc/30482/task/30495/stat : 30495 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315739 28909211648 12582 33554432000 4194304 4196468 140720499745552 139881879685712 139882766583707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30496] ppid=30480 vsize=28231652 memory=279769740631088 CPUtime=0.02 cores=0-7 /proc/30482/task/30496/stat : 30496 (java) S 30480 30480 22588 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 20 0 448315739 28909211648 12582 33554432000 4194304 4196468 140720499745552 139881878632560 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30497] ppid=30480 vsize=28231652 memory=279769740703632 CPUtime=0.03 cores=0-7 /proc/30482/task/30497/stat : 30497 (java) S 30480 30480 22588 0 -1 1077944384 135 0 0 0 3 0 0 0 20 0 20 0 448315739 28909211648 12582 33554432000 4194304 4196468 140720499745552 139881877579760 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30498] ppid=30480 vsize=28231652 memory=279769740710544 CPUtime=0.03 cores=0-7 /proc/30482/task/30498/stat : 30498 (java) S 30480 30480 22588 0 -1 1077944384 312 0 0 0 3 0 0 0 20 0 20 0 448315739 28909211648 12582 33554432000 4194304 4196468 140720499745552 139881876527472 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30500] ppid=30480 vsize=28231652 memory=279769740708240 CPUtime=0.11 cores=0-7 /proc/30482/task/30500/stat : 30500 (java) S 30480 30480 22588 0 -1 1077944384 826 0 0 0 11 0 0 0 20 0 20 0 448315739 28909211648 12582 33554432000 4194304 4196468 140720499745552 139881875474672 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30501] ppid=30480 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30501/stat : 30501 (java) S 30480 30480 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448315740 28909211648 12582 33554432000 4194304 4196468 140720499745552 139881874422624 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30502] ppid=30480 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30482/task/30502/stat : 30502 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448315740 28909211648 12582 33554432000 4194304 4196468 140720499745552 139881873369904 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51776 KiB [startup+0.703802 s] /proc/loadavg: 8.90 7.82 7.82 3/211 30502 /proc/meminfo: memFree=31120084/32770624 swapFree=66939936/67108860 [pid=30480] ppid=30477 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30480/stat : 30480 (xcsp3-exec) S 30477 30480 22588 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448315733 115843072 362 33554432000 4194304 5098028 140722281298912 140722281297016 140312593257084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38010880 140722281304955 140722281305198 140722281305198 140722281308106 0 /proc/30480/statm: 28282 362 304 221 0 87 0 [pid=30482] ppid=30480 vsize=28766288 memory=101544 CPUtime=1.77 cores=0-7 /proc/30482/stat : 30482 (java) S 30480 30480 22588 0 -1 1077944320 15125 0 0 0 169 8 0 0 20 0 28 0 448315734 29456678912 25386 33554432000 4194304 4196468 140720499745552 140720499728096 139882766565111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 /proc/30482/statm: 7191572 25386 3453 1 0 7152672 0 [pid=30482/tid=30483] ppid=30480 vsize=28766288 memory=0 CPUtime=0.61 cores=0-7 /proc/30482/task/30483/stat : 30483 (java) S 30480 30480 22588 0 -1 1077944384 8722 0 0 0 57 4 0 0 20 0 28 0 448315734 29456678912 25386 33554432000 4194304 4196468 140720499745552 139882770805888 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30484] ppid=30480 vsize=28766288 memory=139884870542192 CPUtime=0 cores=0-7 /proc/30482/task/30484/stat : 30484 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448315735 29456678912 25386 33554432000 4194304 4196468 140720499745552 139882318125968 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30485] ppid=30480 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30485/stat : 30485 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 448315735 29456678912 25386 33554432000 4194304 4196468 140720499745552 139882317073168 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30486] ppid=30480 vsize=28766288 memory=784 CPUtime=0 cores=0-7 /proc/30482/task/30486/stat : 30486 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 448315735 29456678912 25386 33554432000 4194304 4196468 140720499745552 139882316020880 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 ################ # More data... # ################ [pid=30482/tid=30500] ppid=30480 vsize=28769364 memory=5859271421084456296 CPUtime=0.62 cores=0-7 /proc/30482/task/30500/stat : 30500 (java) R 30480 30480 22588 0 -1 1077944384 2975 0 0 0 61 1 0 0 20 0 28 0 448315739 29459828736 52580 33554432000 4194304 4196468 140720499745552 139881875474672 139882766576258 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30501] ppid=30480 vsize=28769364 memory=7007706849797498710 CPUtime=0 cores=0-7 /proc/30482/task/30501/stat : 30501 (java) S 30480 30480 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448315740 29459828736 52580 33554432000 4194304 4196468 140720499745552 139881874422624 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30502] ppid=30480 vsize=28769364 memory=7014463348750180416 CPUtime=0 cores=0-7 /proc/30482/task/30502/stat : 30502 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448315740 29459828736 52580 33554432000 4194304 4196468 140720499745552 139881873369904 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30591] ppid=30480 vsize=28769364 memory=7373053875070724434 CPUtime=0.94 cores=0-7 /proc/30482/task/30591/stat : 30591 (java) R 30480 30480 22588 0 -1 4202560 20 0 0 0 94 0 0 0 20 0 28 0 448315851 29459828736 52580 33554432000 4194304 4196468 140720499745552 139881862044528 139882408922326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30592] ppid=30480 vsize=28769364 memory=6935649255759568960 CPUtime=0.99 cores=0-7 /proc/30482/task/30592/stat : 30592 (java) R 30480 30480 22588 0 -1 4202560 19 0 0 0 99 0 0 0 20 0 28 0 448315851 29459828736 52580 33554432000 4194304 4196468 140720499745552 139881864151760 139882409507234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30593] ppid=30480 vsize=28769364 memory=56 CPUtime=0.88 cores=0-7 /proc/30482/task/30593/stat : 30593 (java) R 30480 30480 22588 0 -1 4202560 23 0 0 0 88 0 0 0 20 0 28 0 448315851 29459828736 52580 33554432000 4194304 4196468 140720499745552 139881858887464 139882410122260 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30594] ppid=30480 vsize=28769364 memory=288230621803970871 CPUtime=0.81 cores=0-7 /proc/30482/task/30594/stat : 30594 (java) R 30480 30480 22588 0 -1 4202560 21 0 0 0 81 0 0 0 20 0 28 0 448315851 29459828736 52580 33554432000 4194304 4196468 140720499745552 139881857834824 139882409303132 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30595] ppid=30480 vsize=28769364 memory=13563791027735085 CPUtime=0.93 cores=0-7 /proc/30482/task/30595/stat : 30595 (java) R 30480 30480 22588 0 -1 4202560 18 0 0 0 93 0 0 0 20 0 28 0 448315851 29459828736 52580 33554432000 4194304 4196468 140720499745552 139881860993056 139882408922250 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30596] ppid=30480 vsize=28769364 memory=0 CPUtime=1.13 cores=0-7 /proc/30482/task/30596/stat : 30596 (java) R 30480 30480 22588 0 -1 4202560 18 0 0 0 113 0 0 0 20 0 28 0 448315851 29459828736 52580 33554432000 4194304 4196468 140720499745552 139881856781856 139882746290325 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30597] ppid=30480 vsize=28769364 memory=6656426216303648864 CPUtime=0.88 cores=0-7 /proc/30482/task/30597/stat : 30597 (java) R 30480 30480 22588 0 -1 4202560 20 0 0 0 88 0 0 0 20 0 28 0 448315851 29459828736 52580 33554432000 4194304 4196468 140720499745552 139881855730824 139882408650471 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30598] ppid=30480 vsize=28769364 memory=6656426216303648864 CPUtime=1.04 cores=0-7 /proc/30482/task/30598/stat : 30598 (java) R 30480 30480 22588 0 -1 4202560 18 0 0 0 104 0 0 0 20 0 28 0 448315852 29459828736 52580 33554432000 4194304 4196468 140720499745552 139881859940200 139882408963624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 Current children cumulated CPU time: 15.8 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 211768 KiB [startup+2.70913 s] /proc/loadavg: 8.90 7.82 7.82 13/219 30598 /proc/meminfo: memFree=30980332/32770624 swapFree=66939936/67108860 [pid=30480] ppid=30477 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30480/stat : 30480 (xcsp3-exec) S 30477 30480 22588 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448315733 115843072 362 33554432000 4194304 5098028 140722281298912 140722281297016 140312593257084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38010880 140722281304955 140722281305198 140722281305198 140722281308106 0 /proc/30480/statm: 28282 362 304 221 0 87 0 [pid=30482] ppid=30480 vsize=28769364 memory=212472 CPUtime=17.39 cores=0-7 /proc/30482/stat : 30482 (java) S 30480 30480 22588 0 -1 1077944320 25559 0 0 0 1724 15 0 0 20 0 28 0 448315734 29459828736 53118 33554432000 4194304 4196468 140720499745552 140720499728096 139882766565111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 /proc/30482/statm: 7192341 53118 3512 1 0 7153441 0 [pid=30482/tid=30483] ppid=30480 vsize=28769364 memory=0 CPUtime=0.62 cores=0-7 /proc/30482/task/30483/stat : 30483 (java) S 30480 30480 22588 0 -1 1077944384 8727 0 0 0 58 4 0 0 20 0 28 0 448315734 29459828736 53118 33554432000 4194304 4196468 140720499745552 139882770805888 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30484] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30484/stat : 30484 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53118 33554432000 4194304 4196468 140720499745552 139882318125968 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30485] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30485/stat : 30485 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53118 33554432000 4194304 4196468 140720499745552 139882317073168 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30486] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30486/stat : 30486 (java) S 30480 30480 22588 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53118 33554432000 4194304 4196468 140720499745552 139882316020880 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30487] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30487/stat : 30487 (java) S 30480 30480 22588 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53118 33554432000 4194304 4196468 140720499745552 139882314968080 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30488] ppid=30480 vsize=28769364 memory=139884870531969 CPUtime=0 cores=0-7 /proc/30482/task/30488/stat : 30488 (java) S 30480 30480 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53118 33554432000 4194304 4196468 140720499745552 139882313914768 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30489] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30489/stat : 30489 (java) S 30480 30480 22588 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53118 33554432000 4194304 4196468 140720499745552 139882312861968 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30490] ppid=30480 vsize=28769364 memory=7589186877129319728 CPUtime=0 cores=0-7 /proc/30482/task/30490/stat : 30490 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53118 33554432000 4194304 4196468 140720499745552 139882311809680 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30491] ppid=30480 vsize=28769364 memory=3837464190170262377 CPUtime=0 cores=0-7 /proc/30482/task/30491/stat : 30491 (java) S 30480 30480 22588 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53118 33554432000 4194304 4196468 140720499745552 139882310756880 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30492] ppid=30480 vsize=28769364 memory=3837464190170262377 CPUtime=0 cores=0-7 /proc/30482/task/30492/stat : 30492 (java) S 30480 30480 22588 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 448315736 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881882843760 139882766576258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30493] ppid=30480 vsize=28769364 memory=7885078826413811301 CPUtime=0 cores=0-7 /proc/30482/task/30493/stat : 30493 (java) S 30480 30480 22588 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 448315737 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881881789728 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30494] ppid=30480 vsize=28769364 memory=139889315927679 CPUtime=0 cores=0-7 /proc/30482/task/30494/stat : 30494 (java) S 30480 30480 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 448315737 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881880737392 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30495] ppid=30480 vsize=28769364 memory=139885020970369 CPUtime=0 cores=0-7 /proc/30482/task/30495/stat : 30495 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448315739 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881879685712 139882766583707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30496] ppid=30480 vsize=28769364 memory=0 CPUtime=1.5 cores=0-7 /proc/30482/task/30496/stat : 30496 (java) S 30480 30480 22588 0 -1 1077944384 4019 0 0 0 150 0 0 0 20 0 28 0 448315739 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881878632560 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30497] ppid=30480 vsize=28769364 memory=0 CPUtime=1.41 cores=0-7 /proc/30482/task/30497/stat : 30497 (java) D 30480 30480 22588 0 -1 4202560 3389 0 0 0 140 1 0 0 20 0 28 0 448315739 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881877566328 139882759282074 0 4 0 16800975 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30498] ppid=30480 vsize=28769364 memory=0 CPUtime=1.68 cores=0-7 /proc/30482/task/30498/stat : 30498 (java) S 30480 30480 22588 0 -1 1077944384 2962 0 0 0 168 0 0 0 20 0 28 0 448315739 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881876527472 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30500] ppid=30480 vsize=28769364 memory=0 CPUtime=0.62 cores=0-7 /proc/30482/task/30500/stat : 30500 (java) S 30480 30480 22588 0 -1 1077944384 2979 0 0 0 61 1 0 0 20 0 28 0 448315739 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881875474672 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30501] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30501/stat : 30501 (java) S 30480 30480 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448315740 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881874422624 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30502] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30502/stat : 30502 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448315740 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881873369904 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30591] ppid=30480 vsize=28769364 memory=0 CPUtime=1.13 cores=0-7 /proc/30482/task/30591/stat : 30591 (java) R 30480 30480 22588 0 -1 4202560 26 0 0 0 113 0 0 0 20 0 28 0 448315851 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881862047800 139882408924152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30592] ppid=30480 vsize=28769364 memory=0 CPUtime=1.19 cores=0-7 /proc/30482/task/30592/stat : 30592 (java) R 30480 30480 22588 0 -1 4202560 24 0 0 0 119 0 0 0 20 0 28 0 448315851 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881864152152 139882404430880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30593] ppid=30480 vsize=28769364 memory=0 CPUtime=1.01 cores=0-7 /proc/30482/task/30593/stat : 30593 (java) R 30480 30480 22588 0 -1 4202560 27 0 0 0 101 0 0 0 20 0 28 0 448315851 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881858887464 139882409508327 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30594] ppid=30480 vsize=28769364 memory=0 CPUtime=0.92 cores=0-7 /proc/30482/task/30594/stat : 30594 (java) R 30480 30480 22588 0 -1 4202560 32 0 0 0 92 0 0 0 20 0 28 0 448315851 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881857837208 139882409303072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30595] ppid=30480 vsize=28769364 memory=0 CPUtime=1.1 cores=0-7 /proc/30482/task/30595/stat : 30595 (java) R 30480 30480 22588 0 -1 4202560 23 0 0 0 110 0 0 0 20 0 28 0 448315851 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881860994400 139882409508051 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30596] ppid=30480 vsize=28769364 memory=0 CPUtime=1.32 cores=0-7 /proc/30482/task/30596/stat : 30596 (java) R 30480 30480 22588 0 -1 4202560 23 0 0 0 132 0 0 0 20 0 28 0 448315851 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881856782872 139882408922581 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30597] ppid=30480 vsize=28769364 memory=0 CPUtime=1.07 cores=0-7 /proc/30482/task/30597/stat : 30597 (java) R 30480 30480 22588 0 -1 4202560 26 0 0 0 107 0 0 0 20 0 28 0 448315851 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881855730312 139882411099468 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30598] ppid=30480 vsize=28769364 memory=0 CPUtime=1.17 cores=0-7 /proc/30482/task/30598/stat : 30598 (java) R 30480 30480 22588 0 -1 4202560 21 0 0 0 117 0 0 0 20 0 28 0 448315852 29459828736 53118 33554432000 4194304 4196468 140720499745552 139881859940200 139882410437765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 Current children cumulated CPU time: 17.39 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 213920 KiB [startup+2.80973 s] /proc/loadavg: 8.90 7.82 7.82 13/219 30598 /proc/meminfo: memFree=30980332/32770624 swapFree=66939936/67108860 [pid=30480] ppid=30477 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30480/stat : 30480 (xcsp3-exec) S 30477 30480 22588 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448315733 115843072 362 33554432000 4194304 5098028 140722281298912 140722281297016 140312593257084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38010880 140722281304955 140722281305198 140722281305198 140722281308106 0 /proc/30480/statm: 28282 362 304 221 0 87 0 [pid=30482] ppid=30480 vsize=28769364 memory=212612 CPUtime=18.18 cores=0-7 /proc/30482/stat : 30482 (java) S 30480 30480 22588 0 -1 1077944320 25584 0 0 0 1803 15 0 0 20 0 28 0 448315734 29459828736 53153 33554432000 4194304 4196468 140720499745552 140720499728096 139882766565111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 /proc/30482/statm: 7192341 53153 3513 1 0 7153441 0 [pid=30482/tid=30483] ppid=30480 vsize=28769364 memory=0 CPUtime=0.62 cores=0-7 /proc/30482/task/30483/stat : 30483 (java) R 30480 30480 22588 0 -1 4202560 8727 0 0 0 58 4 0 0 20 0 28 0 448315734 29459828736 53153 33554432000 4194304 4196468 140720499745552 139882770805888 139882766577046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30484] ppid=30480 vsize=28769364 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/30482/task/30484/stat : 30484 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53153 33554432000 4194304 4196468 140720499745552 139882318125968 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30485] ppid=30480 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/30482/task/30485/stat : 30485 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53153 33554432000 4194304 4196468 140720499745552 139882317073168 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30486] ppid=30480 vsize=28769364 memory=210100 CPUtime=0 cores=0-7 /proc/30482/task/30486/stat : 30486 (java) S 30480 30480 22588 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53191 33554432000 4194304 4196468 140720499745552 139882316020880 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30487] ppid=30480 vsize=28769364 memory=1900672 CPUtime=0 cores=0-7 /proc/30482/task/30487/stat : 30487 (java) S 30480 30480 22588 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53225 33554432000 4194304 4196468 140720499745552 139882314968080 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30488] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30488/stat : 30488 (java) S 30480 30480 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53242 33554432000 4194304 4196468 140720499745552 139882313914768 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30489] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30489/stat : 30489 (java) S 30480 30480 22588 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53242 33554432000 4194304 4196468 140720499745552 139882312861968 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30490] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30490/stat : 30490 (java) S 30480 30480 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53242 33554432000 4194304 4196468 140720499745552 139882311809680 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30491] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30491/stat : 30491 (java) S 30480 30480 22588 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 448315735 29459828736 53242 33554432000 4194304 4196468 140720499745552 139882310756880 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30492] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30492/stat : 30492 (java) S 30480 30480 22588 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 448315736 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881882843760 139882766576258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30493] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30493/stat : 30493 (java) S 30480 30480 22588 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 448315737 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881881789728 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30494] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30494/stat : 30494 (java) S 30480 30480 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 448315737 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881880737392 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30495] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30495/stat : 30495 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448315739 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881879685712 139882766583707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30496] ppid=30480 vsize=28769364 memory=0 CPUtime=1.53 cores=0-7 /proc/30482/task/30496/stat : 30496 (java) R 30480 30480 22588 0 -1 1077944384 4022 0 0 0 153 0 0 0 20 0 28 0 448315739 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881878632560 139882766576258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30497] ppid=30480 vsize=28769364 memory=0 CPUtime=1.42 cores=0-7 /proc/30482/task/30497/stat : 30497 (java) R 30480 30480 22588 0 -1 4202560 3405 0 0 0 141 1 0 0 20 0 28 0 448315739 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881877579760 139882745982817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30498] ppid=30480 vsize=28769364 memory=0 CPUtime=1.69 cores=0-7 /proc/30482/task/30498/stat : 30498 (java) R 30480 30480 22588 0 -1 4202560 2962 0 0 0 169 0 0 0 20 0 28 0 448315739 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881876527472 139882752593088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30500] ppid=30480 vsize=28769364 memory=0 CPUtime=0.62 cores=0-7 /proc/30482/task/30500/stat : 30500 (java) R 30480 30480 22588 0 -1 4202560 2980 0 0 0 61 1 0 0 20 0 28 0 448315739 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881875474672 139882766577046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30501] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30501/stat : 30501 (java) S 30480 30480 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448315740 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881874422624 139882766575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30502] ppid=30480 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/30482/task/30502/stat : 30502 (java) S 30480 30480 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448315740 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881873369904 139882766576258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30591] ppid=30480 vsize=28769364 memory=288230574492221466 CPUtime=1.24 cores=0-7 /proc/30482/task/30591/stat : 30591 (java) D 30480 30480 22588 0 -1 4202560 26 0 0 0 124 0 0 0 20 0 28 0 448315851 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881862053656 139882759282407 0 4 0 16800975 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30592] ppid=30480 vsize=28769364 memory=0 CPUtime=1.29 cores=0-7 /proc/30482/task/30592/stat : 30592 (java) D 30480 30480 22588 0 -1 4202560 25 0 0 0 129 0 0 0 20 0 28 0 448315851 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881864157960 139882759282074 0 4 0 16800975 18446744071582151463 0 0 -1 5 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30593] ppid=30480 vsize=28769364 memory=-3252517613199061085 CPUtime=1.11 cores=0-7 /proc/30482/task/30593/stat : 30593 (java) D 30480 30480 22588 0 -1 4202560 27 0 0 0 111 0 0 0 20 0 28 0 448315851 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881858893960 139882759282074 0 4 0 16800975 18446744071582151463 0 0 -1 6 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30594] ppid=30480 vsize=28769364 memory=6944656592455097440 CPUtime=1 cores=0-7 /proc/30482/task/30594/stat : 30594 (java) D 30480 30480 22588 0 -1 4202560 32 0 0 0 100 0 0 0 20 0 28 0 448315851 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881857842968 139882759282407 0 4 0 16800975 18446744071582151416 0 0 -1 6 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30595] ppid=30480 vsize=28769364 memory=6656426216303648864 CPUtime=1.2 cores=0-7 /proc/30482/task/30595/stat : 30595 (java) D 30480 30480 22588 0 -1 4202560 24 0 0 0 120 0 0 0 20 0 28 0 448315851 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881861000984 139882759282407 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30596] ppid=30480 vsize=28769364 memory=6656426216303648864 CPUtime=1.42 cores=0-7 /proc/30482/task/30596/stat : 30596 (java) D 30480 30480 22588 0 -1 4202560 23 0 0 0 142 0 0 0 20 0 28 0 448315851 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881856790296 139882759282407 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 1 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30597] ppid=30480 vsize=28769364 memory=279769740691008 CPUtime=1.14 cores=0-7 /proc/30482/task/30597/stat : 30597 (java) D 30480 30480 22588 0 -1 4202560 27 0 0 0 114 0 0 0 20 0 28 0 448315851 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881855737624 139882759282407 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 1 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 [pid=30482/tid=30598] ppid=30480 vsize=28769364 memory=7522514853951717481 CPUtime=1.26 cores=0-7 /proc/30482/task/30598/stat : 30598 (java) R 30480 30480 22588 0 -1 4202560 23 0 0 0 126 0 0 0 20 0 28 0 448315852 29459828736 53242 33554432000 4194304 4196468 140720499745552 139881859947016 139882759282074 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 14893056 140720499749872 140720499750043 140720499750043 140720499752911 0 Current children cumulated CPU time: 18.18 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 214060 KiB Child status: 0 Real time (s): 2.82991 CPU time (s): 18.2098 CPU user time (s): 18.0438 CPU system time (s): 0.166015 CPU usage (%): 643.477 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 214060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.0438 system time used= 0.166015 maximum resident set size= 213832 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26172 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4528 involuntary context switches= 627 # summary of solver processes directly reported to runsolver: # pid: 30480 # total CPU time (s): 18.2098 # total CPU user time (s): 18.0438 # total CPU system time (s): 0.166015 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.044475 second user time and 0.069424 second system time The end
Begin job on node105 at 2019-09-17 12:41:19 IDJOB=4400109 IDBENCH=141376 IDSOLVER=2855 FILE ID=node105/4400109-1568720575 RUNJOBID= node105-1568709526-22615 PBS_JOBID= 21703944 Free space on /tmp= 61004 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-09_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-4400109-1568720575/watcher-4400109-1568720575 -o /tmp/evaluation-result-4400109-1568720575/solver-4400109-1568720575 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568709526-22615 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1652222204 HOME/instance-4400109-1568720575.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 967738086e80168f9eb4b0337d9e8cf6 RANDOM SEED=1652222204 node105.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.00 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.00 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.00 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.00 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: 31177472 kB MemAvailable: 31844228 kB Buffers: 188172 kB Cached: 779124 kB SwapCached: 65488 kB Active: 545952 kB Inactive: 490316 kB Active(anon): 9876 kB Inactive(anon): 103440 kB Active(file): 536076 kB Inactive(file): 386876 kB Unevictable: 109044 kB Mlocked: 109044 kB SwapTotal: 67108860 kB SwapFree: 66939936 kB Dirty: 26324 kB Writeback: 4 kB AnonPages: 113088 kB Mapped: 43940 kB Shmem: 35728 kB Slab: 147948 kB SReclaimable: 119276 kB SUnreclaim: 28672 kB KernelStack: 3376 kB PageTables: 5300 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 499348 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60980 MiB End job on node105 at 2019-09-17 12:41:22