Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-07-02 | ? (TO) | 20054.8 | 2520.53 |
Name | Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f01_c18.xml |
MD5SUM | 835bf91cf13c47564ae451efb141e04e |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 22.4784 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 43 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":10},{"size":23,"count":4},{"size":36,"count":336},{"size":43,"count":328}] |
Minimum variable degree | 1 |
Maximum variable degree | 62 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":4103}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4103 |
Distribution of constraint types | [{"type":"intension","count":4103}] |
Optimization problem | NO |
Type of objective |
0.67/0.55 c version: 2018-07-02 0.67/0.56 c seed: 1516284189 0.67/0.56 c timeout: 20160 0.67/0.56 c memlimit: 22000 0.67/0.56 c nbcore: 8 0.67/0.59 c Parsing instance... 5.20/1.87 c Parsing done, starting search... 20051.25/2520.09 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 (6646 MiB free) memory of node 1: 16384 MiB (10452 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291826-1532639066/watcher-4291826-1532639066 -o /tmp/evaluation-result-4291826-1532639066/solver-4291826-1532639066 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532633938-8345 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1516284189 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291826-1532639066.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=9413, runsolver pid=9410 [startup+0.100139 s]* /proc/loadavg: 7.33 7.99 8.28 2/201 9433 /proc/meminfo: memFree=17495876/32770624 swapFree=67108796/67108860 [pid=9413] ppid=9410 vsize=26103424 memory=28908 CPUtime=0.11 cores=0-7 /proc/9413/stat : 9413 (java) S 9410 9413 8318 0 -1 1077944320 7156 0 0 0 10 1 0 0 20 0 20 0 81469739 26729906176 7227 33554432000 4194304 4196468 140721845380000 140721845362544 140162931121911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 /proc/9413/statm: 6525856 7227 3151 1 0 6487932 0 [pid=9413/tid=9415] ppid=9410 vsize=26103424 memory=4210475817302651802 CPUtime=0.08 cores=0-7 /proc/9413/task/9415/stat : 9415 (java) R 9410 9413 8318 0 -1 4202560 5340 0 0 0 8 0 0 0 20 0 20 0 81469739 26729906176 7359 33554432000 4194304 4196468 140721845380000 140162935325040 140162911397671 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9416] ppid=9410 vsize=26103424 memory=732370528165989349 CPUtime=0 cores=0-7 /proc/9413/task/9416/stat : 9416 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 7359 33554432000 4194304 4196468 140721845380000 140162489166352 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9417] ppid=9410 vsize=26103424 memory=140389828535936 CPUtime=0 cores=0-7 /proc/9413/task/9417/stat : 9417 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 7359 33554432000 4194304 4196468 140721845380000 140162488113808 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9418] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9418/stat : 9418 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 7359 33554432000 4194304 4196468 140721845380000 140162487060752 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9419] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9419/stat : 9419 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 7359 33554432000 4194304 4196468 140721845380000 140162486008208 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9420] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9420/stat : 9420 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 7425 33554432000 4194304 4196468 140721845380000 140162484956176 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9421] ppid=9410 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9413/task/9421/stat : 9421 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 7425 33554432000 4194304 4196468 140721845380000 140162483903632 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9422] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9422/stat : 9422 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 7425 33554432000 4194304 4196468 140721845380000 140162482850576 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9423] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9423/stat : 9423 (java) S 9410 9413 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 7425 33554432000 4194304 4196468 140721845380000 140162481798032 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9424] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9424/stat : 9424 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469742 26729906176 7425 33554432000 4194304 4196468 140721845380000 140161203480816 140162931133058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9425] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9425/stat : 9425 (java) S 9410 9413 8318 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81469742 26729906176 7425 33554432000 4194304 4196468 140721845380000 140161202427040 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9426] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9426/stat : 9426 (java) S 9410 9413 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81469742 26729906176 7425 33554432000 4194304 4196468 140721845380000 140161201373936 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9427] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9427/stat : 9427 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81469745 26729906176 7425 33554432000 4194304 4196468 140721845380000 140161200322512 140162931140507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9428] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9428/stat : 9428 (java) S 9410 9413 8318 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 81469745 26729906176 7425 33554432000 4194304 4196468 140721845380000 140161199270640 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9429] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9429/stat : 9429 (java) S 9410 9413 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81469745 26729906176 7430 33554432000 4194304 4196468 140721845380000 140161198218096 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9430] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9430/stat : 9430 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81469745 26729906176 7430 33554432000 4194304 4196468 140721845380000 140161197165040 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9431] ppid=9410 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/9413/task/9431/stat : 9431 (java) S 9410 9413 8318 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 20 0 81469745 26729906176 7430 33554432000 4194304 4196468 140721845380000 140161196112496 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9432] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9432/stat : 9432 (java) S 9410 9413 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81469745 26729906176 7430 33554432000 4194304 4196468 140721845380000 140161195059680 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9433] ppid=9410 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9413/task/9433/stat : 9433 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81469745 26729906176 7430 33554432000 4194304 4196468 140721845380000 140161194007216 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 28908 KiB [startup+0.210362 s]* /proc/loadavg: 7.33 7.99 8.28 3/201 9433 /proc/meminfo: memFree=17481924/32770624 swapFree=67108796/67108860 [pid=9413] ppid=9410 vsize=26103424 memory=41668 CPUtime=0.3 cores=0-7 /proc/9413/stat : 9413 (java) S 9410 9413 8318 0 -1 1077944320 10622 0 0 0 28 2 0 0 20 0 20 0 81469739 26729906176 10417 33554432000 4194304 4196468 140721845380000 140721845362544 140162931121911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 /proc/9413/statm: 6525856 10417 3324 1 0 6487932 0 [pid=9413/tid=9415] ppid=9410 vsize=26103424 memory=32758254098972862 CPUtime=0.2 cores=0-7 /proc/9413/task/9415/stat : 9415 (java) R 9410 9413 8318 0 -1 4202560 8215 0 0 0 19 1 0 0 20 0 20 0 81469739 26729906176 10417 33554432000 4194304 4196468 140721845380000 140162935350064 140162915202398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9416] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9416/stat : 9416 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 10417 33554432000 4194304 4196468 140721845380000 140162489166352 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9417] ppid=9410 vsize=26103424 memory=140389829000606 CPUtime=0 cores=0-7 /proc/9413/task/9417/stat : 9417 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 10417 33554432000 4194304 4196468 140721845380000 140162488113808 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9418] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9418/stat : 9418 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 10417 33554432000 4194304 4196468 140721845380000 140162487060752 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9419] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9419/stat : 9419 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 10417 33554432000 4194304 4196468 140721845380000 140162486008208 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9420] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9420/stat : 9420 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 10417 33554432000 4194304 4196468 140721845380000 140162484956176 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9421] ppid=9410 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9413/task/9421/stat : 9421 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 10417 33554432000 4194304 4196468 140721845380000 140162483903632 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9422] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9422/stat : 9422 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 10417 33554432000 4194304 4196468 140721845380000 140162482850576 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9423] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9423/stat : 9423 (java) S 9410 9413 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 10417 33554432000 4194304 4196468 140721845380000 140162481798032 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9424] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9424/stat : 9424 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469742 26729906176 10417 33554432000 4194304 4196468 140721845380000 140161203480816 140162931133058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9425] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9425/stat : 9425 (java) S 9410 9413 8318 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81469742 26729906176 10417 33554432000 4194304 4196468 140721845380000 140161202427040 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9426] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9426/stat : 9426 (java) S 9410 9413 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81469742 26729906176 10417 33554432000 4194304 4196468 140721845380000 140161201373936 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9427] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9427/stat : 9427 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81469745 26729906176 10417 33554432000 4194304 4196468 140721845380000 140161200322512 140162931140507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9428] ppid=9410 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/9413/task/9428/stat : 9428 (java) S 9410 9413 8318 0 -1 1077944384 477 0 0 0 1 0 0 0 20 0 20 0 81469745 26729906176 10417 33554432000 4194304 4196468 140721845380000 140161199270640 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9429] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9429/stat : 9429 (java) S 9410 9413 8318 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 81469745 26729906176 10417 33554432000 4194304 4196468 140721845380000 140161198218096 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9430] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9430/stat : 9430 (java) S 9410 9413 8318 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 81469745 26729906176 10417 33554432000 4194304 4196468 140721845380000 140161197165040 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9431] ppid=9410 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7 /proc/9413/task/9431/stat : 9431 (java) R 9410 9413 8318 0 -1 4202560 446 0 0 0 6 0 0 0 20 0 20 0 81469745 26729906176 10417 33554432000 4194304 4196468 140721845380000 140161196107536 140162931133846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9432] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9432/stat : 9432 (java) S 9410 9413 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81469745 26729906176 10417 33554432000 4194304 4196468 140721845380000 140161195059680 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9433] ppid=9410 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9413/task/9433/stat : 9433 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81469745 26729906176 10417 33554432000 4194304 4196468 140721845380000 140161194007216 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 41668 KiB [startup+0.31052 s]* /proc/loadavg: 7.33 7.99 8.28 3/201 9433 /proc/meminfo: memFree=17478308/32770624 swapFree=67108796/67108860 [pid=9413] ppid=9410 vsize=26103424 memory=45720 CPUtime=0.44 cores=0-7 /proc/9413/stat : 9413 (java) S 9410 9413 8318 0 -1 1077944320 11096 0 0 0 41 3 0 0 20 0 20 0 81469739 26729906176 11430 33554432000 4194304 4196468 140721845380000 140721845362544 140162931121911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 /proc/9413/statm: 6525856 11430 3406 1 0 6487932 0 [pid=9413/tid=9415] ppid=9410 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/9413/task/9415/stat : 9415 (java) R 9410 9413 8318 0 -1 4202560 8563 0 0 0 28 1 0 0 20 0 20 0 81469739 26729906176 11430 33554432000 4194304 4196468 140721845380000 140162935283648 140162912685440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9416] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9416/stat : 9416 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 11430 33554432000 4194304 4196468 140721845380000 140162489166352 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9417] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9417/stat : 9417 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 11430 33554432000 4194304 4196468 140721845380000 140162488113808 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9418] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9418/stat : 9418 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 11430 33554432000 4194304 4196468 140721845380000 140162487060752 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9419] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9419/stat : 9419 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 11430 33554432000 4194304 4196468 140721845380000 140162486008208 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9420] ppid=9410 vsize=26103424 memory=2244 CPUtime=0 cores=0-7 /proc/9413/task/9420/stat : 9420 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 11430 33554432000 4194304 4196468 140721845380000 140162484956176 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9421] ppid=9410 vsize=26103424 memory=140389730317231 CPUtime=0 cores=0-7 /proc/9413/task/9421/stat : 9421 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 11430 33554432000 4194304 4196468 140721845380000 140162483903632 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9422] ppid=9410 vsize=26103424 memory=140389730319536 CPUtime=0 cores=0-7 /proc/9413/task/9422/stat : 9422 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 11430 33554432000 4194304 4196468 140721845380000 140162482850576 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9423] ppid=9410 vsize=26103424 memory=140389730321840 CPUtime=0 cores=0-7 /proc/9413/task/9423/stat : 9423 (java) S 9410 9413 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81469740 26729906176 11430 33554432000 4194304 4196468 140721845380000 140162481798032 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9424] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9424/stat : 9424 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469742 26729906176 11430 33554432000 4194304 4196468 140721845380000 140161203480816 140162931133058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9425] ppid=9410 vsize=26103424 memory=280779460650640 CPUtime=0 cores=0-7 /proc/9413/task/9425/stat : 9425 (java) S 9410 9413 8318 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81469742 26729906176 11430 33554432000 4194304 4196468 140721845380000 140161202427040 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9426] ppid=9410 vsize=26103424 memory=280779460657552 CPUtime=0 cores=0-7 /proc/9413/task/9426/stat : 9426 (java) S 9410 9413 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81469742 26729906176 11430 33554432000 4194304 4196468 140721845380000 140161201373936 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9427] ppid=9410 vsize=26103424 memory=280779460598832 CPUtime=0 cores=0-7 /proc/9413/task/9427/stat : 9427 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81469745 26729906176 11430 33554432000 4194304 4196468 140721845380000 140161200322512 140162931140507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9428] ppid=9410 vsize=26103424 memory=280779460671376 CPUtime=0.01 cores=0-7 /proc/9413/task/9428/stat : 9428 (java) S 9410 9413 8318 0 -1 1077944384 545 0 0 0 1 0 0 0 20 0 20 0 81469745 26729906176 11430 33554432000 4194304 4196468 140721845380000 140161199270640 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9429] ppid=9410 vsize=26103424 memory=280779460678288 CPUtime=0.01 cores=0-7 /proc/9413/task/9429/stat : 9429 (java) S 9410 9413 8318 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 20 0 81469745 26729906176 11430 33554432000 4194304 4196468 140721845380000 140161198218096 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9430] ppid=9410 vsize=26103424 memory=280779460675984 CPUtime=0 cores=0-7 /proc/9413/task/9430/stat : 9430 (java) S 9410 9413 8318 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 81469745 26729906176 11430 33554432000 4194304 4196468 140721845380000 140161197165040 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9431] ppid=9410 vsize=26103424 memory=280779460692544 CPUtime=0.08 cores=0-7 /proc/9413/task/9431/stat : 9431 (java) S 9410 9413 8318 0 -1 1077944384 487 0 0 0 8 0 0 0 20 0 20 0 81469745 26729906176 11430 33554432000 4194304 4196468 140721845380000 140161196112496 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9432] ppid=9410 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9432/stat : 9432 (java) S 9410 9413 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81469745 26729906176 11430 33554432000 4194304 4196468 140721845380000 140161195059680 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9433] ppid=9410 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9413/task/9433/stat : 9433 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81469745 26729906176 11430 33554432000 4194304 4196468 140721845380000 140161194007216 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 Current children cumulated CPU time: 0.44 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 45720 KiB [startup+0.700893 s] /proc/loadavg: 7.33 7.99 8.28 2/201 9433 /proc/meminfo: memFree=17454384/32770624 swapFree=67108796/67108860 [pid=9413] ppid=9410 vsize=26105492 memory=84724 CPUtime=1 cores=0-7 /proc/9413/stat : 9413 (java) S 9410 9413 8318 0 -1 1077944320 18168 0 0 0 94 6 0 0 20 0 20 0 81469739 26732023808 21181 33554432000 4194304 4196468 140721845380000 140721845362544 140162931121911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 /proc/9413/statm: 6526373 21181 3496 1 0 6488444 0 [pid=9413/tid=9415] ppid=9410 vsize=26105492 memory=7661860193299882836 CPUtime=0.67 cores=0-7 /proc/9413/task/9415/stat : 9415 (java) R 9410 9413 8318 0 -1 4202560 15040 0 0 0 63 4 0 0 20 0 20 0 81469739 26732023808 21181 33554432000 4194304 4196468 140721845380000 140162935348368 140162923372528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9416] ppid=9410 vsize=26105492 memory=40510131554736 CPUtime=0 cores=0-7 /proc/9413/task/9416/stat : 9416 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26732023808 21181 33554432000 4194304 4196468 140721845380000 140162489166352 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9417] ppid=9410 vsize=26105492 memory=140389730328830 CPUtime=0 cores=0-7 /proc/9413/task/9417/stat : 9417 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81469740 26732023808 21181 33554432000 4194304 4196468 140721845380000 140162488113808 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9418] ppid=9410 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9418/stat : 9418 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26732023808 21181 33554432000 4194304 4196468 140721845380000 140162487060752 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9419] ppid=9410 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9419/stat : 9419 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26732023808 21181 33554432000 4194304 4196468 140721845380000 140162486008208 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9420] ppid=9410 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9420/stat : 9420 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26732023808 21181 33554432000 4194304 4196468 140721845380000 140162484956176 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9421] ppid=9410 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9421/stat : 9421 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81469740 26732023808 21181 33554432000 4194304 4196468 140721845380000 140162483903632 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9422] ppid=9410 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/9413/task/9422/stat : 9422 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469740 26732023808 21181 33554432000 4194304 4196468 140721845380000 140162482850576 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9423] ppid=9410 vsize=26105492 memory=1628 CPUtime=0 cores=0-7 /proc/9413/task/9423/stat : 9423 (java) S 9410 9413 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81469740 26732023808 21181 33554432000 4194304 4196468 140721845380000 140162481798032 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9424] ppid=9410 vsize=26105492 memory=8876 CPUtime=0 cores=0-7 /proc/9413/task/9424/stat : 9424 (java) S 9410 9413 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81469742 26732023808 21181 33554432000 4194304 4196468 140721845380000 140161203480816 140162931133058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 ################ # More data... # ################ [pid=9413/tid=9417] ppid=9410 vsize=27053808 memory=-6733704525061579059 CPUtime=7.6 cores=0-7 /proc/9413/task/9417/stat : 9417 (java) S 9410 9413 8318 0 -1 1077944384 60240 0 0 0 702 58 0 0 20 0 34 0 81469740 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140162488113808 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9418] ppid=9410 vsize=27053808 memory=-7003737579269690708 CPUtime=7.63 cores=0-7 /proc/9413/task/9418/stat : 9418 (java) S 9410 9413 8318 0 -1 1077944384 56971 0 0 0 708 55 0 0 20 0 34 0 81469740 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140162487060752 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9419] ppid=9410 vsize=27053808 memory=27784569131 CPUtime=7.65 cores=0-7 /proc/9413/task/9419/stat : 9419 (java) S 9410 9413 8318 0 -1 1077944384 57956 0 0 0 706 59 0 0 20 0 34 0 81469740 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140162486008208 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9420] ppid=9410 vsize=27053808 memory=177228598 CPUtime=7.57 cores=0-7 /proc/9413/task/9420/stat : 9420 (java) S 9410 9413 8318 0 -1 1077944384 55669 0 0 0 700 57 0 0 20 0 34 0 81469740 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140162484956176 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9421] ppid=9410 vsize=27053808 memory=27784569131 CPUtime=7.66 cores=0-7 /proc/9413/task/9421/stat : 9421 (java) S 9410 9413 8318 0 -1 1077944384 56675 0 0 0 711 55 0 0 20 0 34 0 81469740 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140162483903632 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9422] ppid=9410 vsize=27053808 memory=280779461370000 CPUtime=7.59 cores=0-7 /proc/9413/task/9422/stat : 9422 (java) S 9410 9413 8318 0 -1 1077944384 57654 0 0 0 701 58 0 0 20 0 34 0 81469740 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140162482850576 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9423] ppid=9410 vsize=27053808 memory=590872278580815662 CPUtime=7.67 cores=0-7 /proc/9413/task/9423/stat : 9423 (java) S 9410 9413 8318 0 -1 1077944384 59117 0 0 0 710 57 0 0 20 0 34 0 81469740 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140162481798032 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9424] ppid=9410 vsize=27053808 memory=288293268213727926 CPUtime=1.46 cores=0-7 /proc/9413/task/9424/stat : 9424 (java) S 9410 9413 8318 0 -1 1077944384 78999 0 0 0 120 26 0 0 20 0 34 0 81469742 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161203480816 140162931133058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9425] ppid=9410 vsize=27053808 memory=4051040852418756640 CPUtime=0 cores=0-7 /proc/9413/task/9425/stat : 9425 (java) S 9410 9413 8318 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 34 0 81469742 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161202427104 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9426] ppid=9410 vsize=27053808 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/9413/task/9426/stat : 9426 (java) S 9410 9413 8318 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 34 0 81469742 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161201373952 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9427] ppid=9410 vsize=27053808 memory=1040 CPUtime=0 cores=0-7 /proc/9413/task/9427/stat : 9427 (java) S 9410 9413 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 81469745 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161200322512 140162931140507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9428] ppid=9410 vsize=27053808 memory=1628 CPUtime=2.46 cores=0-7 /proc/9413/task/9428/stat : 9428 (java) S 9410 9413 8318 0 -1 1077944384 7126 0 0 0 244 2 0 0 20 0 34 0 81469745 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161199270640 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9429] ppid=9410 vsize=27053808 memory=8876 CPUtime=2.66 cores=0-7 /proc/9413/task/9429/stat : 9429 (java) S 9410 9413 8318 0 -1 1077944384 12278 0 0 0 264 2 0 0 20 0 34 0 81469745 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161198218096 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9430] ppid=9410 vsize=27053808 memory=1120 CPUtime=2.55 cores=0-7 /proc/9413/task/9430/stat : 9430 (java) S 9410 9413 8318 0 -1 1077944384 6266 0 0 0 253 2 0 0 20 0 34 0 81469745 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161197165040 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9431] ppid=9410 vsize=27053808 memory=792 CPUtime=1.51 cores=0-7 /proc/9413/task/9431/stat : 9431 (java) S 9410 9413 8318 0 -1 1077944384 16382 0 0 0 145 6 0 0 20 0 34 0 81469745 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161196112496 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9432] ppid=9410 vsize=27053808 memory=832 CPUtime=0 cores=0-7 /proc/9413/task/9432/stat : 9432 (java) S 9410 9413 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 81469745 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161195059680 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9433] ppid=9410 vsize=27053808 memory=1608 CPUtime=0.85 cores=0-7 /proc/9413/task/9433/stat : 9433 (java) S 9410 9413 8318 0 -1 1077944384 5188 0 0 0 34 51 0 0 20 0 34 0 81469745 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161194007216 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9434] ppid=9410 vsize=27053808 memory=5024 CPUtime=0 cores=0-7 /proc/9413/task/9434/stat : 9434 (java) S 9410 9413 8318 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 34 0 81470214 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161180561920 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9435] ppid=9410 vsize=27053808 memory=4032 CPUtime=4.7 cores=0-7 /proc/9413/task/9435/stat : 9435 (java) S 9410 9413 8318 0 -1 1077944384 13731 0 0 0 289 181 0 0 20 0 34 0 81470237 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161177412512 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9436] ppid=9410 vsize=27053808 memory=644 CPUtime=2491.24 cores=0-7 /proc/9413/task/9436/stat : 9436 (java) R 9410 9413 8318 0 -1 4202560 277369 0 0 0 248963 161 0 0 20 0 34 0 81470253 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161174255176 140162581464523 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9437] ppid=9410 vsize=27053808 memory=1676 CPUtime=2498.19 cores=0-7 /proc/9413/task/9437/stat : 9437 (java) R 9410 9413 8318 0 -1 4202560 294144 0 0 0 249645 174 0 0 20 0 34 0 81470254 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161173202464 140162577560320 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9438] ppid=9410 vsize=27053808 memory=960 CPUtime=2500.61 cores=0-7 /proc/9413/task/9438/stat : 9438 (java) R 9410 9413 8318 0 -1 4202560 292390 0 0 0 249867 194 0 0 20 0 34 0 81470254 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161172150440 140162577913781 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9439] ppid=9410 vsize=27053808 memory=1232 CPUtime=2493.97 cores=0-7 /proc/9413/task/9439/stat : 9439 (java) R 9410 9413 8318 0 -1 4202560 281251 0 0 0 249214 183 0 0 20 0 34 0 81470261 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161168999848 140162580101652 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9440] ppid=9410 vsize=27053808 memory=4072 CPUtime=0.22 cores=0-7 /proc/9413/task/9440/stat : 9440 (java) S 9410 9413 8318 0 -1 1077944384 54 0 0 0 22 0 0 0 20 0 34 0 81470261 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161167954848 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9441] ppid=9410 vsize=27053808 memory=2244 CPUtime=2494.21 cores=0-7 /proc/9413/task/9441/stat : 9441 (java) R 9410 9413 8318 0 -1 4202560 296368 0 0 0 249239 182 0 0 20 0 34 0 81470261 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161166894616 140162580980928 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9442] ppid=9410 vsize=27053808 memory=4124 CPUtime=2495.88 cores=0-7 /proc/9413/task/9442/stat : 9442 (java) R 9410 9413 8318 0 -1 4202560 300017 0 0 0 249406 182 0 0 20 0 34 0 81470261 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161165844176 140162580967080 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9443] ppid=9410 vsize=27053808 memory=924 CPUtime=0.2 cores=0-7 /proc/9413/task/9443/stat : 9443 (java) S 9410 9413 8318 0 -1 1077944384 67 0 0 0 20 0 0 0 20 0 34 0 81470261 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161164796704 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9444] ppid=9410 vsize=27053808 memory=1572 CPUtime=2497.78 cores=0-7 /proc/9413/task/9444/stat : 9444 (java) R 9410 9413 8318 0 -1 4202560 288697 0 0 0 249606 172 0 0 20 0 34 0 81470262 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161163736984 140162577560993 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9445] ppid=9410 vsize=27053808 memory=2092 CPUtime=2496.5 cores=0-7 /proc/9413/task/9445/stat : 9445 (java) R 9410 9413 8318 0 -1 4202560 307907 0 0 0 249471 179 0 0 20 0 34 0 81470262 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161162684920 140162580968314 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9446] ppid=9410 vsize=27053808 memory=7524 CPUtime=0 cores=0-7 /proc/9413/task/9446/stat : 9446 (java) S 9410 9413 8318 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 34 0 81470296 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140161159505056 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9447] ppid=9410 vsize=27053808 memory=840 CPUtime=0 cores=0-7 /proc/9413/task/9447/stat : 9447 (java) S 9410 9413 8318 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 34 0 81470296 27703099392 2047170 33554432000 4194304 4196468 140721845380000 140160782914848 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 Current children cumulated CPU time: 20051.2 s Current children cumulated vsize: 27053808 KiB Current children cumulated memory: 8188680 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.53 s] # the end of solver process 9413 was just reported to runsolver # cumulated CPU time of all completed processes: user=20035.3 s, system=19.5808 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.41 s] /proc/loadavg: 9.63 9.02 8.84 9/212 9482 /proc/meminfo: memFree=9320540/32770624 swapFree=67108796/67108860 [pid=9413] ppid=9410 vsize=27786012 memory=8190812 CPUtime=20054.3 cores=0-7 /proc/9413/stat : 9413 (java) S 9410 9413 8318 0 -1 1077944320 2972190 0 0 0 2003481 1951 0 0 20 0 45 0 81469739 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140721845362544 140162931121911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 /proc/9413/statm: 6946503 2047703 3626 1 0 6908053 0 [pid=9413/tid=9415] ppid=9410 vsize=27786012 memory=1232 CPUtime=5.01 cores=0-7 /proc/9413/task/9415/stat : 9415 (java) S 9410 9413 8318 0 -1 1077944384 22951 0 0 0 487 14 0 0 20 0 45 0 81469739 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140162935359376 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9416] ppid=9410 vsize=27786012 memory=4072 CPUtime=7.61 cores=0-7 /proc/9413/task/9416/stat : 9416 (java) S 9410 9413 8318 0 -1 1077944384 57627 0 0 0 702 59 0 0 20 0 45 0 81469740 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140162489166352 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9417] ppid=9410 vsize=27786012 memory=6791534058613427641 CPUtime=7.6 cores=0-7 /proc/9413/task/9417/stat : 9417 (java) S 9410 9413 8318 0 -1 1077944384 60240 0 0 0 702 58 0 0 20 0 45 0 81469740 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140162488113808 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9418] ppid=9410 vsize=27786012 memory=13852958290872887 CPUtime=7.63 cores=0-7 /proc/9413/task/9418/stat : 9418 (java) S 9410 9413 8318 0 -1 1077944384 56971 0 0 0 708 55 0 0 20 0 45 0 81469740 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140162487060752 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9419] ppid=9410 vsize=27786012 memory=6655300316396806240 CPUtime=7.65 cores=0-7 /proc/9413/task/9419/stat : 9419 (java) S 9410 9413 8318 0 -1 1077944384 57956 0 0 0 706 59 0 0 20 0 45 0 81469740 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140162486008208 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9420] ppid=9410 vsize=27786012 memory=6944656575208382560 CPUtime=7.57 cores=0-7 /proc/9413/task/9420/stat : 9420 (java) S 9410 9413 8318 0 -1 1077944384 55669 0 0 0 700 57 0 0 20 0 45 0 81469740 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140162484956176 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9421] ppid=9410 vsize=27786012 memory=8112282956445269571 CPUtime=7.66 cores=0-7 /proc/9413/task/9421/stat : 9421 (java) S 9410 9413 8318 0 -1 1077944384 56675 0 0 0 711 55 0 0 20 0 45 0 81469740 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140162483903632 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9422] ppid=9410 vsize=27786012 memory=0 CPUtime=7.59 cores=0-7 /proc/9413/task/9422/stat : 9422 (java) S 9410 9413 8318 0 -1 1077944384 57654 0 0 0 701 58 0 0 20 0 45 0 81469740 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140162482850576 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9423] ppid=9410 vsize=27786012 memory=6082218389313709162 CPUtime=7.67 cores=0-7 /proc/9413/task/9423/stat : 9423 (java) S 9410 9413 8318 0 -1 1077944384 59117 0 0 0 710 57 0 0 20 0 45 0 81469740 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140162481798032 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9424] ppid=9410 vsize=27786012 memory=7234023798937250408 CPUtime=1.46 cores=0-7 /proc/9413/task/9424/stat : 9424 (java) S 9410 9413 8318 0 -1 1077944384 79043 0 0 0 120 26 0 0 20 0 45 0 81469742 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161203480816 140162931133058 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9425] ppid=9410 vsize=27786012 memory=280779462901664 CPUtime=0 cores=0-7 /proc/9413/task/9425/stat : 9425 (java) S 9410 9413 8318 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 45 0 81469742 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161202427104 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9426] ppid=9410 vsize=27786012 memory=4629771062077588875 CPUtime=0 cores=0-7 /proc/9413/task/9426/stat : 9426 (java) S 9410 9413 8318 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 45 0 81469742 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161201373952 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9427] ppid=9410 vsize=27786012 memory=-8961168018402230209 CPUtime=0 cores=0-7 /proc/9413/task/9427/stat : 9427 (java) S 9410 9413 8318 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 45 0 81469745 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161200322512 140162931140507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9428] ppid=9410 vsize=27786012 memory=3475195960090049104 CPUtime=2.48 cores=0-7 /proc/9413/task/9428/stat : 9428 (java) R 9410 9413 8318 0 -1 4202560 7712 0 0 0 246 2 0 0 20 0 45 0 81469745 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161199256736 140162915022512 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9429] ppid=9410 vsize=27786012 memory=-7606742952807079856 CPUtime=2.66 cores=0-7 /proc/9413/task/9429/stat : 9429 (java) S 9410 9413 8318 0 -1 1077944384 12279 0 0 0 264 2 0 0 20 0 45 0 81469745 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161198218096 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9430] ppid=9410 vsize=27786012 memory=7438042669444051520 CPUtime=2.56 cores=0-7 /proc/9413/task/9430/stat : 9430 (java) R 9410 9413 8318 0 -1 1077944384 6351 0 0 0 254 2 0 0 20 0 45 0 81469745 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161197165040 140162931133058 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9431] ppid=9410 vsize=27786012 memory=-6733704525061579059 CPUtime=1.54 cores=0-7 /proc/9413/task/9431/stat : 9431 (java) R 9410 9413 8318 0 -1 1077944384 18681 0 0 0 148 6 0 0 20 0 45 0 81469745 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161196112048 140162931132117 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9432] ppid=9410 vsize=27786012 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/9413/task/9432/stat : 9432 (java) S 9410 9413 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 81469745 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161195059680 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9433] ppid=9410 vsize=27786012 memory=13852958290872887 CPUtime=0.85 cores=0-7 /proc/9413/task/9433/stat : 9433 (java) S 9410 9413 8318 0 -1 1077944384 5188 0 0 0 34 51 0 0 20 0 45 0 81469745 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161194007216 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9434] ppid=9410 vsize=27786012 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/9413/task/9434/stat : 9434 (java) S 9410 9413 8318 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 45 0 81470214 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161180561920 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9435] ppid=9410 vsize=27786012 memory=13852958290872887 CPUtime=4.7 cores=0-7 /proc/9413/task/9435/stat : 9435 (java) S 9410 9413 8318 0 -1 1077944384 13766 0 0 0 289 181 0 0 20 0 45 0 81470237 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161177412400 140162931133058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9436] ppid=9410 vsize=27786012 memory=17804 CPUtime=2491.61 cores=0-7 /proc/9413/task/9436/stat : 9436 (java) R 9410 9413 8318 0 -1 4202560 277396 0 0 0 249000 161 0 0 20 0 45 0 81470253 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161174255144 140162580842857 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9437] ppid=9410 vsize=27786012 memory=4016 CPUtime=2498.54 cores=0-7 /proc/9413/task/9437/stat : 9437 (java) R 9410 9413 8318 0 -1 4202560 294174 0 0 0 249680 174 0 0 20 0 45 0 81470254 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161173202616 140162577915956 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9438] ppid=9410 vsize=27786012 memory=-7003737579269690708 CPUtime=2500.98 cores=0-7 /proc/9413/task/9438/stat : 9438 (java) R 9410 9413 8318 0 -1 4202560 292422 0 0 0 249904 194 0 0 20 0 45 0 81470254 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161172149896 140162580492608 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9439] ppid=9410 vsize=27786012 memory=792 CPUtime=2494.33 cores=0-7 /proc/9413/task/9439/stat : 9439 (java) R 9410 9413 8318 0 -1 4202560 281280 0 0 0 249250 183 0 0 20 0 45 0 81470261 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161169000160 140162580691207 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9440] ppid=9410 vsize=27786012 memory=832 CPUtime=0.22 cores=0-7 /proc/9413/task/9440/stat : 9440 (java) S 9410 9413 8318 0 -1 1077944384 288 0 0 0 22 0 0 0 20 0 45 0 81470261 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161167954864 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9441] ppid=9410 vsize=27786012 memory=1608 CPUtime=2494.57 cores=0-7 /proc/9413/task/9441/stat : 9441 (java) R 9410 9413 8318 0 -1 4202560 296398 0 0 0 249275 182 0 0 20 0 45 0 81470261 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161166894040 140162577560930 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9442] ppid=9410 vsize=27786012 memory=5024 CPUtime=2496.27 cores=0-7 /proc/9413/task/9442/stat : 9442 (java) R 9410 9413 8318 0 -1 4202560 300048 0 0 0 249445 182 0 0 20 0 45 0 81470261 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161165841976 140162577913842 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9443] ppid=9410 vsize=27786012 memory=4032 CPUtime=0.2 cores=0-7 /proc/9413/task/9443/stat : 9443 (java) S 9410 9413 8318 0 -1 1077944384 105 0 0 0 20 0 0 0 20 0 45 0 81470261 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161164796720 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9444] ppid=9410 vsize=27786012 memory=8188680 CPUtime=2498.14 cores=0-7 /proc/9413/task/9444/stat : 9444 (java) R 9410 9413 8318 0 -1 4202560 288726 0 0 0 249642 172 0 0 20 0 45 0 81470262 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161163737248 140162573265240 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9445] ppid=9410 vsize=27786012 memory=0 CPUtime=2496.88 cores=0-7 /proc/9413/task/9445/stat : 9445 (java) R 9410 9413 8318 0 -1 4202560 307937 0 0 0 249509 179 0 0 20 0 45 0 81470262 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161162684632 140162580966556 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9446] ppid=9410 vsize=27786012 memory=8112282956445269571 CPUtime=0.01 cores=0-7 /proc/9413/task/9446/stat : 9446 (java) S 9410 9413 8318 0 -1 1077944384 636 0 0 0 1 0 0 0 20 0 45 0 81470296 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140161159505072 140162931132117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 [pid=9413/tid=9447] ppid=9410 vsize=27786012 memory=644 CPUtime=0.01 cores=0-7 /proc/9413/task/9447/stat : 9447 (java) R 9410 9413 8318 0 -1 1077944384 529 0 0 0 1 0 0 0 20 0 45 0 81470296 28452876288 2047703 33554432000 4194304 4196468 140721845380000 140160782914864 140162931132117 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140721845384269 140721845384453 140721845384453 140721845387215 0 Current children cumulated CPU time: 20054.3 s Current children cumulated vsize: 27786012 KiB Current children cumulated memory: 8190812 KiB [startup+2520.5 s]* /proc/loadavg: 9.63 9.02 8.84 2/180 9494 /proc/meminfo: memFree=15017216/32770624 swapFree=67108796/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.53 CPU time (s): 20054.8 CPU user time (s): 20035.3 CPU system time (s): 19.5808 CPU usage (%): 795.659 Max. virtual memory (cumulated for all children) (KiB): 27786012 Max. memory (cumulated for all children) (KiB): 8190812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20035.3 system time used= 19.5808 maximum resident set size= 8192004 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2974402 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3368 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 371707 involuntary context switches= 422522 # summary of solver processes directly reported to runsolver: # pid: 9413 # total CPU time (s): 20054.8 # total CPU user time (s): 20035.3 # total CPU system time (s): 19.5808 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 23.3023 second user time and 29.7272 second system time The end
Begin job on node138 at 2018-07-26 23:04:26 IDJOB=4291826 IDBENCH=141182 IDSOLVER=2745 FILE ID=node138/4291826-1532639066 RUNJOBID= node138-1532633938-8345 PBS_JOBID= 21022187 Free space on /tmp= 53800 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f01_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-4291826-1532639066/watcher-4291826-1532639066 -o /tmp/evaluation-result-4291826-1532639066/solver-4291826-1532639066 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532633938-8345 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1516284189 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291826-1532639066.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 835bf91cf13c47564ae451efb141e04e RANDOM SEED=1516284189 node138.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.71 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.71 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.71 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.71 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: 17510236 kB MemAvailable: 31921040 kB Buffers: 202748 kB Cached: 14351372 kB SwapCached: 44 kB Active: 2458960 kB Inactive: 12156028 kB Active(anon): 11168 kB Inactive(anon): 77300 kB Active(file): 2447792 kB Inactive(file): 12078728 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 36260 kB Writeback: 0 kB AnonPages: 168088 kB Mapped: 35392 kB Shmem: 25164 kB Slab: 340616 kB SReclaimable: 312744 kB SUnreclaim: 27872 kB KernelStack: 3936 kB PageTables: 4500 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324760 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 112640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 53768 MiB End job on node138 at 2018-07-26 23:46:26