Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-06-14 parallel | ? (TO) | 20059.2 | 2520.11 |
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-4393669-1568430910.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.19 c [HOME/instance-4393669-1568430910.xml, -tl, 20160s, -p, 8] 0.34/0.23 c 8 solvers in parallel 0.34/0.29 c parse instance... 4.44/1.35 c solve instance... 20058.62/2520.07 s UNKNOWN 20058.62/2520.07 c Unexpected resolution interruption!
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15100 MiB free) memory of node 1: 16384 MiB (14989 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393669-1568430910/watcher-4393669-1568430910 -o /tmp/evaluation-result-4393669-1568430910/solver-4393669-1568430910 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568428312-22143 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 932634474 HOME/instance-4393669-1568430910.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=22788, runsolver pid=22785 Current StackSize limit: 8192 KiB [startup+0.100059 s]* /proc/loadavg: 4.74 4.96 5.07 2/216 22809 /proc/meminfo: memFree=30795748/32770624 swapFree=66968356/67108860 [pid=22788] ppid=22785 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22788/stat : 22788 (xcsp3-exec) S 22785 22788 22116 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419340545 115843072 363 33554432000 4194304 5098028 140730315979904 140730315978008 140064879321724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10915840 140730315985782 140730315986025 140730315986025 140730315988938 0 /proc/22788/statm: 28282 363 304 221 0 87 0 [pid=22790] ppid=22788 vsize=28227388 memory=27480 CPUtime=0.13 cores=0-7 /proc/22790/stat : 22790 (java) S 22788 22788 22116 0 -1 1077944320 5892 0 0 0 11 2 0 0 20 0 20 0 419340545 28904845312 6870 33554432000 4194304 4196468 140736779894176 140736779876720 140650208689911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 /proc/22790/statm: 7056847 6870 3118 1 0 7019032 0 [pid=22790/tid=22791] ppid=22788 vsize=28227388 memory=8184900280420047264 CPUtime=0.09 cores=0-7 /proc/22790/task/22791/stat : 22791 (java) R 22788 22788 22116 0 -1 4202560 3772 0 0 0 8 1 0 0 20 0 20 0 419340546 28904845312 6870 33554432000 4194304 4196468 140736779894176 140650212919088 140649845792519 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22792] ppid=22788 vsize=28227388 memory=732370116191443941 CPUtime=0 cores=0-7 /proc/22790/task/22792/stat : 22792 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 6870 33554432000 4194304 4196468 140736779894176 140649759803792 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22793] ppid=22788 vsize=28227388 memory=139977853990528 CPUtime=0 cores=0-7 /proc/22790/task/22793/stat : 22793 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 6870 33554432000 4194304 4196468 140736779894176 140649758750992 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22794] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22794/stat : 22794 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 6870 33554432000 4194304 4196468 140736779894176 140649757698704 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22795] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22795/stat : 22795 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 6870 33554432000 4194304 4196468 140736779894176 140649756645904 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22796] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22796/stat : 22796 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 6870 33554432000 4194304 4196468 140736779894176 140649755593616 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22797] ppid=22788 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/22790/task/22797/stat : 22797 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 6870 33554432000 4194304 4196468 140736779894176 140649754540816 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22798] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22798/stat : 22798 (java) S 22788 22788 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 6870 33554432000 4194304 4196468 140736779894176 140649753488528 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22799] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22799/stat : 22799 (java) S 22788 22788 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 6870 33554432000 4194304 4196468 140736779894176 140649752435728 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22800] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22800/stat : 22800 (java) S 22788 22788 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419340548 28904845312 6870 33554432000 4194304 4196468 140736779894176 140648404392048 140650208701058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22801] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22801/stat : 22801 (java) S 22788 22788 22116 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419340548 28904845312 6870 33554432000 4194304 4196468 140736779894176 140648403338016 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22802] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22802/stat : 22802 (java) S 22788 22788 22116 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419340549 28904845312 6870 33554432000 4194304 4196468 140736779894176 140648402285680 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22803] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22803/stat : 22803 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340551 28904845312 6870 33554432000 4194304 4196468 140736779894176 140648401234000 140650208708507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22804] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22804/stat : 22804 (java) S 22788 22788 22116 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 419340551 28904845312 6870 33554432000 4194304 4196468 140736779894176 140648400181872 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22805] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22805/stat : 22805 (java) S 22788 22788 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419340551 28904845312 6870 33554432000 4194304 4196468 140736779894176 140648399129072 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22806] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22806/stat : 22806 (java) S 22788 22788 22116 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 419340551 28904845312 6870 33554432000 4194304 4196468 140736779894176 140648398076784 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22807] ppid=22788 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/22790/task/22807/stat : 22807 (java) R 22788 22788 22116 0 -1 4202560 385 0 0 0 1 0 0 0 20 0 20 0 419340551 28904845312 6870 33554432000 4194304 4196468 140736779894176 140648397023984 140650194384912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22808] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22808/stat : 22808 (java) S 22788 22788 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419340551 28904845312 6870 33554432000 4194304 4196468 140736779894176 140648395970912 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22809] ppid=22788 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/22790/task/22809/stat : 22809 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340552 28904845312 6870 33554432000 4194304 4196468 140736779894176 140648394918192 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 28932 KiB [startup+0.210778 s]* /proc/loadavg: 4.74 4.96 5.07 3/216 22809 /proc/meminfo: memFree=30781732/32770624 swapFree=66968356/67108860 [pid=22788] ppid=22785 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22788/stat : 22788 (xcsp3-exec) S 22785 22788 22116 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419340545 115843072 363 33554432000 4194304 5098028 140730315979904 140730315978008 140064879321724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10915840 140730315985782 140730315986025 140730315986025 140730315988938 0 /proc/22788/statm: 28282 363 304 221 0 87 0 [pid=22790] ppid=22788 vsize=28227388 memory=39924 CPUtime=0.34 cores=0-7 /proc/22790/stat : 22790 (java) S 22788 22788 22116 0 -1 1077944320 9788 0 0 0 31 3 0 0 20 0 20 0 419340545 28904845312 9981 33554432000 4194304 4196468 140736779894176 140736779876720 140650208689911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 /proc/22790/statm: 7056847 9981 3298 1 0 7019032 0 [pid=22790/tid=22791] ppid=22788 vsize=28227388 memory=0 CPUtime=0.2 cores=0-7 /proc/22790/task/22791/stat : 22791 (java) R 22788 22788 22116 0 -1 4202560 6735 0 0 0 18 2 0 0 20 0 20 0 419340546 28904845312 9981 33554432000 4194304 4196468 140736779894176 140650212922640 140650194383343 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22792] ppid=22788 vsize=28227388 memory=279955602896632 CPUtime=0 cores=0-7 /proc/22790/task/22792/stat : 22792 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 9981 33554432000 4194304 4196468 140736779894176 140649759803792 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22793] ppid=22788 vsize=28227388 memory=139977853990528 CPUtime=0 cores=0-7 /proc/22790/task/22793/stat : 22793 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 9981 33554432000 4194304 4196468 140736779894176 140649758750992 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22794] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22794/stat : 22794 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 9981 33554432000 4194304 4196468 140736779894176 140649757698704 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22795] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22795/stat : 22795 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 9981 33554432000 4194304 4196468 140736779894176 140649756645904 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22796] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22796/stat : 22796 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 9981 33554432000 4194304 4196468 140736779894176 140649755593616 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22797] ppid=22788 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/22790/task/22797/stat : 22797 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 9981 33554432000 4194304 4196468 140736779894176 140649754540816 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22798] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22798/stat : 22798 (java) S 22788 22788 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 9981 33554432000 4194304 4196468 140736779894176 140649753488528 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22799] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22799/stat : 22799 (java) S 22788 22788 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419340546 28904845312 9981 33554432000 4194304 4196468 140736779894176 140649752435728 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22800] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22800/stat : 22800 (java) S 22788 22788 22116 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419340548 28904845312 9981 33554432000 4194304 4196468 140736779894176 140648404392048 140650208701058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22801] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22801/stat : 22801 (java) S 22788 22788 22116 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419340548 28904845312 9981 33554432000 4194304 4196468 140736779894176 140648403338016 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22802] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22802/stat : 22802 (java) S 22788 22788 22116 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419340549 28904845312 9981 33554432000 4194304 4196468 140736779894176 140648402285680 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22803] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22803/stat : 22803 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340551 28904845312 9981 33554432000 4194304 4196468 140736779894176 140648401234000 140650208708507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22804] ppid=22788 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/22790/task/22804/stat : 22804 (java) S 22788 22788 22116 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 20 0 419340551 28904845312 9981 33554432000 4194304 4196468 140736779894176 140648400181872 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22805] ppid=22788 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/22790/task/22805/stat : 22805 (java) S 22788 22788 22116 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 419340551 28904845312 9981 33554432000 4194304 4196468 140736779894176 140648399129072 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22806] ppid=22788 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/22790/task/22806/stat : 22806 (java) S 22788 22788 22116 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 419340551 28904845312 9981 33554432000 4194304 4196468 140736779894176 140648398076784 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22807] ppid=22788 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/22790/task/22807/stat : 22807 (java) S 22788 22788 22116 0 -1 1077944384 826 0 0 0 7 0 0 0 20 0 20 0 419340551 28904845312 9981 33554432000 4194304 4196468 140736779894176 140648397023984 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22808] ppid=22788 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22808/stat : 22808 (java) S 22788 22788 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419340551 28904845312 9981 33554432000 4194304 4196468 140736779894176 140648395970912 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22809] ppid=22788 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/22790/task/22809/stat : 22809 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340552 28904845312 9981 33554432000 4194304 4196468 140736779894176 140648394918192 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41376 KiB [startup+0.31135 s]* /proc/loadavg: 4.74 4.96 5.07 2/216 22809 /proc/meminfo: memFree=30777692/32770624 swapFree=66968356/67108860 [pid=22788] ppid=22785 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22788/stat : 22788 (xcsp3-exec) S 22785 22788 22116 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419340545 115843072 363 33554432000 4194304 5098028 140730315979904 140730315978008 140064879321724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10915840 140730315985782 140730315986025 140730315986025 140730315988938 0 /proc/22788/statm: 28282 363 304 221 0 87 0 [pid=22790] ppid=22788 vsize=28231644 memory=49032 CPUtime=0.53 cores=0-7 /proc/22790/stat : 22790 (java) S 22788 22788 22116 0 -1 1077944320 11123 0 0 0 49 4 0 0 20 0 20 0 419340545 28909203456 12258 33554432000 4194304 4196468 140736779894176 140736779876720 140650208689911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 /proc/22790/statm: 7057911 12258 3351 1 0 7019032 0 [pid=22790/tid=22791] ppid=22788 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/22790/task/22791/stat : 22791 (java) R 22788 22788 22116 0 -1 4202560 7815 0 0 0 27 2 0 0 20 0 20 0 419340546 28909203456 12258 33554432000 4194304 4196468 140736779894176 140650212921024 140650192770398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22792] ppid=22788 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22792/stat : 22792 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28909203456 12258 33554432000 4194304 4196468 140736779894176 140649759803792 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22793] ppid=22788 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22793/stat : 22793 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28909203456 12258 33554432000 4194304 4196468 140736779894176 140649758750992 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22794] ppid=22788 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22794/stat : 22794 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28909203456 12258 33554432000 4194304 4196468 140736779894176 140649757698704 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22795] ppid=22788 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22795/stat : 22795 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28909203456 12258 33554432000 4194304 4196468 140736779894176 140649756645904 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22796] ppid=22788 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/22790/task/22796/stat : 22796 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28909203456 12258 33554432000 4194304 4196468 140736779894176 140649755593616 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22797] ppid=22788 vsize=28231644 memory=139977749001135 CPUtime=0 cores=0-7 /proc/22790/task/22797/stat : 22797 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28909203456 12258 33554432000 4194304 4196468 140736779894176 140649754540816 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22798] ppid=22788 vsize=28231644 memory=139977749003440 CPUtime=0 cores=0-7 /proc/22790/task/22798/stat : 22798 (java) S 22788 22788 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419340546 28909203456 12258 33554432000 4194304 4196468 140736779894176 140649753488528 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22799] ppid=22788 vsize=28231644 memory=139977749005744 CPUtime=0 cores=0-7 /proc/22790/task/22799/stat : 22799 (java) S 22788 22788 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419340546 28909203456 12258 33554432000 4194304 4196468 140736779894176 140649752435728 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22800] ppid=22788 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22800/stat : 22800 (java) S 22788 22788 22116 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419340548 28909203456 12258 33554432000 4194304 4196468 140736779894176 140648404392048 140650208701058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22801] ppid=22788 vsize=28231644 memory=279955498018448 CPUtime=0 cores=0-7 /proc/22790/task/22801/stat : 22801 (java) S 22788 22788 22116 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419340548 28909203456 12258 33554432000 4194304 4196468 140736779894176 140648403338016 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22802] ppid=22788 vsize=28231644 memory=279955498025360 CPUtime=0 cores=0-7 /proc/22790/task/22802/stat : 22802 (java) S 22788 22788 22116 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419340549 28909203456 12258 33554432000 4194304 4196468 140736779894176 140648402285680 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22803] ppid=22788 vsize=28231644 memory=279955497966640 CPUtime=0 cores=0-7 /proc/22790/task/22803/stat : 22803 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340551 28909203456 12258 33554432000 4194304 4196468 140736779894176 140648401234000 140650208708507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22804] ppid=22788 vsize=28231644 memory=279955498039184 CPUtime=0.03 cores=0-7 /proc/22790/task/22804/stat : 22804 (java) R 22788 22788 22116 0 -1 4202560 489 0 0 0 3 0 0 0 20 0 20 0 419340551 28909203456 12258 33554432000 4194304 4196468 140736779894176 140648400181968 140650189390208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22805] ppid=22788 vsize=28231644 memory=279955498046096 CPUtime=0.02 cores=0-7 /proc/22790/task/22805/stat : 22805 (java) S 22788 22788 22116 0 -1 1077944384 60 0 0 0 2 0 0 0 20 0 20 0 419340551 28909203456 12258 33554432000 4194304 4196468 140736779894176 140648399129072 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22806] ppid=22788 vsize=28231644 memory=279955498043792 CPUtime=0.03 cores=0-7 /proc/22790/task/22806/stat : 22806 (java) S 22788 22788 22116 0 -1 1077944384 475 0 0 0 3 0 0 0 20 0 20 0 419340551 28909203456 12258 33554432000 4194304 4196468 140736779894176 140648398076784 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22807] ppid=22788 vsize=28231644 memory=279955498059952 CPUtime=0.12 cores=0-7 /proc/22790/task/22807/stat : 22807 (java) S 22788 22788 22116 0 -1 1077944384 996 0 0 0 12 0 0 0 20 0 20 0 419340551 28909203456 12258 33554432000 4194304 4196468 140736779894176 140648397023984 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22808] ppid=22788 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/22790/task/22808/stat : 22808 (java) S 22788 22788 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419340551 28909203456 12258 33554432000 4194304 4196468 140736779894176 140648395970912 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22809] ppid=22788 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/22790/task/22809/stat : 22809 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340552 28909203456 12258 33554432000 4194304 4196468 140736779894176 140648394918192 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 50484 KiB [startup+0.70095 s] /proc/loadavg: 4.74 4.96 5.07 5/216 22809 /proc/meminfo: memFree=30756276/32770624 swapFree=66968356/67108860 [pid=22788] ppid=22785 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22788/stat : 22788 (xcsp3-exec) S 22785 22788 22116 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419340545 115843072 363 33554432000 4194304 5098028 140730315979904 140730315978008 140064879321724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10915840 140730315985782 140730315986025 140730315986025 140730315988938 0 /proc/22788/statm: 28282 363 304 221 0 87 0 [pid=22790] ppid=22788 vsize=28233768 memory=92312 CPUtime=1.9 cores=0-7 /proc/22790/stat : 22790 (java) S 22788 22788 22116 0 -1 1077944320 17316 0 0 0 184 6 0 0 20 0 20 0 419340545 28911378432 23078 33554432000 4194304 4196468 140736779894176 140736779876720 140650208689911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 /proc/22790/statm: 7058442 23078 3462 1 0 7019544 0 [pid=22790/tid=22791] ppid=22788 vsize=28233768 memory=279955498354816 CPUtime=0.67 cores=0-7 /proc/22790/task/22791/stat : 22791 (java) R 22788 22788 22116 0 -1 4202560 9339 0 0 0 64 3 0 0 20 0 20 0 419340546 28911378432 23078 33554432000 4194304 4196468 140736779894176 140650212923760 140649845802244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22792] ppid=22788 vsize=28233768 memory=3928 CPUtime=0 cores=0-7 /proc/22790/task/22792/stat : 22792 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28911378432 23078 33554432000 4194304 4196468 140736779894176 140649759803792 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22793] ppid=22788 vsize=28233768 memory=716 CPUtime=0 cores=0-7 /proc/22790/task/22793/stat : 22793 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28911378432 23078 33554432000 4194304 4196468 140736779894176 140649758750992 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22794] ppid=22788 vsize=28233768 memory=776 CPUtime=0 cores=0-7 /proc/22790/task/22794/stat : 22794 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419340546 28911378432 23078 33554432000 4194304 4196468 140736779894176 140649757698704 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 ################ # More data... # ################ [pid=22790/tid=22817] ppid=22788 vsize=28768328 memory=1804 CPUtime=2421.74 cores=0-7 /proc/22790/task/22817/stat : 22817 (java) R 22788 22788 22116 0 -1 4202560 11683 0 0 0 242163 11 0 0 20 0 28 0 419340684 29458767872 547309 33554432000 4194304 4196468 140736779894176 140648376241744 140649853963077 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 Current children cumulated CPU time: 19440 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 2190688 KiB [startup+2502.3 s] /proc/loadavg: 8.15 8.33 8.11 9/224 23019 /proc/meminfo: memFree=28654144/32770624 swapFree=66968380/67108860 [pid=22788] ppid=22785 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22788/stat : 22788 (xcsp3-exec) S 22785 22788 22116 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419340545 115843072 363 33554432000 4194304 5098028 140730315979904 140730315978008 140064879321724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10915840 140730315985782 140730315986025 140730315986025 140730315988938 0 /proc/22788/statm: 28282 363 304 221 0 87 0 [pid=22790] ppid=22788 vsize=28768328 memory=2166720 CPUtime=19917.4 cores=0-7 /proc/22790/stat : 22790 (java) S 22788 22788 22116 0 -1 1077944320 706513 0 0 0 1990457 1287 0 0 20 0 28 0 419340545 29458767872 541680 33554432000 4194304 4196468 140736779894176 140736779876720 140650208689911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 /proc/22790/statm: 7192082 541680 3559 1 0 7153184 0 [pid=22790/tid=22791] ppid=22788 vsize=28768328 memory=2171716 CPUtime=1.31 cores=0-7 /proc/22790/task/22791/stat : 22791 (java) S 22788 22788 22116 0 -1 1077944384 10855 0 0 0 125 6 0 0 20 0 28 0 419340546 29458767872 541680 33554432000 4194304 4196468 140736779894176 140650212930688 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22792] ppid=22788 vsize=28768328 memory=2166500 CPUtime=9.76 cores=0-7 /proc/22790/task/22792/stat : 22792 (java) S 22788 22788 22116 0 -1 1077944384 18599 0 0 0 904 72 0 0 20 0 28 0 419340546 29458767872 541680 33554432000 4194304 4196468 140736779894176 140649759803792 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22793] ppid=22788 vsize=28768328 memory=2166500 CPUtime=9.76 cores=0-7 /proc/22790/task/22793/stat : 22793 (java) S 22788 22788 22116 0 -1 1077944384 17180 0 0 0 898 78 0 0 20 0 28 0 419340546 29458767872 541680 33554432000 4194304 4196468 140736779894176 140649758750992 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22794] ppid=22788 vsize=28768328 memory=1452 CPUtime=9.82 cores=0-7 /proc/22790/task/22794/stat : 22794 (java) S 22788 22788 22116 0 -1 1077944384 16358 0 0 0 901 81 0 0 20 0 28 0 419340546 29458767872 541680 33554432000 4194304 4196468 140736779894176 140649757698704 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22795] ppid=22788 vsize=28768328 memory=2166720 CPUtime=9.83 cores=0-7 /proc/22790/task/22795/stat : 22795 (java) S 22788 22788 22116 0 -1 1077944384 14596 0 0 0 902 81 0 0 20 0 28 0 419340546 29458767872 541680 33554432000 4194304 4196468 140736779894176 140649756645904 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22796] ppid=22788 vsize=28768328 memory=2166720 CPUtime=9.77 cores=0-7 /proc/22790/task/22796/stat : 22796 (java) S 22788 22788 22116 0 -1 1077944384 16250 0 0 0 899 78 0 0 20 0 28 0 419340546 29458767872 541680 33554432000 4194304 4196468 140736779894176 140649755593616 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22797] ppid=22788 vsize=28768328 memory=1452 CPUtime=9.81 cores=0-7 /proc/22790/task/22797/stat : 22797 (java) S 22788 22788 22116 0 -1 1077944384 21035 0 0 0 903 78 0 0 20 0 28 0 419340546 29458767872 541680 33554432000 4194304 4196468 140736779894176 140649754540816 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22798] ppid=22788 vsize=28768328 memory=1452 CPUtime=9.8 cores=0-7 /proc/22790/task/22798/stat : 22798 (java) S 22788 22788 22116 0 -1 1077944384 15056 0 0 0 899 81 0 0 20 0 28 0 419340546 29458767872 541680 33554432000 4194304 4196468 140736779894176 140649753488528 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22799] ppid=22788 vsize=28768328 memory=8048 CPUtime=9.74 cores=0-7 /proc/22790/task/22799/stat : 22799 (java) S 22788 22788 22116 0 -1 1077944384 22825 0 0 0 896 78 0 0 20 0 28 0 419340546 29458767872 541680 33554432000 4194304 4196468 140736779894176 140649752435728 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22800] ppid=22788 vsize=28768328 memory=2120 CPUtime=4.15 cores=0-7 /proc/22790/task/22800/stat : 22800 (java) S 22788 22788 22116 0 -1 1077944384 62689 0 0 0 219 196 0 0 20 0 28 0 419340548 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648404392048 140650208701058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22801] ppid=22788 vsize=28768328 memory=1560 CPUtime=0 cores=0-7 /proc/22790/task/22801/stat : 22801 (java) S 22788 22788 22116 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 419340548 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648403338080 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22802] ppid=22788 vsize=28768328 memory=14008 CPUtime=0 cores=0-7 /proc/22790/task/22802/stat : 22802 (java) S 22788 22788 22116 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 419340549 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648402285696 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22803] ppid=22788 vsize=28768328 memory=1452 CPUtime=0 cores=0-7 /proc/22790/task/22803/stat : 22803 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419340551 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648401234000 140650208708507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22804] ppid=22788 vsize=28768328 memory=2171716 CPUtime=5.61 cores=0-7 /proc/22790/task/22804/stat : 22804 (java) S 22788 22788 22116 0 -1 1077944384 27812 0 0 0 556 5 0 0 20 0 28 0 419340551 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648400181872 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22805] ppid=22788 vsize=28768328 memory=800 CPUtime=6.2 cores=0-7 /proc/22790/task/22805/stat : 22805 (java) S 22788 22788 22116 0 -1 1077944384 43664 0 0 0 613 7 0 0 20 0 28 0 419340551 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648399129072 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22806] ppid=22788 vsize=28768328 memory=1632 CPUtime=5.8 cores=0-7 /proc/22790/task/22806/stat : 22806 (java) S 22788 22788 22116 0 -1 1077944384 30301 0 0 0 574 6 0 0 20 0 28 0 419340551 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648398076784 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22807] ppid=22788 vsize=28768328 memory=1804 CPUtime=1.4 cores=0-7 /proc/22790/task/22807/stat : 22807 (java) S 22788 22788 22116 0 -1 1077944384 28327 0 0 0 135 5 0 0 20 0 28 0 419340551 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648397023984 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22808] ppid=22788 vsize=28768328 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/22790/task/22808/stat : 22808 (java) S 22788 22788 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419340551 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648395970912 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22809] ppid=22788 vsize=28768328 memory=6944656592387989600 CPUtime=0.84 cores=0-7 /proc/22790/task/22809/stat : 22809 (java) S 22788 22788 22116 0 -1 1077944384 5305 0 0 0 35 49 0 0 20 0 28 0 419340552 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648394918192 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22810] ppid=22788 vsize=28768328 memory=6944656592455359580 CPUtime=2480.91 cores=0-7 /proc/22790/task/22810/stat : 22810 (java) R 22788 22788 22116 0 -1 4202560 11379 0 0 0 248079 12 0 0 20 0 28 0 419340684 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648383609784 140649853842497 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22811] ppid=22788 vsize=28768328 memory=1452 CPUtime=2480.76 cores=0-7 /proc/22790/task/22811/stat : 22811 (java) R 22788 22788 22116 0 -1 4202560 13601 0 0 0 248063 13 0 0 20 0 28 0 419340684 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648382560992 140649854133868 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22812] ppid=22788 vsize=28768328 memory=2166720 CPUtime=2480.16 cores=0-7 /proc/22790/task/22812/stat : 22812 (java) R 22788 22788 22116 0 -1 4202560 130373 0 0 0 247830 186 0 0 20 0 28 0 419340684 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648381505992 140649859652620 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22813] ppid=22788 vsize=28768328 memory=7235154204648563816 CPUtime=2469.41 cores=0-7 /proc/22790/task/22813/stat : 22813 (java) R 22788 22788 22116 0 -1 4202560 37828 0 0 0 246906 35 0 0 20 0 28 0 419340684 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648380453000 140649859658692 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22814] ppid=22788 vsize=28768328 memory=932 CPUtime=2472.63 cores=0-7 /proc/22790/task/22814/stat : 22814 (java) R 22788 22788 22116 0 -1 4202560 77743 0 0 0 247160 103 0 0 20 0 28 0 419340684 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648379400744 140649853665988 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22815] ppid=22788 vsize=28768328 memory=1424 CPUtime=2478.41 cores=0-7 /proc/22790/task/22815/stat : 22815 (java) R 22788 22788 22116 0 -1 4202560 26027 0 0 0 247811 30 0 0 20 0 28 0 419340684 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648378347992 140649853586635 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22816] ppid=22788 vsize=28768328 memory=3624 CPUtime=2470.18 cores=0-7 /proc/22790/task/22816/stat : 22816 (java) R 22788 22788 22116 0 -1 4202560 45411 0 0 0 246967 51 0 0 20 0 28 0 419340684 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648377294576 140649859659037 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22817] ppid=22788 vsize=28768328 memory=24192 CPUtime=2481.16 cores=0-7 /proc/22790/task/22817/stat : 22817 (java) R 22788 22788 22116 0 -1 4202560 11887 0 0 0 248105 11 0 0 20 0 28 0 419340684 29458767872 541680 33554432000 4194304 4196468 140736779894176 140648376241720 140649849452950 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 Current children cumulated CPU time: 19917.4 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 2168172 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.10 8.31 8.10 9/224 23019 /proc/meminfo: memFree=28682056/32770624 swapFree=66968380/67108860 [pid=22788] ppid=22785 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22788/stat : 22788 (xcsp3-exec) S 22785 22788 22116 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419340545 115843072 363 33554432000 4194304 5098028 140730315979904 140730315978008 140064879321724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10915840 140730315985782 140730315986025 140730315986025 140730315988938 0 /proc/22788/statm: 28282 363 304 221 0 87 0 [pid=22790] ppid=22788 vsize=28768328 memory=2138404 CPUtime=20058.6 cores=0-7 /proc/22790/stat : 22790 (java) S 22788 22788 22116 0 -1 1077944320 706713 0 0 0 2004573 1289 0 0 20 0 28 0 419340545 29458767872 534601 33554432000 4194304 4196468 140736779894176 140736779876720 140650208689911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 /proc/22790/statm: 7192082 534601 3559 1 0 7153184 0 [pid=22790/tid=22791] ppid=22788 vsize=28768328 memory=6791534058613427641 CPUtime=1.31 cores=0-7 /proc/22790/task/22791/stat : 22791 (java) S 22788 22788 22116 0 -1 1077944384 10855 0 0 0 125 6 0 0 20 0 28 0 419340546 29458767872 534601 33554432000 4194304 4196468 140736779894176 140650212930688 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22792] ppid=22788 vsize=28768328 memory=-7003737579269690708 CPUtime=9.78 cores=0-7 /proc/22790/task/22792/stat : 22792 (java) S 22788 22788 22116 0 -1 1077944384 18604 0 0 0 906 72 0 0 20 0 28 0 419340546 29458767872 534601 33554432000 4194304 4196468 140736779894176 140649759803792 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22793] ppid=22788 vsize=28768328 memory=1000 CPUtime=9.78 cores=0-7 /proc/22790/task/22793/stat : 22793 (java) S 22788 22788 22116 0 -1 1077944384 17182 0 0 0 900 78 0 0 20 0 28 0 419340546 29458767872 534601 33554432000 4194304 4196468 140736779894176 140649758750992 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22794] ppid=22788 vsize=28768328 memory=7996 CPUtime=9.82 cores=0-7 /proc/22790/task/22794/stat : 22794 (java) S 22788 22788 22116 0 -1 1077944384 16361 0 0 0 901 81 0 0 20 0 28 0 419340546 29458767872 534601 33554432000 4194304 4196468 140736779894176 140649757698704 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22795] ppid=22788 vsize=28768328 memory=776 CPUtime=9.85 cores=0-7 /proc/22790/task/22795/stat : 22795 (java) S 22788 22788 22116 0 -1 1077944384 14598 0 0 0 904 81 0 0 20 0 28 0 419340546 29458767872 534601 33554432000 4194304 4196468 140736779894176 140649756645904 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22796] ppid=22788 vsize=28768328 memory=1052 CPUtime=9.78 cores=0-7 /proc/22790/task/22796/stat : 22796 (java) S 22788 22788 22116 0 -1 1077944384 16255 0 0 0 900 78 0 0 20 0 28 0 419340546 29458767872 534601 33554432000 4194304 4196468 140736779894176 140649755593616 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22797] ppid=22788 vsize=28768328 memory=2832 CPUtime=9.82 cores=0-7 /proc/22790/task/22797/stat : 22797 (java) S 22788 22788 22116 0 -1 1077944384 21041 0 0 0 904 78 0 0 20 0 28 0 419340546 29458767872 534601 33554432000 4194304 4196468 140736779894176 140649754540816 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22798] ppid=22788 vsize=28768328 memory=9328 CPUtime=9.81 cores=0-7 /proc/22790/task/22798/stat : 22798 (java) S 22788 22788 22116 0 -1 1077944384 15064 0 0 0 900 81 0 0 20 0 28 0 419340546 29458767872 534601 33554432000 4194304 4196468 140736779894176 140649753488528 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22799] ppid=22788 vsize=28768328 memory=1716 CPUtime=9.75 cores=0-7 /proc/22790/task/22799/stat : 22799 (java) S 22788 22788 22116 0 -1 1077944384 22827 0 0 0 897 78 0 0 20 0 28 0 419340546 29458767872 534601 33554432000 4194304 4196468 140736779894176 140649752435728 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22800] ppid=22788 vsize=28768328 memory=1216 CPUtime=4.15 cores=0-7 /proc/22790/task/22800/stat : 22800 (java) S 22788 22788 22116 0 -1 1077944384 62689 0 0 0 219 196 0 0 20 0 28 0 419340548 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648404392048 140650208701058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22801] ppid=22788 vsize=28768328 memory=1000 CPUtime=0 cores=0-7 /proc/22790/task/22801/stat : 22801 (java) S 22788 22788 22116 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 419340548 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648403338080 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22802] ppid=22788 vsize=28768328 memory=7996 CPUtime=0 cores=0-7 /proc/22790/task/22802/stat : 22802 (java) S 22788 22788 22116 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 419340549 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648402285696 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22803] ppid=22788 vsize=28768328 memory=1560 CPUtime=0 cores=0-7 /proc/22790/task/22803/stat : 22803 (java) S 22788 22788 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419340551 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648401234000 140650208708507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22804] ppid=22788 vsize=28768328 memory=14008 CPUtime=5.61 cores=0-7 /proc/22790/task/22804/stat : 22804 (java) S 22788 22788 22116 0 -1 1077944384 27812 0 0 0 556 5 0 0 20 0 28 0 419340551 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648400181872 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22805] ppid=22788 vsize=28768328 memory=8056 CPUtime=6.2 cores=0-7 /proc/22790/task/22805/stat : 22805 (java) S 22788 22788 22116 0 -1 1077944384 43664 0 0 0 613 7 0 0 20 0 28 0 419340551 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648399129072 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22806] ppid=22788 vsize=28768328 memory=6452091021873472059 CPUtime=5.8 cores=0-7 /proc/22790/task/22806/stat : 22806 (java) S 22788 22788 22116 0 -1 1077944384 30301 0 0 0 574 6 0 0 20 0 28 0 419340551 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648398076784 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22807] ppid=22788 vsize=28768328 memory=279955029288615 CPUtime=1.4 cores=0-7 /proc/22790/task/22807/stat : 22807 (java) S 22788 22788 22116 0 -1 1077944384 28327 0 0 0 135 5 0 0 20 0 28 0 419340551 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648397023984 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22808] ppid=22788 vsize=28768328 memory=-2748367524519556131 CPUtime=0 cores=0-7 /proc/22790/task/22808/stat : 22808 (java) S 22788 22788 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419340551 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648395970912 140650208700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22809] ppid=22788 vsize=28768328 memory=3624 CPUtime=0.84 cores=0-7 /proc/22790/task/22809/stat : 22809 (java) S 22788 22788 22116 0 -1 1077944384 5307 0 0 0 35 49 0 0 20 0 28 0 419340552 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648394918192 140650208701058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22810] ppid=22788 vsize=28768328 memory=24192 CPUtime=2498.59 cores=0-7 /proc/22790/task/22810/stat : 22810 (java) R 22788 22788 22116 0 -1 4202560 11389 0 0 0 249847 12 0 0 20 0 28 0 419340684 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648383612656 140649854133796 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22811] ppid=22788 vsize=28768328 memory=984 CPUtime=2498.44 cores=0-7 /proc/22790/task/22811/stat : 22811 (java) R 22788 22788 22116 0 -1 4202560 13609 0 0 0 249831 13 0 0 20 0 28 0 419340684 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648382558360 140649848431953 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22812] ppid=22788 vsize=28768328 memory=2048 CPUtime=2497.47 cores=0-7 /proc/22790/task/22812/stat : 22812 (java) R 22788 22788 22116 0 -1 4202560 130373 0 0 0 249561 186 0 0 20 0 28 0 419340684 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648381505992 140649859652694 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22813] ppid=22788 vsize=28768328 memory=1240 CPUtime=2487.08 cores=0-7 /proc/22790/task/22813/stat : 22813 (java) R 22788 22788 22116 0 -1 4202560 37866 0 0 0 248673 35 0 0 20 0 28 0 419340684 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648380453032 140649853665888 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22814] ppid=22788 vsize=28768328 memory=3928 CPUtime=2490.31 cores=0-7 /proc/22790/task/22814/stat : 22814 (java) R 22788 22788 22116 0 -1 4202560 77785 0 0 0 248928 103 0 0 20 0 28 0 419340684 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648379400744 140649853115472 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22815] ppid=22788 vsize=28768328 memory=716 CPUtime=2496.09 cores=0-7 /proc/22790/task/22815/stat : 22815 (java) R 22788 22788 22116 0 -1 4202560 26048 0 0 0 249579 30 0 0 20 0 28 0 419340684 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648378347928 140649853587103 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22816] ppid=22788 vsize=28768328 memory=776 CPUtime=2487.87 cores=0-7 /proc/22790/task/22816/stat : 22816 (java) R 22788 22788 22116 0 -1 4202560 45453 0 0 0 248735 52 0 0 20 0 28 0 419340684 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648377294576 140649859658897 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 [pid=22790/tid=22817] ppid=22788 vsize=28768328 memory=1052 CPUtime=2498.84 cores=0-7 /proc/22790/task/22817/stat : 22817 (java) R 22788 22788 22116 0 -1 4202560 11891 0 0 0 249873 11 0 0 20 0 28 0 419340684 29458767872 534601 33554432000 4194304 4196468 140736779894176 140648376241848 140649855188227 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 18542592 140736779895786 140736779895958 140736779895958 140736779898831 0 Current children cumulated CPU time: 20058.6 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 2139856 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 22788 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.002464 s, system=0 s [startup+2520.11 s] # the end of solver process 22790 was just reported to runsolver # cumulated CPU time of all completed processes: user=20046.3 s, system=12.918 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.11 CPU time (s): 20059.2 CPU user time (s): 20046.3 CPU system time (s): 12.918 CPU usage (%): 795.967 Max. virtual memory (cumulated for all children) (KiB): 28884388 Max. memory (cumulated for all children) (KiB): 3351992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20046.3 system time used= 12.918 maximum resident set size= 3352200 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 707627 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3696 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 112469 involuntary context switches= 244564 # summary of solver processes directly reported to runsolver: # pid: 22788,22790 # total CPU time (s): 20059.2 # total CPU user time (s): 20046.3 # total CPU system time (s): 12.918 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 24.2099 second user time and 27.0792 second system time The end
Begin job on node135 at 2019-09-14 05:14:30 IDJOB=4393669 IDBENCH=128106 IDSOLVER=2841 FILE ID=node135/4393669-1568430910 RUNJOBID= node135-1568428312-22143 PBS_JOBID= 21702304 Free space on /tmp= 61376 MiB SOLVER NAME= choco-solver parallel 2019-06-14 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-4393669-1568430910/watcher-4393669-1568430910 -o /tmp/evaluation-result-4393669-1568430910/solver-4393669-1568430910 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568428312-22143 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 932634474 HOME/instance-4393669-1568430910.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 62ab34719a1ca197804bba3dde19efaf RANDOM SEED=932634474 node135.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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30811196 kB MemAvailable: 31862308 kB Buffers: 167616 kB Cached: 1151800 kB SwapCached: 34660 kB Active: 565372 kB Inactive: 793784 kB Active(anon): 11836 kB Inactive(anon): 60360 kB Active(file): 553536 kB Inactive(file): 733424 kB Unevictable: 110024 kB Mlocked: 110024 kB SwapTotal: 67108860 kB SwapFree: 66968356 kB Dirty: 26444 kB Writeback: 0 kB AnonPages: 132148 kB Mapped: 37176 kB Shmem: 24292 kB Slab: 190888 kB SReclaimable: 159972 kB SUnreclaim: 30916 kB KernelStack: 3792 kB PageTables: 5628 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498204 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 88064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61348 MiB End job on node135 at 2019-09-14 05:56:30