Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-07-02 | ? (TO) | 19973.3 | 2520.5 |
Name | MagicHexagon/ MagicHexagon-05-m003_c18.xml |
MD5SUM | 11e14450858ef922a4bcb0797a1233a1 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 4556.42 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 81 |
Number of constraints | 34 |
Number of domains | 1 |
Minimum domain size | 61 |
Maximum domain size | 61 |
Distribution of domain sizes | [{"size":61,"count":61}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":20},{"degree":4,"count":55},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 61 |
Distribution of constraint arities | [{"arity":2,"count":6},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":3},{"arity":61,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 6 |
Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":27}] |
Optimization problem | NO |
Type of objective |
0.66/0.55 c version: 2018-07-02 0.66/0.55 c seed: 1870237206 0.66/0.55 c timeout: 20160 0.66/0.55 c memlimit: 22000 0.66/0.55 c nbcore: 8 0.66/0.58 c Parsing instance... 1.19/0.86 c Parsing done, starting search... 19969.48/2520.07 s UNKNOWN
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 (9622 MiB free) memory of node 1: 16384 MiB (10149 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291273-1532672692/watcher-4291273-1532672692 -o /tmp/evaluation-result-4291273-1532672692/solver-4291273-1532672692 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532672644-13643 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1870237206 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291273-1532672692.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=13752, runsolver pid=13749 [startup+0.100113 s]* /proc/loadavg: 3.93 7.10 7.91 3/199 13772 /proc/meminfo: memFree=20232000/32770624 swapFree=67108860/67108860 [pid=13752] ppid=13749 vsize=26103424 memory=29080 CPUtime=0.11 cores=0-7 /proc/13752/stat : 13752 (java) S 13749 13752 13616 0 -1 1077944320 6727 0 0 0 10 1 0 0 20 0 20 0 84832438 26729906176 7270 33554432000 4194304 4196468 140737217633840 140737217616384 139678622891767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 /proc/13752/statm: 6525856 7270 3132 1 0 6487932 0 [pid=13752/tid=13754] ppid=13749 vsize=26103424 memory=8185180655885130652 CPUtime=0.08 cores=0-7 /proc/13752/task/13754/stat : 13754 (java) R 13749 13752 13616 0 -1 4202560 4873 0 0 0 8 0 0 0 20 0 20 0 84832438 26729906176 7336 33554432000 4194304 4196468 140737217633840 139678627094896 139678603168592 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13755] ppid=13749 vsize=26103424 memory=732370164456295397 CPUtime=0 cores=0-7 /proc/13752/task/13755/stat : 13755 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 7336 33554432000 4194304 4196468 140737217633840 139678579444880 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13756] ppid=13749 vsize=26103424 memory=140026118841984 CPUtime=0 cores=0-7 /proc/13752/task/13756/stat : 13756 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 7336 33554432000 4194304 4196468 140737217633840 139678179785744 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13757] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13757/stat : 13757 (java) S 13749 13752 13616 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 7336 33554432000 4194304 4196468 140737217633840 139678178732944 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13758] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13758/stat : 13758 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 7402 33554432000 4194304 4196468 140737217633840 139678177680144 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13759] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13759/stat : 13759 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 7402 33554432000 4194304 4196468 140737217633840 139678176627344 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13760] ppid=13749 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13752/task/13760/stat : 13760 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 7402 33554432000 4194304 4196468 140737217633840 139678175574544 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13761] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13761/stat : 13761 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 7402 33554432000 4194304 4196468 140737217633840 139678174521744 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13762] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13762/stat : 13762 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 7402 33554432000 4194304 4196468 140737217633840 139678173468944 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13763] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13763/stat : 13763 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832441 26729906176 7402 33554432000 4194304 4196468 140737217633840 139677298305904 139678622902914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13764] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13764/stat : 13764 (java) S 13749 13752 13616 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84832441 26729906176 7402 33554432000 4194304 4196468 140737217633840 139677297251872 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13765] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13765/stat : 13765 (java) S 13749 13752 13616 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84832441 26729906176 7402 33554432000 4194304 4196468 140737217633840 139677296199024 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13766] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13766/stat : 13766 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832444 26729906176 7402 33554432000 4194304 4196468 140737217633840 139677295147344 139678622910363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13767] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13767/stat : 13767 (java) S 13749 13752 13616 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 84832444 26729906176 7402 33554432000 4194304 4196468 140737217633840 139677294094704 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13768] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13768/stat : 13768 (java) S 13749 13752 13616 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84832444 26729906176 7402 33554432000 4194304 4196468 140737217633840 139677293041904 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13769] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13769/stat : 13769 (java) S 13749 13752 13616 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84832444 26729906176 7468 33554432000 4194304 4196468 140737217633840 139677291989104 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13770] ppid=13749 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/13752/task/13770/stat : 13770 (java) S 13749 13752 13616 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 84832444 26729906176 7468 33554432000 4194304 4196468 140737217633840 139677290936304 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13771] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13771/stat : 13771 (java) S 13749 13752 13616 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84832444 26729906176 7468 33554432000 4194304 4196468 140737217633840 139677289884768 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13772] ppid=13749 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13752/task/13772/stat : 13772 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832444 26729906176 7468 33554432000 4194304 4196468 140737217633840 139677288832048 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 29080 KiB [startup+0.210046 s]* /proc/loadavg: 3.93 7.10 7.91 3/199 13772 /proc/meminfo: memFree=20218048/32770624 swapFree=67108860/67108860 [pid=13752] ppid=13749 vsize=26103424 memory=42904 CPUtime=0.29 cores=0-7 /proc/13752/stat : 13752 (java) S 13749 13752 13616 0 -1 1077944320 10412 0 0 0 27 2 0 0 20 0 20 0 84832438 26729906176 10726 33554432000 4194304 4196468 140737217633840 140737217616384 139678622891767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 /proc/13752/statm: 6525856 10726 3320 1 0 6487932 0 [pid=13752/tid=13754] ppid=13749 vsize=26103424 memory=29681743523217448 CPUtime=0.19 cores=0-7 /proc/13752/task/13754/stat : 13754 (java) R 13749 13752 13616 0 -1 4202560 8141 0 0 0 18 1 0 0 20 0 20 0 84832438 26729906176 10726 33554432000 4194304 4196468 140737217633840 139678627119920 139678622903702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13755] ppid=13749 vsize=26103424 memory=288230613264367967 CPUtime=0 cores=0-7 /proc/13752/task/13755/stat : 13755 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 10726 33554432000 4194304 4196468 140737217633840 139678579444880 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13756] ppid=13749 vsize=26103424 memory=288370402270553728 CPUtime=0 cores=0-7 /proc/13752/task/13756/stat : 13756 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 10726 33554432000 4194304 4196468 140737217633840 139678179785744 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13757] ppid=13749 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13752/task/13757/stat : 13757 (java) S 13749 13752 13616 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 10726 33554432000 4194304 4196468 140737217633840 139678178732944 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13758] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13758/stat : 13758 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 10726 33554432000 4194304 4196468 140737217633840 139678177680144 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13759] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13759/stat : 13759 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 10726 33554432000 4194304 4196468 140737217633840 139678176627344 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13760] ppid=13749 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13752/task/13760/stat : 13760 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 10726 33554432000 4194304 4196468 140737217633840 139678175574544 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13761] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13761/stat : 13761 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 10726 33554432000 4194304 4196468 140737217633840 139678174521744 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13762] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13762/stat : 13762 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 10726 33554432000 4194304 4196468 140737217633840 139678173468944 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13763] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13763/stat : 13763 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832441 26729906176 10726 33554432000 4194304 4196468 140737217633840 139677298305904 139678622902914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13764] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13764/stat : 13764 (java) S 13749 13752 13616 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84832441 26729906176 10726 33554432000 4194304 4196468 140737217633840 139677297251872 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13765] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13765/stat : 13765 (java) S 13749 13752 13616 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84832441 26729906176 10726 33554432000 4194304 4196468 140737217633840 139677296199024 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13766] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13766/stat : 13766 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832444 26729906176 10726 33554432000 4194304 4196468 140737217633840 139677295147344 139678622910363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13767] ppid=13749 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/13752/task/13767/stat : 13767 (java) R 13749 13752 13616 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 20 0 84832444 26729906176 10726 33554432000 4194304 4196468 140737217633840 139677294094704 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13768] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13768/stat : 13768 (java) S 13749 13752 13616 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 84832444 26729906176 10726 33554432000 4194304 4196468 140737217633840 139677293041904 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13769] ppid=13749 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/13752/task/13769/stat : 13769 (java) S 13749 13752 13616 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 20 0 84832444 26729906176 10726 33554432000 4194304 4196468 140737217633840 139677291989104 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13770] ppid=13749 vsize=26103424 memory=0 CPUtime=0.05 cores=0-7 /proc/13752/task/13770/stat : 13770 (java) R 13749 13752 13616 0 -1 4202560 325 0 0 0 5 0 0 0 20 0 20 0 84832444 26729906176 10726 33554432000 4194304 4196468 140737217633840 139677290932672 139678622903702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13771] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13771/stat : 13771 (java) S 13749 13752 13616 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84832444 26729906176 10726 33554432000 4194304 4196468 140737217633840 139677289884768 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13772] ppid=13749 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13752/task/13772/stat : 13772 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832444 26729906176 10726 33554432000 4194304 4196468 140737217633840 139677288832048 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 42904 KiB [startup+0.309588 s]* /proc/loadavg: 3.70 7.00 7.87 2/199 13772 /proc/meminfo: memFree=20214760/32770624 swapFree=67108860/67108860 [pid=13752] ppid=13749 vsize=26103424 memory=46936 CPUtime=0.43 cores=0-7 /proc/13752/stat : 13752 (java) S 13749 13752 13616 0 -1 1077944320 10857 0 0 0 40 3 0 0 20 0 20 0 84832438 26729906176 11734 33554432000 4194304 4196468 140737217633840 140737217616384 139678622891767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 /proc/13752/statm: 6525856 11734 3395 1 0 6487932 0 [pid=13752/tid=13754] ppid=13749 vsize=26103424 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/13752/task/13754/stat : 13754 (java) R 13749 13752 13616 0 -1 4202560 8489 0 0 0 28 2 0 0 20 0 20 0 84832438 26729906176 11734 33554432000 4194304 4196468 140737217633840 139678627070824 139678604455296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13755] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13755/stat : 13755 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 11734 33554432000 4194304 4196468 140737217633840 139678579444880 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13756] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13756/stat : 13756 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 11734 33554432000 4194304 4196468 140737217633840 139678179785744 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13757] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13757/stat : 13757 (java) S 13749 13752 13616 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 11734 33554432000 4194304 4196468 140737217633840 139678178732944 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13758] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13758/stat : 13758 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 11734 33554432000 4194304 4196468 140737217633840 139678177680144 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13759] ppid=13749 vsize=26103424 memory=2244 CPUtime=0 cores=0-7 /proc/13752/task/13759/stat : 13759 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 11734 33554432000 4194304 4196468 140737217633840 139678176627344 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13760] ppid=13749 vsize=26103424 memory=140026000274351 CPUtime=0 cores=0-7 /proc/13752/task/13760/stat : 13760 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 11734 33554432000 4194304 4196468 140737217633840 139678175574544 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13761] ppid=13749 vsize=26103424 memory=140026000276656 CPUtime=0 cores=0-7 /proc/13752/task/13761/stat : 13761 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 11734 33554432000 4194304 4196468 140737217633840 139678174521744 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13762] ppid=13749 vsize=26103424 memory=140026000278960 CPUtime=0 cores=0-7 /proc/13752/task/13762/stat : 13762 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832439 26729906176 11734 33554432000 4194304 4196468 140737217633840 139678173468944 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13763] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13763/stat : 13763 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832441 26729906176 11734 33554432000 4194304 4196468 140737217633840 139677298305904 139678622902914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13764] ppid=13749 vsize=26103424 memory=280052000564880 CPUtime=0 cores=0-7 /proc/13752/task/13764/stat : 13764 (java) S 13749 13752 13616 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84832441 26729906176 11734 33554432000 4194304 4196468 140737217633840 139677297251872 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13765] ppid=13749 vsize=26103424 memory=280052000571792 CPUtime=0 cores=0-7 /proc/13752/task/13765/stat : 13765 (java) S 13749 13752 13616 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84832441 26729906176 11734 33554432000 4194304 4196468 140737217633840 139677296199024 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13766] ppid=13749 vsize=26103424 memory=280052000513072 CPUtime=0 cores=0-7 /proc/13752/task/13766/stat : 13766 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832444 26729906176 11734 33554432000 4194304 4196468 140737217633840 139677295147344 139678622910363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13767] ppid=13749 vsize=26103424 memory=280052000585616 CPUtime=0.02 cores=0-7 /proc/13752/task/13767/stat : 13767 (java) S 13749 13752 13616 0 -1 1077944384 436 0 0 0 2 0 0 0 20 0 20 0 84832444 26729906176 11734 33554432000 4194304 4196468 140737217633840 139677294094704 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13768] ppid=13749 vsize=26103424 memory=280052000592528 CPUtime=0 cores=0-7 /proc/13752/task/13768/stat : 13768 (java) S 13749 13752 13616 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 84832444 26729906176 11734 33554432000 4194304 4196468 140737217633840 139677293041904 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13769] ppid=13749 vsize=26103424 memory=280052000590224 CPUtime=0.01 cores=0-7 /proc/13752/task/13769/stat : 13769 (java) S 13749 13752 13616 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 84832444 26729906176 11734 33554432000 4194304 4196468 140737217633840 139677291989104 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13770] ppid=13749 vsize=26103424 memory=280052000606784 CPUtime=0.07 cores=0-7 /proc/13752/task/13770/stat : 13770 (java) S 13749 13752 13616 0 -1 1077944384 344 0 0 0 7 0 0 0 20 0 20 0 84832444 26729906176 11734 33554432000 4194304 4196468 140737217633840 139677290936304 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13771] ppid=13749 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13771/stat : 13771 (java) S 13749 13752 13616 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84832444 26729906176 11734 33554432000 4194304 4196468 140737217633840 139677289884768 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13772] ppid=13749 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13752/task/13772/stat : 13772 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832444 26729906176 11734 33554432000 4194304 4196468 140737217633840 139677288832048 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 46936 KiB [startup+0.700862 s] /proc/loadavg: 3.70 7.00 7.87 3/199 13772 /proc/meminfo: memFree=20190304/32770624 swapFree=67108860/67108860 [pid=13752] ppid=13749 vsize=26105492 memory=85528 CPUtime=0.98 cores=0-7 /proc/13752/stat : 13752 (java) S 13749 13752 13616 0 -1 1077944320 17854 0 0 0 94 4 0 0 20 0 20 0 84832438 26732023808 21382 33554432000 4194304 4196468 140737217633840 140737217616384 139678622891767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 /proc/13752/statm: 6526373 21382 3496 1 0 6488444 0 [pid=13752/tid=13754] ppid=13749 vsize=26105492 memory=7230638415890377303 CPUtime=0.67 cores=0-7 /proc/13752/task/13754/stat : 13754 (java) R 13749 13752 13616 0 -1 4202560 14980 0 0 0 64 3 0 0 20 0 20 0 84832438 26732023808 21382 33554432000 4194304 4196468 140737217633840 139678627106128 139678622913693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13755] ppid=13749 vsize=26105492 memory=59145994660758 CPUtime=0 cores=0-7 /proc/13752/task/13755/stat : 13755 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832439 26732023808 21382 33554432000 4194304 4196468 140737217633840 139678579444880 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13756] ppid=13749 vsize=26105492 memory=140026000290289 CPUtime=0 cores=0-7 /proc/13752/task/13756/stat : 13756 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26732023808 21382 33554432000 4194304 4196468 140737217633840 139678179785744 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13757] ppid=13749 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13757/stat : 13757 (java) S 13749 13752 13616 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84832439 26732023808 21382 33554432000 4194304 4196468 140737217633840 139678178732944 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13758] ppid=13749 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13758/stat : 13758 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26732023808 21382 33554432000 4194304 4196468 140737217633840 139678177680144 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13759] ppid=13749 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13759/stat : 13759 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26732023808 21382 33554432000 4194304 4196468 140737217633840 139678176627344 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13760] ppid=13749 vsize=26105492 memory=2353 CPUtime=0 cores=0-7 /proc/13752/task/13760/stat : 13760 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832439 26732023808 21382 33554432000 4194304 4196468 140737217633840 139678175574544 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13761] ppid=13749 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/13752/task/13761/stat : 13761 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84832439 26732023808 21382 33554432000 4194304 4196468 140737217633840 139678174521744 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13762] ppid=13749 vsize=26105492 memory=1724 CPUtime=0 cores=0-7 /proc/13752/task/13762/stat : 13762 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832439 26732023808 21382 33554432000 4194304 4196468 140737217633840 139678173468944 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13763] ppid=13749 vsize=26105492 memory=1228 CPUtime=0 cores=0-7 /proc/13752/task/13763/stat : 13763 (java) S 13749 13752 13616 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84832441 26732023808 21382 33554432000 4194304 4196468 140737217633840 139677298305904 139678622902914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 ################ # More data... # ################ [pid=13752] ppid=13749 vsize=27051760 memory=1575968 CPUtime=19969.5 cores=0-7 /proc/13752/stat : 13752 (java) S 13749 13752 13616 0 -1 1077944320 1947079 0 0 0 1996013 935 0 0 20 0 34 0 84832438 27701002240 393992 33554432000 4194304 4196468 140737217633840 140737217616384 139678622891767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 /proc/13752/statm: 6762940 393992 3606 1 0 6724490 0 [pid=13752/tid=13754] ppid=13749 vsize=27051760 memory=6791534058613427641 CPUtime=2.41 cores=0-7 /proc/13752/task/13754/stat : 13754 (java) S 13749 13752 13616 0 -1 1077944384 25328 0 0 0 234 7 0 0 20 0 34 0 84832438 27701002240 393992 33554432000 4194304 4196468 140737217633840 139678627129232 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13755] ppid=13749 vsize=27051760 memory=-7003737579269690708 CPUtime=6.03 cores=0-7 /proc/13752/task/13755/stat : 13755 (java) S 13749 13752 13616 0 -1 1077944384 136722 0 0 0 561 42 0 0 20 0 34 0 84832439 27701002240 393992 33554432000 4194304 4196468 140737217633840 139678579444880 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13756] ppid=13749 vsize=27051760 memory=1228 CPUtime=6.09 cores=0-7 /proc/13752/task/13756/stat : 13756 (java) S 13749 13752 13616 0 -1 1077944384 128774 0 0 0 565 44 0 0 20 0 34 0 84832439 27701002240 393992 33554432000 4194304 4196468 140737217633840 139678179785744 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13757] ppid=13749 vsize=27051760 memory=1428 CPUtime=6.05 cores=0-7 /proc/13752/task/13757/stat : 13757 (java) S 13749 13752 13616 0 -1 1077944384 131826 0 0 0 564 41 0 0 20 0 34 0 84832439 27701002240 393992 33554432000 4194304 4196468 140737217633840 139678178732944 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13758] ppid=13749 vsize=27051760 memory=1196 CPUtime=6.09 cores=0-7 /proc/13752/task/13758/stat : 13758 (java) S 13749 13752 13616 0 -1 1077944384 128011 0 0 0 566 43 0 0 20 0 34 0 84832439 27701002240 393992 33554432000 4194304 4196468 140737217633840 139678177680144 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13759] ppid=13749 vsize=27051760 memory=5788 CPUtime=6.12 cores=0-7 /proc/13752/task/13759/stat : 13759 (java) S 13749 13752 13616 0 -1 1077944384 132473 0 0 0 566 46 0 0 20 0 34 0 84832439 27701002240 393992 33554432000 4194304 4196468 140737217633840 139678176627344 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13760] ppid=13749 vsize=27051760 memory=4616 CPUtime=6.11 cores=0-7 /proc/13752/task/13760/stat : 13760 (java) S 13749 13752 13616 0 -1 1077944384 137503 0 0 0 568 43 0 0 20 0 34 0 84832439 27701002240 393992 33554432000 4194304 4196468 140737217633840 139678175574544 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13761] ppid=13749 vsize=27051760 memory=12032 CPUtime=6.05 cores=0-7 /proc/13752/task/13761/stat : 13761 (java) S 13749 13752 13616 0 -1 1077944384 124109 0 0 0 562 43 0 0 20 0 34 0 84832439 27701002240 393992 33554432000 4194304 4196468 140737217633840 139678174521744 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13762] ppid=13749 vsize=27051760 memory=1240 CPUtime=6.04 cores=0-7 /proc/13752/task/13762/stat : 13762 (java) S 13749 13752 13616 0 -1 1077944384 131413 0 0 0 558 46 0 0 20 0 34 0 84832439 27701002240 393992 33554432000 4194304 4196468 140737217633840 139678173468944 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13763] ppid=13749 vsize=27051760 memory=2340 CPUtime=6.11 cores=0-7 /proc/13752/task/13763/stat : 13763 (java) S 13749 13752 13616 0 -1 1077944384 178774 0 0 0 518 93 0 0 20 0 34 0 84832441 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677298305904 139678622902914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13764] ppid=13749 vsize=27051760 memory=1568 CPUtime=0 cores=0-7 /proc/13752/task/13764/stat : 13764 (java) S 13749 13752 13616 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 34 0 84832441 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677297251936 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13765] ppid=13749 vsize=27051760 memory=928 CPUtime=0 cores=0-7 /proc/13752/task/13765/stat : 13765 (java) S 13749 13752 13616 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 34 0 84832441 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677296199040 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13766] ppid=13749 vsize=27051760 memory=2240 CPUtime=0 cores=0-7 /proc/13752/task/13766/stat : 13766 (java) S 13749 13752 13616 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 84832444 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677295147344 139678622910363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13767] ppid=13749 vsize=27051760 memory=4128 CPUtime=1.16 cores=0-7 /proc/13752/task/13767/stat : 13767 (java) S 13749 13752 13616 0 -1 1077944384 3907 0 0 0 114 2 0 0 20 0 34 0 84832444 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677294094704 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13768] ppid=13749 vsize=27051760 memory=2200 CPUtime=1.27 cores=0-7 /proc/13752/task/13768/stat : 13768 (java) S 13749 13752 13616 0 -1 1077944384 5409 0 0 0 125 2 0 0 20 0 34 0 84832444 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677293041904 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13769] ppid=13749 vsize=27051760 memory=7392 CPUtime=1.56 cores=0-7 /proc/13752/task/13769/stat : 13769 (java) S 13749 13752 13616 0 -1 1077944384 4741 0 0 0 156 0 0 0 20 0 34 0 84832444 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677291989104 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13770] ppid=13749 vsize=27051760 memory=840 CPUtime=0.89 cores=0-7 /proc/13752/task/13770/stat : 13770 (java) S 13749 13752 13616 0 -1 1077944384 10256 0 0 0 87 2 0 0 20 0 34 0 84832444 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677290936304 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13771] ppid=13749 vsize=27051760 memory=4108 CPUtime=0 cores=0-7 /proc/13752/task/13771/stat : 13771 (java) S 13749 13752 13616 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 84832444 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677289884768 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13772] ppid=13749 vsize=27051760 memory=6791534058613427641 CPUtime=0.83 cores=0-7 /proc/13752/task/13772/stat : 13772 (java) S 13749 13752 13616 0 -1 1077944384 8969 0 0 0 50 33 0 0 20 0 34 0 84832444 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677288832048 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13773] ppid=13749 vsize=27051760 memory=2240 CPUtime=0 cores=0-7 /proc/13752/task/13773/stat : 13773 (java) S 13749 13752 13616 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 34 0 84832643 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677277484160 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13774] ppid=13749 vsize=27051760 memory=4128 CPUtime=1.81 cores=0-7 /proc/13752/task/13774/stat : 13774 (java) R 13749 13752 13616 0 -1 1077944384 20786 0 0 0 60 121 0 0 20 0 34 0 84832665 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677274334496 139678622902914 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13775] ppid=13749 vsize=27051760 memory=2200 CPUtime=2484.67 cores=0-7 /proc/13752/task/13775/stat : 13775 (java) R 13749 13752 13616 0 -1 4202560 79408 0 0 0 248402 65 0 0 20 0 34 0 84832681 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677271177208 139678270080188 0 4 0 16800975 0 0 0 -1 3 0 0 29 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13776] ppid=13749 vsize=27051760 memory=7392 CPUtime=0.05 cores=0-7 /proc/13752/task/13776/stat : 13776 (java) S 13749 13752 13616 0 -1 1077944384 107 0 0 0 5 0 0 0 20 0 34 0 84832682 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677270131616 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13777] ppid=13749 vsize=27051760 memory=840 CPUtime=2487.22 cores=0-7 /proc/13752/task/13777/stat : 13777 (java) R 13749 13752 13616 0 -1 4202560 77578 0 0 0 248666 56 0 0 20 0 34 0 84832682 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677269071368 139678269974262 0 4 0 16800975 0 0 0 -1 7 0 0 30 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13778] ppid=13749 vsize=27051760 memory=4108 CPUtime=2488.65 cores=0-7 /proc/13752/task/13778/stat : 13778 (java) R 13749 13752 13616 0 -1 4202560 76777 0 0 0 248806 59 0 0 20 0 34 0 84832688 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677265920816 139678269596148 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13779] ppid=13749 vsize=27051760 memory=1800 CPUtime=2489.83 cores=0-7 /proc/13752/task/13779/stat : 13779 (java) R 13749 13752 13616 0 -1 4202560 82574 0 0 0 248917 66 0 0 20 0 34 0 84832688 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677264869688 139678270285743 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13780] ppid=13749 vsize=27051760 memory=916 CPUtime=0.03 cores=0-7 /proc/13752/task/13780/stat : 13780 (java) S 13749 13752 13616 0 -1 1077944384 44 0 0 0 3 0 0 0 20 0 34 0 84832688 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677263824288 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13781] ppid=13749 vsize=27051760 memory=4136 CPUtime=2488.65 cores=0-7 /proc/13752/task/13781/stat : 13781 (java) R 13749 13752 13616 0 -1 4202560 79996 0 0 0 248809 56 0 0 20 0 34 0 84832688 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677262763576 139678269596015 0 4 0 16800975 0 0 0 -1 1 0 0 28 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13782] ppid=13749 vsize=27051760 memory=1408 CPUtime=0.02 cores=0-7 /proc/13752/task/13782/stat : 13782 (java) S 13749 13752 13616 0 -1 1077944384 38 0 0 0 2 0 0 0 20 0 34 0 84832688 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677261718688 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13783] ppid=13749 vsize=27051760 memory=3968 CPUtime=0 cores=0-7 /proc/13752/task/13783/stat : 13783 (java) S 13749 13752 13616 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 34 0 84832688 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677260665888 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13784] ppid=13749 vsize=27051760 memory=1575968 CPUtime=2488.86 cores=0-7 /proc/13752/task/13784/stat : 13784 (java) R 13749 13752 13616 0 -1 4202560 82135 0 0 0 248827 59 0 0 20 0 34 0 84832688 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677259605688 139678269596143 0 4 0 16800975 0 0 0 -1 4 0 0 30 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13785] ppid=13749 vsize=27051760 memory=303430223234596890 CPUtime=2488.65 cores=0-7 /proc/13752/task/13785/stat : 13785 (java) R 13749 13752 13616 0 -1 4202560 83322 0 0 0 248803 62 0 0 20 0 34 0 84832688 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677258552888 139678269364401 0 4 0 16800975 0 0 0 -1 2 0 0 31 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13786] ppid=13749 vsize=27051760 memory=316378080837108026 CPUtime=2488.1 cores=0-7 /proc/13752/task/13786/stat : 13786 (java) R 13749 13752 13616 0 -1 4202560 74610 0 0 0 248756 54 0 0 20 0 34 0 84832690 27701002240 393992 33554432000 4194304 4196468 140737217633840 139677257502176 139678270081097 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 Current children cumulated CPU time: 19969.5 s Current children cumulated vsize: 27051760 KiB Current children cumulated memory: 1575968 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.5 s] # the end of solver process 13752 was just reported to runsolver # cumulated CPU time of all completed processes: user=19964 s, system=9.36585 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.41 s] /proc/loadavg: 8.71 8.76 8.68 10/212 13842 /proc/meminfo: memFree=18682876/32770624 swapFree=67108860/67108860 [pid=13752] ppid=13749 vsize=27717400 memory=1579580 CPUtime=19972.7 cores=0-7 /proc/13752/stat : 13752 (java) S 13749 13752 13616 0 -1 1077944320 1949179 0 0 0 1996331 935 0 0 20 0 44 0 84832438 28382617600 394895 33554432000 4194304 4196468 140737217633840 140737217616384 139678622891767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 /proc/13752/statm: 6929350 394895 3608 1 0 6890900 0 [pid=13752/tid=13754] ppid=13749 vsize=27717400 memory=24884 CPUtime=2.41 cores=0-7 /proc/13752/task/13754/stat : 13754 (java) S 13749 13752 13616 0 -1 1077944384 25328 0 0 0 234 7 0 0 20 0 44 0 84832438 28382617600 394895 33554432000 4194304 4196468 140737217633840 139678627129232 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13755] ppid=13749 vsize=27717400 memory=1296 CPUtime=6.03 cores=0-7 /proc/13752/task/13755/stat : 13755 (java) S 13749 13752 13616 0 -1 1077944384 136722 0 0 0 561 42 0 0 20 0 44 0 84832439 28382617600 394895 33554432000 4194304 4196468 140737217633840 139678579444880 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13756] ppid=13749 vsize=27717400 memory=2412 CPUtime=6.09 cores=0-7 /proc/13752/task/13756/stat : 13756 (java) S 13749 13752 13616 0 -1 1077944384 128774 0 0 0 565 44 0 0 20 0 44 0 84832439 28382617600 394895 33554432000 4194304 4196468 140737217633840 139678179785744 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13757] ppid=13749 vsize=27717400 memory=288230574492221466 CPUtime=6.05 cores=0-7 /proc/13752/task/13757/stat : 13757 (java) S 13749 13752 13616 0 -1 1077944384 131826 0 0 0 564 41 0 0 20 0 44 0 84832439 28382617600 394895 33554432000 4194304 4196468 140737217633840 139678178732944 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13758] ppid=13749 vsize=27717400 memory=288230583166042426 CPUtime=6.09 cores=0-7 /proc/13752/task/13758/stat : 13758 (java) S 13749 13752 13616 0 -1 1077944384 128011 0 0 0 566 43 0 0 20 0 44 0 84832439 28382617600 394895 33554432000 4194304 4196468 140737217633840 139678177680144 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13759] ppid=13749 vsize=27717400 memory=16102567671237208 CPUtime=6.12 cores=0-7 /proc/13752/task/13759/stat : 13759 (java) S 13749 13752 13616 0 -1 1077944384 132473 0 0 0 566 46 0 0 20 0 44 0 84832439 28382617600 394895 33554432000 4194304 4196468 140737217633840 139678176627344 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13760] ppid=13749 vsize=27717400 memory=1568 CPUtime=6.11 cores=0-7 /proc/13752/task/13760/stat : 13760 (java) S 13749 13752 13616 0 -1 1077944384 137503 0 0 0 568 43 0 0 20 0 44 0 84832439 28382617600 394895 33554432000 4194304 4196468 140737217633840 139678175574544 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13761] ppid=13749 vsize=27717400 memory=928 CPUtime=6.05 cores=0-7 /proc/13752/task/13761/stat : 13761 (java) S 13749 13752 13616 0 -1 1077944384 124109 0 0 0 562 43 0 0 20 0 44 0 84832439 28382617600 394895 33554432000 4194304 4196468 140737217633840 139678174521744 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13762] ppid=13749 vsize=27717400 memory=2240 CPUtime=6.04 cores=0-7 /proc/13752/task/13762/stat : 13762 (java) S 13749 13752 13616 0 -1 1077944384 131413 0 0 0 558 46 0 0 20 0 44 0 84832439 28382617600 394895 33554432000 4194304 4196468 140737217633840 139678173468944 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13763] ppid=13749 vsize=27717400 memory=4872558044660077418 CPUtime=6.11 cores=0-7 /proc/13752/task/13763/stat : 13763 (java) S 13749 13752 13616 0 -1 1077944384 178774 0 0 0 518 93 0 0 20 0 44 0 84832441 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677298305904 139678622902914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13764] ppid=13749 vsize=27717400 memory=1952 CPUtime=0 cores=0-7 /proc/13752/task/13764/stat : 13764 (java) S 13749 13752 13616 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 44 0 84832441 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677297251936 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13765] ppid=13749 vsize=27717400 memory=8576 CPUtime=0 cores=0-7 /proc/13752/task/13765/stat : 13765 (java) S 13749 13752 13616 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 44 0 84832441 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677296199040 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13766] ppid=13749 vsize=27717400 memory=15872 CPUtime=0 cores=0-7 /proc/13752/task/13766/stat : 13766 (java) S 13749 13752 13616 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 44 0 84832444 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677295147344 139678622910363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13767] ppid=13749 vsize=27717400 memory=4012 CPUtime=1.16 cores=0-7 /proc/13752/task/13767/stat : 13767 (java) S 13749 13752 13616 0 -1 1077944384 3909 0 0 0 114 2 0 0 20 0 44 0 84832444 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677294094704 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13768] ppid=13749 vsize=27717400 memory=14484 CPUtime=1.29 cores=0-7 /proc/13752/task/13768/stat : 13768 (java) S 13749 13752 13616 0 -1 1077944384 5437 0 0 0 127 2 0 0 20 0 44 0 84832444 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677293041904 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13769] ppid=13749 vsize=27717400 memory=18484 CPUtime=1.59 cores=0-7 /proc/13752/task/13769/stat : 13769 (java) S 13749 13752 13616 0 -1 1077944384 4843 0 0 0 159 0 0 0 20 0 44 0 84832444 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677291989104 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13770] ppid=13749 vsize=27717400 memory=644 CPUtime=0.91 cores=0-7 /proc/13752/task/13770/stat : 13770 (java) S 13749 13752 13616 0 -1 1077944384 10764 0 0 0 89 2 0 0 20 0 44 0 84832444 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677290936304 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13771] ppid=13749 vsize=27717400 memory=1788 CPUtime=0 cores=0-7 /proc/13752/task/13771/stat : 13771 (java) S 13749 13752 13616 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 44 0 84832444 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677289884768 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13772] ppid=13749 vsize=27717400 memory=952 CPUtime=0.83 cores=0-7 /proc/13752/task/13772/stat : 13772 (java) S 13749 13752 13616 0 -1 1077944384 8969 0 0 0 50 33 0 0 20 0 44 0 84832444 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677288832048 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13773] ppid=13749 vsize=27717400 memory=1575968 CPUtime=0 cores=0-7 /proc/13752/task/13773/stat : 13773 (java) S 13749 13752 13616 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 44 0 84832643 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677277484160 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13774] ppid=13749 vsize=27717400 memory=1575968 CPUtime=1.81 cores=0-7 /proc/13752/task/13774/stat : 13774 (java) S 13749 13752 13616 0 -1 1077944384 20805 0 0 0 60 121 0 0 20 0 44 0 84832665 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677274334384 139678622902914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13775] ppid=13749 vsize=27717400 memory=6791534058613427641 CPUtime=2485.07 cores=0-7 /proc/13752/task/13775/stat : 13775 (java) R 13749 13752 13616 0 -1 4202560 79408 0 0 0 248442 65 0 0 20 0 44 0 84832681 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677271177208 139678269973818 0 4 0 16800975 0 0 0 -1 3 0 0 29 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13776] ppid=13749 vsize=27717400 memory=-7003737579269690708 CPUtime=0.06 cores=0-7 /proc/13752/task/13776/stat : 13776 (java) D 13749 13752 13616 0 -1 4202560 416 0 0 0 6 0 0 0 20 0 44 0 84832682 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677270128192 139678606935397 0 4 0 16800975 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13777] ppid=13749 vsize=27717400 memory=-7003737579269690708 CPUtime=2487.62 cores=0-7 /proc/13752/task/13777/stat : 13777 (java) R 13749 13752 13616 0 -1 4202560 77578 0 0 0 248706 56 0 0 20 0 44 0 84832682 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677269071368 139678269974136 0 4 0 16800975 0 0 0 -1 7 0 0 30 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13778] ppid=13749 vsize=27717400 memory=11204 CPUtime=2489.04 cores=0-7 /proc/13752/task/13778/stat : 13778 (java) R 13749 13752 13616 0 -1 4202560 76777 0 0 0 248845 59 0 0 20 0 44 0 84832688 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677265920704 139678270080745 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13779] ppid=13749 vsize=27717400 memory=7594597771697979466 CPUtime=2490.21 cores=0-7 /proc/13752/task/13779/stat : 13779 (java) R 13749 13752 13616 0 -1 4202560 82574 0 0 0 248955 66 0 0 20 0 44 0 84832688 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677264869688 139678269364321 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13780] ppid=13749 vsize=27717400 memory=288287792147202844 CPUtime=0.04 cores=0-7 /proc/13752/task/13780/stat : 13780 (java) S 13749 13752 13616 0 -1 1077944384 225 0 0 0 4 0 0 0 20 0 44 0 84832688 28382617600 394895 33554432000 4194304 4196468 140737217633840 139677263824304 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13781] ppid=13749 vsize=27718428 memory=3545232518544648185 CPUtime=2489.05 cores=0-7 /proc/13752/task/13781/stat : 13781 (java) R 13749 13752 13616 0 -1 4202560 79996 0 0 0 248849 56 0 0 20 0 44 0 84832688 28383670272 394895 33554432000 4194304 4196468 140737217633840 139677262763576 139678269364355 0 4 0 16800975 0 0 0 -1 1 0 0 28 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13782] ppid=13749 vsize=27718428 memory=7667783434322600786 CPUtime=0.02 cores=0-7 /proc/13752/task/13782/stat : 13782 (java) S 13749 13752 13616 0 -1 1077944384 65 0 0 0 2 0 0 0 20 0 45 0 84832688 28383670272 394895 33554432000 4194304 4196468 140737217633840 139677261718704 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13783] ppid=13749 vsize=27718428 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/13752/task/13783/stat : 13783 (java) S 13749 13752 13616 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 45 0 84832688 28383670272 394895 33554432000 4194304 4196468 140737217633840 139677260665312 139678622901973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13784] ppid=13749 vsize=27718428 memory=1575968 CPUtime=2489.23 cores=0-7 /proc/13752/task/13784/stat : 13784 (java) R 13749 13752 13616 0 -1 4202560 82156 0 0 0 248864 59 0 0 20 0 45 0 84832688 28383670272 394895 33554432000 4194304 4196468 140737217633840 139677259605688 139678269133255 0 4 0 16800975 0 0 0 -1 4 0 0 30 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13785] ppid=13749 vsize=27718428 memory=288287783641154815 CPUtime=2489.03 cores=0-7 /proc/13752/task/13785/stat : 13785 (java) R 13749 13752 13616 0 -1 4202560 83322 0 0 0 248841 62 0 0 20 0 45 0 84832688 28383670272 394895 33554432000 4194304 4196468 140737217633840 139677258552888 139678269132146 0 4 0 16800975 0 0 0 -1 2 0 0 31 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 [pid=13752/tid=13786] ppid=13749 vsize=27718428 memory=3545232518544648185 CPUtime=2488.46 cores=0-7 /proc/13752/task/13786/stat : 13786 (java) R 13749 13752 13616 0 -1 4202560 74610 0 0 0 248792 54 0 0 20 0 45 0 84832690 28383670272 394895 33554432000 4194304 4196468 140737217633840 139677257502064 139678269961996 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0 6293624 6294260 24625152 140737217635405 140737217635589 140737217635589 140737217638351 0 Current children cumulated CPU time: 19972.7 s Current children cumulated vsize: 27717400 KiB Current children cumulated memory: 1579580 KiB Child status: 143 Real time (s): 2520.5 CPU time (s): 19973.3 CPU user time (s): 19964 CPU system time (s): 9.36585 CPU usage (%): 792.434 Max. virtual memory (cumulated for all children) (KiB): 27717400 Max. memory (cumulated for all children) (KiB): 1592300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19964 system time used= 9.36585 maximum resident set size= 1592300 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1949362 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4448 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 727497 involuntary context switches= 441047 # summary of solver processes directly reported to runsolver: # pid: 13752 # total CPU time (s): 19973.3 # total CPU user time (s): 19964 # total CPU system time (s): 9.36585 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 22.8182 second user time and 32.0673 second system time The end
Begin job on node103 at 2018-07-27 08:24:52 IDJOB=4291273 IDBENCH=141559 IDSOLVER=2745 FILE ID=node103/4291273-1532672692 RUNJOBID= node103-1532672644-13643 PBS_JOBID= 21022244 Free space on /tmp= 56536 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/MagicHexagon/MagicHexagon-05-m003_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291273-1532672692/watcher-4291273-1532672692 -o /tmp/evaluation-result-4291273-1532672692/solver-4291273-1532672692 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532672644-13643 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1870237206 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291273-1532672692.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 11e14450858ef922a4bcb0797a1233a1 RANDOM SEED=1870237206 node103.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.48 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.48 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.48 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.48 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: 20247136 kB MemAvailable: 31926096 kB Buffers: 293940 kB Cached: 11570916 kB SwapCached: 0 kB Active: 3902068 kB Inactive: 8016024 kB Active(anon): 56580 kB Inactive(anon): 25180 kB Active(file): 3845488 kB Inactive(file): 7990844 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 35748 kB Writeback: 0 kB AnonPages: 61096 kB Mapped: 40940 kB Shmem: 25228 kB Slab: 298748 kB SReclaimable: 271088 kB SUnreclaim: 27660 kB KernelStack: 3168 kB PageTables: 5052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324024 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56500 MiB End job on node103 at 2018-07-27 09:06:53