Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | ? (TO) | 19997.5 | 2520.43 |
Name | CarSequencing/ CarSequencing-75-02_c18.xml |
MD5SUM | b40938607e467681e9fbf6ea551bf52a |
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 | 8.45662 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1416 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":2,"count":1000},{"size":24,"count":200}] |
Minimum variable degree | 2 |
Maximum variable degree | 64 |
Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":40,"count":14}, {"degree":41,"count":14}, {"degree":42,"count":29}, {"degree":43,"count":8}, {"degree":44,"count":8}, {"degree":45,"count":8}, {"degree":46,"count":9}, {"degree":47,"count":9}, {"degree":48,"count":74}, {"degree":49,"count":5}, {"degree":50,"count":5}, {"degree":51,"count":5}, {"degree":52,"count":5}, {"degree":53,"count":5}, {"degree":54,"count":5}, {"degree":55,"count":5}, {"degree":56,"count":6}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":3}, {"degree":64,"count":79}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 200 |
Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":25,"count":1},{"arity":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":2},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":2},{"arity":47,"count":1},{"arity":50,"count":3},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":2},{"arity":62,"count":1},{"arity":65,"count":3},{"arity":68,"count":1},{"arity":70,"count":2},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":75,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
Number of extensional constraints | 200 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1215},{"type":"cardinality","count":1}] |
Optimization problem | NO |
Type of objective |
0.67/0.55 c version: 2018-08-14 0.67/0.55 c seed: 797988951 0.67/0.55 c timeout: 20160 0.67/0.56 c memlimit: 22000 0.67/0.56 c nbcore: 8 0.67/0.58 c Parsing instance... 2.31/1.17 c Parsing done, starting search... 19995.20/2520.17 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 (13015 MiB free) memory of node 1: 16384 MiB (13250 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308995-1534385553/watcher-4308995-1534385553 -o /tmp/evaluation-result-4308995-1534385553/solver-4308995-1534385553 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1534383027-4024 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 797988951 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308995-1534385553.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=4383, runsolver pid=4380 Current StackSize limit: 8192 KiB [startup+0.100137 s]* /proc/loadavg: 8.70 8.73 8.76 2/199 4403 /proc/meminfo: memFree=26882832/32770624 swapFree=67108804/67108860 [pid=4383] ppid=4380 vsize=26103420 memory=29288 CPUtime=0.11 cores=0-7 /proc/4383/stat : 4383 (java) S 4380 4383 3997 0 -1 1077944320 7264 0 0 0 9 2 0 0 20 0 20 0 256118472 26729902080 7322 33554432000 4194304 4196468 140734673366656 140734673349200 139892887678711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 /proc/4383/statm: 6525855 7322 3154 1 0 6487932 0 [pid=4383/tid=4385] ppid=4380 vsize=26103420 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/4383/task/4385/stat : 4385 (java) R 4380 4383 3997 0 -1 4202560 5394 0 0 0 8 1 0 0 20 0 20 0 256118472 26729902080 7458 33554432000 4194304 4196468 140734673366656 139892891912736 139892871722341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4386] ppid=4380 vsize=26103420 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/4383/task/4386/stat : 4386 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 7458 33554432000 4194304 4196468 140734673366656 139892857391376 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4387] ppid=4380 vsize=26103420 memory=140286325499520 CPUtime=0 cores=0-7 /proc/4383/task/4387/stat : 4387 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 7458 33554432000 4194304 4196468 140734673366656 139892445227408 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4388] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4388/stat : 4388 (java) S 4380 4383 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 7458 33554432000 4194304 4196468 140734673366656 139892444174864 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4389] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4389/stat : 4389 (java) S 4380 4383 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 7458 33554432000 4194304 4196468 140734673366656 139892443122320 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4390] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4390/stat : 4390 (java) S 4380 4383 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 7458 33554432000 4194304 4196468 140734673366656 139892442069776 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4391] ppid=4380 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4383/task/4391/stat : 4391 (java) S 4380 4383 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 7458 33554432000 4194304 4196468 140734673366656 139892441017232 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4392] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4392/stat : 4392 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 7458 33554432000 4194304 4196468 140734673366656 139892439964688 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4393] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4393/stat : 4393 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 7458 33554432000 4194304 4196468 140734673366656 139892438912144 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4394] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4394/stat : 4394 (java) S 4380 4383 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256118474 26729902080 7458 33554432000 4194304 4196468 140734673366656 139891160569840 139892887689858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4395] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4395/stat : 4395 (java) S 4380 4383 3997 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 256118475 26729902080 7458 33554432000 4194304 4196468 140734673366656 139891159516064 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4396] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4396/stat : 4396 (java) S 4380 4383 3997 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 256118475 26729902080 7458 33554432000 4194304 4196468 140734673366656 139891158463472 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4397] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4397/stat : 4397 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118477 26729902080 7458 33554432000 4194304 4196468 140734673366656 139891157412048 139892887697307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4398] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4398/stat : 4398 (java) S 4380 4383 3997 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 256118477 26729902080 7458 33554432000 4194304 4196468 140734673366656 139891156359664 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4399] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4399/stat : 4399 (java) R 4380 4383 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256118477 26729902080 7458 33554432000 4194304 4196468 140734673366656 139891155307120 139892887689858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4400] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4400/stat : 4400 (java) S 4380 4383 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256118477 26729902080 7458 33554432000 4194304 4196468 140734673366656 139891154254576 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4401] ppid=4380 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/4383/task/4401/stat : 4401 (java) R 4380 4383 3997 0 -1 4202560 284 0 0 0 1 0 0 0 20 0 20 0 256118477 26729902080 7458 33554432000 4194304 4196468 140734673366656 139891153202032 139892867921404 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4402] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4402/stat : 4402 (java) S 4380 4383 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256118478 26729902080 7458 33554432000 4194304 4196468 140734673366656 139891152148704 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4403] ppid=4380 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4383/task/4403/stat : 4403 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118478 26729902080 7458 33554432000 4194304 4196468 140734673366656 139891151096240 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 29288 KiB [startup+0.210127 s]* /proc/loadavg: 8.70 8.73 8.76 3/199 4403 /proc/meminfo: memFree=26868368/32770624 swapFree=67108804/67108860 [pid=4383] ppid=4380 vsize=26103420 memory=41476 CPUtime=0.3 cores=0-7 /proc/4383/stat : 4383 (java) S 4380 4383 3997 0 -1 1077944320 10616 0 0 0 27 3 0 0 20 0 20 0 256118472 26729902080 10369 33554432000 4194304 4196468 140734673366656 140734673349200 139892887678711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 /proc/4383/statm: 6525855 10369 3306 1 0 6487932 0 [pid=4383/tid=4385] ppid=4380 vsize=26103420 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/4383/task/4385/stat : 4385 (java) R 4380 4383 3997 0 -1 4202560 8233 0 0 0 18 2 0 0 20 0 20 0 256118472 26729902080 10369 33554432000 4194304 4196468 140734673366656 139892891904768 139892871722341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4386] ppid=4380 vsize=26103420 memory=13939 CPUtime=0 cores=0-7 /proc/4383/task/4386/stat : 4386 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 10369 33554432000 4194304 4196468 140734673366656 139892857391376 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4387] ppid=4380 vsize=26103420 memory=140286325504029 CPUtime=0 cores=0-7 /proc/4383/task/4387/stat : 4387 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 10369 33554432000 4194304 4196468 140734673366656 139892445227408 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4388] ppid=4380 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4383/task/4388/stat : 4388 (java) S 4380 4383 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 10369 33554432000 4194304 4196468 140734673366656 139892444174864 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4389] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4389/stat : 4389 (java) S 4380 4383 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 10369 33554432000 4194304 4196468 140734673366656 139892443122320 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4390] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4390/stat : 4390 (java) S 4380 4383 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 10369 33554432000 4194304 4196468 140734673366656 139892442069776 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4391] ppid=4380 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4383/task/4391/stat : 4391 (java) S 4380 4383 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 10369 33554432000 4194304 4196468 140734673366656 139892441017232 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4392] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4392/stat : 4392 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 10369 33554432000 4194304 4196468 140734673366656 139892439964688 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4393] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4393/stat : 4393 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 10369 33554432000 4194304 4196468 140734673366656 139892438912144 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4394] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4394/stat : 4394 (java) S 4380 4383 3997 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 256118474 26729902080 10369 33554432000 4194304 4196468 140734673366656 139891160569840 139892887689858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4395] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4395/stat : 4395 (java) S 4380 4383 3997 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 256118475 26729902080 10369 33554432000 4194304 4196468 140734673366656 139891159516064 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4396] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4396/stat : 4396 (java) S 4380 4383 3997 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 256118475 26729902080 10369 33554432000 4194304 4196468 140734673366656 139891158463472 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4397] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4397/stat : 4397 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118477 26729902080 10369 33554432000 4194304 4196468 140734673366656 139891157412048 139892887697307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4398] ppid=4380 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/4383/task/4398/stat : 4398 (java) S 4380 4383 3997 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 20 0 256118477 26729902080 10369 33554432000 4194304 4196468 140734673366656 139891156359664 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4399] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4399/stat : 4399 (java) S 4380 4383 3997 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 256118477 26729902080 10369 33554432000 4194304 4196468 140734673366656 139891155307120 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4400] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4400/stat : 4400 (java) S 4380 4383 3997 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 20 0 256118477 26729902080 10369 33554432000 4194304 4196468 140734673366656 139891154254576 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4401] ppid=4380 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/4383/task/4401/stat : 4401 (java) R 4380 4383 3997 0 -1 4202560 438 0 0 0 6 0 0 0 20 0 20 0 256118477 26729902080 10369 33554432000 4194304 4196468 140734673366656 139891153197200 139892871791611 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4402] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4402/stat : 4402 (java) S 4380 4383 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256118478 26729902080 10369 33554432000 4194304 4196468 140734673366656 139891152148704 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4403] ppid=4380 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4383/task/4403/stat : 4403 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118478 26729902080 10369 33554432000 4194304 4196468 140734673366656 139891151096240 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 41476 KiB [startup+0.310352 s]* /proc/loadavg: 8.70 8.73 8.76 4/199 4403 /proc/meminfo: memFree=26864708/32770624 swapFree=67108804/67108860 [pid=4383] ppid=4380 vsize=26103420 memory=45544 CPUtime=0.43 cores=0-7 /proc/4383/stat : 4383 (java) S 4380 4383 3997 0 -1 1077944320 11110 0 0 0 40 3 0 0 20 0 20 0 256118472 26729902080 11386 33554432000 4194304 4196468 140734673366656 140734673349200 139892887678711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 /proc/4383/statm: 6525855 11386 3367 1 0 6487932 0 [pid=4383/tid=4385] ppid=4380 vsize=26103420 memory=8112282956445269571 CPUtime=0.3 cores=0-7 /proc/4383/task/4385/stat : 4385 (java) R 4380 4383 3997 0 -1 4202560 8582 0 0 0 28 2 0 0 20 0 20 0 256118472 26729902080 11386 33554432000 4194304 4196468 140734673366656 139892891840448 139892867953884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4386] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4386/stat : 4386 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 11386 33554432000 4194304 4196468 140734673366656 139892857391376 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4387] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4387/stat : 4387 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 11386 33554432000 4194304 4196468 140734673366656 139892445227408 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4388] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4388/stat : 4388 (java) S 4380 4383 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 11386 33554432000 4194304 4196468 140734673366656 139892444174864 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4389] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4389/stat : 4389 (java) S 4380 4383 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 11386 33554432000 4194304 4196468 140734673366656 139892443122320 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4390] ppid=4380 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/4383/task/4390/stat : 4390 (java) S 4380 4383 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 11386 33554432000 4194304 4196468 140734673366656 139892442069776 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4391] ppid=4380 vsize=26103420 memory=140286181340079 CPUtime=0 cores=0-7 /proc/4383/task/4391/stat : 4391 (java) S 4380 4383 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 11386 33554432000 4194304 4196468 140734673366656 139892441017232 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4392] ppid=4380 vsize=26103420 memory=140286181342384 CPUtime=0 cores=0-7 /proc/4383/task/4392/stat : 4392 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 11386 33554432000 4194304 4196468 140734673366656 139892439964688 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4393] ppid=4380 vsize=26103420 memory=140286181344688 CPUtime=0 cores=0-7 /proc/4383/task/4393/stat : 4393 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26729902080 11386 33554432000 4194304 4196468 140734673366656 139892438912144 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4394] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4394/stat : 4394 (java) S 4380 4383 3997 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 256118474 26729902080 11386 33554432000 4194304 4196468 140734673366656 139891160569840 139892887689858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4395] ppid=4380 vsize=26103420 memory=280572362696336 CPUtime=0 cores=0-7 /proc/4383/task/4395/stat : 4395 (java) S 4380 4383 3997 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 256118475 26729902080 11386 33554432000 4194304 4196468 140734673366656 139891159516064 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4396] ppid=4380 vsize=26103420 memory=280572362703248 CPUtime=0 cores=0-7 /proc/4383/task/4396/stat : 4396 (java) S 4380 4383 3997 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 256118475 26729902080 11386 33554432000 4194304 4196468 140734673366656 139891158463472 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4397] ppid=4380 vsize=26103420 memory=280572362644528 CPUtime=0 cores=0-7 /proc/4383/task/4397/stat : 4397 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118477 26729902080 11386 33554432000 4194304 4196468 140734673366656 139891157412048 139892887697307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4398] ppid=4380 vsize=26103420 memory=280572362717072 CPUtime=0.01 cores=0-7 /proc/4383/task/4398/stat : 4398 (java) S 4380 4383 3997 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 20 0 256118477 26729902080 11386 33554432000 4194304 4196468 140734673366656 139891156359664 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4399] ppid=4380 vsize=26103420 memory=280572362723984 CPUtime=0.01 cores=0-7 /proc/4383/task/4399/stat : 4399 (java) S 4380 4383 3997 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 256118477 26729902080 11386 33554432000 4194304 4196468 140734673366656 139891155307120 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4400] ppid=4380 vsize=26103420 memory=280572362721680 CPUtime=0.01 cores=0-7 /proc/4383/task/4400/stat : 4400 (java) S 4380 4383 3997 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 20 0 256118477 26729902080 11386 33554432000 4194304 4196468 140734673366656 139891154254576 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4401] ppid=4380 vsize=26103420 memory=280572362738288 CPUtime=0.08 cores=0-7 /proc/4383/task/4401/stat : 4401 (java) S 4380 4383 3997 0 -1 1077944384 482 0 0 0 8 0 0 0 20 0 20 0 256118477 26729902080 11386 33554432000 4194304 4196468 140734673366656 139891153202032 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4402] ppid=4380 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4402/stat : 4402 (java) S 4380 4383 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256118478 26729902080 11386 33554432000 4194304 4196468 140734673366656 139891152148704 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4403] ppid=4380 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4383/task/4403/stat : 4403 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118478 26729902080 11386 33554432000 4194304 4196468 140734673366656 139891151096240 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 45544 KiB [startup+0.700917 s] /proc/loadavg: 8.70 8.73 8.76 2/199 4403 /proc/meminfo: memFree=26840392/32770624 swapFree=67108804/67108860 [pid=4383] ppid=4380 vsize=26105488 memory=84544 CPUtime=0.99 cores=0-7 /proc/4383/stat : 4383 (java) S 4380 4383 3997 0 -1 1077944320 18123 0 0 0 94 5 0 0 20 0 20 0 256118472 26732019712 21136 33554432000 4194304 4196468 140734673366656 140734673349200 139892887678711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 /proc/4383/statm: 6526372 21136 3491 1 0 6488444 0 [pid=4383/tid=4385] ppid=4380 vsize=26105488 memory=0 CPUtime=0.68 cores=0-7 /proc/4383/task/4385/stat : 4385 (java) R 4380 4383 3997 0 -1 4202560 15065 0 0 0 64 4 0 0 20 0 20 0 256118472 26732019712 21136 33554432000 4194304 4196468 140734673366656 139892891904880 139892887700637 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4386] ppid=4380 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4386/stat : 4386 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26732019712 21136 33554432000 4194304 4196468 140734673366656 139892857391376 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4387] ppid=4380 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4387/stat : 4387 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26732019712 21136 33554432000 4194304 4196468 140734673366656 139892445227408 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4388] ppid=4380 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/4383/task/4388/stat : 4388 (java) S 4380 4383 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256118473 26732019712 21174 33554432000 4194304 4196468 140734673366656 139892444174864 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4389] ppid=4380 vsize=26105488 memory=1060 CPUtime=0 cores=0-7 /proc/4383/task/4389/stat : 4389 (java) S 4380 4383 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256118473 26732019712 21174 33554432000 4194304 4196468 140734673366656 139892443122320 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4390] ppid=4380 vsize=26105488 memory=5840 CPUtime=0 cores=0-7 /proc/4383/task/4390/stat : 4390 (java) S 4380 4383 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256118473 26732019712 21174 33554432000 4194304 4196468 140734673366656 139892442069776 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4391] ppid=4380 vsize=26105488 memory=3304 CPUtime=0 cores=0-7 /proc/4383/task/4391/stat : 4391 (java) S 4380 4383 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256118473 26732019712 21174 33554432000 4194304 4196468 140734673366656 139892441017232 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4392] ppid=4380 vsize=26105488 memory=1260 CPUtime=0 cores=0-7 /proc/4383/task/4392/stat : 4392 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26732019712 21174 33554432000 4194304 4196468 140734673366656 139892439964688 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4393] ppid=4380 vsize=26105488 memory=14872 CPUtime=0 cores=0-7 /proc/4383/task/4393/stat : 4393 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256118473 26732019712 21174 33554432000 4194304 4196468 140734673366656 139892438912144 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4394] ppid=4380 vsize=26105488 memory=3296 CPUtime=0 cores=0-7 /proc/4383/task/4394/stat : 4394 (java) S 4380 4383 3997 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 256118474 26732019712 21174 33554432000 4194304 4196468 140734673366656 139891160569840 139892887689858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 ################ # More data... # ################ Current children cumulated vsize: 26985192 KiB Current children cumulated memory: 2333432 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 9.05 8.72 8.71 10/212 4448 /proc/meminfo: memFree=24569792/32770624 swapFree=67108804/67108860 [pid=4383] ppid=4380 vsize=26985192 memory=2332400 CPUtime=19994.3 cores=0-7 /proc/4383/stat : 4383 (java) S 4380 4383 3997 0 -1 1077944320 2235282 0 0 0 1998386 1046 0 0 20 0 33 0 256118472 27632836608 583100 33554432000 4194304 4196468 140734673366656 140734673349200 139892887678711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 /proc/4383/statm: 6746298 583100 3624 1 0 6707849 0 [pid=4383/tid=4385] ppid=4380 vsize=26985192 memory=8112282956445269571 CPUtime=3.35 cores=0-7 /proc/4383/task/4385/stat : 4385 (java) S 4380 4383 3997 0 -1 1077944384 24740 0 0 0 327 8 0 0 20 0 33 0 256118472 27632836608 583100 33554432000 4194304 4196468 140734673366656 139892891916176 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4386] ppid=4380 vsize=26985192 memory=808 CPUtime=7.91 cores=0-7 /proc/4383/task/4386/stat : 4386 (java) S 4380 4383 3997 0 -1 1077944384 152633 0 0 0 752 39 0 0 20 0 33 0 256118473 27632836608 583100 33554432000 4194304 4196468 140734673366656 139892857391376 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4387] ppid=4380 vsize=26985192 memory=4104 CPUtime=7.86 cores=0-7 /proc/4383/task/4387/stat : 4387 (java) S 4380 4383 3997 0 -1 1077944384 140318 0 0 0 750 36 0 0 20 0 33 0 256118473 27632836608 583100 33554432000 4194304 4196468 140734673366656 139892445227408 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4388] ppid=4380 vsize=26985192 memory=1796 CPUtime=7.85 cores=0-7 /proc/4383/task/4388/stat : 4388 (java) S 4380 4383 3997 0 -1 1077944384 136036 0 0 0 746 39 0 0 20 0 33 0 256118473 27632836608 583100 33554432000 4194304 4196468 140734673366656 139892444174864 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4389] ppid=4380 vsize=26985192 memory=4872558044660077418 CPUtime=7.82 cores=0-7 /proc/4383/task/4389/stat : 4389 (java) S 4380 4383 3997 0 -1 1077944384 134260 0 0 0 749 33 0 0 20 0 33 0 256118473 27632836608 583100 33554432000 4194304 4196468 140734673366656 139892443122320 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4390] ppid=4380 vsize=26985192 memory=1616 CPUtime=7.89 cores=0-7 /proc/4383/task/4390/stat : 4390 (java) S 4380 4383 3997 0 -1 1077944384 130055 0 0 0 754 35 0 0 20 0 33 0 256118473 27632836608 583100 33554432000 4194304 4196468 140734673366656 139892442069776 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4391] ppid=4380 vsize=26985192 memory=932 CPUtime=7.86 cores=0-7 /proc/4383/task/4391/stat : 4391 (java) S 4380 4383 3997 0 -1 1077944384 131945 0 0 0 750 36 0 0 20 0 33 0 256118473 27632836608 583100 33554432000 4194304 4196468 140734673366656 139892441017232 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4392] ppid=4380 vsize=26985192 memory=1168 CPUtime=7.84 cores=0-7 /proc/4383/task/4392/stat : 4392 (java) S 4380 4383 3997 0 -1 1077944384 163613 0 0 0 749 35 0 0 20 0 33 0 256118473 27632836608 583100 33554432000 4194304 4196468 140734673366656 139892439964688 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4393] ppid=4380 vsize=26985192 memory=1984 CPUtime=7.88 cores=0-7 /proc/4383/task/4393/stat : 4393 (java) S 4380 4383 3997 0 -1 1077944384 133565 0 0 0 755 33 0 0 20 0 33 0 256118473 27632836608 583100 33554432000 4194304 4196468 140734673366656 139892438912144 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4394] ppid=4380 vsize=26985192 memory=920 CPUtime=4.6 cores=0-7 /proc/4383/task/4394/stat : 4394 (java) S 4380 4383 3997 0 -1 1077944384 222406 0 0 0 383 77 0 0 20 0 33 0 256118474 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891160569840 139892887689858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4395] ppid=4380 vsize=26985192 memory=1572 CPUtime=0 cores=0-7 /proc/4383/task/4395/stat : 4395 (java) S 4380 4383 3997 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 33 0 256118475 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891159516128 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4396] ppid=4380 vsize=26985192 memory=2176 CPUtime=0 cores=0-7 /proc/4383/task/4396/stat : 4396 (java) S 4380 4383 3997 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 33 0 256118475 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891158463488 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4397] ppid=4380 vsize=26985192 memory=3984 CPUtime=0 cores=0-7 /proc/4383/task/4397/stat : 4397 (java) S 4380 4383 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 256118477 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891157412048 139892887697307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4398] ppid=4380 vsize=26985192 memory=1916 CPUtime=2.04 cores=0-7 /proc/4383/task/4398/stat : 4398 (java) S 4380 4383 3997 0 -1 1077944384 6837 0 0 0 200 4 0 0 20 0 33 0 256118477 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891156359664 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4399] ppid=4380 vsize=26985192 memory=8112282956445269571 CPUtime=2.07 cores=0-7 /proc/4383/task/4399/stat : 4399 (java) S 4380 4383 3997 0 -1 1077944384 9432 0 0 0 205 2 0 0 20 0 33 0 256118477 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891155307120 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4400] ppid=4380 vsize=26985192 memory=1084 CPUtime=2.41 cores=0-7 /proc/4383/task/4400/stat : 4400 (java) S 4380 4383 3997 0 -1 1077944384 9883 0 0 0 239 2 0 0 20 0 33 0 256118477 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891154254576 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4401] ppid=4380 vsize=26985192 memory=1600 CPUtime=1.13 cores=0-7 /proc/4383/task/4401/stat : 4401 (java) S 4380 4383 3997 0 -1 1077944384 13904 0 0 0 111 2 0 0 20 0 33 0 256118477 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891153202032 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4402] ppid=4380 vsize=26985192 memory=7952 CPUtime=0 cores=0-7 /proc/4383/task/4402/stat : 4402 (java) S 4380 4383 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 256118478 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891152148704 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4403] ppid=4380 vsize=26985192 memory=4088 CPUtime=0.79 cores=0-7 /proc/4383/task/4403/stat : 4403 (java) S 4380 4383 3997 0 -1 1077944384 11105 0 0 0 34 45 0 0 20 0 33 0 256118478 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891151096240 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4404] ppid=4380 vsize=26985192 memory=1784 CPUtime=0 cores=0-7 /proc/4383/task/4404/stat : 4404 (java) S 4380 4383 3997 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 33 0 256118774 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891137655552 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4405] ppid=4380 vsize=26985192 memory=1060 CPUtime=3.94 cores=0-7 /proc/4383/task/4405/stat : 4405 (java) R 4380 4383 3997 0 -1 1077944384 27448 0 0 0 172 222 0 0 20 0 33 0 256118797 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891134506144 139892887689858 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4406] ppid=4380 vsize=26985192 memory=5840 CPUtime=2488.89 cores=0-7 /proc/4383/task/4406/stat : 4406 (java) R 4380 4383 3997 0 -1 4202560 97044 0 0 0 248806 83 0 0 20 0 33 0 256118814 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891131350248 139892537397071 0 4 0 16800975 0 0 0 -1 2 0 0 51 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4407] ppid=4380 vsize=26985192 memory=3304 CPUtime=2489.36 cores=0-7 /proc/4383/task/4407/stat : 4407 (java) R 4380 4383 3997 0 -1 4202560 100856 0 0 0 248854 82 0 0 20 0 33 0 256118815 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891130296120 139892537253646 0 4 0 16800975 0 0 0 -1 6 0 0 48 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4408] ppid=4380 vsize=26985192 memory=1260 CPUtime=0.12 cores=0-7 /proc/4383/task/4408/stat : 4408 (java) S 4380 4383 3997 0 -1 1077944384 36 0 0 0 12 0 0 0 20 0 33 0 256118815 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891129251232 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4409] ppid=4380 vsize=26985192 memory=14872 CPUtime=2489.14 cores=0-7 /proc/4383/task/4409/stat : 4409 (java) R 4380 4383 3997 0 -1 4202560 99908 0 0 0 248831 83 0 0 20 0 33 0 256118822 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891128191544 139892537116144 0 4 0 16800975 0 0 0 -1 3 0 0 55 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4410] ppid=4380 vsize=26985192 memory=2332916 CPUtime=2487.94 cores=0-7 /proc/4383/task/4410/stat : 4410 (java) R 4380 4383 3997 0 -1 4202560 98040 0 0 0 248708 86 0 0 20 0 33 0 256118822 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891127138800 139892533690166 0 4 0 16800975 0 0 0 -1 0 0 0 42 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4411] ppid=4380 vsize=26985192 memory=15292 CPUtime=2488.15 cores=0-7 /proc/4383/task/4411/stat : 4411 (java) R 4380 4383 3997 0 -1 4202560 96722 0 0 0 248733 82 0 0 20 0 33 0 256118822 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891126085336 139892537116211 0 4 0 16800975 0 0 0 -1 1 0 0 43 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4412] ppid=4380 vsize=26985192 memory=38656 CPUtime=0.11 cores=0-7 /proc/4383/task/4412/stat : 4412 (java) S 4380 4383 3997 0 -1 1077944384 57 0 0 0 11 0 0 0 20 0 33 0 256118822 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891125040032 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4413] ppid=4380 vsize=26985192 memory=496 CPUtime=2489.05 cores=0-7 /proc/4383/task/4413/stat : 4413 (java) R 4380 4383 3997 0 -1 4202560 93657 0 0 0 248826 79 0 0 20 0 33 0 256118823 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891123979656 139892536820414 0 4 0 16800975 0 0 0 -1 7 0 0 53 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4414] ppid=4380 vsize=26985192 memory=1616 CPUtime=2488.72 cores=0-7 /proc/4383/task/4414/stat : 4414 (java) R 4380 4383 3997 0 -1 4202560 102329 0 0 0 248782 90 0 0 20 0 33 0 256118823 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891122927304 139892537116144 0 4 0 16800975 0 0 0 -1 5 0 0 44 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4415] ppid=4380 vsize=26985192 memory=932 CPUtime=0 cores=0-7 /proc/4383/task/4415/stat : 4415 (java) S 4380 4383 3997 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 33 0 256118825 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891121882400 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4416] ppid=4380 vsize=26985192 memory=1168 CPUtime=2489.42 cores=0-7 /proc/4383/task/4416/stat : 4416 (java) R 4380 4383 3997 0 -1 4202560 96984 0 0 0 248857 85 0 0 20 0 33 0 256118827 27632836608 583100 33554432000 4194304 4196468 140734673366656 139891120824560 139892536521080 0 4 0 16800975 0 0 0 -1 4 0 0 41 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 Current children cumulated CPU time: 19994.3 s Current children cumulated vsize: 26985192 KiB Current children cumulated memory: 2332400 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.43 s] # the end of solver process 4383 was just reported to runsolver # cumulated CPU time of all completed processes: user=19987 s, system=10.4851 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.41 s] /proc/loadavg: 9.05 8.72 8.71 10/212 4448 /proc/meminfo: memFree=24569792/32770624 swapFree=67108804/67108860 [pid=4383] ppid=4380 vsize=27586316 memory=2334272 CPUtime=19997.5 cores=0-7 /proc/4383/stat : 4383 (java) S 4380 4383 3997 0 -1 1077944320 2238105 0 0 0 1998700 1046 0 0 20 0 38 0 256118472 28248387584 583568 33554432000 4194304 4196468 140734673366656 140734673349200 139892887678711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 /proc/4383/statm: 6896579 583568 3632 1 0 6858130 0 [pid=4383/tid=4385] ppid=4380 vsize=27586316 memory=4012 CPUtime=3.35 cores=0-7 /proc/4383/task/4385/stat : 4385 (java) S 4380 4383 3997 0 -1 1077944384 24763 0 0 0 327 8 0 0 20 0 38 0 256118472 28248387584 583568 33554432000 4194304 4196468 140734673366656 139892891917392 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4386] ppid=4380 vsize=27586316 memory=2332404 CPUtime=7.91 cores=0-7 /proc/4383/task/4386/stat : 4386 (java) S 4380 4383 3997 0 -1 1077944384 152633 0 0 0 752 39 0 0 20 0 38 0 256118473 28248387584 583568 33554432000 4194304 4196468 140734673366656 139892857391376 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4387] ppid=4380 vsize=27586316 memory=33 CPUtime=7.86 cores=0-7 /proc/4383/task/4387/stat : 4387 (java) S 4380 4383 3997 0 -1 1077944384 140319 0 0 0 750 36 0 0 20 0 38 0 256118473 28248387584 583568 33554432000 4194304 4196468 140734673366656 139892445227408 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4388] ppid=4380 vsize=27586316 memory=2332400 CPUtime=7.85 cores=0-7 /proc/4383/task/4388/stat : 4388 (java) S 4380 4383 3997 0 -1 1077944384 136036 0 0 0 746 39 0 0 20 0 38 0 256118473 28248387584 583568 33554432000 4194304 4196468 140734673366656 139892444174864 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4389] ppid=4380 vsize=27586316 memory=38656 CPUtime=7.83 cores=0-7 /proc/4383/task/4389/stat : 4389 (java) S 4380 4383 3997 0 -1 1077944384 134260 0 0 0 750 33 0 0 20 0 38 0 256118473 28248387584 583568 33554432000 4194304 4196468 140734673366656 139892443122320 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4390] ppid=4380 vsize=27586316 memory=496 CPUtime=7.89 cores=0-7 /proc/4383/task/4390/stat : 4390 (java) S 4380 4383 3997 0 -1 1077944384 130055 0 0 0 754 35 0 0 20 0 38 0 256118473 28248387584 583568 33554432000 4194304 4196468 140734673366656 139892442069776 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4391] ppid=4380 vsize=27586316 memory=1616 CPUtime=7.86 cores=0-7 /proc/4383/task/4391/stat : 4391 (java) S 4380 4383 3997 0 -1 1077944384 131950 0 0 0 750 36 0 0 20 0 38 0 256118473 28248387584 583568 33554432000 4194304 4196468 140734673366656 139892441017232 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4392] ppid=4380 vsize=27586316 memory=932 CPUtime=7.84 cores=0-7 /proc/4383/task/4392/stat : 4392 (java) S 4380 4383 3997 0 -1 1077944384 163613 0 0 0 749 35 0 0 20 0 38 0 256118473 28248387584 583568 33554432000 4194304 4196468 140734673366656 139892439964688 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4393] ppid=4380 vsize=27586316 memory=1168 CPUtime=7.88 cores=0-7 /proc/4383/task/4393/stat : 4393 (java) S 4380 4383 3997 0 -1 1077944384 133571 0 0 0 755 33 0 0 20 0 38 0 256118473 28248387584 583568 33554432000 4194304 4196468 140734673366656 139892438912144 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4394] ppid=4380 vsize=27586316 memory=1984 CPUtime=4.61 cores=0-7 /proc/4383/task/4394/stat : 4394 (java) R 4380 4383 3997 0 -1 4202560 222414 0 0 0 384 77 0 0 20 0 38 0 256118474 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891160569840 139892880395863 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4395] ppid=4380 vsize=27586316 memory=920 CPUtime=0 cores=0-7 /proc/4383/task/4395/stat : 4395 (java) S 4380 4383 3997 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 38 0 256118475 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891159516128 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4396] ppid=4380 vsize=27586316 memory=1572 CPUtime=0 cores=0-7 /proc/4383/task/4396/stat : 4396 (java) S 4380 4383 3997 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 38 0 256118475 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891158463488 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4398] ppid=4380 vsize=27586316 memory=3984 CPUtime=2.08 cores=0-7 /proc/4383/task/4398/stat : 4398 (java) S 4380 4383 3997 0 -1 1077944384 6870 0 0 0 204 4 0 0 20 0 38 0 256118477 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891156359424 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4399] ppid=4380 vsize=27586316 memory=1916 CPUtime=2.09 cores=0-7 /proc/4383/task/4399/stat : 4399 (java) S 4380 4383 3997 0 -1 1077944384 9617 0 0 0 206 3 0 0 20 0 38 0 256118477 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891155307120 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4400] ppid=4380 vsize=27586316 memory=2333428 CPUtime=2.42 cores=0-7 /proc/4383/task/4400/stat : 4400 (java) R 4380 4383 3997 0 -1 4202560 9948 0 0 0 240 2 0 0 20 0 38 0 256118477 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891154254872 139892880784438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4401] ppid=4380 vsize=27586316 memory=288230583166042425 CPUtime=1.17 cores=0-7 /proc/4383/task/4401/stat : 4401 (java) S 4380 4383 3997 0 -1 1077944384 14780 0 0 0 114 3 0 0 20 0 38 0 256118477 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891153202032 139892887689858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4402] ppid=4380 vsize=27586316 memory=16102554786335041 CPUtime=0 cores=0-7 /proc/4383/task/4402/stat : 4402 (java) S 4380 4383 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 38 0 256118478 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891152148704 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4404] ppid=4380 vsize=27586316 memory=916 CPUtime=0 cores=0-7 /proc/4383/task/4404/stat : 4404 (java) S 4380 4383 3997 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 38 0 256118774 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891137655552 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4406] ppid=4380 vsize=27586316 memory=1408 CPUtime=2489.17 cores=0-7 /proc/4383/task/4406/stat : 4406 (java) S 4380 4383 3997 0 -1 1077944384 97064 0 0 0 248834 83 0 0 20 0 38 0 256118814 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891131350480 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4407] ppid=4380 vsize=27586316 memory=4012 CPUtime=2489.75 cores=0-7 /proc/4383/task/4407/stat : 4407 (java) S 4380 4383 3997 0 -1 1077944384 100875 0 0 0 248893 82 0 0 20 0 38 0 256118815 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891130295776 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4408] ppid=4380 vsize=27586316 memory=2333428 CPUtime=0.13 cores=0-7 /proc/4383/task/4408/stat : 4408 (java) S 4380 4383 3997 0 -1 1077944384 212 0 0 0 13 0 0 0 20 0 38 0 256118815 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891129251248 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4409] ppid=4380 vsize=27586316 memory=8112282956445269571 CPUtime=2489.53 cores=0-7 /proc/4383/task/4409/stat : 4409 (java) S 4380 4383 3997 0 -1 1077944384 99927 0 0 0 248870 83 0 0 20 0 38 0 256118822 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891128190720 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 55 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4410] ppid=4380 vsize=27586316 memory=4872558044660077418 CPUtime=2488.33 cores=0-7 /proc/4383/task/4410/stat : 4410 (java) S 4380 4383 3997 0 -1 1077944384 98059 0 0 0 248747 86 0 0 20 0 38 0 256118822 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891127136880 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4411] ppid=4380 vsize=27586316 memory=6944656592455359580 CPUtime=2488.48 cores=0-7 /proc/4383/task/4411/stat : 4411 (java) S 4380 4383 3997 0 -1 1077944384 96740 0 0 0 248766 82 0 0 20 0 38 0 256118822 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891126085200 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4412] ppid=4380 vsize=27586316 memory=6944656592455360604 CPUtime=0.14 cores=0-7 /proc/4383/task/4412/stat : 4412 (java) S 4380 4383 3997 0 -1 1077944384 388 0 0 0 14 0 0 0 20 0 38 0 256118822 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891125040048 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4413] ppid=4380 vsize=27586316 memory=6944656592455359580 CPUtime=2489.43 cores=0-7 /proc/4383/task/4413/stat : 4413 (java) S 4380 4383 3997 0 -1 1077944384 93675 0 0 0 248864 79 0 0 20 0 38 0 256118823 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891123980112 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 53 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4414] ppid=4380 vsize=27586316 memory=496 CPUtime=2489.11 cores=0-7 /proc/4383/task/4414/stat : 4414 (java) R 4380 4383 3997 0 -1 4202560 102347 0 0 0 248821 90 0 0 20 0 38 0 256118823 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891122930936 139892536953195 0 4 0 16800975 0 0 0 -1 7 0 0 44 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4415] ppid=4380 vsize=27586316 memory=1616 CPUtime=0 cores=0-7 /proc/4383/task/4415/stat : 4415 (java) S 4380 4383 3997 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 38 0 256118825 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891121882416 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 [pid=4383/tid=4416] ppid=4380 vsize=27586316 memory=2335484 CPUtime=2489.81 cores=0-7 /proc/4383/task/4416/stat : 4416 (java) S 4380 4383 3997 0 -1 1077944384 97003 0 0 0 248896 85 0 0 20 0 38 0 256118827 28248387584 583568 33554432000 4194304 4196468 140734673366656 139891120821984 139892887688917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 41 0 0 6293624 6294260 16412672 140734673368142 140734673368325 140734673368325 140734673371087 0 Current children cumulated CPU time: 19997.5 s Current children cumulated vsize: 27586316 KiB Current children cumulated memory: 2334272 KiB Child status: 143 Real time (s): 2520.43 CPU time (s): 19997.5 CPU user time (s): 19987 CPU system time (s): 10.4851 CPU usage (%): 793.416 Max. virtual memory (cumulated for all children) (KiB): 27586316 Max. memory (cumulated for all children) (KiB): 2929680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19987 system time used= 10.4851 maximum resident set size= 2931764 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2238126 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4384 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 575330 involuntary context switches= 427900 # summary of solver processes directly reported to runsolver: # pid: 4383 # total CPU time (s): 19997.5 # total CPU user time (s): 19987 # total CPU system time (s): 10.4851 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 20.0841 second user time and 32.4437 second system time The end
Begin job on node105 at 2018-08-16 04:12:33 IDJOB=4308995 IDBENCH=141464 IDSOLVER=2793 FILE ID=node105/4308995-1534385553 RUNJOBID= node105-1534383027-4024 PBS_JOBID= 21038306 Free space on /tmp= 49280 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/CarSequencing/CarSequencing-75-02_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-4308995-1534385553/watcher-4308995-1534385553 -o /tmp/evaluation-result-4308995-1534385553/solver-4308995-1534385553 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1534383027-4024 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 797988951 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308995-1534385553.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b40938607e467681e9fbf6ea551bf52a RANDOM SEED=797988951 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.32 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.32 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.32 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.32 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: 26897108 kB MemAvailable: 31896584 kB Buffers: 233228 kB Cached: 5017888 kB SwapCached: 16 kB Active: 2290436 kB Inactive: 3013868 kB Active(anon): 4656 kB Inactive(anon): 108668 kB Active(file): 2285780 kB Inactive(file): 2905200 kB Unevictable: 7356 kB Mlocked: 7356 kB SwapTotal: 67108860 kB SwapFree: 67108804 kB Dirty: 35740 kB Writeback: 0 kB AnonPages: 59504 kB Mapped: 55264 kB Shmem: 57940 kB Slab: 265844 kB SReclaimable: 236956 kB SUnreclaim: 28888 kB KernelStack: 3792 kB PageTables: 5184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 357100 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: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 49244 MiB End job on node105 at 2018-08-16 04:54:34