Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | ? (TO) | 20034.1 | 2520.13 |
Name | CarSequencing/ CarSequencing-04-72_c18.xml |
MD5SUM | 606ad4221d4941292d84c5bdd64a5487 |
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 | 51.942 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 600 |
Number of constraints | 731 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 22 |
Distribution of domain sizes | [{"size":2,"count":500},{"size":22,"count":100}] |
Minimum variable degree | 2 |
Maximum variable degree | 53 |
Distribution of variable degrees | [{"degree":2,"count":100},{"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":19},{"degree":21,"count":19},{"degree":22,"count":20},{"degree":23,"count":20},{"degree":24,"count":25},{"degree":25,"count":14},{"degree":26,"count":9},"...",{"degree":29,"count":9}, {"degree":30,"count":10}, {"degree":31,"count":26}, {"degree":32,"count":19}, {"degree":33,"count":2}, {"degree":34,"count":2}, {"degree":35,"count":2}, {"degree":36,"count":2}, {"degree":37,"count":2}, {"degree":38,"count":2}, {"degree":39,"count":2}, {"degree":40,"count":2}, {"degree":41,"count":2}, {"degree":42,"count":2}, {"degree":43,"count":2}, {"degree":44,"count":2}, {"degree":45,"count":2}, {"degree":46,"count":2}, {"degree":47,"count":2}, {"degree":48,"count":2}, {"degree":49,"count":2}, {"degree":50,"count":2}, {"degree":51,"count":2}, {"degree":52,"count":3}, {"degree":53,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 100 |
Distribution of constraint arities | [{"arity":2,"count":100},{"arity":3,"count":196},{"arity":4,"count":1},{"arity":5,"count":193},{"arity":6,"count":101},{"arity":8,"count":1},{"arity":10,"count":2},{"arity":12,"count":1},{"arity":14,"count":1},{"arity":15,"count":2},{"arity":16,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":3},{"arity":22,"count":3},{"arity":24,"count":1},{"arity":25,"count":4},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":3},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},{"arity":35,"count":2},{"arity":36,"count":1},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":100},{"type":"sum","count":630},{"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-4297630-1532721416.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297630-1532721416.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 3.08/1.03 c solve instance... 20033.23/2520.10 s UNKNOWN 20033.23/2520.10 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 (13460 MiB free) memory of node 1: 16384 MiB (14011 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297630-1532721416/watcher-4297630-1532721416 -o /tmp/evaluation-result-4297630-1532721416/solver-4297630-1532721416 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532714138-12632 --watchdog 2580 HOME/xcsp3-exec -seed 1276111237 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297630-1532721416.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=15251, runsolver pid=15248 [startup+0.100144 s]* /proc/loadavg: 8.03 8.32 8.21 2/199 15272 /proc/meminfo: memFree=28115180/32770624 swapFree=67108436/67108860 [pid=15251] ppid=15248 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15251/stat : 15251 (xcsp3-exec) S 15248 15251 12605 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89704730 115843072 364 33554432000 4194304 5098028 140722133984896 140722133983000 140617339925116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30437376 140722133988405 140722133988608 140722133988608 140722133991370 0 /proc/15251/statm: 28282 364 306 221 0 87 0 [pid=15253] ppid=15251 vsize=26104152 memory=27444 CPUtime=0.11 cores=0-7 /proc/15253/stat : 15253 (java) S 15251 15251 12605 0 -1 1077944320 5789 0 0 0 10 1 0 0 20 0 20 0 89704731 26730651648 6861 33554432000 4194304 4196468 140725229759472 140725229742016 140043820617463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 /proc/15253/statm: 6526038 6861 2998 1 0 6488315 0 [pid=15253/tid=15254] ppid=15251 vsize=26104152 memory=7825455635648912540 CPUtime=0.09 cores=0-7 /proc/15253/task/15254/stat : 15254 (java) R 15251 15251 12605 0 -1 4202560 3800 0 0 0 8 1 0 0 20 0 20 0 89704731 26730651648 6861 33554432000 4194304 4196468 140725229759472 140043824838736 140043820639389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15255] ppid=15251 vsize=26104152 memory=732370469004995557 CPUtime=0 cores=0-7 /proc/15253/task/15255/stat : 15255 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 6861 33554432000 4194304 4196468 140725229759472 140043785898512 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15256] ppid=15251 vsize=26104152 memory=140330667542144 CPUtime=0 cores=0-7 /proc/15253/task/15256/stat : 15256 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 6861 33554432000 4194304 4196468 140725229759472 140043377494672 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15257] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15257/stat : 15257 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 6861 33554432000 4194304 4196468 140725229759472 140043376441616 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15258] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15258/stat : 15258 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 6861 33554432000 4194304 4196468 140725229759472 140043375389072 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15259] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15259/stat : 15259 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 6861 33554432000 4194304 4196468 140725229759472 140043374337040 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15260] ppid=15251 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15253/task/15260/stat : 15260 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 6861 33554432000 4194304 4196468 140725229759472 140043373284496 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15261] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15261/stat : 15261 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 6861 33554432000 4194304 4196468 140725229759472 140043372231440 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15262] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15262/stat : 15262 (java) S 15251 15251 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 6861 33554432000 4194304 4196468 140725229759472 140043371178896 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15263] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15263/stat : 15263 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704733 26730651648 6861 33554432000 4194304 4196468 140725229759472 140042947950832 140043820628610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15264] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15264/stat : 15264 (java) S 15251 15251 12605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89704734 26730651648 6861 33554432000 4194304 4196468 140725229759472 140042946897056 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15265] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15265/stat : 15265 (java) S 15251 15251 12605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89704734 26730651648 6861 33554432000 4194304 4196468 140725229759472 140042945843952 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15266] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15266/stat : 15266 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89704736 26730651648 6861 33554432000 4194304 4196468 140725229759472 140042944792528 140043820636059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15267] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15267/stat : 15267 (java) S 15251 15251 12605 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 89704737 26730651648 6861 33554432000 4194304 4196468 140725229759472 140042943740656 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15268] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15268/stat : 15268 (java) S 15251 15251 12605 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 89704737 26730651648 6861 33554432000 4194304 4196468 140725229759472 140042942688112 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15269] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15269/stat : 15269 (java) S 15251 15251 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89704737 26730651648 6861 33554432000 4194304 4196468 140725229759472 140042941635056 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15270] ppid=15251 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/15253/task/15270/stat : 15270 (java) R 15251 15251 12605 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 20 0 89704737 26730651648 6861 33554432000 4194304 4196468 140725229759472 140042940582512 140043812854590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15271] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15271/stat : 15271 (java) S 15251 15251 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89704737 26730651648 6861 33554432000 4194304 4196468 140725229759472 140042939529696 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15272] ppid=15251 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15253/task/15272/stat : 15272 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89704737 26730651648 6861 33554432000 4194304 4196468 140725229759472 140042938477232 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28900 KiB [startup+0.210297 s]* /proc/loadavg: 8.03 8.32 8.21 2/199 15272 /proc/meminfo: memFree=28103248/32770624 swapFree=67108436/67108860 [pid=15251] ppid=15248 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15251/stat : 15251 (xcsp3-exec) S 15248 15251 12605 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89704730 115843072 364 33554432000 4194304 5098028 140722133984896 140722133983000 140617339925116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30437376 140722133988405 140722133988608 140722133988608 140722133991370 0 /proc/15251/statm: 28282 364 306 221 0 87 0 [pid=15253] ppid=15251 vsize=26104152 memory=39532 CPUtime=0.34 cores=0-7 /proc/15253/stat : 15253 (java) S 15251 15251 12605 0 -1 1077944320 8525 0 0 0 31 3 0 0 20 0 20 0 89704731 26730651648 9883 33554432000 4194304 4196468 140725229759472 140725229742016 140043820617463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 /proc/15253/statm: 6526038 9883 3167 1 0 6488315 0 [pid=15253/tid=15254] ppid=15251 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7 /proc/15253/task/15254/stat : 15254 (java) R 15251 15251 12605 0 -1 4202560 5630 0 0 0 18 2 0 0 20 0 20 0 89704731 26730651648 9883 33554432000 4194304 4196468 140725229759472 140043824846896 140043804697950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15255] ppid=15251 vsize=26104152 memory=732370469004995557 CPUtime=0 cores=0-7 /proc/15253/task/15255/stat : 15255 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 9883 33554432000 4194304 4196468 140725229759472 140043785898512 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15256] ppid=15251 vsize=26104152 memory=140330667542144 CPUtime=0 cores=0-7 /proc/15253/task/15256/stat : 15256 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 9883 33554432000 4194304 4196468 140725229759472 140043377494672 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15257] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15257/stat : 15257 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 9883 33554432000 4194304 4196468 140725229759472 140043376441616 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15258] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15258/stat : 15258 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 9883 33554432000 4194304 4196468 140725229759472 140043375389072 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15259] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15259/stat : 15259 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 9883 33554432000 4194304 4196468 140725229759472 140043374337040 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15260] ppid=15251 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15253/task/15260/stat : 15260 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 9883 33554432000 4194304 4196468 140725229759472 140043373284496 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15261] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15261/stat : 15261 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 9883 33554432000 4194304 4196468 140725229759472 140043372231440 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15262] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15262/stat : 15262 (java) S 15251 15251 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89704732 26730651648 9883 33554432000 4194304 4196468 140725229759472 140043371178896 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15263] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15263/stat : 15263 (java) S 15251 15251 12605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89704733 26730651648 9883 33554432000 4194304 4196468 140725229759472 140042947950832 140043820628610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15264] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15264/stat : 15264 (java) S 15251 15251 12605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89704734 26730651648 9883 33554432000 4194304 4196468 140725229759472 140042946897056 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15265] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15265/stat : 15265 (java) S 15251 15251 12605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89704734 26730651648 9883 33554432000 4194304 4196468 140725229759472 140042945843952 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15266] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15266/stat : 15266 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89704736 26730651648 9883 33554432000 4194304 4196468 140725229759472 140042944792528 140043820636059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15267] ppid=15251 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/15253/task/15267/stat : 15267 (java) S 15251 15251 12605 0 -1 1077944384 394 0 0 0 1 0 0 0 20 0 20 0 89704737 26730651648 9883 33554432000 4194304 4196468 140725229759472 140042943740656 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15268] ppid=15251 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/15253/task/15268/stat : 15268 (java) S 15251 15251 12605 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 20 0 89704737 26730651648 9883 33554432000 4194304 4196468 140725229759472 140042942688112 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15269] ppid=15251 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/15253/task/15269/stat : 15269 (java) S 15251 15251 12605 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 89704737 26730651648 9883 33554432000 4194304 4196468 140725229759472 140042941635056 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15270] ppid=15251 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7 /proc/15253/task/15270/stat : 15270 (java) S 15251 15251 12605 0 -1 1077944384 775 0 0 0 8 0 0 0 20 0 20 0 89704737 26730651648 9883 33554432000 4194304 4196468 140725229759472 140042940582512 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15271] ppid=15251 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15271/stat : 15271 (java) S 15251 15251 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89704737 26730651648 9883 33554432000 4194304 4196468 140725229759472 140042939529696 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15272] ppid=15251 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15253/task/15272/stat : 15272 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89704737 26730651648 9883 33554432000 4194304 4196468 140725229759472 140042938477232 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40988 KiB [startup+0.310298 s]* /proc/loadavg: 8.03 8.32 8.21 3/199 15272 /proc/meminfo: memFree=28097780/32770624 swapFree=67108436/67108860 [pid=15251] ppid=15248 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15251/stat : 15251 (xcsp3-exec) S 15248 15251 12605 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89704730 115843072 364 33554432000 4194304 5098028 140722133984896 140722133983000 140617339925116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30437376 140722133988405 140722133988608 140722133988608 140722133991370 0 /proc/15251/statm: 28282 364 306 221 0 87 0 [pid=15253] ppid=15251 vsize=26108408 memory=46740 CPUtime=0.52 cores=0-7 /proc/15253/stat : 15253 (java) S 15251 15251 12605 0 -1 1077944320 9341 0 0 0 49 3 0 0 20 0 20 0 89704731 26735009792 11685 33554432000 4194304 4196468 140725229759472 140725229742016 140043820617463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 /proc/15253/statm: 6527102 11685 3262 1 0 6488315 0 [pid=15253/tid=15254] ppid=15251 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/15253/task/15254/stat : 15254 (java) R 15251 15251 12605 0 -1 4202560 6310 0 0 0 27 2 0 0 20 0 20 0 89704731 26735009792 11685 33554432000 4194304 4196468 140725229759472 140043824854240 140043804697950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15255] ppid=15251 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15255/stat : 15255 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704732 26735009792 11685 33554432000 4194304 4196468 140725229759472 140043785898512 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15256] ppid=15251 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15256/stat : 15256 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704732 26735009792 11685 33554432000 4194304 4196468 140725229759472 140043377494672 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15257] ppid=15251 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15257/stat : 15257 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704732 26735009792 11685 33554432000 4194304 4196468 140725229759472 140043376441616 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15258] ppid=15251 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15258/stat : 15258 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89704732 26735009792 11685 33554432000 4194304 4196468 140725229759472 140043375389072 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15259] ppid=15251 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/15253/task/15259/stat : 15259 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89704732 26735009792 11685 33554432000 4194304 4196468 140725229759472 140043374337040 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15260] ppid=15251 vsize=26108408 memory=140330540299183 CPUtime=0 cores=0-7 /proc/15253/task/15260/stat : 15260 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704732 26735009792 11685 33554432000 4194304 4196468 140725229759472 140043373284496 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15261] ppid=15251 vsize=26108408 memory=140330540301488 CPUtime=0 cores=0-7 /proc/15253/task/15261/stat : 15261 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89704732 26735009792 11685 33554432000 4194304 4196468 140725229759472 140043372231440 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15262] ppid=15251 vsize=26108408 memory=140330540303792 CPUtime=0 cores=0-7 /proc/15253/task/15262/stat : 15262 (java) S 15251 15251 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89704732 26735009792 11685 33554432000 4194304 4196468 140725229759472 140043371178896 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15263] ppid=15251 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15263/stat : 15263 (java) S 15251 15251 12605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89704733 26735009792 11685 33554432000 4194304 4196468 140725229759472 140042947950832 140043820628610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15264] ppid=15251 vsize=26108408 memory=280661080614544 CPUtime=0 cores=0-7 /proc/15253/task/15264/stat : 15264 (java) S 15251 15251 12605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89704734 26735009792 11685 33554432000 4194304 4196468 140725229759472 140042946897056 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15265] ppid=15251 vsize=26108408 memory=280661080621456 CPUtime=0 cores=0-7 /proc/15253/task/15265/stat : 15265 (java) S 15251 15251 12605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89704734 26735009792 11685 33554432000 4194304 4196468 140725229759472 140042945843952 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15266] ppid=15251 vsize=26108408 memory=280661080562736 CPUtime=0 cores=0-7 /proc/15253/task/15266/stat : 15266 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89704736 26735009792 11685 33554432000 4194304 4196468 140725229759472 140042944792528 140043820636059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15267] ppid=15251 vsize=26108408 memory=280661080635280 CPUtime=0.02 cores=0-7 /proc/15253/task/15267/stat : 15267 (java) S 15251 15251 12605 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 20 0 89704737 26735009792 11685 33554432000 4194304 4196468 140725229759472 140042943740656 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15268] ppid=15251 vsize=26108408 memory=280661080642192 CPUtime=0.04 cores=0-7 /proc/15253/task/15268/stat : 15268 (java) R 15251 15251 12605 0 -1 4202560 465 0 0 0 4 0 0 0 20 0 20 0 89704737 26735009792 11685 33554432000 4194304 4196468 140725229759472 140042942688112 140043804004074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15269] ppid=15251 vsize=26108408 memory=280661080639888 CPUtime=0.01 cores=0-7 /proc/15253/task/15269/stat : 15269 (java) S 15251 15251 12605 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 20 0 89704737 26735009792 11685 33554432000 4194304 4196468 140725229759472 140042941635056 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15270] ppid=15251 vsize=26108408 memory=280661080656048 CPUtime=0.12 cores=0-7 /proc/15253/task/15270/stat : 15270 (java) S 15251 15251 12605 0 -1 1077944384 824 0 0 0 12 0 0 0 20 0 20 0 89704737 26735009792 11685 33554432000 4194304 4196468 140725229759472 140042940582512 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15271] ppid=15251 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15271/stat : 15271 (java) S 15251 15251 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89704737 26735009792 11685 33554432000 4194304 4196468 140725229759472 140042939529696 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15272] ppid=15251 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/15253/task/15272/stat : 15272 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89704737 26735009792 11685 33554432000 4194304 4196468 140725229759472 140042938477232 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48196 KiB [startup+0.701019 s] /proc/loadavg: 8.03 8.32 8.21 3/199 15272 /proc/meminfo: memFree=28084928/32770624 swapFree=67108436/67108860 [pid=15251] ppid=15248 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15251/stat : 15251 (xcsp3-exec) S 15248 15251 12605 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89704730 115843072 364 33554432000 4194304 5098028 140722133984896 140722133983000 140617339925116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30437376 140722133988405 140722133988608 140722133988608 140722133991370 0 /proc/15251/statm: 28282 364 306 221 0 87 0 [pid=15253] ppid=15251 vsize=26110532 memory=82852 CPUtime=1.73 cores=0-7 /proc/15253/stat : 15253 (java) S 15251 15251 12605 0 -1 1077944320 13000 0 0 0 168 5 0 0 20 0 20 0 89704731 26737184768 20713 33554432000 4194304 4196468 140725229759472 140725229742016 140043820617463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 /proc/15253/statm: 6527633 20713 3366 1 0 6488827 0 [pid=15253/tid=15254] ppid=15251 vsize=26110532 memory=280661080950976 CPUtime=0.67 cores=0-7 /proc/15253/task/15254/stat : 15254 (java) R 15251 15251 12605 0 -1 4202560 7261 0 0 0 64 3 0 0 20 0 20 0 89704731 26737184768 20713 33554432000 4194304 4196468 140725229759472 140043824851616 140043460179264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15255] ppid=15251 vsize=26110532 memory=5752 CPUtime=0 cores=0-7 /proc/15253/task/15255/stat : 15255 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704732 26737184768 20844 33554432000 4194304 4196468 140725229759472 140043785898512 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15256] ppid=15251 vsize=26110532 memory=4588 CPUtime=0 cores=0-7 /proc/15253/task/15256/stat : 15256 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704732 26737184768 20844 33554432000 4194304 4196468 140725229759472 140043377494672 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15257] ppid=15251 vsize=26110532 memory=1612 CPUtime=0 cores=0-7 /proc/15253/task/15257/stat : 15257 (java) S 15251 15251 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89704732 26737184768 20844 33554432000 4194304 4196468 140725229759472 140043376441616 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 ################ # More data... # ################ [pid=15253/tid=15280] ppid=15251 vsize=26645092 memory=15823295995971307 CPUtime=2423.22 cores=0-7 /proc/15253/task/15280/stat : 15280 (java) R 15251 15251 12605 0 -1 4202560 274644 0 0 0 242049 273 0 0 20 0 28 0 89704835 27284574208 184552 33554432000 4194304 4196468 140725229759472 140042922326976 140043466236843 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 Current children cumulated CPU time: 19413.5 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 739664 KiB [startup+2502.3 s] /proc/loadavg: 8.06 8.22 8.28 10/207 15334 /proc/meminfo: memFree=27252808/32770624 swapFree=67108436/67108860 [pid=15251] ppid=15248 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15251/stat : 15251 (xcsp3-exec) S 15248 15251 12605 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89704730 115843072 364 33554432000 4194304 5098028 140722133984896 140722133983000 140617339925116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30437376 140722133988405 140722133988608 140722133988608 140722133991370 0 /proc/15251/statm: 28282 364 306 221 0 87 0 [pid=15253] ppid=15251 vsize=26645092 memory=897472 CPUtime=19891.9 cores=0-7 /proc/15253/stat : 15253 (java) S 15251 15251 12605 0 -1 1077944320 894032 0 0 0 1988245 948 0 0 20 0 28 0 89704731 27284574208 224368 33554432000 4194304 4196468 140725229759472 140725229742016 140043820617463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 /proc/15253/statm: 6661273 224368 3454 1 0 6622467 0 [pid=15253/tid=15254] ppid=15251 vsize=26645092 memory=897472 CPUtime=1.01 cores=0-7 /proc/15253/task/15254/stat : 15254 (java) S 15251 15251 12605 0 -1 1077944384 8253 0 0 0 97 4 0 0 20 0 28 0 89704731 27284574208 224368 33554432000 4194304 4196468 140725229759472 140043824858240 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15255] ppid=15251 vsize=26645092 memory=893256 CPUtime=7.27 cores=0-7 /proc/15253/task/15255/stat : 15255 (java) S 15251 15251 12605 0 -1 1077944384 26086 0 0 0 692 35 0 0 20 0 28 0 89704732 27284574208 224368 33554432000 4194304 4196468 140725229759472 140043785898512 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15256] ppid=15251 vsize=26645092 memory=887108 CPUtime=7.16 cores=0-7 /proc/15253/task/15256/stat : 15256 (java) S 15251 15251 12605 0 -1 1077944384 32937 0 0 0 680 36 0 0 20 0 28 0 89704732 27284574208 224368 33554432000 4194304 4196468 140725229759472 140043377494672 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15257] ppid=15251 vsize=26645092 memory=874300 CPUtime=7.25 cores=0-7 /proc/15253/task/15257/stat : 15257 (java) S 15251 15251 12605 0 -1 1077944384 32999 0 0 0 693 32 0 0 20 0 28 0 89704732 27284574208 224368 33554432000 4194304 4196468 140725229759472 140043376441616 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15258] ppid=15251 vsize=26645092 memory=893256 CPUtime=7.15 cores=0-7 /proc/15253/task/15258/stat : 15258 (java) S 15251 15251 12605 0 -1 1077944384 28075 0 0 0 680 35 0 0 20 0 28 0 89704732 27284574208 224368 33554432000 4194304 4196468 140725229759472 140043375389072 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15259] ppid=15251 vsize=26645092 memory=893256 CPUtime=7.28 cores=0-7 /proc/15253/task/15259/stat : 15259 (java) S 15251 15251 12605 0 -1 1077944384 26821 0 0 0 695 33 0 0 20 0 28 0 89704732 27284574208 224368 33554432000 4194304 4196468 140725229759472 140043374337040 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15260] ppid=15251 vsize=26645092 memory=893256 CPUtime=7.25 cores=0-7 /proc/15253/task/15260/stat : 15260 (java) S 15251 15251 12605 0 -1 1077944384 25351 0 0 0 689 36 0 0 20 0 28 0 89704732 27284574208 224368 33554432000 4194304 4196468 140725229759472 140043373284496 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15261] ppid=15251 vsize=26645092 memory=1456 CPUtime=7.26 cores=0-7 /proc/15253/task/15261/stat : 15261 (java) S 15251 15251 12605 0 -1 1077944384 27522 0 0 0 691 35 0 0 20 0 28 0 89704732 27284574208 224368 33554432000 4194304 4196468 140725229759472 140043372231440 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15262] ppid=15251 vsize=26645092 memory=878892 CPUtime=7.25 cores=0-7 /proc/15253/task/15262/stat : 15262 (java) S 15251 15251 12605 0 -1 1077944384 28799 0 0 0 688 37 0 0 20 0 28 0 89704732 27284574208 224368 33554432000 4194304 4196468 140725229759472 140043371178896 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15263] ppid=15251 vsize=26645092 memory=1456 CPUtime=6.74 cores=0-7 /proc/15253/task/15263/stat : 15263 (java) S 15251 15251 12605 0 -1 1077944384 112641 0 0 0 352 322 0 0 20 0 28 0 89704733 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042947950832 140043820628610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15264] ppid=15251 vsize=26645092 memory=882988 CPUtime=0 cores=0-7 /proc/15253/task/15264/stat : 15264 (java) S 15251 15251 12605 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 89704734 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042946897056 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15265] ppid=15251 vsize=26645092 memory=893256 CPUtime=0 cores=0-7 /proc/15253/task/15265/stat : 15265 (java) S 15251 15251 12605 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 89704734 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042945843952 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15266] ppid=15251 vsize=26645092 memory=874300 CPUtime=0 cores=0-7 /proc/15253/task/15266/stat : 15266 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89704736 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042944792528 140043820636059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15267] ppid=15251 vsize=26645092 memory=1456 CPUtime=2.3 cores=0-7 /proc/15253/task/15267/stat : 15267 (java) S 15251 15251 12605 0 -1 1077944384 11569 0 0 0 228 2 0 0 20 0 28 0 89704737 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042943740656 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15268] ppid=15251 vsize=26645092 memory=56 CPUtime=2.33 cores=0-7 /proc/15253/task/15268/stat : 15268 (java) S 15251 15251 12605 0 -1 1077944384 17473 0 0 0 229 4 0 0 20 0 28 0 89704737 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042942688112 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15269] ppid=15251 vsize=26645092 memory=2244 CPUtime=2.23 cores=0-7 /proc/15253/task/15269/stat : 15269 (java) S 15251 15251 12605 0 -1 1077944384 11781 0 0 0 222 1 0 0 20 0 28 0 89704737 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042941635056 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15270] ppid=15251 vsize=26645092 memory=4132 CPUtime=0.79 cores=0-7 /proc/15253/task/15270/stat : 15270 (java) S 15251 15251 12605 0 -1 1077944384 8662 0 0 0 78 1 0 0 20 0 28 0 89704737 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042940582512 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15271] ppid=15251 vsize=26645092 memory=1456 CPUtime=0 cores=0-7 /proc/15253/task/15271/stat : 15271 (java) S 15251 15251 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89704737 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042939529696 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15272] ppid=15251 vsize=26645092 memory=1456 CPUtime=0.44 cores=0-7 /proc/15253/task/15272/stat : 15272 (java) S 15251 15251 12605 0 -1 1077944384 4266 0 0 0 22 22 0 0 20 0 28 0 89704737 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042938477232 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15273] ppid=15251 vsize=26645092 memory=1456 CPUtime=2473.06 cores=0-7 /proc/15253/task/15273/stat : 15273 (java) R 15251 15251 12605 0 -1 4202560 11622 0 0 0 247299 7 0 0 20 0 28 0 89704835 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042929691816 140043464148570 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15274] ppid=15251 vsize=26645092 memory=1456 CPUtime=2476.38 cores=0-7 /proc/15253/task/15274/stat : 15274 (java) R 15251 15251 12605 0 -1 4202560 11571 0 0 0 247631 7 0 0 20 0 28 0 89704835 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042928639880 140043463946220 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15275] ppid=15251 vsize=26645092 memory=874300 CPUtime=2481.22 cores=0-7 /proc/15253/task/15275/stat : 15275 (java) R 15251 15251 12605 0 -1 4202560 53266 0 0 0 248100 22 0 0 20 0 28 0 89704835 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042927587848 140043464561208 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15276] ppid=15251 vsize=26645092 memory=0 CPUtime=2479.9 cores=0-7 /proc/15253/task/15276/stat : 15276 (java) R 15251 15251 12605 0 -1 4202560 76079 0 0 0 247964 26 0 0 20 0 28 0 89704835 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042926535792 140043465514395 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15277] ppid=15251 vsize=26645092 memory=887108 CPUtime=2476.76 cores=0-7 /proc/15253/task/15277/stat : 15277 (java) R 15251 15251 12605 0 -1 4202560 32911 0 0 0 247660 16 0 0 20 0 28 0 89704835 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042925482000 140043464422620 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15278] ppid=15251 vsize=26645092 memory=-7088785026379990432 CPUtime=2474.05 cores=0-7 /proc/15253/task/15278/stat : 15278 (java) R 15251 15251 12605 0 -1 4202560 8538 0 0 0 247398 7 0 0 20 0 28 0 89704835 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042924429632 140043464422625 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15279] ppid=15251 vsize=26645092 memory=1456 CPUtime=2473.65 cores=0-7 /proc/15253/task/15279/stat : 15279 (java) R 15251 15251 12605 0 -1 4202560 8571 0 0 0 247359 6 0 0 20 0 28 0 89704835 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042923376648 140043464147989 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15280] ppid=15251 vsize=26645092 memory=1456 CPUtime=2483.04 cores=0-7 /proc/15253/task/15280/stat : 15280 (java) R 15251 15251 12605 0 -1 4202560 286896 0 0 0 248029 275 0 0 20 0 28 0 89704835 27284574208 224368 33554432000 4194304 4196468 140725229759472 140042922326976 140043466236445 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 Current children cumulated CPU time: 19891.9 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 898928 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.12 8.22 8.28 9/207 15334 /proc/meminfo: memFree=27208784/32770624 swapFree=67108436/67108860 [pid=15251] ppid=15248 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15251/stat : 15251 (xcsp3-exec) S 15248 15251 12605 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89704730 115843072 364 33554432000 4194304 5098028 140722133984896 140722133983000 140617339925116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30437376 140722133988405 140722133988608 140722133988608 140722133991370 0 /proc/15251/statm: 28282 364 306 221 0 87 0 [pid=15253] ppid=15251 vsize=26645092 memory=940944 CPUtime=20033.2 cores=0-7 /proc/15253/stat : 15253 (java) S 15251 15251 12605 0 -1 1077944320 898897 0 0 0 2002365 958 0 0 20 0 28 0 89704731 27284574208 235236 33554432000 4194304 4196468 140725229759472 140725229742016 140043820617463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 /proc/15253/statm: 6661273 235236 3454 1 0 6622467 0 [pid=15253/tid=15254] ppid=15251 vsize=26645092 memory=1456 CPUtime=1.01 cores=0-7 /proc/15253/task/15254/stat : 15254 (java) S 15251 15251 12605 0 -1 1077944384 8253 0 0 0 97 4 0 0 20 0 28 0 89704731 27284574208 235236 33554432000 4194304 4196468 140725229759472 140043824858240 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15255] ppid=15251 vsize=26645092 memory=-7003737579269690708 CPUtime=7.3 cores=0-7 /proc/15253/task/15255/stat : 15255 (java) S 15251 15251 12605 0 -1 1077944384 26385 0 0 0 694 36 0 0 20 0 28 0 89704732 27284574208 235236 33554432000 4194304 4196468 140725229759472 140043785898512 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15256] ppid=15251 vsize=26645092 memory=0 CPUtime=7.19 cores=0-7 /proc/15253/task/15256/stat : 15256 (java) S 15251 15251 12605 0 -1 1077944384 32967 0 0 0 682 37 0 0 20 0 28 0 89704732 27284574208 235236 33554432000 4194304 4196468 140725229759472 140043377494672 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15257] ppid=15251 vsize=26645092 memory=6791534058613427641 CPUtime=7.28 cores=0-7 /proc/15253/task/15257/stat : 15257 (java) S 15251 15251 12605 0 -1 1077944384 33021 0 0 0 695 33 0 0 20 0 28 0 89704732 27284574208 235236 33554432000 4194304 4196468 140725229759472 140043376441616 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15258] ppid=15251 vsize=26645092 memory=0 CPUtime=7.18 cores=0-7 /proc/15253/task/15258/stat : 15258 (java) S 15251 15251 12605 0 -1 1077944384 28097 0 0 0 681 37 0 0 20 0 28 0 89704732 27284574208 235236 33554432000 4194304 4196468 140725229759472 140043375389072 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15259] ppid=15251 vsize=26645092 memory=0 CPUtime=7.3 cores=0-7 /proc/15253/task/15259/stat : 15259 (java) S 15251 15251 12605 0 -1 1077944384 26869 0 0 0 696 34 0 0 20 0 28 0 89704732 27284574208 235236 33554432000 4194304 4196468 140725229759472 140043374337040 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15260] ppid=15251 vsize=26645092 memory=0 CPUtime=7.28 cores=0-7 /proc/15253/task/15260/stat : 15260 (java) S 15251 15251 12605 0 -1 1077944384 25368 0 0 0 690 38 0 0 20 0 28 0 89704732 27284574208 235236 33554432000 4194304 4196468 140725229759472 140043373284496 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15261] ppid=15251 vsize=26645092 memory=0 CPUtime=7.29 cores=0-7 /proc/15253/task/15261/stat : 15261 (java) S 15251 15251 12605 0 -1 1077944384 27549 0 0 0 693 36 0 0 20 0 28 0 89704732 27284574208 235236 33554432000 4194304 4196468 140725229759472 140043372231440 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15262] ppid=15251 vsize=26645092 memory=0 CPUtime=7.27 cores=0-7 /proc/15253/task/15262/stat : 15262 (java) S 15251 15251 12605 0 -1 1077944384 28825 0 0 0 689 38 0 0 20 0 28 0 89704732 27284574208 235236 33554432000 4194304 4196468 140725229759472 140043371178896 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15263] ppid=15251 vsize=26645092 memory=280661082133088 CPUtime=6.74 cores=0-7 /proc/15253/task/15263/stat : 15263 (java) S 15251 15251 12605 0 -1 1077944384 112697 0 0 0 352 322 0 0 20 0 28 0 89704733 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042947950832 140043820628610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15264] ppid=15251 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/15253/task/15264/stat : 15264 (java) S 15251 15251 12605 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 89704734 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042946897056 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15265] ppid=15251 vsize=26645092 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/15253/task/15265/stat : 15265 (java) S 15251 15251 12605 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 89704734 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042945843952 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15266] ppid=15251 vsize=26645092 memory=4952 CPUtime=0 cores=0-7 /proc/15253/task/15266/stat : 15266 (java) S 15251 15251 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89704736 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042944792528 140043820636059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15267] ppid=15251 vsize=26645092 memory=4104 CPUtime=2.3 cores=0-7 /proc/15253/task/15267/stat : 15267 (java) S 15251 15251 12605 0 -1 1077944384 11571 0 0 0 228 2 0 0 20 0 28 0 89704737 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042943740656 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15268] ppid=15251 vsize=26645092 memory=1408 CPUtime=2.33 cores=0-7 /proc/15253/task/15268/stat : 15268 (java) S 15251 15251 12605 0 -1 1077944384 17475 0 0 0 229 4 0 0 20 0 28 0 89704737 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042942688112 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15269] ppid=15251 vsize=26645092 memory=3840 CPUtime=2.23 cores=0-7 /proc/15253/task/15269/stat : 15269 (java) S 15251 15251 12605 0 -1 1077944384 11783 0 0 0 222 1 0 0 20 0 28 0 89704737 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042941635056 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15270] ppid=15251 vsize=26645092 memory=1456 CPUtime=0.79 cores=0-7 /proc/15253/task/15270/stat : 15270 (java) S 15251 15251 12605 0 -1 1077944384 8664 0 0 0 78 1 0 0 20 0 28 0 89704737 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042940582512 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15271] ppid=15251 vsize=26645092 memory=280661082981200 CPUtime=0 cores=0-7 /proc/15253/task/15271/stat : 15271 (java) S 15251 15251 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89704737 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042939529696 140043820627669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15272] ppid=15251 vsize=26645092 memory=636 CPUtime=0.44 cores=0-7 /proc/15253/task/15272/stat : 15272 (java) S 15251 15251 12605 0 -1 1077944384 4270 0 0 0 22 22 0 0 20 0 28 0 89704737 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042938477232 140043820628610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15273] ppid=15251 vsize=26645092 memory=1780 CPUtime=2490.41 cores=0-7 /proc/15253/task/15273/stat : 15273 (java) R 15251 15251 12605 0 -1 4202560 11645 0 0 0 249034 7 0 0 20 0 28 0 89704835 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042929691416 140043464422453 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15274] ppid=15251 vsize=26645092 memory=1236 CPUtime=2494.06 cores=0-7 /proc/15253/task/15274/stat : 15274 (java) R 15251 15251 12605 0 -1 4202560 11588 0 0 0 249399 7 0 0 20 0 28 0 89704835 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042928640440 140043464561941 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15275] ppid=15251 vsize=26645092 memory=960 CPUtime=2498.89 cores=0-7 /proc/15253/task/15275/stat : 15275 (java) R 15251 15251 12605 0 -1 4202560 53431 0 0 0 249867 22 0 0 20 0 28 0 89704835 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042927587816 140043463172014 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15276] ppid=15251 vsize=26645092 memory=6504 CPUtime=2497.57 cores=0-7 /proc/15253/task/15276/stat : 15276 (java) R 15251 15251 12605 0 -1 4202560 76390 0 0 0 249731 26 0 0 20 0 28 0 89704835 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042926534864 140043466419616 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15277] ppid=15251 vsize=26645092 memory=1576 CPUtime=2494.43 cores=0-7 /proc/15253/task/15277/stat : 15277 (java) R 15251 15251 12605 0 -1 4202560 33017 0 0 0 249427 16 0 0 20 0 28 0 89704835 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042925482360 140043463504375 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15278] ppid=15251 vsize=26645092 memory=1456 CPUtime=2491.73 cores=0-7 /proc/15253/task/15278/stat : 15278 (java) R 15251 15251 12605 0 -1 4202560 8565 0 0 0 249166 7 0 0 20 0 28 0 89704835 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042924430216 140043463741649 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15279] ppid=15251 vsize=26645092 memory=940944 CPUtime=2491.33 cores=0-7 /proc/15253/task/15279/stat : 15279 (java) R 15251 15251 12605 0 -1 4202560 8582 0 0 0 249127 6 0 0 20 0 28 0 89704835 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042923376664 140043463504135 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 [pid=15253/tid=15280] ppid=15251 vsize=26645092 memory=1852 CPUtime=2500.73 cores=0-7 /proc/15253/task/15280/stat : 15280 (java) R 15251 15251 12605 0 -1 4202560 290542 0 0 0 249797 276 0 0 20 0 28 0 89704835 27284574208 235236 33554432000 4194304 4196468 140725229759472 140042922326976 140043463103727 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 38457344 140725229765761 140725229765933 140725229765933 140725229768655 0 Current children cumulated CPU time: 20033.2 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 942400 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.03 s] # the end of solver process 15251 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001514 s, system=0.000757 s [startup+2520.13 s] # the end of solver process 15253 was just reported to runsolver # cumulated CPU time of all completed processes: user=20024.5 s, system=9.5942 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.13 CPU time (s): 20034.1 CPU user time (s): 20024.5 CPU system time (s): 9.5942 CPU usage (%): 794.963 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 3002484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20024.5 system time used= 9.5942 maximum resident set size= 3003076 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 899794 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3448 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 218673 involuntary context switches= 213812 # summary of solver processes directly reported to runsolver: # pid: 15251,15253 # total CPU time (s): 20034.1 # total CPU user time (s): 20024.5 # total CPU system time (s): 9.5942 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 19.6356 second user time and 28.068 second system time The end
Begin job on node137 at 2018-07-27 21:56:56 IDJOB=4297630 IDBENCH=141457 IDSOLVER=2760 FILE ID=node137/4297630-1532721416 RUNJOBID= node137-1532714138-12632 PBS_JOBID= 21022323 Free space on /tmp= 48160 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/CarSequencing/CarSequencing-04-72_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-4297630-1532721416/watcher-4297630-1532721416 -o /tmp/evaluation-result-4297630-1532721416/solver-4297630-1532721416 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532714138-12632 --watchdog 2580 HOME/xcsp3-exec -seed 1276111237 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297630-1532721416.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 606ad4221d4941292d84c5bdd64a5487 RANDOM SEED=1276111237 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28131816 kB MemAvailable: 31926652 kB Buffers: 156624 kB Cached: 3872968 kB SwapCached: 32 kB Active: 1796708 kB Inactive: 2290192 kB Active(anon): 4892 kB Inactive(anon): 80064 kB Active(file): 1791816 kB Inactive(file): 2210128 kB Unevictable: 7424 kB Mlocked: 7424 kB SwapTotal: 67108860 kB SwapFree: 67108436 kB Dirty: 22232 kB Writeback: 0 kB AnonPages: 63996 kB Mapped: 39928 kB Shmem: 25052 kB Slab: 245292 kB SReclaimable: 217456 kB SUnreclaim: 27836 kB KernelStack: 3232 kB PageTables: 4692 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325212 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 48136 MiB End job on node137 at 2018-07-27 22:38:56