Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | ? (TO) | 20027 | 2520.12 |
Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-16-81.xml |
MD5SUM | e1683218a1e3c524b21c5eaa634d1705 |
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 | 27.9455 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 600 |
Number of constraints | 737 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":2,"count":500},{"size":26,"count":100}] |
Minimum variable degree | 2 |
Maximum variable degree | 52 |
Distribution of variable degrees | [{"degree":2,"count":100},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":20},{"degree":23,"count":20},{"degree":24,"count":20},{"degree":25,"count":20},{"degree":26,"count":10},"...",{"degree":28,"count":8}, {"degree":29,"count":8}, {"degree":30,"count":9}, {"degree":31,"count":9}, {"degree":32,"count":22}, {"degree":33,"count":5}, {"degree":34,"count":6}, {"degree":35,"count":6}, {"degree":36,"count":7}, {"degree":37,"count":2}, {"degree":38,"count":2}, {"degree":39,"count":2}, {"degree":40,"count":2}, {"degree":41,"count":2}, {"degree":42,"count":2}, {"degree":43,"count":2}, {"degree":44,"count":2}, {"degree":45,"count":2}, {"degree":46,"count":2}, {"degree":47,"count":2}, {"degree":48,"count":2}, {"degree":49,"count":2}, {"degree":50,"count":2}, {"degree":51,"count":3}, {"degree":52,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 100 |
Distribution of constraint arities | [{"arity":2,"count":99},{"arity":3,"count":196},{"arity":4,"count":1},{"arity":5,"count":194},{"arity":6,"count":101},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":10,"count":4},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":2},{"arity":16,"count":2},{"arity":18,"count":1},{"arity":19,"count":2},{"arity":20,"count":3},{"arity":22,"count":3},{"arity":24,"count":1},{"arity":25,"count":4},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":3},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":100},{"type":"sum","count":636},{"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-4406672-1569351739.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406672-1569351739.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.65/1.00 c solve instance... 20026.26/2520.08 s UNKNOWN 20026.26/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: 16374 MiB (13727 MiB free) memory of node 1: 16384 MiB (14454 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406672-1569351739/watcher-4406672-1569351739 -o /tmp/evaluation-result-4406672-1569351739/solver-4406672-1569351739 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569348342-32335 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1840524085 HOME/instance-4406672-1569351739.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=1155, runsolver pid=1151 Current StackSize limit: 8192 KiB [startup+0.100135 s]* /proc/loadavg: 7.75 8.00 8.12 2/213 1176 /proc/meminfo: memFree=28840388/32770624 swapFree=66999256/67108860 [pid=1155] ppid=1151 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1155/stat : 1155 (xcsp3-exec) S 1151 1155 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511426951 115843072 363 33554432000 4194304 5098028 140729884967264 140729884965368 140598921654908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19189760 140729884971893 140729884972137 140729884972137 140729884975050 0 /proc/1155/statm: 28282 363 304 221 0 87 0 [pid=1157] ppid=1155 vsize=28227396 memory=29828 CPUtime=0.12 cores=0-7 /proc/1157/stat : 1157 (java) S 1155 1155 32308 0 -1 1077944320 5931 0 0 0 11 1 0 0 20 0 20 0 511426951 28904853504 7457 33554432000 4194304 4196468 140729881856816 140729881839360 140360418655991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 /proc/1157/statm: 7056849 7457 3120 1 0 7019032 0 [pid=1157/tid=1158] ppid=1155 vsize=28227396 memory=6935054825532540783 CPUtime=0.08 cores=0-7 /proc/1157/task/1158/stat : 1158 (java) R 1155 1155 32308 0 -1 4202560 3837 0 0 0 8 0 0 0 20 0 20 0 511426951 28904853504 7457 33554432000 4194304 4196468 140729881856816 140360422888768 140360400051197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1159] ppid=1155 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1157/task/1159/stat : 1159 (java) S 1155 1155 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 7457 33554432000 4194304 4196468 140729881856816 140360338508304 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1160] ppid=1155 vsize=28227396 memory=140575763826304 CPUtime=0 cores=0-7 /proc/1157/task/1160/stat : 1160 (java) S 1155 1155 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359968610960 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1161] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1161/stat : 1161 (java) S 1155 1155 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359967557904 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1162] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1162/stat : 1162 (java) S 1155 1155 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359966505360 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1163] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1163/stat : 1163 (java) S 1155 1155 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359965453328 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1164] ppid=1155 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1157/task/1164/stat : 1164 (java) S 1155 1155 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359964400784 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1165] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1165/stat : 1165 (java) S 1155 1155 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359963347728 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1166] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1166/stat : 1166 (java) S 1155 1155 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359962295184 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1167] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1167/stat : 1167 (java) S 1155 1155 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511426954 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359669176560 140360418667138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1168] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1168/stat : 1168 (java) S 1155 1155 32308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511426954 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359668122784 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1169] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1169/stat : 1169 (java) S 1155 1155 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511426954 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359667069680 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1170] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1170/stat : 1170 (java) S 1155 1155 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511426957 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359598335952 140360418674587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1171] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1171/stat : 1171 (java) S 1155 1155 32308 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 511426957 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359597284080 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1172] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1172/stat : 1172 (java) S 1155 1155 32308 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511426957 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359596231536 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1173] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1173/stat : 1173 (java) S 1155 1155 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511426957 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359595178480 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1174] ppid=1155 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/1157/task/1174/stat : 1174 (java) S 1155 1155 32308 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 20 0 511426957 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359594125936 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1175] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1175/stat : 1175 (java) S 1155 1155 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511426957 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359593073120 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1176] ppid=1155 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1157/task/1176/stat : 1176 (java) S 1155 1155 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511426957 28904853504 7457 33554432000 4194304 4196468 140729881856816 140359592020656 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31280 KiB [startup+0.21075 s]* /proc/loadavg: 7.75 8.00 8.12 3/213 1176 /proc/meminfo: memFree=28829180/32770624 swapFree=66999256/67108860 [pid=1155] ppid=1151 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1155/stat : 1155 (xcsp3-exec) S 1151 1155 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511426951 115843072 363 33554432000 4194304 5098028 140729884967264 140729884965368 140598921654908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19189760 140729884971893 140729884972137 140729884972137 140729884975050 0 /proc/1155/statm: 28282 363 304 221 0 87 0 [pid=1157] ppid=1155 vsize=28227396 memory=40736 CPUtime=0.33 cores=0-7 /proc/1157/stat : 1157 (java) S 1155 1155 32308 0 -1 1077944320 9438 0 0 0 30 3 0 0 20 0 20 0 511426951 28904853504 10184 33554432000 4194304 4196468 140729881856816 140729881839360 140360418655991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 /proc/1157/statm: 7056849 10184 3256 1 0 7019032 0 [pid=1157/tid=1158] ppid=1155 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/1157/task/1158/stat : 1158 (java) R 1155 1155 32308 0 -1 4202560 6625 0 0 0 18 2 0 0 20 0 20 0 511426951 28904853504 10184 33554432000 4194304 4196468 140729881856816 140360422889696 140360017911740 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1159] ppid=1155 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/1157/task/1159/stat : 1159 (java) S 1155 1155 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 10184 33554432000 4194304 4196468 140729881856816 140360338508304 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1160] ppid=1155 vsize=28227396 memory=288370951915538048 CPUtime=0 cores=0-7 /proc/1157/task/1160/stat : 1160 (java) S 1155 1155 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359968610960 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1161] ppid=1155 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1157/task/1161/stat : 1161 (java) S 1155 1155 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359967557904 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1162] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1162/stat : 1162 (java) S 1155 1155 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359966505360 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1163] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1163/stat : 1163 (java) S 1155 1155 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359965453328 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1164] ppid=1155 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1157/task/1164/stat : 1164 (java) S 1155 1155 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359964400784 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1165] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1165/stat : 1165 (java) S 1155 1155 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359963347728 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1166] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1166/stat : 1166 (java) S 1155 1155 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511426952 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359962295184 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1167] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1167/stat : 1167 (java) S 1155 1155 32308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511426954 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359669176560 140360418667138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1168] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1168/stat : 1168 (java) S 1155 1155 32308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511426954 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359668122784 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1169] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1169/stat : 1169 (java) S 1155 1155 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511426954 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359667069680 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1170] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1170/stat : 1170 (java) S 1155 1155 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511426957 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359598335952 140360418674587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1171] ppid=1155 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1157/task/1171/stat : 1171 (java) S 1155 1155 32308 0 -1 1077944384 422 0 0 0 1 0 0 0 20 0 20 0 511426957 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359597284080 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1172] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1172/stat : 1172 (java) S 1155 1155 32308 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511426957 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359596231536 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1173] ppid=1155 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/1157/task/1173/stat : 1173 (java) S 1155 1155 32308 0 -1 1077944384 198 0 0 0 2 0 0 0 20 0 20 0 511426957 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359595178480 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1174] ppid=1155 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/1157/task/1174/stat : 1174 (java) R 1155 1155 32308 0 -1 4202560 762 0 0 0 7 0 0 0 20 0 20 0 511426957 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359594125936 140360397358145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1175] ppid=1155 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1175/stat : 1175 (java) S 1155 1155 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511426957 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359593073120 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1176] ppid=1155 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1157/task/1176/stat : 1176 (java) S 1155 1155 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511426957 28904853504 10184 33554432000 4194304 4196468 140729881856816 140359592020656 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42188 KiB [startup+0.310582 s]* /proc/loadavg: 7.75 8.00 8.12 3/213 1176 /proc/meminfo: memFree=28821672/32770624 swapFree=66999256/67108860 [pid=1155] ppid=1151 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1155/stat : 1155 (xcsp3-exec) S 1151 1155 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511426951 115843072 363 33554432000 4194304 5098028 140729884967264 140729884965368 140598921654908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19189760 140729884971893 140729884972137 140729884972137 140729884975050 0 /proc/1155/statm: 28282 363 304 221 0 87 0 [pid=1157] ppid=1155 vsize=28231652 memory=49764 CPUtime=0.51 cores=0-7 /proc/1157/stat : 1157 (java) S 1155 1155 32308 0 -1 1077944320 10814 0 0 0 47 4 0 0 20 0 20 0 511426951 28909211648 12441 33554432000 4194304 4196468 140729881856816 140729881839360 140360418655991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 /proc/1157/statm: 7057913 12441 3364 1 0 7019032 0 [pid=1157/tid=1158] ppid=1155 vsize=28231652 memory=6935054825532540783 CPUtime=0.29 cores=0-7 /proc/1157/task/1158/stat : 1158 (java) R 1155 1155 32308 0 -1 4202560 7774 0 0 0 27 2 0 0 20 0 20 0 511426951 28909211648 12470 33554432000 4194304 4196468 140729881856816 140360422887104 140360402736478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1159] ppid=1155 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1157/task/1159/stat : 1159 (java) S 1155 1155 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511426952 28909211648 12470 33554432000 4194304 4196468 140729881856816 140360338508304 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1160] ppid=1155 vsize=28231652 memory=676 CPUtime=0 cores=0-7 /proc/1157/task/1160/stat : 1160 (java) S 1155 1155 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511426952 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359968610960 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1161] ppid=1155 vsize=28231652 memory=1060 CPUtime=0 cores=0-7 /proc/1157/task/1161/stat : 1161 (java) S 1155 1155 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511426952 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359967557904 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1162] ppid=1155 vsize=28231652 memory=1548 CPUtime=0 cores=0-7 /proc/1157/task/1162/stat : 1162 (java) S 1155 1155 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511426952 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359966505360 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1163] ppid=1155 vsize=28231652 memory=8560 CPUtime=0 cores=0-7 /proc/1157/task/1163/stat : 1163 (java) S 1155 1155 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511426952 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359965453328 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1164] ppid=1155 vsize=28231652 memory=1712 CPUtime=0 cores=0-7 /proc/1157/task/1164/stat : 1164 (java) S 1155 1155 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511426952 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359964400784 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1165] ppid=1155 vsize=28231652 memory=1112 CPUtime=0 cores=0-7 /proc/1157/task/1165/stat : 1165 (java) S 1155 1155 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511426952 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359963347728 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1166] ppid=1155 vsize=28231652 memory=1004 CPUtime=0 cores=0-7 /proc/1157/task/1166/stat : 1166 (java) S 1155 1155 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511426952 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359962295184 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1167] ppid=1155 vsize=28231652 memory=6084 CPUtime=0 cores=0-7 /proc/1157/task/1167/stat : 1167 (java) S 1155 1155 32308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511426954 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359669176560 140360418667138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1168] ppid=1155 vsize=28231652 memory=14008 CPUtime=0 cores=0-7 /proc/1157/task/1168/stat : 1168 (java) S 1155 1155 32308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511426954 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359668122784 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1169] ppid=1155 vsize=28231652 memory=2124 CPUtime=0 cores=0-7 /proc/1157/task/1169/stat : 1169 (java) S 1155 1155 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511426954 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359667069680 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1170] ppid=1155 vsize=28231652 memory=35724 CPUtime=0 cores=0-7 /proc/1157/task/1170/stat : 1170 (java) S 1155 1155 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511426957 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359598335952 140360418674587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1171] ppid=1155 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/1157/task/1171/stat : 1171 (java) R 1155 1155 32308 0 -1 4202560 517 0 0 0 2 0 0 0 20 0 20 0 511426957 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359597274464 140360402042713 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1172] ppid=1155 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/1157/task/1172/stat : 1172 (java) S 1155 1155 32308 0 -1 1077944384 153 0 0 0 2 0 0 0 20 0 20 0 511426957 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359596231536 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1173] ppid=1155 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/1157/task/1173/stat : 1173 (java) S 1155 1155 32308 0 -1 1077944384 238 0 0 0 3 0 0 0 20 0 20 0 511426957 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359595178480 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1174] ppid=1155 vsize=28231652 memory=0 CPUtime=0.12 cores=0-7 /proc/1157/task/1174/stat : 1174 (java) S 1155 1155 32308 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 20 0 511426957 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359594125936 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1175] ppid=1155 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1175/stat : 1175 (java) S 1155 1155 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511426957 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359593073120 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1176] ppid=1155 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1176/stat : 1176 (java) S 1155 1155 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511426957 28909211648 12470 33554432000 4194304 4196468 140729881856816 140359592020656 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51216 KiB [startup+0.700951 s] /proc/loadavg: 7.75 8.00 8.12 3/213 1176 /proc/meminfo: memFree=28808644/32770624 swapFree=66999256/67108860 [pid=1155] ppid=1151 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1155/stat : 1155 (xcsp3-exec) S 1151 1155 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511426951 115843072 363 33554432000 4194304 5098028 140729884967264 140729884965368 140598921654908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19189760 140729884971893 140729884972137 140729884972137 140729884975050 0 /proc/1155/statm: 28282 363 304 221 0 87 0 [pid=1157] ppid=1155 vsize=28233776 memory=88100 CPUtime=1.76 cores=0-7 /proc/1157/stat : 1157 (java) S 1155 1155 32308 0 -1 1077944320 15127 0 0 0 170 6 0 0 20 0 20 0 511426951 28911386624 22025 33554432000 4194304 4196468 140729881856816 140729881839360 140360418655991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 /proc/1157/statm: 7058444 22025 3458 1 0 7019544 0 [pid=1157/tid=1158] ppid=1155 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/1157/task/1158/stat : 1158 (java) R 1155 1155 32308 0 -1 4202560 9026 0 0 0 64 3 0 0 20 0 20 0 511426951 28911386624 22025 33554432000 4194304 4196468 140729881856816 140360422890608 140360418677338 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1159] ppid=1155 vsize=28233776 memory=140575622079344 CPUtime=0 cores=0-7 /proc/1157/task/1159/stat : 1159 (java) S 1155 1155 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511426952 28911386624 22025 33554432000 4194304 4196468 140729881856816 140360338508304 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1160] ppid=1155 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1160/stat : 1160 (java) S 1155 1155 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511426952 28911386624 22025 33554432000 4194304 4196468 140729881856816 140359968610960 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1161] ppid=1155 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1161/stat : 1161 (java) S 1155 1155 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511426952 28911386624 22025 33554432000 4194304 4196468 140729881856816 140359967557904 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 ################ # More data... # ################ [pid=1157/tid=1184] ppid=1155 vsize=28768336 memory=1626252 CPUtime=2413.3 cores=0-7 /proc/1157/task/1184/stat : 1184 (java) R 1155 1155 32308 0 -1 4202560 176780 0 0 0 241226 104 0 0 20 0 28 0 511427054 29458776064 405665 33554432000 4194304 4196468 140729881856816 140359575673792 140360024263831 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 Current children cumulated CPU time: 19407.9 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1624112 KiB [startup+2502.3 s] /proc/loadavg: 8.38 8.33 8.26 9/220 1381 /proc/meminfo: memFree=27419296/32770624 swapFree=66999256/67108860 [pid=1155] ppid=1151 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1155/stat : 1155 (xcsp3-exec) S 1151 1155 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511426951 115843072 363 33554432000 4194304 5098028 140729884967264 140729884965368 140598921654908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19189760 140729884971893 140729884972137 140729884972137 140729884975050 0 /proc/1155/statm: 28282 363 304 221 0 87 0 [pid=1157] ppid=1155 vsize=28768336 memory=1446932 CPUtime=19885.2 cores=0-7 /proc/1157/stat : 1157 (java) S 1155 1155 32308 0 -1 1077944320 1024657 0 0 0 1987599 922 0 0 20 0 28 0 511426951 29458776064 361733 33554432000 4194304 4196468 140729881856816 140729881839360 140360418655991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 /proc/1157/statm: 7192084 361733 3548 1 0 7153184 0 [pid=1157/tid=1158] ppid=1155 vsize=28768336 memory=1446932 CPUtime=0.99 cores=0-7 /proc/1157/task/1158/stat : 1158 (java) S 1155 1155 32308 0 -1 1077944384 9333 0 0 0 95 4 0 0 20 0 28 0 511426951 29458776064 361733 33554432000 4194304 4196468 140729881856816 140360422896768 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1159] ppid=1155 vsize=28768336 memory=1446932 CPUtime=11.02 cores=0-7 /proc/1157/task/1159/stat : 1159 (java) S 1155 1155 32308 0 -1 1077944384 32066 0 0 0 1070 32 0 0 20 0 28 0 511426952 29458776064 361733 33554432000 4194304 4196468 140729881856816 140360338508304 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1160] ppid=1155 vsize=28768336 memory=1446932 CPUtime=10.95 cores=0-7 /proc/1157/task/1160/stat : 1160 (java) S 1155 1155 32308 0 -1 1077944384 30539 0 0 0 1060 35 0 0 20 0 28 0 511426952 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359968610960 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1161] ppid=1155 vsize=28768336 memory=1446932 CPUtime=10.98 cores=0-7 /proc/1157/task/1161/stat : 1161 (java) S 1155 1155 32308 0 -1 1077944384 34811 0 0 0 1063 35 0 0 20 0 28 0 511426952 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359967557904 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1162] ppid=1155 vsize=28768336 memory=1452 CPUtime=10.99 cores=0-7 /proc/1157/task/1162/stat : 1162 (java) S 1155 1155 32308 0 -1 1077944384 31092 0 0 0 1063 36 0 0 20 0 28 0 511426952 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359966505360 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1163] ppid=1155 vsize=28768336 memory=1445864 CPUtime=10.91 cores=0-7 /proc/1157/task/1163/stat : 1163 (java) S 1155 1155 32308 0 -1 1077944384 29474 0 0 0 1052 39 0 0 20 0 28 0 511426952 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359965453328 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1164] ppid=1155 vsize=28768336 memory=1445824 CPUtime=10.96 cores=0-7 /proc/1157/task/1164/stat : 1164 (java) S 1155 1155 32308 0 -1 1077944384 27314 0 0 0 1059 37 0 0 20 0 28 0 511426952 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359964400784 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1165] ppid=1155 vsize=28768336 memory=281151243963808 CPUtime=11.02 cores=0-7 /proc/1157/task/1165/stat : 1165 (java) S 1155 1155 32308 0 -1 1077944384 31971 0 0 0 1065 37 0 0 20 0 28 0 511426952 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359963347728 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1166] ppid=1155 vsize=28768336 memory=7084821286523977828 CPUtime=11.07 cores=0-7 /proc/1157/task/1166/stat : 1166 (java) S 1155 1155 32308 0 -1 1077944384 30035 0 0 0 1069 38 0 0 20 0 28 0 511426952 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359962295184 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1167] ppid=1155 vsize=28768336 memory=1452 CPUtime=6.31 cores=0-7 /proc/1157/task/1167/stat : 1167 (java) S 1155 1155 32308 0 -1 1077944384 124243 0 0 0 360 271 0 0 20 0 28 0 511426954 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359669176560 140360418667138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1168] ppid=1155 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1157/task/1168/stat : 1168 (java) S 1155 1155 32308 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 511426954 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359668122848 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1169] ppid=1155 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/1157/task/1169/stat : 1169 (java) S 1155 1155 32308 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 511426954 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359667069696 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1170] ppid=1155 vsize=28768336 memory=1004 CPUtime=0 cores=0-7 /proc/1157/task/1170/stat : 1170 (java) S 1155 1155 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511426957 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359598335952 140360418674587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1171] ppid=1155 vsize=28768336 memory=0 CPUtime=1.65 cores=0-7 /proc/1157/task/1171/stat : 1171 (java) S 1155 1155 32308 0 -1 1077944384 7977 0 0 0 163 2 0 0 20 0 28 0 511426957 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359597284080 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1172] ppid=1155 vsize=28768336 memory=0 CPUtime=1.86 cores=0-7 /proc/1157/task/1172/stat : 1172 (java) S 1155 1155 32308 0 -1 1077944384 9254 0 0 0 183 3 0 0 20 0 28 0 511426957 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359596231536 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1173] ppid=1155 vsize=28768336 memory=1452 CPUtime=2.36 cores=0-7 /proc/1157/task/1173/stat : 1173 (java) S 1155 1155 32308 0 -1 1077944384 15365 0 0 0 233 3 0 0 20 0 28 0 511426957 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359595178480 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1174] ppid=1155 vsize=28768336 memory=1565868 CPUtime=0.81 cores=0-7 /proc/1157/task/1174/stat : 1174 (java) S 1155 1155 32308 0 -1 1077944384 8624 0 0 0 79 2 0 0 20 0 28 0 511426957 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359594125936 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1175] ppid=1155 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/1157/task/1175/stat : 1175 (java) S 1155 1155 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511426957 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359593073120 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1176] ppid=1155 vsize=28768336 memory=1452 CPUtime=0.57 cores=0-7 /proc/1157/task/1176/stat : 1176 (java) S 1155 1155 32308 0 -1 1077944384 4431 0 0 0 14 43 0 0 20 0 28 0 511426957 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359592020656 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1177] ppid=1155 vsize=28768336 memory=1452 CPUtime=2472.29 cores=0-7 /proc/1157/task/1177/stat : 1177 (java) R 1155 1155 32308 0 -1 4202560 19514 0 0 0 247211 18 0 0 20 0 28 0 511427053 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359583038024 140360026170687 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1178] ppid=1155 vsize=28768336 memory=1445864 CPUtime=2471.97 cores=0-7 /proc/1157/task/1178/stat : 1178 (java) R 1155 1155 32308 0 -1 4202560 13639 0 0 0 247181 16 0 0 20 0 28 0 511427053 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359581986600 140360025129667 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1179] ppid=1155 vsize=28768336 memory=1452 CPUtime=2471.16 cores=0-7 /proc/1157/task/1179/stat : 1179 (java) R 1155 1155 32308 0 -1 4202560 33272 0 0 0 247090 26 0 0 20 0 28 0 511427053 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359580934600 140360025096784 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1180] ppid=1155 vsize=28768336 memory=1452 CPUtime=2476.28 cores=0-7 /proc/1157/task/1180/stat : 1180 (java) R 1155 1155 32308 0 -1 4202560 125184 0 0 0 247556 72 0 0 20 0 28 0 511427054 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359579884992 140360025882600 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1181] ppid=1155 vsize=28768336 memory=1446932 CPUtime=2473.13 cores=0-7 /proc/1157/task/1181/stat : 1181 (java) R 1155 1155 32308 0 -1 4202560 97065 0 0 0 247259 54 0 0 20 0 28 0 511427054 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359578828968 140360024264866 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1182] ppid=1155 vsize=28768336 memory=1452 CPUtime=2468.72 cores=0-7 /proc/1157/task/1182/stat : 1182 (java) R 1155 1155 32308 0 -1 4202560 15102 0 0 0 246857 15 0 0 20 0 28 0 511427054 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359577776176 140360024263899 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1183] ppid=1155 vsize=28768336 memory=1506872 CPUtime=2476.55 cores=0-7 /proc/1157/task/1183/stat : 1183 (java) R 1155 1155 32308 0 -1 4202560 98447 0 0 0 247602 53 0 0 20 0 28 0 511427054 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359576723368 140360024248930 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1184] ppid=1155 vsize=28768336 memory=3028 CPUtime=2472.47 cores=0-7 /proc/1157/task/1184/stat : 1184 (java) R 1155 1155 32308 0 -1 4202560 194531 0 0 0 247133 114 0 0 20 0 28 0 511427054 29458776064 361733 33554432000 4194304 4196468 140729881856816 140359575670984 140360024264080 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 Current children cumulated CPU time: 19885.2 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1448384 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.28 8.31 8.26 9/220 1381 /proc/meminfo: memFree=27539064/32770624 swapFree=66999256/67108860 [pid=1155] ppid=1151 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1155/stat : 1155 (xcsp3-exec) S 1151 1155 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511426951 115843072 363 33554432000 4194304 5098028 140729884967264 140729884965368 140598921654908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19189760 140729884971893 140729884972137 140729884972137 140729884975050 0 /proc/1155/statm: 28282 363 304 221 0 87 0 [pid=1157] ppid=1155 vsize=28768336 memory=1326808 CPUtime=20026.3 cores=0-7 /proc/1157/stat : 1157 (java) S 1155 1155 32308 0 -1 1077944320 1040664 0 0 0 2001689 937 0 0 20 0 28 0 511426951 29458776064 331702 33554432000 4194304 4196468 140729881856816 140729881839360 140360418655991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 /proc/1157/statm: 7192084 331702 3548 1 0 7153184 0 [pid=1157/tid=1158] ppid=1155 vsize=28768336 memory=676 CPUtime=0.99 cores=0-7 /proc/1157/task/1158/stat : 1158 (java) S 1155 1155 32308 0 -1 1077944384 9333 0 0 0 95 4 0 0 20 0 28 0 511426951 29458776064 331702 33554432000 4194304 4196468 140729881856816 140360422896768 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1159] ppid=1155 vsize=28768336 memory=1060 CPUtime=11.08 cores=0-7 /proc/1157/task/1159/stat : 1159 (java) S 1155 1155 32308 0 -1 1077944384 32368 0 0 0 1076 32 0 0 20 0 28 0 511426952 29458776064 331702 33554432000 4194304 4196468 140729881856816 140360338508304 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1160] ppid=1155 vsize=28768336 memory=1548 CPUtime=11.02 cores=0-7 /proc/1157/task/1160/stat : 1160 (java) S 1155 1155 32308 0 -1 1077944384 31230 0 0 0 1067 35 0 0 20 0 28 0 511426952 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359968610960 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1161] ppid=1155 vsize=28768336 memory=4126316290023845779 CPUtime=11.05 cores=0-7 /proc/1157/task/1161/stat : 1161 (java) S 1155 1155 32308 0 -1 1077944384 36258 0 0 0 1069 36 0 0 20 0 28 0 511426952 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359967557904 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1162] ppid=1155 vsize=28768336 memory=303148769816609083 CPUtime=11.05 cores=0-7 /proc/1157/task/1162/stat : 1162 (java) S 1155 1155 32308 0 -1 1077944384 32132 0 0 0 1069 36 0 0 20 0 28 0 511426952 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359966505360 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1163] ppid=1155 vsize=28768336 memory=15822192189376443 CPUtime=10.97 cores=0-7 /proc/1157/task/1163/stat : 1163 (java) S 1155 1155 32308 0 -1 1077944384 30243 0 0 0 1058 39 0 0 20 0 28 0 511426952 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359965453328 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1164] ppid=1155 vsize=28768336 memory=111628 CPUtime=11.03 cores=0-7 /proc/1157/task/1164/stat : 1164 (java) S 1155 1155 32308 0 -1 1077944384 27640 0 0 0 1065 38 0 0 20 0 28 0 511426952 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359964400784 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1165] ppid=1155 vsize=28768336 memory=796 CPUtime=11.09 cores=0-7 /proc/1157/task/1165/stat : 1165 (java) S 1155 1155 32308 0 -1 1077944384 32438 0 0 0 1071 38 0 0 20 0 28 0 511426952 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359963347728 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1166] ppid=1155 vsize=28768336 memory=1712 CPUtime=11.13 cores=0-7 /proc/1157/task/1166/stat : 1166 (java) S 1155 1155 32308 0 -1 1077944384 30201 0 0 0 1075 38 0 0 20 0 28 0 511426952 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359962295184 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1167] ppid=1155 vsize=28768336 memory=1808 CPUtime=6.34 cores=0-7 /proc/1157/task/1167/stat : 1167 (java) S 1155 1155 32308 0 -1 1077944384 125011 0 0 0 361 273 0 0 20 0 28 0 511426954 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359669176560 140360418667138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1168] ppid=1155 vsize=28768336 memory=920 CPUtime=0 cores=0-7 /proc/1157/task/1168/stat : 1168 (java) S 1155 1155 32308 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 511426954 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359668122848 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1169] ppid=1155 vsize=28768336 memory=4836 CPUtime=0 cores=0-7 /proc/1157/task/1169/stat : 1169 (java) S 1155 1155 32308 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 511426954 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359667069696 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1170] ppid=1155 vsize=28768336 memory=6935054825532540783 CPUtime=0 cores=0-7 /proc/1157/task/1170/stat : 1170 (java) S 1155 1155 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511426957 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359598335952 140360418674587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1171] ppid=1155 vsize=28768336 memory=3764 CPUtime=1.65 cores=0-7 /proc/1157/task/1171/stat : 1171 (java) S 1155 1155 32308 0 -1 1077944384 7983 0 0 0 163 2 0 0 20 0 28 0 511426957 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359597284080 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1172] ppid=1155 vsize=28768336 memory=932 CPUtime=1.86 cores=0-7 /proc/1157/task/1172/stat : 1172 (java) S 1155 1155 32308 0 -1 1077944384 9260 0 0 0 183 3 0 0 20 0 28 0 511426957 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359596231536 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1173] ppid=1155 vsize=28768336 memory=1452 CPUtime=2.36 cores=0-7 /proc/1157/task/1173/stat : 1173 (java) S 1155 1155 32308 0 -1 1077944384 15371 0 0 0 233 3 0 0 20 0 28 0 511426957 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359595178480 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1174] ppid=1155 vsize=28768336 memory=1358100 CPUtime=0.81 cores=0-7 /proc/1157/task/1174/stat : 1174 (java) S 1155 1155 32308 0 -1 1077944384 8630 0 0 0 79 2 0 0 20 0 28 0 511426957 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359594125936 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1175] ppid=1155 vsize=28768336 memory=4108 CPUtime=0 cores=0-7 /proc/1157/task/1175/stat : 1175 (java) S 1155 1155 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511426957 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359593073120 140360418666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1176] ppid=1155 vsize=28768336 memory=3768 CPUtime=0.57 cores=0-7 /proc/1157/task/1176/stat : 1176 (java) S 1155 1155 32308 0 -1 1077944384 4481 0 0 0 14 43 0 0 20 0 28 0 511426957 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359592020656 140360418667138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1177] ppid=1155 vsize=28768336 memory=1980 CPUtime=2489.9 cores=0-7 /proc/1157/task/1177/stat : 1177 (java) R 1155 1155 32308 0 -1 4202560 19826 0 0 0 248972 18 0 0 20 0 28 0 511427053 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359583038024 140360024263788 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1178] ppid=1155 vsize=28768336 memory=3504 CPUtime=2489.51 cores=0-7 /proc/1157/task/1178/stat : 1178 (java) R 1155 1155 32308 0 -1 4202560 13894 0 0 0 248935 16 0 0 20 0 28 0 511427053 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359581986600 140360024721569 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1179] ppid=1155 vsize=28768336 memory=65244 CPUtime=2488.77 cores=0-7 /proc/1157/task/1179/stat : 1179 (java) R 1155 1155 32308 0 -1 4202560 33998 0 0 0 248850 27 0 0 20 0 28 0 511427053 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359580934120 140360027281502 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1180] ppid=1155 vsize=28768336 memory=3028 CPUtime=2493.9 cores=0-7 /proc/1157/task/1180/stat : 1180 (java) R 1155 1155 32308 0 -1 4202560 129760 0 0 0 249311 79 0 0 20 0 28 0 511427054 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359579882600 140360025096978 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1181] ppid=1155 vsize=28768336 memory=1452 CPUtime=2490.74 cores=0-7 /proc/1157/task/1181/stat : 1181 (java) R 1155 1155 32308 0 -1 4202560 97759 0 0 0 249019 55 0 0 20 0 28 0 511427054 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359578828968 140360025129861 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1182] ppid=1155 vsize=28768336 memory=1374004 CPUtime=2486.21 cores=0-7 /proc/1157/task/1182/stat : 1182 (java) R 1155 1155 32308 0 -1 4202560 15301 0 0 0 248605 16 0 0 20 0 28 0 511427054 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359577776208 140360025624581 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1183] ppid=1155 vsize=28768336 memory=281151243977264 CPUtime=2493.97 cores=0-7 /proc/1157/task/1183/stat : 1183 (java) R 1155 1155 32308 0 -1 4202560 100175 0 0 0 249343 54 0 0 20 0 28 0 511427054 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359576726336 140360025129782 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 [pid=1157/tid=1184] ppid=1155 vsize=28768336 memory=16106961406002733 CPUtime=2490.09 cores=0-7 /proc/1157/task/1184/stat : 1184 (java) R 1155 1155 32308 0 -1 4202560 195998 0 0 0 248894 115 0 0 20 0 28 0 511427054 29458776064 331702 33554432000 4194304 4196468 140729881856816 140359575670824 140360027133000 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 34820096 140729881863146 140729881863318 140729881863318 140729881866191 0 Current children cumulated CPU time: 20026.3 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1328260 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.03 s] # the end of solver process 1155 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000795 s, system=0.00159 s [startup+2520.12 s] # the end of solver process 1157 was just reported to runsolver # cumulated CPU time of all completed processes: user=20017.6 s, system=9.39475 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.12 CPU time (s): 20027 CPU user time (s): 20017.6 CPU system time (s): 9.39475 CPU usage (%): 794.685 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 1788264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20017.6 system time used= 9.39475 maximum resident set size= 1786812 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1041609 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3448 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 213526 involuntary context switches= 237118 # summary of solver processes directly reported to runsolver: # pid: 1155,1157 # total CPU time (s): 20027 # total CPU user time (s): 20017.6 # total CPU system time (s): 9.39475 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 23.1903 second user time and 26.7218 second system time The end
Begin job on node103 at 2019-09-24 21:01:20 IDJOB=4406672 IDBENCH=128090 IDSOLVER=2871 FILE ID=node103/4406672-1569351739 RUNJOBID= node103-1569348342-32335 PBS_JOBID= 21705080 Free space on /tmp= 20860 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-16-81.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-4406672-1569351739/watcher-4406672-1569351739 -o /tmp/evaluation-result-4406672-1569351739/solver-4406672-1569351739 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569348342-32335 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1840524085 HOME/instance-4406672-1569351739.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e1683218a1e3c524b21c5eaa634d1705 RANDOM SEED=1840524085 node103.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.74 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.74 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.74 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.74 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: 28857936 kB MemAvailable: 31850692 kB Buffers: 56324 kB Cached: 3213332 kB SwapCached: 7000 kB Active: 3167512 kB Inactive: 116100 kB Active(anon): 4224 kB Inactive(anon): 67432 kB Active(file): 3163288 kB Inactive(file): 48668 kB Unevictable: 107728 kB Mlocked: 107728 kB SwapTotal: 67108860 kB SwapFree: 66999256 kB Dirty: 26196 kB Writeback: 0 kB AnonPages: 125396 kB Mapped: 56924 kB Shmem: 49080 kB Slab: 221624 kB SReclaimable: 193272 kB SUnreclaim: 28352 kB KernelStack: 3744 kB PageTables: 6172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514816 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 20832 MiB End job on node103 at 2019-09-24 21:43:20