Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | ? (TO) | 20020.7 | 2520.13 |
Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-90-07.xml |
MD5SUM | 62ab34719a1ca197804bba3dde19efaf |
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 | 78.8072 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1463 |
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":14,"count":1},{"arity":17,"count":1},{"arity":20,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":26,"count":2},{"arity":28,"count":1},{"arity":29,"count":2},{"arity":30,"count":1},{"arity":32,"count":3},{"arity":34,"count":1},{"arity":35,"count":2},{"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":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":1262},{"type":"cardinality","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399629-1568707767.xml" -tl '20160s' -p 8 0.11/0.20 c Choco e747e1e 0.11/0.20 c [HOME/instance-4399629-1568707767.xml, -tl, 20160s, -p, 8] 0.33/0.24 c 8 solvers in parallel 0.33/0.31 c parse instance... 4.48/1.39 c solve instance... 20019.99/2520.08 s UNKNOWN 20019.99/2520.08 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: 16375 MiB (14416 MiB free) memory of node 1: 16384 MiB (15446 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399629-1568707767/watcher-4399629-1568707767 -o /tmp/evaluation-result-4399629-1568707767/solver-4399629-1568707767 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 442333717 HOME/instance-4399629-1568707767.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=21797, runsolver pid=21794 Current StackSize limit: 8192 KiB [startup+0.100113 s]* /proc/loadavg: 7.66 7.64 7.55 3/211 21818 /proc/meminfo: memFree=30562584/32770688 swapFree=66961212/67108860 [pid=21797] ppid=21794 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21797/stat : 21797 (xcsp3-exec) S 21794 21797 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446718412 115843072 364 33554432000 4194304 5098028 140726306326944 140726306325048 139727701451388 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17526784 140726306333558 140726306333801 140726306333801 140726306336714 0 /proc/21797/statm: 28282 364 305 221 0 87 0 [pid=21799] ppid=21797 vsize=28227396 memory=30192 CPUtime=0.11 cores=0-7 /proc/21799/stat : 21799 (java) S 21797 21797 18670 0 -1 1077944320 5499 0 0 0 10 1 0 0 20 0 20 0 446718413 28904853504 7548 33554432000 4194304 4196468 140731286791616 140731286774160 140057717456631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 /proc/21799/statm: 7056849 7548 3124 1 0 7019032 0 [pid=21799/tid=21800] ppid=21797 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/21799/task/21800/stat : 21800 (java) R 21797 21797 18670 0 -1 4202560 3401 0 0 0 8 1 0 0 20 0 20 0 446718413 28904853504 7548 33554432000 4194304 4196468 140731286791616 140057721677440 140057354665088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21801] ppid=21797 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21799/task/21801/stat : 21801 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 7548 33554432000 4194304 4196468 140731286791616 140057268726032 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21802] ppid=21797 vsize=28227396 memory=140634789291648 CPUtime=0 cores=0-7 /proc/21799/task/21802/stat : 21802 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 7548 33554432000 4194304 4196468 140731286791616 140057267673488 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21803] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21803/stat : 21803 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 7548 33554432000 4194304 4196468 140731286791616 140057266620944 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21804] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21804/stat : 21804 (java) S 21797 21797 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 7548 33554432000 4194304 4196468 140731286791616 140057265568400 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21805] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21805/stat : 21805 (java) S 21797 21797 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 7548 33554432000 4194304 4196468 140731286791616 140057264515856 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21806] ppid=21797 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21799/task/21806/stat : 21806 (java) S 21797 21797 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 7548 33554432000 4194304 4196468 140731286791616 140057263463312 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21807] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21807/stat : 21807 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 7548 33554432000 4194304 4196468 140731286791616 140057262410768 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21808] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21808/stat : 21808 (java) S 21797 21797 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 7548 33554432000 4194304 4196468 140731286791616 140057261358224 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21809] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21809/stat : 21809 (java) S 21797 21797 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446718415 28904853504 7548 33554432000 4194304 4196468 140731286791616 140056163645424 140057717467778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21810] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21810/stat : 21810 (java) S 21797 21797 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446718416 28904853504 7548 33554432000 4194304 4196468 140731286791616 140056162591648 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21811] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21811/stat : 21811 (java) S 21797 21797 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446718416 28904853504 7548 33554432000 4194304 4196468 140731286791616 140056161539056 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21812] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21812/stat : 21812 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718419 28904853504 7548 33554432000 4194304 4196468 140731286791616 140056160487632 140057717475227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21813] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21813/stat : 21813 (java) S 21797 21797 18670 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 446718419 28904853504 7548 33554432000 4194304 4196468 140731286791616 140056159435248 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21814] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21814/stat : 21814 (java) S 21797 21797 18670 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 446718419 28904853504 7548 33554432000 4194304 4196468 140731286791616 140056158382704 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21815] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21815/stat : 21815 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718419 28904853504 7548 33554432000 4194304 4196468 140731286791616 140056157330160 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21816] ppid=21797 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21799/task/21816/stat : 21816 (java) R 21797 21797 18670 0 -1 4202560 376 0 0 0 1 0 0 0 20 0 20 0 446718419 28904853504 7548 33554432000 4194304 4196468 140731286791616 140056156277616 140057717477978 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21817] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21817/stat : 21817 (java) S 21797 21797 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446718419 28904853504 7548 33554432000 4194304 4196468 140731286791616 140056155224288 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21818] ppid=21797 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21799/task/21818/stat : 21818 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718419 28904853504 7548 33554432000 4194304 4196468 140731286791616 140056154171824 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31648 KiB [startup+0.211627 s]* /proc/loadavg: 7.66 7.64 7.55 3/211 21818 /proc/meminfo: memFree=30552152/32770688 swapFree=66961212/67108860 [pid=21797] ppid=21794 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21797/stat : 21797 (xcsp3-exec) S 21794 21797 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446718412 115843072 364 33554432000 4194304 5098028 140726306326944 140726306325048 139727701451388 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17526784 140726306333558 140726306333801 140726306333801 140726306336714 0 /proc/21797/statm: 28282 364 305 221 0 87 0 [pid=21799] ppid=21797 vsize=28227396 memory=40160 CPUtime=0.33 cores=0-7 /proc/21799/stat : 21799 (java) S 21797 21797 18670 0 -1 1077944320 8883 0 0 0 30 3 0 0 20 0 20 0 446718413 28904853504 10040 33554432000 4194304 4196468 140731286791616 140731286774160 140057717456631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 /proc/21799/statm: 7056849 10040 3235 1 0 7019032 0 [pid=21799/tid=21800] ppid=21797 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/21799/task/21800/stat : 21800 (java) R 21797 21797 18670 0 -1 4202560 6147 0 0 0 18 2 0 0 20 0 20 0 446718413 28904853504 10040 33554432000 4194304 4196468 140731286791616 140057721685936 140057717468566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21801] ppid=21797 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/21799/task/21801/stat : 21801 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 10040 33554432000 4194304 4196468 140731286791616 140057268726032 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21802] ppid=21797 vsize=28227396 memory=140634792593278 CPUtime=0 cores=0-7 /proc/21799/task/21802/stat : 21802 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 10040 33554432000 4194304 4196468 140731286791616 140057267673488 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21803] ppid=21797 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21799/task/21803/stat : 21803 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 10040 33554432000 4194304 4196468 140731286791616 140057266620944 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21804] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21804/stat : 21804 (java) S 21797 21797 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 10040 33554432000 4194304 4196468 140731286791616 140057265568400 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21805] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21805/stat : 21805 (java) S 21797 21797 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 10040 33554432000 4194304 4196468 140731286791616 140057264515856 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21806] ppid=21797 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21799/task/21806/stat : 21806 (java) S 21797 21797 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 10040 33554432000 4194304 4196468 140731286791616 140057263463312 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21807] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21807/stat : 21807 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 10040 33554432000 4194304 4196468 140731286791616 140057262410768 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21808] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21808/stat : 21808 (java) S 21797 21797 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446718414 28904853504 10040 33554432000 4194304 4196468 140731286791616 140057261358224 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21809] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21809/stat : 21809 (java) S 21797 21797 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446718415 28904853504 10040 33554432000 4194304 4196468 140731286791616 140056163645424 140057717467778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21810] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21810/stat : 21810 (java) S 21797 21797 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446718416 28904853504 10040 33554432000 4194304 4196468 140731286791616 140056162591648 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21811] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21811/stat : 21811 (java) S 21797 21797 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446718416 28904853504 10040 33554432000 4194304 4196468 140731286791616 140056161539056 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21812] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21812/stat : 21812 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718419 28904853504 10040 33554432000 4194304 4196468 140731286791616 140056160487632 140057717475227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21813] ppid=21797 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21799/task/21813/stat : 21813 (java) S 21797 21797 18670 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 20 0 446718419 28904853504 10106 33554432000 4194304 4196468 140731286791616 140056159435248 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21814] ppid=21797 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21799/task/21814/stat : 21814 (java) S 21797 21797 18670 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 20 0 446718419 28904853504 10106 33554432000 4194304 4196468 140731286791616 140056158382704 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21815] ppid=21797 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/21799/task/21815/stat : 21815 (java) R 21797 21797 18670 0 -1 4202560 126 0 0 0 2 0 0 0 20 0 20 0 446718419 28904853504 10106 33554432000 4194304 4196468 140731286791616 140056157330160 140057717477978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21816] ppid=21797 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/21799/task/21816/stat : 21816 (java) R 21797 21797 18670 0 -1 4202560 793 0 0 0 7 0 0 0 20 0 20 0 446718419 28904853504 10106 33554432000 4194304 4196468 140731286791616 140056156277616 140057717468566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21817] ppid=21797 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21817/stat : 21817 (java) S 21797 21797 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446718419 28904853504 10106 33554432000 4194304 4196468 140731286791616 140056155224288 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21818] ppid=21797 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21799/task/21818/stat : 21818 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718419 28904853504 10106 33554432000 4194304 4196468 140731286791616 140056154171824 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41616 KiB [startup+0.310779 s]* /proc/loadavg: 7.66 7.64 7.55 2/211 21818 /proc/meminfo: memFree=30546552/32770688 swapFree=66961212/67108860 [pid=21797] ppid=21794 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21797/stat : 21797 (xcsp3-exec) S 21794 21797 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446718412 115843072 364 33554432000 4194304 5098028 140726306326944 140726306325048 139727701451388 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17526784 140726306333558 140726306333801 140726306333801 140726306336714 0 /proc/21797/statm: 28282 364 305 221 0 87 0 [pid=21799] ppid=21797 vsize=28231652 memory=46768 CPUtime=0.52 cores=0-7 /proc/21799/stat : 21799 (java) S 21797 21797 18670 0 -1 1077944320 10007 0 0 0 48 4 0 0 20 0 20 0 446718413 28909211648 11692 33554432000 4194304 4196468 140731286791616 140731286774160 140057717456631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 /proc/21799/statm: 7057913 11692 3319 1 0 7019032 0 [pid=21799/tid=21800] ppid=21797 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/21799/task/21800/stat : 21800 (java) R 21797 21797 18670 0 -1 4202560 7072 0 0 0 27 3 0 0 20 0 20 0 446718413 28909211648 11692 33554432000 4194304 4196468 140731286791616 140057721687568 140057701537118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21801] ppid=21797 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21801/stat : 21801 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718414 28909211648 11692 33554432000 4194304 4196468 140731286791616 140057268726032 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21802] ppid=21797 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21802/stat : 21802 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718414 28909211648 11692 33554432000 4194304 4196468 140731286791616 140057267673488 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21803] ppid=21797 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21803/stat : 21803 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718414 28909211648 11692 33554432000 4194304 4196468 140731286791616 140057266620944 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21804] ppid=21797 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21804/stat : 21804 (java) S 21797 21797 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446718414 28909211648 11692 33554432000 4194304 4196468 140731286791616 140057265568400 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21805] ppid=21797 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21805/stat : 21805 (java) S 21797 21797 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446718414 28909211648 11692 33554432000 4194304 4196468 140731286791616 140057264515856 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21806] ppid=21797 vsize=28231652 memory=140634677668527 CPUtime=0 cores=0-7 /proc/21799/task/21806/stat : 21806 (java) S 21797 21797 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446718414 28909211648 11692 33554432000 4194304 4196468 140731286791616 140057263463312 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21807] ppid=21797 vsize=28231652 memory=140634677670832 CPUtime=0 cores=0-7 /proc/21799/task/21807/stat : 21807 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718414 28909211648 11692 33554432000 4194304 4196468 140731286791616 140057262410768 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21808] ppid=21797 vsize=28231652 memory=140634677673136 CPUtime=0 cores=0-7 /proc/21799/task/21808/stat : 21808 (java) S 21797 21797 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446718414 28909211648 11692 33554432000 4194304 4196468 140731286791616 140057261358224 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21809] ppid=21797 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21809/stat : 21809 (java) S 21797 21797 18670 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446718415 28909211648 11692 33554432000 4194304 4196468 140731286791616 140056163645424 140057717467778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21810] ppid=21797 vsize=28231652 memory=281269355360144 CPUtime=0 cores=0-7 /proc/21799/task/21810/stat : 21810 (java) S 21797 21797 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446718416 28909211648 11692 33554432000 4194304 4196468 140731286791616 140056162591648 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21811] ppid=21797 vsize=28231652 memory=281269355357840 CPUtime=0 cores=0-7 /proc/21799/task/21811/stat : 21811 (java) S 21797 21797 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446718416 28909211648 11692 33554432000 4194304 4196468 140731286791616 140056161539056 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21812] ppid=21797 vsize=28231652 memory=281269355364752 CPUtime=0 cores=0-7 /proc/21799/task/21812/stat : 21812 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718419 28909211648 11692 33554432000 4194304 4196468 140731286791616 140056160487632 140057717475227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21813] ppid=21797 vsize=28231652 memory=281269355306000 CPUtime=0.02 cores=0-7 /proc/21799/task/21813/stat : 21813 (java) S 21797 21797 18670 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 20 0 446718419 28909211648 11692 33554432000 4194304 4196468 140731286791616 140056159435248 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21814] ppid=21797 vsize=28231652 memory=281269355378576 CPUtime=0.02 cores=0-7 /proc/21799/task/21814/stat : 21814 (java) S 21797 21797 18670 0 -1 1077944384 202 0 0 0 2 0 0 0 20 0 20 0 446718419 28909211648 11692 33554432000 4194304 4196468 140731286791616 140056158382704 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21815] ppid=21797 vsize=28231652 memory=281269355385488 CPUtime=0.03 cores=0-7 /proc/21799/task/21815/stat : 21815 (java) R 21797 21797 18670 0 -1 4202560 129 0 0 0 3 0 0 0 20 0 20 0 446718419 28909211648 11692 33554432000 4194304 4196468 140731286791616 140056157330160 140057702564298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21816] ppid=21797 vsize=28231652 memory=281269355383184 CPUtime=0.12 cores=0-7 /proc/21799/task/21816/stat : 21816 (java) S 21797 21797 18670 0 -1 1077944384 940 0 0 0 12 0 0 0 20 0 20 0 446718419 28909211648 11692 33554432000 4194304 4196468 140731286791616 140056156277616 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21817] ppid=21797 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21817/stat : 21817 (java) S 21797 21797 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446718419 28909211648 11692 33554432000 4194304 4196468 140731286791616 140056155224288 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21818] ppid=21797 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/21799/task/21818/stat : 21818 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718419 28909211648 11692 33554432000 4194304 4196468 140731286791616 140056154171824 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48224 KiB [startup+0.700968 s] /proc/loadavg: 7.66 7.64 7.55 4/211 21818 /proc/meminfo: memFree=30528580/32770688 swapFree=66961212/67108860 [pid=21797] ppid=21794 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21797/stat : 21797 (xcsp3-exec) S 21794 21797 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446718412 115843072 364 33554432000 4194304 5098028 140726306326944 140726306325048 139727701451388 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17526784 140726306333558 140726306333801 140726306333801 140726306336714 0 /proc/21797/statm: 28282 364 305 221 0 87 0 [pid=21799] ppid=21797 vsize=28233776 memory=89204 CPUtime=1.84 cores=0-7 /proc/21799/stat : 21799 (java) S 21797 21797 18670 0 -1 1077944320 15926 0 0 0 178 6 0 0 20 0 20 0 446718413 28911386624 22301 33554432000 4194304 4196468 140731286791616 140731286774160 140057717456631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 /proc/21799/statm: 7058444 22301 3456 1 0 7019544 0 [pid=21799/tid=21800] ppid=21797 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/21799/task/21800/stat : 21800 (java) R 21797 21797 18670 0 -1 4202560 8614 0 0 0 64 4 0 0 20 0 20 0 446718413 28911386624 22301 33554432000 4194304 4196468 140731286791616 140057721684144 140057356531065 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21801] ppid=21797 vsize=28233776 memory=140634677879664 CPUtime=0 cores=0-7 /proc/21799/task/21801/stat : 21801 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718414 28911386624 22301 33554432000 4194304 4196468 140731286791616 140057268726032 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21802] ppid=21797 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/21799/task/21802/stat : 21802 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718414 28911386624 22301 33554432000 4194304 4196468 140731286791616 140057267673488 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21803] ppid=21797 vsize=28233776 memory=1564 CPUtime=0 cores=0-7 /proc/21799/task/21803/stat : 21803 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446718414 28911386624 22301 33554432000 4194304 4196468 140731286791616 140057266620944 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 ################ # More data... # ################ [pid=21799/tid=21826] ppid=21797 vsize=28768336 memory=1456 CPUtime=2416.6 cores=0-7 /proc/21799/task/21826/stat : 21826 (java) R 21797 21797 18670 0 -1 4202560 24301 0 0 0 241646 14 0 0 20 0 28 0 446718554 29458776064 184922 33554432000 4194304 4196468 140731286791616 140056137584368 140057365578705 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 Current children cumulated CPU time: 19404.5 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 741144 KiB [startup+2502.3 s] /proc/loadavg: 8.69 8.50 8.29 9/220 22023 /proc/meminfo: memFree=29816220/32770688 swapFree=66961212/67108860 [pid=21797] ppid=21794 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21797/stat : 21797 (xcsp3-exec) S 21794 21797 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446718412 115843072 364 33554432000 4194304 5098028 140726306326944 140726306325048 139727701451388 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17526784 140726306333558 140726306333801 140726306333801 140726306336714 0 /proc/21797/statm: 28282 364 305 221 0 87 0 [pid=21799] ppid=21797 vsize=28768336 memory=775552 CPUtime=19879.8 cores=0-7 /proc/21799/stat : 21799 (java) S 21797 21797 18670 0 -1 1077944320 306998 0 0 0 1987279 699 0 0 20 0 28 0 446718413 29458776064 193888 33554432000 4194304 4196468 140731286791616 140731286774160 140057717456631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 /proc/21799/statm: 7192084 193888 3552 1 0 7153184 0 [pid=21799/tid=21800] ppid=21797 vsize=28768336 memory=1456 CPUtime=1.36 cores=0-7 /proc/21799/task/21800/stat : 21800 (java) S 21797 21797 18670 0 -1 1077944384 10738 0 0 0 130 6 0 0 20 0 28 0 446718413 29458776064 193888 33554432000 4194304 4196468 140731286791616 140057721697408 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21801] ppid=21797 vsize=28768336 memory=776064 CPUtime=8.69 cores=0-7 /proc/21799/task/21801/stat : 21801 (java) S 21797 21797 18670 0 -1 1077944384 15698 0 0 0 847 22 0 0 20 0 28 0 446718414 29458776064 193888 33554432000 4194304 4196468 140731286791616 140057268726032 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21802] ppid=21797 vsize=28768336 memory=1456 CPUtime=8.72 cores=0-7 /proc/21799/task/21802/stat : 21802 (java) S 21797 21797 18670 0 -1 1077944384 12259 0 0 0 852 20 0 0 20 0 28 0 446718414 29458776064 193888 33554432000 4194304 4196468 140731286791616 140057267673488 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21803] ppid=21797 vsize=28768336 memory=775552 CPUtime=8.69 cores=0-7 /proc/21799/task/21803/stat : 21803 (java) S 21797 21797 18670 0 -1 1077944384 10598 0 0 0 847 22 0 0 20 0 28 0 446718414 29458776064 193888 33554432000 4194304 4196468 140731286791616 140057266620944 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21804] ppid=21797 vsize=28768336 memory=777088 CPUtime=8.61 cores=0-7 /proc/21799/task/21804/stat : 21804 (java) S 21797 21797 18670 0 -1 1077944384 10244 0 0 0 842 19 0 0 20 0 28 0 446718414 29458776064 193888 33554432000 4194304 4196468 140731286791616 140057265568400 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21805] ppid=21797 vsize=28768336 memory=782404 CPUtime=8.64 cores=0-7 /proc/21799/task/21805/stat : 21805 (java) S 21797 21797 18670 0 -1 1077944384 9876 0 0 0 845 19 0 0 20 0 28 0 446718414 29458776064 193888 33554432000 4194304 4196468 140731286791616 140057264515856 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21806] ppid=21797 vsize=28768336 memory=1456 CPUtime=8.72 cores=0-7 /proc/21799/task/21806/stat : 21806 (java) S 21797 21797 18670 0 -1 1077944384 9722 0 0 0 849 23 0 0 20 0 28 0 446718414 29458776064 193888 33554432000 4194304 4196468 140731286791616 140057263463312 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21807] ppid=21797 vsize=28768336 memory=6944656592387989600 CPUtime=8.67 cores=0-7 /proc/21799/task/21807/stat : 21807 (java) S 21797 21797 18670 0 -1 1077944384 12263 0 0 0 846 21 0 0 20 0 28 0 446718414 29458776064 193888 33554432000 4194304 4196468 140731286791616 140057262410768 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21808] ppid=21797 vsize=28768336 memory=6655300316396806240 CPUtime=8.7 cores=0-7 /proc/21799/task/21808/stat : 21808 (java) S 21797 21797 18670 0 -1 1077944384 9921 0 0 0 849 21 0 0 20 0 28 0 446718414 29458776064 193888 33554432000 4194304 4196468 140731286791616 140057261358224 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21809] ppid=21797 vsize=28768336 memory=800 CPUtime=8.33 cores=0-7 /proc/21799/task/21809/stat : 21809 (java) S 21797 21797 18670 0 -1 1077944384 27104 0 0 0 404 429 0 0 20 0 28 0 446718415 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056163645424 140057717467778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21810] ppid=21797 vsize=28768336 memory=1808 CPUtime=0 cores=0-7 /proc/21799/task/21810/stat : 21810 (java) S 21797 21797 18670 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 446718416 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056162591712 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21811] ppid=21797 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/21799/task/21811/stat : 21811 (java) S 21797 21797 18670 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 446718416 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056161539072 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21812] ppid=21797 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/21799/task/21812/stat : 21812 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446718419 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056160487632 140057717475227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21813] ppid=21797 vsize=28768336 memory=778 CPUtime=2.98 cores=0-7 /proc/21799/task/21813/stat : 21813 (java) S 21797 21797 18670 0 -1 1077944384 13030 0 0 0 296 2 0 0 20 0 28 0 446718419 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056159435248 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21814] ppid=21797 vsize=28768336 memory=0 CPUtime=3.15 cores=0-7 /proc/21799/task/21814/stat : 21814 (java) S 21797 21797 18670 0 -1 1077944384 17019 0 0 0 312 3 0 0 20 0 28 0 446718419 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056158382704 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21815] ppid=21797 vsize=28768336 memory=1088 CPUtime=3.15 cores=0-7 /proc/21799/task/21815/stat : 21815 (java) S 21797 21797 18670 0 -1 1077944384 13157 0 0 0 313 2 0 0 20 0 28 0 446718419 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056157330160 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21816] ppid=21797 vsize=28768336 memory=2832 CPUtime=0.98 cores=0-7 /proc/21799/task/21816/stat : 21816 (java) S 21797 21797 18670 0 -1 1077944384 10656 0 0 0 96 2 0 0 20 0 28 0 446718419 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056156277616 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21817] ppid=21797 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/21799/task/21817/stat : 21817 (java) S 21797 21797 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446718419 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056155224288 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21818] ppid=21797 vsize=28768336 memory=775552 CPUtime=0.58 cores=0-7 /proc/21799/task/21818/stat : 21818 (java) S 21797 21797 18670 0 -1 1077944384 1988 0 0 0 23 35 0 0 20 0 28 0 446718419 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056154171824 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21819] ppid=21797 vsize=28768336 memory=3988 CPUtime=2478.5 cores=0-7 /proc/21799/task/21819/stat : 21819 (java) R 21797 21797 18670 0 -1 4202560 5814 0 0 0 247844 6 0 0 20 0 28 0 446718553 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056144952072 140057362574528 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21820] ppid=21797 vsize=28768336 memory=1456 CPUtime=2469.88 cores=0-7 /proc/21799/task/21820/stat : 21820 (java) R 21797 21797 18670 0 -1 4202560 6958 0 0 0 246981 7 0 0 20 0 28 0 446718553 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056143900664 140057363301713 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21821] ppid=21797 vsize=28768336 memory=778020 CPUtime=2476.05 cores=0-7 /proc/21799/task/21821/stat : 21821 (java) R 21797 21797 18670 0 -1 4202560 13661 0 0 0 247586 19 0 0 20 0 28 0 446718553 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056142848120 140057363579244 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21822] ppid=21797 vsize=28768336 memory=775552 CPUtime=2467.15 cores=0-7 /proc/21799/task/21822/stat : 21822 (java) R 21797 21797 18670 0 -1 4202560 13021 0 0 0 246706 9 0 0 20 0 28 0 446718554 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056141795408 140057363579216 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21823] ppid=21797 vsize=28768336 memory=776064 CPUtime=2469.19 cores=0-7 /proc/21799/task/21823/stat : 21823 (java) R 21797 21797 18670 0 -1 4202560 15339 0 0 0 246909 10 0 0 20 0 28 0 446718554 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056140743016 140057362462240 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21824] ppid=21797 vsize=28768336 memory=1456 CPUtime=2475.29 cores=0-7 /proc/21799/task/21824/stat : 21824 (java) R 21797 21797 18670 0 -1 4202560 36665 0 0 0 247500 29 0 0 20 0 28 0 446718554 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056139693504 140057363304829 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21825] ppid=21797 vsize=28768336 memory=776064 CPUtime=2477.76 cores=0-7 /proc/21799/task/21825/stat : 21825 (java) R 21797 21797 18670 0 -1 4202560 4701 0 0 0 247767 9 0 0 20 0 28 0 446718554 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056138637040 140057362074198 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21826] ppid=21797 vsize=28768336 memory=1456 CPUtime=2475.76 cores=0-7 /proc/21799/task/21826/stat : 21826 (java) R 21797 21797 18670 0 -1 4202560 25215 0 0 0 247562 14 0 0 20 0 28 0 446718554 29458776064 193888 33554432000 4194304 4196468 140731286791616 140056137584376 140057365578580 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 Current children cumulated CPU time: 19879.8 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 777008 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.65 8.50 8.30 9/220 22023 /proc/meminfo: memFree=29821124/32770688 swapFree=66961212/67108860 [pid=21797] ppid=21794 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21797/stat : 21797 (xcsp3-exec) S 21794 21797 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446718412 115843072 364 33554432000 4194304 5098028 140726306326944 140726306325048 139727701451388 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17526784 140726306333558 140726306333801 140726306333801 140726306336714 0 /proc/21797/statm: 28282 364 305 221 0 87 0 [pid=21799] ppid=21797 vsize=28768336 memory=771604 CPUtime=20020 cores=0-7 /proc/21799/stat : 21799 (java) S 21797 21797 18670 0 -1 1077944320 308093 0 0 0 2001291 708 0 0 20 0 28 0 446718413 29458776064 192901 33554432000 4194304 4196468 140731286791616 140731286774160 140057717456631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 /proc/21799/statm: 7192084 192901 3552 1 0 7153184 0 [pid=21799/tid=21800] ppid=21797 vsize=28768336 memory=1398722017469774279 CPUtime=1.36 cores=0-7 /proc/21799/task/21800/stat : 21800 (java) S 21797 21797 18670 0 -1 1077944384 10738 0 0 0 130 6 0 0 20 0 28 0 446718413 29458776064 192901 33554432000 4194304 4196468 140731286791616 140057721697408 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21801] ppid=21797 vsize=28768336 memory=4872558044660077418 CPUtime=8.8 cores=0-7 /proc/21799/task/21801/stat : 21801 (java) S 21797 21797 18670 0 -1 1077944384 15734 0 0 0 858 22 0 0 20 0 28 0 446718414 29458776064 192901 33554432000 4194304 4196468 140731286791616 140057268726032 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21802] ppid=21797 vsize=28768336 memory=1708 CPUtime=8.82 cores=0-7 /proc/21799/task/21802/stat : 21802 (java) S 21797 21797 18670 0 -1 1077944384 12283 0 0 0 862 20 0 0 20 0 28 0 446718414 29458776064 192901 33554432000 4194304 4196468 140731286791616 140057267673488 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21803] ppid=21797 vsize=28768336 memory=1280 CPUtime=8.79 cores=0-7 /proc/21799/task/21803/stat : 21803 (java) S 21797 21797 18670 0 -1 1077944384 10624 0 0 0 857 22 0 0 20 0 28 0 446718414 29458776064 192901 33554432000 4194304 4196468 140731286791616 140057266620944 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21804] ppid=21797 vsize=28768336 memory=6028 CPUtime=8.71 cores=0-7 /proc/21799/task/21804/stat : 21804 (java) S 21797 21797 18670 0 -1 1077944384 10350 0 0 0 852 19 0 0 20 0 28 0 446718414 29458776064 192901 33554432000 4194304 4196468 140731286791616 140057265568400 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21805] ppid=21797 vsize=28768336 memory=780 CPUtime=8.75 cores=0-7 /proc/21799/task/21805/stat : 21805 (java) S 21797 21797 18670 0 -1 1077944384 9953 0 0 0 856 19 0 0 20 0 28 0 446718414 29458776064 192901 33554432000 4194304 4196468 140731286791616 140057264515856 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21806] ppid=21797 vsize=28768336 memory=3988 CPUtime=8.83 cores=0-7 /proc/21799/task/21806/stat : 21806 (java) S 21797 21797 18670 0 -1 1077944384 9761 0 0 0 860 23 0 0 20 0 28 0 446718414 29458776064 192901 33554432000 4194304 4196468 140731286791616 140057263463312 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21807] ppid=21797 vsize=28768336 memory=1088 CPUtime=8.78 cores=0-7 /proc/21799/task/21807/stat : 21807 (java) S 21797 21797 18670 0 -1 1077944384 12332 0 0 0 857 21 0 0 20 0 28 0 446718414 29458776064 192901 33554432000 4194304 4196468 140731286791616 140057262410768 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21808] ppid=21797 vsize=28768336 memory=6791534058613427641 CPUtime=8.8 cores=0-7 /proc/21799/task/21808/stat : 21808 (java) S 21797 21797 18670 0 -1 1077944384 9931 0 0 0 859 21 0 0 20 0 28 0 446718414 29458776064 192901 33554432000 4194304 4196468 140731286791616 140057261358224 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21809] ppid=21797 vsize=28768336 memory=1984 CPUtime=8.48 cores=0-7 /proc/21799/task/21809/stat : 21809 (java) S 21797 21797 18670 0 -1 1077944384 27541 0 0 0 410 438 0 0 20 0 28 0 446718415 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056163645424 140057717467778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21810] ppid=21797 vsize=28768336 memory=2424 CPUtime=0 cores=0-7 /proc/21799/task/21810/stat : 21810 (java) S 21797 21797 18670 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 446718416 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056162591712 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21811] ppid=21797 vsize=28768336 memory=1760 CPUtime=0 cores=0-7 /proc/21799/task/21811/stat : 21811 (java) S 21797 21797 18670 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 446718416 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056161539072 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21812] ppid=21797 vsize=28768336 memory=111636 CPUtime=0 cores=0-7 /proc/21799/task/21812/stat : 21812 (java) S 21797 21797 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446718419 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056160487632 140057717475227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21813] ppid=21797 vsize=28768336 memory=800 CPUtime=2.98 cores=0-7 /proc/21799/task/21813/stat : 21813 (java) S 21797 21797 18670 0 -1 1077944384 13030 0 0 0 296 2 0 0 20 0 28 0 446718419 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056159435248 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21814] ppid=21797 vsize=28768336 memory=1808 CPUtime=3.15 cores=0-7 /proc/21799/task/21814/stat : 21814 (java) S 21797 21797 18670 0 -1 1077944384 17019 0 0 0 312 3 0 0 20 0 28 0 446718419 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056158382704 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21815] ppid=21797 vsize=28768336 memory=47060 CPUtime=3.15 cores=0-7 /proc/21799/task/21815/stat : 21815 (java) S 21797 21797 18670 0 -1 1077944384 13157 0 0 0 313 2 0 0 20 0 28 0 446718419 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056157330160 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21816] ppid=21797 vsize=28768336 memory=984 CPUtime=0.98 cores=0-7 /proc/21799/task/21816/stat : 21816 (java) S 21797 21797 18670 0 -1 1077944384 10656 0 0 0 96 2 0 0 20 0 28 0 446718419 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056156277616 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21817] ppid=21797 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/21799/task/21817/stat : 21817 (java) S 21797 21797 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446718419 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056155224288 140057717466837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21818] ppid=21797 vsize=28768336 memory=772116 CPUtime=0.6 cores=0-7 /proc/21799/task/21818/stat : 21818 (java) S 21797 21797 18670 0 -1 1077944384 1999 0 0 0 24 36 0 0 20 0 28 0 446718419 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056154171824 140057717467778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21819] ppid=21797 vsize=28768336 memory=23112 CPUtime=2495.96 cores=0-7 /proc/21799/task/21819/stat : 21819 (java) R 21797 21797 18670 0 -1 4202560 5839 0 0 0 249590 6 0 0 20 0 28 0 446718553 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056144952072 140057363300505 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21820] ppid=21797 vsize=28768336 memory=6791534058613427641 CPUtime=2487.34 cores=0-7 /proc/21799/task/21820/stat : 21820 (java) R 21797 21797 18670 0 -1 4202560 6991 0 0 0 248726 8 0 0 20 0 28 0 446718553 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056143900400 140057363304193 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21821] ppid=21797 vsize=28768336 memory=772628 CPUtime=2493.41 cores=0-7 /proc/21799/task/21821/stat : 21821 (java) R 21797 21797 18670 0 -1 4202560 13697 0 0 0 249322 19 0 0 20 0 28 0 446718553 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056142848592 140057362462367 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21822] ppid=21797 vsize=28768336 memory=496 CPUtime=2484.51 cores=0-7 /proc/21799/task/21822/stat : 21822 (java) R 21797 21797 18670 0 -1 4202560 13042 0 0 0 248441 10 0 0 20 0 28 0 446718554 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056141798592 140057365578705 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21823] ppid=21797 vsize=28768336 memory=1556 CPUtime=2486.49 cores=0-7 /proc/21799/task/21823/stat : 21823 (java) R 21797 21797 18670 0 -1 4202560 15358 0 0 0 248639 10 0 0 20 0 28 0 446718554 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056140743064 140057362188411 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21824] ppid=21797 vsize=28768336 memory=928 CPUtime=2492.74 cores=0-7 /proc/21799/task/21824/stat : 21824 (java) R 21797 21797 18670 0 -1 4202560 36705 0 0 0 249245 29 0 0 20 0 28 0 446718554 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056139690944 140057359876761 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21825] ppid=21797 vsize=28768336 memory=1628 CPUtime=2495.18 cores=0-7 /proc/21799/task/21825/stat : 21825 (java) R 21797 21797 18670 0 -1 4202560 4758 0 0 0 249509 9 0 0 20 0 28 0 446718554 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056138636904 140057363850049 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 [pid=21799/tid=21826] ppid=21797 vsize=28768336 memory=796 CPUtime=2493.21 cores=0-7 /proc/21799/task/21826/stat : 21826 (java) R 21797 21797 18670 0 -1 4202560 25244 0 0 0 249307 14 0 0 20 0 28 0 446718554 29458776064 192901 33554432000 4194304 4196468 140731286791616 140056137584368 140057365578228 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 16482304 140731286795242 140731286795414 140731286795414 140731286798287 0 Current children cumulated CPU time: 20020 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 773060 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.05 s] # the end of solver process 21797 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000887 s, system=0.001775 s [startup+2520.13 s] # the end of solver process 21799 was just reported to runsolver # cumulated CPU time of all completed processes: user=20013.6 s, system=7.11481 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): 20020.7 CPU user time (s): 20013.6 CPU system time (s): 7.11481 CPU usage (%): 794.433 Max. virtual memory (cumulated for all children) (KiB): 28883532 Max. memory (cumulated for all children) (KiB): 810424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20013.6 system time used= 7.11481 maximum resident set size= 808968 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 308804 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3072 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 161666 involuntary context switches= 228210 # summary of solver processes directly reported to runsolver: # pid: 21797,21799 # total CPU time (s): 20020.7 # total CPU user time (s): 20013.6 # total CPU system time (s): 7.11481 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 26.366 second user time and 27.6303 second system time The end
Begin job on node116 at 2019-09-17 10:08:46 IDJOB=4399629 IDBENCH=128106 IDSOLVER=2854 FILE ID=node116/4399629-1568707767 RUNJOBID= node116-1568700981-18697 PBS_JOBID= 21703912 Free space on /tmp= 61232 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-90-07.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399629-1568707767/watcher-4399629-1568707767 -o /tmp/evaluation-result-4399629-1568707767/solver-4399629-1568707767 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 442333717 HOME/instance-4399629-1568707767.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 62ab34719a1ca197804bba3dde19efaf RANDOM SEED=442333717 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 30580436 kB MemAvailable: 31845012 kB Buffers: 152168 kB Cached: 1406904 kB SwapCached: 46584 kB Active: 1027040 kB Inactive: 583296 kB Active(anon): 5116 kB Inactive(anon): 94964 kB Active(file): 1021924 kB Inactive(file): 488332 kB Unevictable: 110568 kB Mlocked: 110568 kB SwapTotal: 67108860 kB SwapFree: 66961212 kB Dirty: 25972 kB Writeback: 0 kB AnonPages: 152444 kB Mapped: 48152 kB Shmem: 40296 kB Slab: 168884 kB SReclaimable: 140308 kB SUnreclaim: 28576 kB KernelStack: 3728 kB PageTables: 5672 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 506292 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 106496 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61204 MiB End job on node116 at 2019-09-17 10:50:47