Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | ? (TO) | 20058.7 | 2520.14 |
Name | CarSequencing/ CarSequencing-90-02_c18.xml |
MD5SUM | a45a1bbd084788784bb8b4db38c38ff4 |
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 | 359.948 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1453 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 27 |
Distribution of domain sizes | [{"size":2,"count":1000},{"size":27,"count":200}] |
Minimum variable degree | 2 |
Maximum variable degree | 93 |
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":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":2}, {"degree":86,"count":2}, {"degree":87,"count":2}, {"degree":88,"count":2}, {"degree":89,"count":2}, {"degree":90,"count":2}, {"degree":91,"count":2}, {"degree":92,"count":3}, {"degree":93,"count":21}] |
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":22,"count":1},{"arity":24,"count":1},{"arity":26,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":32,"count":2},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":2},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":2},{"arity":48,"count":1},{"arity":50,"count":4},{"arity":52,"count":1},"...",{"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":1252},{"type":"cardinality","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297645-1532721516.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297645-1532721516.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 4.16/1.27 c solve instance... 20057.98/2520.07 s UNKNOWN 20057.98/2520.07 c Unexpected resolution interruption!
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 (13292 MiB free) memory of node 1: 16384 MiB (14236 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297645-1532721516/watcher-4297645-1532721516 -o /tmp/evaluation-result-4297645-1532721516/solver-4297645-1532721516 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532721509-28173 --watchdog 2580 HOME/xcsp3-exec -seed 843432863 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297645-1532721516.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=28392, runsolver pid=28389 [startup+0.105036 s]* /proc/loadavg: 5.13 5.91 6.23 3/203 28413 /proc/meminfo: memFree=28173600/32770624 swapFree=67108744/67108860 [pid=28392] ppid=28389 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28392/stat : 28392 (xcsp3-exec) S 28389 28392 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89714790 115843072 363 33554432000 4194304 5098028 140721243865552 140721243863656 140717551858300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9158656 140721243874358 140721243874560 140721243874560 140721243877322 0 /proc/28392/statm: 28282 363 305 221 0 87 0 [pid=28394] ppid=28392 vsize=26104152 memory=27444 CPUtime=0.12 cores=0-7 /proc/28394/stat : 28394 (java) S 28392 28392 28146 0 -1 1077944320 5743 0 0 0 11 1 0 0 20 0 20 0 89714790 26730651648 6861 33554432000 4194304 4196468 140732521712288 140732521694832 139814948667127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 /proc/28394/statm: 6526038 6861 3025 1 0 6488315 0 [pid=28394/tid=28395] ppid=28392 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/28394/task/28395/stat : 28395 (java) R 28392 28392 28146 0 -1 4202560 3744 0 0 0 8 1 0 0 20 0 20 0 89714790 26730651648 6861 33554432000 4194304 4196468 140732521712288 139814952888024 139814948679062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28396] ppid=28392 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/28394/task/28396/stat : 28396 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 6861 33554432000 4194304 4196468 140732521712288 139814901287824 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28397] ppid=28392 vsize=26104152 memory=140632343217792 CPUtime=0 cores=0-7 /proc/28394/task/28397/stat : 28397 (java) S 28392 28392 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 6861 33554432000 4194304 4196468 140732521712288 139814900235024 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28398] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28398/stat : 28398 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 6861 33554432000 4194304 4196468 140732521712288 139814899182736 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28399] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28399/stat : 28399 (java) S 28392 28392 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 6861 33554432000 4194304 4196468 140732521712288 139814898129936 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28400] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28400/stat : 28400 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 6861 33554432000 4194304 4196468 140732521712288 139814897076624 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28401] ppid=28392 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/28394/task/28401/stat : 28401 (java) S 28392 28392 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 6861 33554432000 4194304 4196468 140732521712288 139814896023824 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28402] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28402/stat : 28402 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 6861 33554432000 4194304 4196468 140732521712288 139814894971536 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28403] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28403/stat : 28403 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 6861 33554432000 4194304 4196468 140732521712288 139814893918736 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28404] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28404/stat : 28404 (java) S 28392 28392 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89714793 26730651648 6861 33554432000 4194304 4196468 140732521712288 139813354236528 139814948678274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28405] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28405/stat : 28405 (java) S 28392 28392 28146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89714793 26730651648 6861 33554432000 4194304 4196468 140732521712288 139813353182496 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28406] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28406/stat : 28406 (java) S 28392 28392 28146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89714793 26730651648 6861 33554432000 4194304 4196468 140732521712288 139813352130160 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28407] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28407/stat : 28407 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714796 26730651648 6861 33554432000 4194304 4196468 140732521712288 139813351078480 139814948685723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28408] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28408/stat : 28408 (java) S 28392 28392 28146 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 89714796 26730651648 6861 33554432000 4194304 4196468 140732521712288 139813350025328 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28409] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28409/stat : 28409 (java) S 28392 28392 28146 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 89714796 26730651648 6861 33554432000 4194304 4196468 140732521712288 139813348972528 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28410] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28410/stat : 28410 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714796 26730651648 6861 33554432000 4194304 4196468 140732521712288 139813347920240 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28411] ppid=28392 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/28394/task/28411/stat : 28411 (java) R 28392 28392 28146 0 -1 4202560 274 0 0 0 1 0 0 0 20 0 20 0 89714796 26730651648 6861 33554432000 4194304 4196468 140732521712288 139813346867440 139814927035766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28412] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28412/stat : 28412 (java) S 28392 28392 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89714796 26730651648 6861 33554432000 4194304 4196468 140732521712288 139813345815392 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28413] ppid=28392 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/28394/task/28413/stat : 28413 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714796 26730651648 6861 33554432000 4194304 4196468 140732521712288 139813344762672 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28896 KiB [startup+0.210819 s]* /proc/loadavg: 5.13 5.91 6.23 2/203 28413 /proc/meminfo: memFree=28162692/32770624 swapFree=67108744/67108860 [pid=28392] ppid=28389 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28392/stat : 28392 (xcsp3-exec) S 28389 28392 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89714790 115843072 363 33554432000 4194304 5098028 140721243865552 140721243863656 140717551858300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9158656 140721243874358 140721243874560 140721243874560 140721243877322 0 /proc/28392/statm: 28282 363 305 221 0 87 0 [pid=28394] ppid=28392 vsize=26104152 memory=39372 CPUtime=0.33 cores=0-7 /proc/28394/stat : 28394 (java) S 28392 28392 28146 0 -1 1077944320 8388 0 0 0 31 2 0 0 20 0 20 0 89714790 26730651648 9843 33554432000 4194304 4196468 140732521712288 140732521694832 139814948667127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 /proc/28394/statm: 6526038 9843 3203 1 0 6488315 0 [pid=28394/tid=28395] ppid=28392 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/28394/task/28395/stat : 28395 (java) R 28392 28392 28146 0 -1 4202560 5590 0 0 0 18 1 0 0 20 0 20 0 89714790 26730651648 9843 33554432000 4194304 4196468 140732521712288 139814952901168 139814557020496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28396] ppid=28392 vsize=26104152 memory=340 CPUtime=0 cores=0-7 /proc/28394/task/28396/stat : 28396 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 9843 33554432000 4194304 4196468 140732521712288 139814901287824 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28397] ppid=28392 vsize=26104152 memory=140632343749107 CPUtime=0 cores=0-7 /proc/28394/task/28397/stat : 28397 (java) S 28392 28392 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 9843 33554432000 4194304 4196468 140732521712288 139814900235024 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28398] ppid=28392 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/28394/task/28398/stat : 28398 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 9843 33554432000 4194304 4196468 140732521712288 139814899182736 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28399] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28399/stat : 28399 (java) S 28392 28392 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 9843 33554432000 4194304 4196468 140732521712288 139814898129936 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28400] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28400/stat : 28400 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 9843 33554432000 4194304 4196468 140732521712288 139814897076624 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28401] ppid=28392 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/28394/task/28401/stat : 28401 (java) S 28392 28392 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 9843 33554432000 4194304 4196468 140732521712288 139814896023824 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28402] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28402/stat : 28402 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 9843 33554432000 4194304 4196468 140732521712288 139814894971536 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28403] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28403/stat : 28403 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26730651648 9843 33554432000 4194304 4196468 140732521712288 139814893918736 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28404] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28404/stat : 28404 (java) S 28392 28392 28146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89714793 26730651648 9843 33554432000 4194304 4196468 140732521712288 139813354236528 139814948678274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28405] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28405/stat : 28405 (java) S 28392 28392 28146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89714793 26730651648 9843 33554432000 4194304 4196468 140732521712288 139813353182496 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28406] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28406/stat : 28406 (java) S 28392 28392 28146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89714793 26730651648 9843 33554432000 4194304 4196468 140732521712288 139813352130160 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28407] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28407/stat : 28407 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714796 26730651648 9843 33554432000 4194304 4196468 140732521712288 139813351078480 139814948685723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28408] ppid=28392 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/28394/task/28408/stat : 28408 (java) S 28392 28392 28146 0 -1 1077944384 409 0 0 0 1 0 0 0 20 0 20 0 89714796 26730651648 9843 33554432000 4194304 4196468 140732521712288 139813350025328 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28409] ppid=28392 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/28394/task/28409/stat : 28409 (java) S 28392 28392 28146 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 20 0 89714796 26730651648 9843 33554432000 4194304 4196468 140732521712288 139813348972528 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28410] ppid=28392 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/28394/task/28410/stat : 28410 (java) S 28392 28392 28146 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 89714796 26730651648 9843 33554432000 4194304 4196468 140732521712288 139813347920240 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28411] ppid=28392 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7 /proc/28394/task/28411/stat : 28411 (java) R 28392 28392 28146 0 -1 4202560 758 0 0 0 8 0 0 0 20 0 20 0 89714796 26730651648 9843 33554432000 4194304 4196468 140732521712288 139813346867248 139814948679062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28412] ppid=28392 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28412/stat : 28412 (java) S 28392 28392 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89714796 26730651648 9843 33554432000 4194304 4196468 140732521712288 139813345815392 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28413] ppid=28392 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/28394/task/28413/stat : 28413 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714796 26730651648 9843 33554432000 4194304 4196468 140732521712288 139813344762672 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40824 KiB [startup+0.312074 s]* /proc/loadavg: 5.13 5.91 6.23 4/203 28413 /proc/meminfo: memFree=28156612/32770624 swapFree=67108744/67108860 [pid=28392] ppid=28389 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28392/stat : 28392 (xcsp3-exec) S 28389 28392 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89714790 115843072 363 33554432000 4194304 5098028 140721243865552 140721243863656 140717551858300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9158656 140721243874358 140721243874560 140721243874560 140721243877322 0 /proc/28392/statm: 28282 363 305 221 0 87 0 [pid=28394] ppid=28392 vsize=26108408 memory=46628 CPUtime=0.52 cores=0-7 /proc/28394/stat : 28394 (java) S 28392 28392 28146 0 -1 1077944320 9304 0 0 0 49 3 0 0 20 0 20 0 89714790 26735009792 11657 33554432000 4194304 4196468 140732521712288 140732521694832 139814948667127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 /proc/28394/statm: 6527102 11657 3247 1 0 6488315 0 [pid=28394/tid=28395] ppid=28392 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/28394/task/28395/stat : 28395 (java) R 28392 28392 28146 0 -1 4202560 6252 0 0 0 27 2 0 0 20 0 20 0 89714790 26735009792 11657 33554432000 4194304 4196468 140732521712288 139814952900912 139814932747614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28396] ppid=28392 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28396/stat : 28396 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26735009792 11657 33554432000 4194304 4196468 140732521712288 139814901287824 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28397] ppid=28392 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28397/stat : 28397 (java) S 28392 28392 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89714791 26735009792 11657 33554432000 4194304 4196468 140732521712288 139814900235024 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28398] ppid=28392 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28398/stat : 28398 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26735009792 11657 33554432000 4194304 4196468 140732521712288 139814899182736 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28399] ppid=28392 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28399/stat : 28399 (java) S 28392 28392 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89714791 26735009792 11657 33554432000 4194304 4196468 140732521712288 139814898129936 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28400] ppid=28392 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/28394/task/28400/stat : 28400 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26735009792 11657 33554432000 4194304 4196468 140732521712288 139814897076624 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28401] ppid=28392 vsize=26108408 memory=140632194642863 CPUtime=0 cores=0-7 /proc/28394/task/28401/stat : 28401 (java) S 28392 28392 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89714791 26735009792 11657 33554432000 4194304 4196468 140732521712288 139814896023824 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28402] ppid=28392 vsize=26108408 memory=140632194645168 CPUtime=0 cores=0-7 /proc/28394/task/28402/stat : 28402 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26735009792 11657 33554432000 4194304 4196468 140732521712288 139814894971536 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28403] ppid=28392 vsize=26108408 memory=140632194647472 CPUtime=0 cores=0-7 /proc/28394/task/28403/stat : 28403 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26735009792 11657 33554432000 4194304 4196468 140732521712288 139814893918736 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28404] ppid=28392 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28404/stat : 28404 (java) S 28392 28392 28146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89714793 26735009792 11657 33554432000 4194304 4196468 140732521712288 139813354236528 139814948678274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28405] ppid=28392 vsize=26108408 memory=281264389301904 CPUtime=0 cores=0-7 /proc/28394/task/28405/stat : 28405 (java) S 28392 28392 28146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89714793 26735009792 11657 33554432000 4194304 4196468 140732521712288 139813353182496 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28406] ppid=28392 vsize=26108408 memory=281264389308816 CPUtime=0 cores=0-7 /proc/28394/task/28406/stat : 28406 (java) S 28392 28392 28146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89714793 26735009792 11657 33554432000 4194304 4196468 140732521712288 139813352130160 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28407] ppid=28392 vsize=26108408 memory=281264389250096 CPUtime=0 cores=0-7 /proc/28394/task/28407/stat : 28407 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714796 26735009792 11657 33554432000 4194304 4196468 140732521712288 139813351078480 139814948685723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28408] ppid=28392 vsize=26108408 memory=281264389322640 CPUtime=0.02 cores=0-7 /proc/28394/task/28408/stat : 28408 (java) S 28392 28392 28146 0 -1 1077944384 414 0 0 0 2 0 0 0 20 0 20 0 89714796 26735009792 11657 33554432000 4194304 4196468 140732521712288 139813350025328 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28409] ppid=28392 vsize=26108408 memory=281264389329552 CPUtime=0.03 cores=0-7 /proc/28394/task/28409/stat : 28409 (java) S 28392 28392 28146 0 -1 1077944384 285 0 0 0 3 0 0 0 20 0 20 0 89714796 26735009792 11657 33554432000 4194304 4196468 140732521712288 139813348972528 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28410] ppid=28392 vsize=26108408 memory=281264389327248 CPUtime=0.03 cores=0-7 /proc/28394/task/28410/stat : 28410 (java) R 28392 28392 28146 0 -1 4202560 139 0 0 0 3 0 0 0 20 0 20 0 89714796 26735009792 11657 33554432000 4194304 4196468 140732521712288 139813347910624 139814927912970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28411] ppid=28392 vsize=26108408 memory=281264389343408 CPUtime=0.13 cores=0-7 /proc/28394/task/28411/stat : 28411 (java) S 28392 28392 28146 0 -1 1077944384 910 0 0 0 13 0 0 0 20 0 20 0 89714796 26735009792 11657 33554432000 4194304 4196468 140732521712288 139813346867440 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28412] ppid=28392 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28412/stat : 28412 (java) S 28392 28392 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89714796 26735009792 11657 33554432000 4194304 4196468 140732521712288 139813345815392 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28413] ppid=28392 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/28394/task/28413/stat : 28413 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714796 26735009792 11657 33554432000 4194304 4196468 140732521712288 139813344762672 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48080 KiB [startup+0.700956 s] /proc/loadavg: 5.13 5.91 6.23 4/203 28413 /proc/meminfo: memFree=28134608/32770624 swapFree=67108744/67108860 [pid=28392] ppid=28389 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28392/stat : 28392 (xcsp3-exec) S 28389 28392 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89714790 115843072 363 33554432000 4194304 5098028 140721243865552 140721243863656 140717551858300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9158656 140721243874358 140721243874560 140721243874560 140721243877322 0 /proc/28392/statm: 28282 363 305 221 0 87 0 [pid=28394] ppid=28392 vsize=26110532 memory=90892 CPUtime=1.93 cores=0-7 /proc/28394/stat : 28394 (java) S 28392 28392 28146 0 -1 1077944320 14925 0 0 0 187 6 0 0 20 0 20 0 89714790 26737184768 22723 33554432000 4194304 4196468 140732521712288 140732521694832 139814948667127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 /proc/28394/statm: 6527633 22723 3362 1 0 6488827 0 [pid=28394/tid=28395] ppid=28392 vsize=26110532 memory=281264389701296 CPUtime=0.67 cores=0-7 /proc/28394/task/28395/stat : 28395 (java) R 28392 28392 28146 0 -1 4202560 7162 0 0 0 64 3 0 0 20 0 20 0 89714790 26737184768 22723 33554432000 4194304 4196468 140732521712288 139814952904496 139814934736511 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28396] ppid=28392 vsize=26110532 memory=140632194851696 CPUtime=0 cores=0-7 /proc/28394/task/28396/stat : 28396 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26737184768 22723 33554432000 4194304 4196468 140732521712288 139814901287824 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28397] ppid=28392 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/28394/task/28397/stat : 28397 (java) S 28392 28392 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89714791 26737184768 22723 33554432000 4194304 4196468 140732521712288 139814900235024 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28398] ppid=28392 vsize=26110532 memory=1704 CPUtime=0 cores=0-7 /proc/28394/task/28398/stat : 28398 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89714791 26737184768 22723 33554432000 4194304 4196468 140732521712288 139814899182736 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 ################ # More data... # ################ [pid=28394/tid=28421] ppid=28392 vsize=26645092 memory=396644 CPUtime=2425.76 cores=0-7 /proc/28394/task/28421/stat : 28421 (java) R 28392 28392 28146 0 -1 4202560 1974 0 0 0 242567 9 0 0 20 0 28 0 89714920 27284574208 99161 33554432000 4194304 4196468 140732521712288 139813260857536 139814557262912 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 Current children cumulated CPU time: 19439.4 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 398096 KiB [startup+2502.3 s] /proc/loadavg: 8.25 8.31 8.22 9/213 28523 /proc/meminfo: memFree=27811304/32770624 swapFree=67108744/67108860 [pid=28392] ppid=28389 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28392/stat : 28392 (xcsp3-exec) S 28389 28392 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89714790 115843072 363 33554432000 4194304 5098028 140721243865552 140721243863656 140717551858300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9158656 140721243874358 140721243874560 140721243874560 140721243877322 0 /proc/28392/statm: 28282 363 305 221 0 87 0 [pid=28394] ppid=28392 vsize=26645092 memory=391504 CPUtime=19917.3 cores=0-7 /proc/28394/stat : 28394 (java) S 28392 28392 28146 0 -1 1077944320 182064 0 0 0 1991171 556 0 0 20 0 28 0 89714790 27284574208 97876 33554432000 4194304 4196468 140732521712288 140732521694832 139814948667127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 /proc/28394/statm: 6661273 97876 3455 1 0 6622467 0 [pid=28394/tid=28395] ppid=28392 vsize=26645092 memory=391504 CPUtime=1.23 cores=0-7 /proc/28394/task/28395/stat : 28395 (java) S 28392 28392 28146 0 -1 1077944384 7956 0 0 0 118 5 0 0 20 0 28 0 89714790 27284574208 97876 33554432000 4194304 4196468 140732521712288 139814952907904 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28396] ppid=28392 vsize=26645092 memory=1452 CPUtime=2.22 cores=0-7 /proc/28394/task/28396/stat : 28396 (java) S 28392 28392 28146 0 -1 1077944384 6265 0 0 0 213 9 0 0 20 0 28 0 89714791 27284574208 97876 33554432000 4194304 4196468 140732521712288 139814901287824 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28397] ppid=28392 vsize=26645092 memory=391504 CPUtime=2.28 cores=0-7 /proc/28394/task/28397/stat : 28397 (java) S 28392 28392 28146 0 -1 1077944384 6038 0 0 0 218 10 0 0 20 0 28 0 89714791 27284574208 97876 33554432000 4194304 4196468 140732521712288 139814900235024 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28398] ppid=28392 vsize=26645092 memory=1452 CPUtime=2.24 cores=0-7 /proc/28394/task/28398/stat : 28398 (java) S 28392 28392 28146 0 -1 1077944384 4187 0 0 0 214 10 0 0 20 0 28 0 89714791 27284574208 97876 33554432000 4194304 4196468 140732521712288 139814899182736 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28399] ppid=28392 vsize=26645092 memory=391504 CPUtime=2.28 cores=0-7 /proc/28394/task/28399/stat : 28399 (java) S 28392 28392 28146 0 -1 1077944384 4609 0 0 0 218 10 0 0 20 0 28 0 89714791 27284574208 97876 33554432000 4194304 4196468 140732521712288 139814898129936 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28400] ppid=28392 vsize=26645092 memory=1452 CPUtime=2.26 cores=0-7 /proc/28394/task/28400/stat : 28400 (java) S 28392 28392 28146 0 -1 1077944384 5721 0 0 0 215 11 0 0 20 0 28 0 89714791 27284574208 97876 33554432000 4194304 4196468 140732521712288 139814897076624 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28401] ppid=28392 vsize=26645092 memory=0 CPUtime=2.26 cores=0-7 /proc/28394/task/28401/stat : 28401 (java) S 28392 28392 28146 0 -1 1077944384 5252 0 0 0 213 13 0 0 20 0 28 0 89714791 27284574208 97876 33554432000 4194304 4196468 140732521712288 139814896023824 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28402] ppid=28392 vsize=26645092 memory=8747226831578988619 CPUtime=2.26 cores=0-7 /proc/28394/task/28402/stat : 28402 (java) S 28392 28392 28146 0 -1 1077944384 6874 0 0 0 214 12 0 0 20 0 28 0 89714791 27284574208 97876 33554432000 4194304 4196468 140732521712288 139814894971536 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28403] ppid=28392 vsize=26645092 memory=1568 CPUtime=2.24 cores=0-7 /proc/28394/task/28403/stat : 28403 (java) S 28392 28392 28146 0 -1 1077944384 7371 0 0 0 213 11 0 0 20 0 28 0 89714791 27284574208 97876 33554432000 4194304 4196468 140732521712288 139814893918736 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28404] ppid=28392 vsize=26645092 memory=2240 CPUtime=5.5 cores=0-7 /proc/28394/task/28404/stat : 28404 (java) S 28392 28392 28146 0 -1 1077944384 26265 0 0 0 194 356 0 0 20 0 28 0 89714793 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813354236528 139814948678274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28405] ppid=28392 vsize=26645092 memory=2196 CPUtime=0 cores=0-7 /proc/28394/task/28405/stat : 28405 (java) S 28392 28392 28146 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 89714793 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813353182560 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28406] ppid=28392 vsize=26645092 memory=7636 CPUtime=0 cores=0-7 /proc/28394/task/28406/stat : 28406 (java) S 28392 28392 28146 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 89714793 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813352130176 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28407] ppid=28392 vsize=26645092 memory=277 CPUtime=0 cores=0-7 /proc/28394/task/28407/stat : 28407 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89714796 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813351078480 139814948685723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28408] ppid=28392 vsize=26645092 memory=265 CPUtime=2.77 cores=0-7 /proc/28394/task/28408/stat : 28408 (java) S 28392 28392 28146 0 -1 1077944384 12045 0 0 0 275 2 0 0 20 0 28 0 89714796 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813350025328 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28409] ppid=28392 vsize=26645092 memory=1452 CPUtime=2.65 cores=0-7 /proc/28394/task/28409/stat : 28409 (java) S 28392 28392 28146 0 -1 1077944384 10085 0 0 0 263 2 0 0 20 0 28 0 89714796 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813348972528 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28410] ppid=28392 vsize=26645092 memory=397156 CPUtime=2.5 cores=0-7 /proc/28394/task/28410/stat : 28410 (java) S 28392 28392 28146 0 -1 1077944384 12574 0 0 0 248 2 0 0 20 0 28 0 89714796 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813347920240 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28411] ppid=28392 vsize=26645092 memory=0 CPUtime=0.92 cores=0-7 /proc/28394/task/28411/stat : 28411 (java) S 28392 28392 28146 0 -1 1077944384 9698 0 0 0 90 2 0 0 20 0 28 0 89714796 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813346867440 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28412] ppid=28392 vsize=26645092 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/28394/task/28412/stat : 28412 (java) S 28392 28392 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89714796 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813345815392 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28413] ppid=28392 vsize=26645092 memory=391504 CPUtime=0.62 cores=0-7 /proc/28394/task/28413/stat : 28413 (java) S 28392 28392 28146 0 -1 1077944384 1910 0 0 0 9 53 0 0 20 0 28 0 89714796 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813344762672 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28414] ppid=28392 vsize=26645092 memory=4096 CPUtime=2490.4 cores=0-7 /proc/28394/task/28414/stat : 28414 (java) R 28392 28392 28146 0 -1 4202560 4875 0 0 0 249038 2 0 0 20 0 28 0 89714919 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813336165976 139814565877691 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28415] ppid=28392 vsize=26645092 memory=26148 CPUtime=2481.02 cores=0-7 /proc/28394/task/28415/stat : 28415 (java) R 28392 28392 28146 0 -1 4202560 2775 0 0 0 248092 10 0 0 20 0 28 0 89714919 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813335114160 139814565255229 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28416] ppid=28392 vsize=26645092 memory=391504 CPUtime=2479.55 cores=0-7 /proc/28394/task/28416/stat : 28416 (java) R 28392 28392 28146 0 -1 4202560 8409 0 0 0 247925 30 0 0 20 0 28 0 89714919 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813334063632 139814565899583 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28417] ppid=28392 vsize=26645092 memory=26148 CPUtime=2482.1 cores=0-7 /proc/28394/task/28417/stat : 28417 (java) R 28392 28392 28146 0 -1 4202560 10191 0 0 0 248187 23 0 0 20 0 28 0 89714919 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813265067736 139814560687695 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28418] ppid=28392 vsize=26645092 memory=2396 CPUtime=2493.92 cores=0-7 /proc/28394/task/28418/stat : 28418 (java) R 28392 28392 28146 0 -1 4202560 17398 0 0 0 249376 16 0 0 20 0 28 0 89714919 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813264015544 139814564441974 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28419] ppid=28392 vsize=26645092 memory=1292 CPUtime=2490.35 cores=0-7 /proc/28394/task/28419/stat : 28419 (java) R 28392 28392 28146 0 -1 4202560 5780 0 0 0 249031 4 0 0 20 0 28 0 89714919 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813262962608 139814564442194 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28420] ppid=28392 vsize=26645092 memory=4096 CPUtime=2480.34 cores=0-7 /proc/28394/task/28420/stat : 28420 (java) R 28392 28392 28146 0 -1 4202560 2462 0 0 0 248020 14 0 0 20 0 28 0 89714919 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813261910472 139814566890192 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28421] ppid=28392 vsize=26645092 memory=26148 CPUtime=2485.18 cores=0-7 /proc/28394/task/28421/stat : 28421 (java) R 28392 28392 28146 0 -1 4202560 1986 0 0 0 248509 9 0 0 20 0 28 0 89714920 27284574208 97876 33554432000 4194304 4196468 140732521712288 139813260857536 139814564441974 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 Current children cumulated CPU time: 19917.3 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 392956 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.35 8.33 8.22 9/213 28523 /proc/meminfo: memFree=27811428/32770624 swapFree=67108744/67108860 [pid=28392] ppid=28389 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28392/stat : 28392 (xcsp3-exec) S 28389 28392 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89714790 115843072 363 33554432000 4194304 5098028 140721243865552 140721243863656 140717551858300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9158656 140721243874358 140721243874560 140721243874560 140721243877322 0 /proc/28392/statm: 28282 363 305 221 0 87 0 [pid=28394] ppid=28392 vsize=26645092 memory=391508 CPUtime=20058 cores=0-7 /proc/28394/stat : 28394 (java) S 28392 28392 28146 0 -1 1077944320 182085 0 0 0 2005236 562 0 0 20 0 28 0 89714790 27284574208 97877 33554432000 4194304 4196468 140732521712288 140732521694832 139814948667127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 /proc/28394/statm: 6661273 97877 3455 1 0 6622467 0 [pid=28394/tid=28395] ppid=28392 vsize=26645092 memory=6791534058613427641 CPUtime=1.23 cores=0-7 /proc/28394/task/28395/stat : 28395 (java) S 28392 28392 28146 0 -1 1077944384 7956 0 0 0 118 5 0 0 20 0 28 0 89714790 27284574208 97877 33554432000 4194304 4196468 140732521712288 139814952907904 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28396] ppid=28392 vsize=26645092 memory=15872 CPUtime=2.26 cores=0-7 /proc/28394/task/28396/stat : 28396 (java) S 28392 28392 28146 0 -1 1077944384 6267 0 0 0 217 9 0 0 20 0 28 0 89714791 27284574208 97877 33554432000 4194304 4196468 140732521712288 139814901287824 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28397] ppid=28392 vsize=26645092 memory=18280 CPUtime=2.33 cores=0-7 /proc/28394/task/28397/stat : 28397 (java) S 28392 28392 28146 0 -1 1077944384 6038 0 0 0 223 10 0 0 20 0 28 0 89714791 27284574208 97877 33554432000 4194304 4196468 140732521712288 139814900235024 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28398] ppid=28392 vsize=26645092 memory=1236 CPUtime=2.28 cores=0-7 /proc/28394/task/28398/stat : 28398 (java) S 28392 28392 28146 0 -1 1077944384 4188 0 0 0 218 10 0 0 20 0 28 0 89714791 27284574208 97877 33554432000 4194304 4196468 140732521712288 139814899182736 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28399] ppid=28392 vsize=26645092 memory=4872558044660077418 CPUtime=2.33 cores=0-7 /proc/28394/task/28399/stat : 28399 (java) S 28392 28392 28146 0 -1 1077944384 4609 0 0 0 223 10 0 0 20 0 28 0 89714791 27284574208 97877 33554432000 4194304 4196468 140732521712288 139814898129936 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28400] ppid=28392 vsize=26645092 memory=1452 CPUtime=2.3 cores=0-7 /proc/28394/task/28400/stat : 28400 (java) S 28392 28392 28146 0 -1 1077944384 5721 0 0 0 219 11 0 0 20 0 28 0 89714791 27284574208 97877 33554432000 4194304 4196468 140732521712288 139814897076624 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28401] ppid=28392 vsize=26645092 memory=26148 CPUtime=2.31 cores=0-7 /proc/28394/task/28401/stat : 28401 (java) S 28392 28392 28146 0 -1 1077944384 5253 0 0 0 218 13 0 0 20 0 28 0 89714791 27284574208 97877 33554432000 4194304 4196468 140732521712288 139814896023824 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28402] ppid=28392 vsize=26645092 memory=2396 CPUtime=2.3 cores=0-7 /proc/28394/task/28402/stat : 28402 (java) S 28392 28392 28146 0 -1 1077944384 6874 0 0 0 218 12 0 0 20 0 28 0 89714791 27284574208 97877 33554432000 4194304 4196468 140732521712288 139814894971536 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28403] ppid=28392 vsize=26645092 memory=1292 CPUtime=2.29 cores=0-7 /proc/28394/task/28403/stat : 28403 (java) S 28392 28392 28146 0 -1 1077944384 7372 0 0 0 218 11 0 0 20 0 28 0 89714791 27284574208 97877 33554432000 4194304 4196468 140732521712288 139814893918736 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28404] ppid=28392 vsize=26645092 memory=1844 CPUtime=5.57 cores=0-7 /proc/28394/task/28404/stat : 28404 (java) S 28392 28392 28146 0 -1 1077944384 26271 0 0 0 197 360 0 0 20 0 28 0 89714793 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813354236528 139814948678274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28405] ppid=28392 vsize=26645092 memory=1008 CPUtime=0 cores=0-7 /proc/28394/task/28405/stat : 28405 (java) S 28392 28392 28146 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 89714793 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813353182560 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28406] ppid=28392 vsize=26645092 memory=5404 CPUtime=0 cores=0-7 /proc/28394/task/28406/stat : 28406 (java) S 28392 28392 28146 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 89714793 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813352130176 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28407] ppid=28392 vsize=26645092 memory=796 CPUtime=0 cores=0-7 /proc/28394/task/28407/stat : 28407 (java) S 28392 28392 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89714796 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813351078480 139814948685723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28408] ppid=28392 vsize=26645092 memory=4616 CPUtime=2.77 cores=0-7 /proc/28394/task/28408/stat : 28408 (java) S 28392 28392 28146 0 -1 1077944384 12045 0 0 0 275 2 0 0 20 0 28 0 89714796 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813350025328 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28409] ppid=28392 vsize=26645092 memory=1424 CPUtime=2.65 cores=0-7 /proc/28394/task/28409/stat : 28409 (java) S 28392 28392 28146 0 -1 1077944384 10085 0 0 0 263 2 0 0 20 0 28 0 89714796 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813348972528 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28410] ppid=28392 vsize=26645092 memory=11116 CPUtime=2.5 cores=0-7 /proc/28394/task/28410/stat : 28410 (java) S 28392 28392 28146 0 -1 1077944384 12574 0 0 0 248 2 0 0 20 0 28 0 89714796 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813347920240 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28411] ppid=28392 vsize=26645092 memory=1200 CPUtime=0.92 cores=0-7 /proc/28394/task/28411/stat : 28411 (java) S 28392 28392 28146 0 -1 1077944384 9698 0 0 0 90 2 0 0 20 0 28 0 89714796 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813346867440 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28412] ppid=28392 vsize=26645092 memory=1452 CPUtime=0 cores=0-7 /proc/28394/task/28412/stat : 28412 (java) S 28392 28392 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89714796 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813345815392 139814948677333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28413] ppid=28392 vsize=26645092 memory=1452 CPUtime=0.62 cores=0-7 /proc/28394/task/28413/stat : 28413 (java) S 28392 28392 28146 0 -1 1077944384 1912 0 0 0 9 53 0 0 20 0 28 0 89714796 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813344762672 139814948678274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28414] ppid=28392 vsize=26645092 memory=391504 CPUtime=2507.96 cores=0-7 /proc/28394/task/28414/stat : 28414 (java) R 28392 28392 28146 0 -1 4202560 4879 0 0 0 250794 2 0 0 20 0 28 0 89714919 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813336166488 139814566387306 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28415] ppid=28392 vsize=26645092 memory=1008 CPUtime=2498.58 cores=0-7 /proc/28394/task/28415/stat : 28415 (java) R 28392 28392 28146 0 -1 4202560 2775 0 0 0 249848 10 0 0 20 0 28 0 89714919 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813335114296 139814564441974 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28416] ppid=28392 vsize=26645092 memory=5404 CPUtime=2497.11 cores=0-7 /proc/28394/task/28416/stat : 28416 (java) R 28392 28392 28146 0 -1 4202560 8410 0 0 0 249681 30 0 0 20 0 28 0 89714919 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813334063520 139814566333113 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28417] ppid=28392 vsize=26645092 memory=796 CPUtime=2499.67 cores=0-7 /proc/28394/task/28417/stat : 28417 (java) R 28392 28392 28146 0 -1 4202560 10192 0 0 0 249944 23 0 0 20 0 28 0 89714919 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813265067848 139814567978965 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28418] ppid=28392 vsize=26645092 memory=4616 CPUtime=2511.56 cores=0-7 /proc/28394/task/28418/stat : 28418 (java) R 28392 28392 28146 0 -1 4202560 17399 0 0 0 251140 16 0 0 20 0 28 0 89714919 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813264014976 139814568033462 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28419] ppid=28392 vsize=26645092 memory=1424 CPUtime=2507.74 cores=0-7 /proc/28394/task/28419/stat : 28419 (java) R 28392 28392 28146 0 -1 4202560 5780 0 0 0 250770 4 0 0 20 0 28 0 89714919 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813262962680 139814565255089 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28420] ppid=28392 vsize=26645092 memory=11116 CPUtime=2497.7 cores=0-7 /proc/28394/task/28420/stat : 28420 (java) R 28392 28392 28146 0 -1 4202560 2463 0 0 0 249756 14 0 0 20 0 28 0 89714919 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813261910408 139814564411682 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 [pid=28394/tid=28421] ppid=28392 vsize=26645092 memory=1200 CPUtime=2502.75 cores=0-7 /proc/28394/task/28421/stat : 28421 (java) R 28392 28392 28146 0 -1 4202560 1986 0 0 0 250266 9 0 0 20 0 28 0 89714920 27284574208 97877 33554432000 4194304 4196468 140732521712288 139813260857672 139814564766562 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 24219648 140732521718913 140732521719085 140732521719085 140732521721807 0 Current children cumulated CPU time: 20058 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 392960 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 28392 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.00151 s, system=0.000755 s [startup+2520.14 s] # the end of solver process 28394 was just reported to runsolver # cumulated CPU time of all completed processes: user=20053.1 s, system=5.6528 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.14 CPU time (s): 20058.7 CPU user time (s): 20053.1 CPU system time (s): 5.6528 CPU usage (%): 795.937 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 679588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20053.1 system time used= 5.6528 maximum resident set size= 694648 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 182761 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2968 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 96613 involuntary context switches= 223387 # summary of solver processes directly reported to runsolver: # pid: 28392,28394 # total CPU time (s): 20058.7 # total CPU user time (s): 20053.1 # total CPU system time (s): 5.6528 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 24.5503 second user time and 24.9905 second system time The end
Begin job on node134 at 2018-07-27 21:58:36 IDJOB=4297645 IDBENCH=141460 IDSOLVER=2760 FILE ID=node134/4297645-1532721516 RUNJOBID= node134-1532721509-28173 PBS_JOBID= 21022333 Free space on /tmp= 55560 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/CarSequencing/CarSequencing-90-02_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297645-1532721516/watcher-4297645-1532721516 -o /tmp/evaluation-result-4297645-1532721516/solver-4297645-1532721516 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532721509-28173 --watchdog 2580 HOME/xcsp3-exec -seed 843432863 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297645-1532721516.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a45a1bbd084788784bb8b4db38c38ff4 RANDOM SEED=843432863 node134.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.68 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.68 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.68 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.68 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: 28189924 kB MemAvailable: 31958292 kB Buffers: 163184 kB Cached: 3868632 kB SwapCached: 0 kB Active: 1770500 kB Inactive: 2315744 kB Active(anon): 3660 kB Inactive(anon): 78552 kB Active(file): 1766840 kB Inactive(file): 2237192 kB Unevictable: 7360 kB Mlocked: 7360 kB SwapTotal: 67108860 kB SwapFree: 67108744 kB Dirty: 22368 kB Writeback: 12 kB AnonPages: 62020 kB Mapped: 42188 kB Shmem: 25132 kB Slab: 188232 kB SReclaimable: 160340 kB SUnreclaim: 27892 kB KernelStack: 3296 kB PageTables: 5608 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323988 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55540 MiB End job on node134 at 2018-07-27 22:40:36