Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | UNSAT | 180.21 | 23.7296 |
Name | Random/Random-D-t020/ rand-2-40-11-414-020-79.xml |
MD5SUM | c0f256b6b5f799b1206df7220afe38a7 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 31.3194 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 414 |
Number of domains | 1 |
Minimum domain size | 11 |
Maximum domain size | 11 |
Distribution of domain sizes | [{"size":11,"count":40}] |
Minimum variable degree | 14 |
Maximum variable degree | 26 |
Distribution of variable degrees | [{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":18,"count":6},{"degree":19,"count":4},{"degree":20,"count":5},{"degree":21,"count":6},{"degree":22,"count":6},{"degree":23,"count":5},{"degree":24,"count":1},{"degree":25,"count":2},{"degree":26,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":414}] |
Number of extensional constraints | 414 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":414}] |
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-4399436-1568702187.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399436-1568702187.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.86/0.97 c solve instance... 180.05/23.72 s UNSATISFIABLE
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 (10673 MiB free) memory of node 1: 16384 MiB (15480 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399436-1568702187/watcher-4399436-1568702187 -o /tmp/evaluation-result-4399436-1568702187/solver-4399436-1568702187 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568700680-21726 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1106988457 HOME/instance-4399436-1568702187.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=23046, runsolver pid=23043 [startup+0.100116 s]* /proc/loadavg: 7.99 8.09 7.46 3/211 23067 /proc/meminfo: memFree=26764732/32770624 swapFree=66941532/67108860 [pid=23046] ppid=23043 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23046/stat : 23046 (xcsp3-exec) S 23043 23046 21699 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446457349 115843072 363 33554432000 4194304 5098028 140721148216256 140721148214360 140236484182652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12472320 140721148220277 140721148220521 140721148220521 140721148223434 0 /proc/23046/statm: 28282 363 304 221 0 87 0 [pid=23048] ppid=23046 vsize=28227396 memory=28936 CPUtime=0.12 cores=0-7 /proc/23048/stat : 23048 (java) S 23046 23046 21699 0 -1 1077944320 5716 0 0 0 11 1 0 0 20 0 20 0 446457350 28904853504 7234 33554432000 4194304 4196468 140735083820992 140735083803536 139820234071799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 /proc/23048/statm: 7056849 7234 3120 1 0 7019032 0 [pid=23048/tid=23049] ppid=23046 vsize=28227396 memory=7680778597131264411 CPUtime=0.08 cores=0-7 /proc/23048/task/23049/stat : 23049 (java) R 23046 23046 21699 0 -1 4202560 3614 0 0 0 8 0 0 0 20 0 20 0 446457350 28904853504 7234 33554432000 4194304 4196468 140735083820992 139820238306080 139820218115429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23050] ppid=23046 vsize=28227396 memory=732369961738570725 CPUtime=0 cores=0-7 /proc/23048/task/23050/stat : 23050 (java) S 23046 23046 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 7234 33554432000 4194304 4196468 140735083820992 139820186692752 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23051] ppid=23046 vsize=28227396 memory=139823401117312 CPUtime=0 cores=0-7 /proc/23048/task/23051/stat : 23051 (java) S 23046 23046 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 7234 33554432000 4194304 4196468 140735083820992 139820185639952 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23052] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23052/stat : 23052 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 7234 33554432000 4194304 4196468 140735083820992 139820184587152 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23053] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23053/stat : 23053 (java) S 23046 23046 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 7234 33554432000 4194304 4196468 140735083820992 139820183534352 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23054] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23054/stat : 23054 (java) S 23046 23046 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 7234 33554432000 4194304 4196468 140735083820992 139820182481552 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23055] ppid=23046 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23048/task/23055/stat : 23055 (java) S 23046 23046 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 7234 33554432000 4194304 4196468 140735083820992 139820181428752 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23056] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23056/stat : 23056 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 7234 33554432000 4194304 4196468 140735083820992 139820180375952 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23057] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23057/stat : 23057 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 7234 33554432000 4194304 4196468 140735083820992 139820179323152 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23058] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23058/stat : 23058 (java) S 23046 23046 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446457352 28904853504 7234 33554432000 4194304 4196468 140735083820992 139819551578992 139820234082946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23059] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23059/stat : 23059 (java) S 23046 23046 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446457353 28904853504 7234 33554432000 4194304 4196468 140735083820992 139819550524960 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23060] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23060/stat : 23060 (java) S 23046 23046 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446457353 28904853504 7234 33554432000 4194304 4196468 140735083820992 139819549472112 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23061] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23061/stat : 23061 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457355 28904853504 7234 33554432000 4194304 4196468 140735083820992 139819548420432 139820234090395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23062] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23062/stat : 23062 (java) S 23046 23046 21699 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 446457355 28904853504 7234 33554432000 4194304 4196468 140735083820992 139819547367792 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23063] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23063/stat : 23063 (java) R 23046 23046 21699 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446457355 28904853504 7234 33554432000 4194304 4196468 140735083820992 139819546314992 139820234082946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23064] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23064/stat : 23064 (java) R 23046 23046 21699 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 446457355 28904853504 7234 33554432000 4194304 4196468 140735083820992 139819545262192 139820213944594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23065] ppid=23046 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/23048/task/23065/stat : 23065 (java) R 23046 23046 21699 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 20 0 446457355 28904853504 7234 33554432000 4194304 4196468 140735083820992 139819544209392 139820212592304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23066] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23066/stat : 23066 (java) S 23046 23046 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446457356 28904853504 7234 33554432000 4194304 4196468 140735083820992 139819543157856 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23067] ppid=23046 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23048/task/23067/stat : 23067 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457356 28904853504 7234 33554432000 4194304 4196468 140735083820992 139819542105136 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30388 KiB [startup+0.21051 s]* /proc/loadavg: 7.99 8.09 7.46 3/211 23067 /proc/meminfo: memFree=26753260/32770624 swapFree=66941532/67108860 [pid=23046] ppid=23043 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23046/stat : 23046 (xcsp3-exec) S 23043 23046 21699 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446457349 115843072 363 33554432000 4194304 5098028 140721148216256 140721148214360 140236484182652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12472320 140721148220277 140721148220521 140721148220521 140721148223434 0 /proc/23046/statm: 28282 363 304 221 0 87 0 [pid=23048] ppid=23046 vsize=28227396 memory=41052 CPUtime=0.34 cores=0-7 /proc/23048/stat : 23048 (java) S 23046 23046 21699 0 -1 1077944320 9552 0 0 0 31 3 0 0 20 0 20 0 446457350 28904853504 10263 33554432000 4194304 4196468 140735083820992 140735083803536 139820234071799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 /proc/23048/statm: 7056849 10263 3285 1 0 7019032 0 [pid=23048/tid=23049] ppid=23046 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7 /proc/23048/task/23049/stat : 23049 (java) R 23046 23046 21699 0 -1 4202560 6643 0 0 0 17 2 0 0 20 0 20 0 446457350 28904853504 10263 33554432000 4194304 4196468 140735083820992 139820238299888 139819858675271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23050] ppid=23046 vsize=28227396 memory=732369961738570725 CPUtime=0 cores=0-7 /proc/23048/task/23050/stat : 23050 (java) S 23046 23046 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 10263 33554432000 4194304 4196468 140735083820992 139820186692752 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23051] ppid=23046 vsize=28227396 memory=139823401117312 CPUtime=0 cores=0-7 /proc/23048/task/23051/stat : 23051 (java) S 23046 23046 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 10263 33554432000 4194304 4196468 140735083820992 139820185639952 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23052] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23052/stat : 23052 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 10263 33554432000 4194304 4196468 140735083820992 139820184587152 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23053] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23053/stat : 23053 (java) S 23046 23046 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 10263 33554432000 4194304 4196468 140735083820992 139820183534352 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23054] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23054/stat : 23054 (java) S 23046 23046 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 10263 33554432000 4194304 4196468 140735083820992 139820182481552 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23055] ppid=23046 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23048/task/23055/stat : 23055 (java) S 23046 23046 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 10263 33554432000 4194304 4196468 140735083820992 139820181428752 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23056] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23056/stat : 23056 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 10263 33554432000 4194304 4196468 140735083820992 139820180375952 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23057] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23057/stat : 23057 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457351 28904853504 10263 33554432000 4194304 4196468 140735083820992 139820179323152 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23058] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23058/stat : 23058 (java) S 23046 23046 21699 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446457352 28904853504 10263 33554432000 4194304 4196468 140735083820992 139819551578992 139820234082946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23059] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23059/stat : 23059 (java) S 23046 23046 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446457353 28904853504 10263 33554432000 4194304 4196468 140735083820992 139819550524960 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23060] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23060/stat : 23060 (java) S 23046 23046 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446457353 28904853504 10263 33554432000 4194304 4196468 140735083820992 139819549472112 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23061] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23061/stat : 23061 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457355 28904853504 10263 33554432000 4194304 4196468 140735083820992 139819548420432 139820234090395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23062] ppid=23046 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23048/task/23062/stat : 23062 (java) S 23046 23046 21699 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 20 0 446457355 28904853504 10263 33554432000 4194304 4196468 140735083820992 139819547367792 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23063] ppid=23046 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23048/task/23063/stat : 23063 (java) S 23046 23046 21699 0 -1 1077944384 204 0 0 0 1 0 0 0 20 0 20 0 446457355 28904853504 10263 33554432000 4194304 4196468 140735083820992 139819546314992 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23064] ppid=23046 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/23048/task/23064/stat : 23064 (java) S 23046 23046 21699 0 -1 1077944384 319 0 0 0 2 0 0 0 20 0 20 0 446457355 28904853504 10263 33554432000 4194304 4196468 140735083820992 139819545262192 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23065] ppid=23046 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/23048/task/23065/stat : 23065 (java) R 23046 23046 21699 0 -1 4202560 753 0 0 0 8 0 0 0 20 0 20 0 446457355 28904853504 10263 33554432000 4194304 4196468 140735083820992 139819544209392 139820234083734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23066] ppid=23046 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23066/stat : 23066 (java) S 23046 23046 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446457356 28904853504 10263 33554432000 4194304 4196468 140735083820992 139819543157856 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23067] ppid=23046 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23048/task/23067/stat : 23067 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457356 28904853504 10263 33554432000 4194304 4196468 140735083820992 139819542105136 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42504 KiB [startup+0.310318 s]* /proc/loadavg: 7.99 8.09 7.46 4/211 23067 /proc/meminfo: memFree=26746064/32770624 swapFree=66941532/67108860 [pid=23046] ppid=23043 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23046/stat : 23046 (xcsp3-exec) S 23043 23046 21699 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446457349 115843072 363 33554432000 4194304 5098028 140721148216256 140721148214360 140236484182652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12472320 140721148220277 140721148220521 140721148220521 140721148223434 0 /proc/23046/statm: 28282 363 304 221 0 87 0 [pid=23048] ppid=23046 vsize=28231652 memory=50140 CPUtime=0.53 cores=0-7 /proc/23048/stat : 23048 (java) S 23046 23046 21699 0 -1 1077944320 10961 0 0 0 49 4 0 0 20 0 20 0 446457350 28909211648 12535 33554432000 4194304 4196468 140735083820992 140735083803536 139820234071799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 /proc/23048/statm: 7057913 12535 3338 1 0 7019032 0 [pid=23048/tid=23049] ppid=23046 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/23048/task/23049/stat : 23049 (java) R 23046 23046 21699 0 -1 4202560 7825 0 0 0 27 3 0 0 20 0 20 0 446457350 28909211648 12535 33554432000 4194304 4196468 140735083820992 139820238302912 139820234093725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23050] ppid=23046 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23050/stat : 23050 (java) S 23046 23046 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446457351 28909211648 12535 33554432000 4194304 4196468 140735083820992 139820186692752 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23051] ppid=23046 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23051/stat : 23051 (java) S 23046 23046 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446457351 28909211648 12535 33554432000 4194304 4196468 140735083820992 139820185639952 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23052] ppid=23046 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23052/stat : 23052 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457351 28909211648 12535 33554432000 4194304 4196468 140735083820992 139820184587152 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23053] ppid=23046 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23053/stat : 23053 (java) S 23046 23046 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446457351 28909211648 12535 33554432000 4194304 4196468 140735083820992 139820183534352 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23054] ppid=23046 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/23048/task/23054/stat : 23054 (java) S 23046 23046 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446457351 28909211648 12535 33554432000 4194304 4196468 140735083820992 139820182481552 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23055] ppid=23046 vsize=28231652 memory=139823264396207 CPUtime=0 cores=0-7 /proc/23048/task/23055/stat : 23055 (java) S 23046 23046 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446457351 28909211648 12600 33554432000 4194304 4196468 140735083820992 139820181428752 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23056] ppid=23046 vsize=28231652 memory=139823264398512 CPUtime=0 cores=0-7 /proc/23048/task/23056/stat : 23056 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457351 28909211648 12600 33554432000 4194304 4196468 140735083820992 139820180375952 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23057] ppid=23046 vsize=28231652 memory=139823264400816 CPUtime=0 cores=0-7 /proc/23048/task/23057/stat : 23057 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457351 28909211648 12600 33554432000 4194304 4196468 140735083820992 139820179323152 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23058] ppid=23046 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23058/stat : 23058 (java) S 23046 23046 21699 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446457352 28909211648 12600 33554432000 4194304 4196468 140735083820992 139819551578992 139820234082946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23059] ppid=23046 vsize=28231652 memory=279646528808592 CPUtime=0 cores=0-7 /proc/23048/task/23059/stat : 23059 (java) S 23046 23046 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446457353 28909211648 12600 33554432000 4194304 4196468 140735083820992 139819550524960 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23060] ppid=23046 vsize=28231652 memory=279646528815504 CPUtime=0 cores=0-7 /proc/23048/task/23060/stat : 23060 (java) S 23046 23046 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446457353 28909211648 12600 33554432000 4194304 4196468 140735083820992 139819549472112 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23061] ppid=23046 vsize=28231652 memory=279646528756656 CPUtime=0 cores=0-7 /proc/23048/task/23061/stat : 23061 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457355 28909211648 12600 33554432000 4194304 4196468 140735083820992 139819548420432 139820234090395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23062] ppid=23046 vsize=28231652 memory=279646528829328 CPUtime=0.03 cores=0-7 /proc/23048/task/23062/stat : 23062 (java) R 23046 23046 21699 0 -1 4202560 437 0 0 0 3 0 0 0 20 0 20 0 446457355 28909211648 12600 33554432000 4194304 4196468 140735083820992 139819547367792 139820215615894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23063] ppid=23046 vsize=28231652 memory=279646528836240 CPUtime=0.02 cores=0-7 /proc/23048/task/23063/stat : 23063 (java) S 23046 23046 21699 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 20 0 446457355 28909211648 12600 33554432000 4194304 4196468 140735083820992 139819546314992 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23064] ppid=23046 vsize=28231396 memory=279646528833936 CPUtime=0.03 cores=0-7 /proc/23048/task/23064/stat : 23064 (java) S 23046 23046 21699 0 -1 1077944384 329 0 0 0 3 0 0 0 20 0 20 0 446457355 28908949504 12605 33554432000 4194304 4196468 140735083820992 139819545262192 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23065] ppid=23046 vsize=28231652 memory=279646528850096 CPUtime=0.12 cores=0-7 /proc/23048/task/23065/stat : 23065 (java) S 23046 23046 21699 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 20 0 446457355 28909211648 12605 33554432000 4194304 4196468 140735083820992 139819544209392 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23066] ppid=23046 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23066/stat : 23066 (java) S 23046 23046 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446457356 28909211648 12605 33554432000 4194304 4196468 140735083820992 139819543157856 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23067] ppid=23046 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/23048/task/23067/stat : 23067 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457356 28909211648 12605 33554432000 4194304 4196468 140735083820992 139819542105136 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51592 KiB [startup+0.701014 s] /proc/loadavg: 7.99 8.09 7.46 5/211 23067 /proc/meminfo: memFree=26718400/32770624 swapFree=66941532/67108860 [pid=23046] ppid=23043 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23046/stat : 23046 (xcsp3-exec) S 23043 23046 21699 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446457349 115843072 363 33554432000 4194304 5098028 140721148216256 140721148214360 140236484182652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12472320 140721148220277 140721148220521 140721148220521 140721148223434 0 /proc/23046/statm: 28282 363 304 221 0 87 0 [pid=23048] ppid=23046 vsize=28233776 memory=117736 CPUtime=2 cores=0-7 /proc/23048/stat : 23048 (java) S 23046 23046 21699 0 -1 1077944320 18011 0 0 0 193 7 0 0 20 0 20 0 446457350 28911386624 29434 33554432000 4194304 4196468 140735083820992 140735083803536 139820234071799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 /proc/23048/statm: 7058444 29434 3454 1 0 7019544 0 [pid=23048/tid=23049] ppid=23046 vsize=28233776 memory=279646529145024 CPUtime=0.68 cores=0-7 /proc/23048/task/23049/stat : 23049 (java) R 23046 23046 21699 0 -1 4202560 8883 0 0 0 64 4 0 0 20 0 20 0 446457350 28911386624 29434 33554432000 4194304 4196468 140735083820992 139820238309440 139819862544299 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23050] ppid=23046 vsize=28233776 memory=5003636900997 CPUtime=0 cores=0-7 /proc/23048/task/23050/stat : 23050 (java) S 23046 23046 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446457351 28911386624 29434 33554432000 4194304 4196468 140735083820992 139820186692752 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23051] ppid=23046 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23051/stat : 23051 (java) S 23046 23046 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446457351 28911386624 29434 33554432000 4194304 4196468 140735083820992 139820185639952 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23052] ppid=23046 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23052/stat : 23052 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446457351 28911386624 29434 33554432000 4194304 4196468 140735083820992 139820184587152 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 ################ # More data... # ################ [pid=23048/tid=23065] ppid=23046 vsize=28766288 memory=140 CPUtime=0.63 cores=0-7 /proc/23048/task/23065/stat : 23065 (java) S 23046 23046 21699 0 -1 1077944384 4732 0 0 0 62 1 0 0 20 0 28 0 446457355 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819544209392 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 52 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23066] ppid=23046 vsize=28766288 memory=124 CPUtime=0 cores=0-7 /proc/23048/task/23066/stat : 23066 (java) S 23046 23046 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446457356 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819543157856 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23067] ppid=23046 vsize=28766288 memory=128 CPUtime=0 cores=0-7 /proc/23048/task/23067/stat : 23067 (java) S 23046 23046 21699 0 -1 1077944384 783 0 0 0 0 0 0 0 20 0 28 0 446457356 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819542105136 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23068] ppid=23046 vsize=28766288 memory=63 CPUtime=21.22 cores=0-7 /proc/23048/task/23068/stat : 23068 (java) R 23046 23046 21699 0 -1 4202560 228 0 0 0 2122 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819532885208 139819865064757 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23069] ppid=23046 vsize=28766288 memory=0 CPUtime=21.2 cores=0-7 /proc/23048/task/23069/stat : 23069 (java) R 23046 23046 21699 0 -1 4202560 192 0 0 0 2120 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819531833248 139819865004419 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23070] ppid=23046 vsize=28766288 memory=0 CPUtime=21.05 cores=0-7 /proc/23048/task/23070/stat : 23070 (java) R 23046 23046 21699 0 -1 4202560 728 0 0 0 2105 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819530783736 139819865064559 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23071] ppid=23046 vsize=28766288 memory=1564 CPUtime=21.14 cores=0-7 /proc/23048/task/23071/stat : 23071 (java) R 23046 23046 21699 0 -1 4202560 458 0 0 0 2114 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819529731752 139819865422838 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23072] ppid=23046 vsize=28766288 memory=1563 CPUtime=21.08 cores=0-7 /proc/23048/task/23072/stat : 23072 (java) R 23046 23046 21699 0 -1 4202560 525 0 0 0 2108 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819528675224 139819864679070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23073] ppid=23046 vsize=28766288 memory=1549 CPUtime=21.41 cores=0-7 /proc/23048/task/23073/stat : 23073 (java) R 23046 23046 21699 0 -1 4202560 296 0 0 0 2141 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819527625776 139819865064390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23074] ppid=23046 vsize=28766288 memory=1752 CPUtime=21.37 cores=0-7 /proc/23048/task/23074/stat : 23074 (java) R 23046 23046 21699 0 -1 4202560 230 0 0 0 2137 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819526570568 139819864678875 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23075] ppid=23046 vsize=28766288 memory=1056 CPUtime=21.46 cores=0-7 /proc/23048/task/23075/stat : 23075 (java) R 23046 23046 21699 0 -1 4202560 580 0 0 0 2145 1 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819525517752 139819865063992 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 Current children cumulated CPU time: 176.08 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 231200 KiB [startup+23.6018 s] /proc/loadavg: 7.99 8.08 7.48 9/220 23077 /proc/meminfo: memFree=26566940/32770624 swapFree=66941532/67108860 [pid=23046] ppid=23043 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23046/stat : 23046 (xcsp3-exec) S 23043 23046 21699 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446457349 115843072 363 33554432000 4194304 5098028 140721148216256 140721148214360 140236484182652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12472320 140721148220277 140721148220521 140721148220521 140721148223434 0 /proc/23046/statm: 28282 363 304 221 0 87 0 [pid=23048] ppid=23046 vsize=28766288 memory=229748 CPUtime=179.25 cores=0-7 /proc/23048/stat : 23048 (java) S 23046 23046 21699 0 -1 1077944320 37380 0 0 0 17889 36 0 0 20 0 28 0 446457350 29456678912 57437 33554432000 4194304 4196468 140735083820992 140735083803536 139820234071799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 /proc/23048/statm: 7191572 57437 3511 1 0 7152672 0 [pid=23048/tid=23049] ppid=23046 vsize=28766288 memory=1988 CPUtime=0.94 cores=0-7 /proc/23048/task/23049/stat : 23049 (java) S 23046 23046 21699 0 -1 1077944384 8999 0 0 0 90 4 0 0 20 0 28 0 446457350 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820238312576 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23050] ppid=23046 vsize=28766288 memory=988 CPUtime=0.05 cores=0-7 /proc/23048/task/23050/stat : 23050 (java) S 23046 23046 21699 0 -1 1077944384 1369 0 0 0 3 2 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820186692752 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23051] ppid=23046 vsize=28766288 memory=1428 CPUtime=0.04 cores=0-7 /proc/23048/task/23051/stat : 23051 (java) S 23046 23046 21699 0 -1 1077944384 144 0 0 0 2 2 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820185639952 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23052] ppid=23046 vsize=28766288 memory=1752 CPUtime=0.05 cores=0-7 /proc/23048/task/23052/stat : 23052 (java) S 23046 23046 21699 0 -1 1077944384 454 0 0 0 3 2 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820184587152 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23053] ppid=23046 vsize=28766288 memory=1056 CPUtime=0.06 cores=0-7 /proc/23048/task/23053/stat : 23053 (java) S 23046 23046 21699 0 -1 1077944384 306 0 0 0 3 3 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820183534352 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23054] ppid=23046 vsize=28766288 memory=1556 CPUtime=0.06 cores=0-7 /proc/23048/task/23054/stat : 23054 (java) S 23046 23046 21699 0 -1 1077944384 994 0 0 0 4 2 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820182481552 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23055] ppid=23046 vsize=28766288 memory=11632 CPUtime=0.06 cores=0-7 /proc/23048/task/23055/stat : 23055 (java) S 23046 23046 21699 0 -1 1077944384 980 0 0 0 4 2 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820181428752 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23056] ppid=23046 vsize=28766288 memory=6791534058613427641 CPUtime=0.05 cores=0-7 /proc/23048/task/23056/stat : 23056 (java) S 23046 23046 21699 0 -1 1077944384 178 0 0 0 3 2 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820180375952 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23057] ppid=23046 vsize=28766288 memory=28080 CPUtime=0.06 cores=0-7 /proc/23048/task/23057/stat : 23057 (java) S 23046 23046 21699 0 -1 1077944384 1090 0 0 0 4 2 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820179323152 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23058] ppid=23046 vsize=28766288 memory=1556 CPUtime=0.02 cores=0-7 /proc/23048/task/23058/stat : 23058 (java) S 23046 23046 21699 0 -1 1077944384 1029 0 0 0 2 0 0 0 20 0 28 0 446457352 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819551578992 139820234082946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23059] ppid=23046 vsize=28766288 memory=532 CPUtime=0 cores=0-7 /proc/23048/task/23059/stat : 23059 (java) S 23046 23046 21699 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 446457353 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819550525024 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23060] ppid=23046 vsize=28766288 memory=928 CPUtime=0 cores=0-7 /proc/23048/task/23060/stat : 23060 (java) S 23046 23046 21699 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 446457353 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819549472128 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23061] ppid=23046 vsize=28766288 memory=1720 CPUtime=0 cores=0-7 /proc/23048/task/23061/stat : 23061 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446457355 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819548420432 139820234090395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23062] ppid=23046 vsize=28766288 memory=1976 CPUtime=1.4 cores=0-7 /proc/23048/task/23062/stat : 23062 (java) S 23046 23046 21699 0 -1 1077944384 5473 0 0 0 139 1 0 0 20 0 28 0 446457355 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819547367792 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23063] ppid=23046 vsize=28766288 memory=2432 CPUtime=1.24 cores=0-7 /proc/23048/task/23063/stat : 23063 (java) S 23046 23046 21699 0 -1 1077944384 2802 0 0 0 123 1 0 0 20 0 28 0 446457355 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819546314992 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23064] ppid=23046 vsize=28766288 memory=1436 CPUtime=1.28 cores=0-7 /proc/23048/task/23064/stat : 23064 (java) S 23046 23046 21699 0 -1 1077944384 3442 0 0 0 127 1 0 0 20 0 28 0 446457355 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819545262192 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 52 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23065] ppid=23046 vsize=28766288 memory=0 CPUtime=0.63 cores=0-7 /proc/23048/task/23065/stat : 23065 (java) S 23046 23046 21699 0 -1 1077944384 4732 0 0 0 62 1 0 0 20 0 28 0 446457355 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819544209392 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 52 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23066] ppid=23046 vsize=28766288 memory=1732 CPUtime=0 cores=0-7 /proc/23048/task/23066/stat : 23066 (java) S 23046 23046 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446457356 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819543157856 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23067] ppid=23046 vsize=28766288 memory=1088 CPUtime=0 cores=0-7 /proc/23048/task/23067/stat : 23067 (java) S 23046 23046 21699 0 -1 1077944384 783 0 0 0 0 0 0 0 20 0 28 0 446457356 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819542105136 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23068] ppid=23046 vsize=28766288 memory=988 CPUtime=21.62 cores=0-7 /proc/23048/task/23068/stat : 23068 (java) R 23046 23046 21699 0 -1 4202560 228 0 0 0 2162 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819532885208 139819865064717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23069] ppid=23046 vsize=28766288 memory=780 CPUtime=21.6 cores=0-7 /proc/23048/task/23069/stat : 23069 (java) R 23046 23046 21699 0 -1 4202560 192 0 0 0 2160 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819531833248 139819865378863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23070] ppid=23046 vsize=28766288 memory=6004 CPUtime=21.45 cores=0-7 /proc/23048/task/23070/stat : 23070 (java) R 23046 23046 21699 0 -1 4202560 728 0 0 0 2145 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819530783736 139819864679109 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23071] ppid=23046 vsize=28766288 memory=624 CPUtime=21.54 cores=0-7 /proc/23048/task/23071/stat : 23071 (java) R 23046 23046 21699 0 -1 4202560 458 0 0 0 2154 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819529731752 139819865064717 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23072] ppid=23046 vsize=28766288 memory=4004 CPUtime=21.48 cores=0-7 /proc/23048/task/23072/stat : 23072 (java) R 23046 23046 21699 0 -1 4202560 525 0 0 0 2148 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819528675224 139819864679293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23073] ppid=23046 vsize=28766288 memory=2832 CPUtime=21.8 cores=0-7 /proc/23048/task/23073/stat : 23073 (java) R 23046 23046 21699 0 -1 4202560 296 0 0 0 2180 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819527625776 139819864679127 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23074] ppid=23046 vsize=28766288 memory=14012 CPUtime=21.77 cores=0-7 /proc/23048/task/23074/stat : 23074 (java) R 23046 23046 21699 0 -1 4202560 230 0 0 0 2177 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819526570568 139819865063950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23075] ppid=23046 vsize=28766288 memory=2112 CPUtime=21.86 cores=0-7 /proc/23048/task/23075/stat : 23075 (java) R 23046 23046 21699 0 -1 4202560 580 0 0 0 2185 1 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819525517752 139819865379787 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 Current children cumulated CPU time: 179.25 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 231200 KiB [startup+23.7018 s] /proc/loadavg: 7.99 8.08 7.48 9/220 23077 /proc/meminfo: memFree=26566940/32770624 swapFree=66941532/67108860 [pid=23046] ppid=23043 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23046/stat : 23046 (xcsp3-exec) S 23043 23046 21699 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446457349 115843072 363 33554432000 4194304 5098028 140721148216256 140721148214360 140236484182652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12472320 140721148220277 140721148220521 140721148220521 140721148223434 0 /proc/23046/statm: 28282 363 304 221 0 87 0 [pid=23048] ppid=23046 vsize=28766288 memory=229748 CPUtime=180.05 cores=0-7 /proc/23048/stat : 23048 (java) S 23046 23046 21699 0 -1 1077944320 37380 0 0 0 17969 36 0 0 20 0 28 0 446457350 29456678912 57437 33554432000 4194304 4196468 140735083820992 140735083803536 139820234071799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 /proc/23048/statm: 7191572 57437 3511 1 0 7152672 0 [pid=23048/tid=23049] ppid=23046 vsize=28766288 memory=229748 CPUtime=0.94 cores=0-7 /proc/23048/task/23049/stat : 23049 (java) S 23046 23046 21699 0 -1 1077944384 8999 0 0 0 90 4 0 0 20 0 28 0 446457350 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820238312576 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23050] ppid=23046 vsize=28766288 memory=229748 CPUtime=0.05 cores=0-7 /proc/23048/task/23050/stat : 23050 (java) S 23046 23046 21699 0 -1 1077944384 1369 0 0 0 3 2 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820186692752 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23051] ppid=23046 vsize=28766288 memory=1452 CPUtime=0.04 cores=0-7 /proc/23048/task/23051/stat : 23051 (java) S 23046 23046 21699 0 -1 1077944384 144 0 0 0 2 2 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820185639952 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23052] ppid=23046 vsize=28766288 memory=279646528675552 CPUtime=0.05 cores=0-7 /proc/23048/task/23052/stat : 23052 (java) S 23046 23046 21699 0 -1 1077944384 454 0 0 0 3 2 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820184587152 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23053] ppid=23046 vsize=28766288 memory=0 CPUtime=0.06 cores=0-7 /proc/23048/task/23053/stat : 23053 (java) S 23046 23046 21699 0 -1 1077944384 306 0 0 0 3 3 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820183534352 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23054] ppid=23046 vsize=28766288 memory=242596 CPUtime=0.06 cores=0-7 /proc/23048/task/23054/stat : 23054 (java) S 23046 23046 21699 0 -1 1077944384 994 0 0 0 4 2 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820182481552 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23055] ppid=23046 vsize=28766288 memory=6944656592455097440 CPUtime=0.06 cores=0-7 /proc/23048/task/23055/stat : 23055 (java) S 23046 23046 21699 0 -1 1077944384 980 0 0 0 4 2 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820181428752 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23056] ppid=23046 vsize=28766288 memory=1452 CPUtime=0.05 cores=0-7 /proc/23048/task/23056/stat : 23056 (java) S 23046 23046 21699 0 -1 1077944384 178 0 0 0 3 2 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820180375952 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23057] ppid=23046 vsize=28766288 memory=211000 CPUtime=0.06 cores=0-7 /proc/23048/task/23057/stat : 23057 (java) S 23046 23046 21699 0 -1 1077944384 1090 0 0 0 4 2 0 0 20 0 28 0 446457351 29456678912 57437 33554432000 4194304 4196468 140735083820992 139820179323152 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23058] ppid=23046 vsize=28766288 memory=4465 CPUtime=0.02 cores=0-7 /proc/23048/task/23058/stat : 23058 (java) S 23046 23046 21699 0 -1 1077944384 1029 0 0 0 2 0 0 0 20 0 28 0 446457352 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819551578992 139820234082946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23059] ppid=23046 vsize=28766288 memory=4420 CPUtime=0 cores=0-7 /proc/23048/task/23059/stat : 23059 (java) S 23046 23046 21699 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 446457353 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819550525024 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23060] ppid=23046 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23060/stat : 23060 (java) S 23046 23046 21699 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 446457353 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819549472128 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23061] ppid=23046 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/23048/task/23061/stat : 23061 (java) S 23046 23046 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446457355 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819548420432 139820234090395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23062] ppid=23046 vsize=28766288 memory=139823264998721 CPUtime=1.4 cores=0-7 /proc/23048/task/23062/stat : 23062 (java) S 23046 23046 21699 0 -1 1077944384 5473 0 0 0 139 1 0 0 20 0 28 0 446457355 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819547367792 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23063] ppid=23046 vsize=28766288 memory=0 CPUtime=1.24 cores=0-7 /proc/23048/task/23063/stat : 23063 (java) S 23046 23046 21699 0 -1 1077944384 2802 0 0 0 123 1 0 0 20 0 28 0 446457355 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819546314992 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23064] ppid=23046 vsize=28766288 memory=6370460855764675684 CPUtime=1.28 cores=0-7 /proc/23048/task/23064/stat : 23064 (java) S 23046 23046 21699 0 -1 1077944384 3442 0 0 0 127 1 0 0 20 0 28 0 446457355 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819545262192 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 52 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23065] ppid=23046 vsize=28766288 memory=1452 CPUtime=0.63 cores=0-7 /proc/23048/task/23065/stat : 23065 (java) S 23046 23046 21699 0 -1 1077944384 4732 0 0 0 62 1 0 0 20 0 28 0 446457355 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819544209392 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 52 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23066] ppid=23046 vsize=28766288 memory=1452 CPUtime=0 cores=0-7 /proc/23048/task/23066/stat : 23066 (java) S 23046 23046 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446457356 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819543157856 139820234082005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23067] ppid=23046 vsize=28766288 memory=244644 CPUtime=0 cores=0-7 /proc/23048/task/23067/stat : 23067 (java) S 23046 23046 21699 0 -1 1077944384 783 0 0 0 0 0 0 0 20 0 28 0 446457356 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819542105136 139820234082946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23068] ppid=23046 vsize=28766288 memory=1452 CPUtime=21.72 cores=0-7 /proc/23048/task/23068/stat : 23068 (java) R 23046 23046 21699 0 -1 4202560 228 0 0 0 2172 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819532885208 139819865063988 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23069] ppid=23046 vsize=28766288 memory=229748 CPUtime=21.7 cores=0-7 /proc/23048/task/23069/stat : 23069 (java) R 23046 23046 21699 0 -1 4202560 192 0 0 0 2170 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819531833248 139819865378663 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23070] ppid=23046 vsize=28766288 memory=7810464850578271074 CPUtime=21.55 cores=0-7 /proc/23048/task/23070/stat : 23070 (java) R 23046 23046 21699 0 -1 4202560 728 0 0 0 2155 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819530783736 139819865379030 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23071] ppid=23046 vsize=28766288 memory=7740390715337632871 CPUtime=21.64 cores=0-7 /proc/23048/task/23071/stat : 23071 (java) R 23046 23046 21699 0 -1 4202560 458 0 0 0 2164 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819529731752 139819865402202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23072] ppid=23046 vsize=28766288 memory=1452 CPUtime=21.58 cores=0-7 /proc/23048/task/23072/stat : 23072 (java) R 23046 23046 21699 0 -1 4202560 525 0 0 0 2158 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819528675224 139819864678898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23073] ppid=23046 vsize=28766288 memory=1452 CPUtime=21.9 cores=0-7 /proc/23048/task/23073/stat : 23073 (java) R 23046 23046 21699 0 -1 4202560 296 0 0 0 2190 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819527625776 139819865378687 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23074] ppid=23046 vsize=28766288 memory=1452 CPUtime=21.87 cores=0-7 /proc/23048/task/23074/stat : 23074 (java) R 23046 23046 21699 0 -1 4202560 230 0 0 0 2187 0 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819526570568 139819865064450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 [pid=23048/tid=23075] ppid=23046 vsize=28766288 memory=3620 CPUtime=21.96 cores=0-7 /proc/23048/task/23075/stat : 23075 (java) R 23046 23046 21699 0 -1 4202560 580 0 0 0 2195 1 0 0 20 0 28 0 446457448 29456678912 57437 33554432000 4194304 4196468 140735083820992 139819525517752 139819864678846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140735083824106 140735083824278 140735083824278 140735083827151 0 Current children cumulated CPU time: 180.05 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 231200 KiB Child status: 0 Real time (s): 23.7296 CPU time (s): 180.21 CPU user time (s): 179.836 CPU system time (s): 0.373768 CPU usage (%): 759.429 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 246096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 179.836 system time used= 0.373768 maximum resident set size= 256956 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39042 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4295 involuntary context switches= 2511 # summary of solver processes directly reported to runsolver: # pid: 23046 # total CPU time (s): 180.21 # total CPU user time (s): 179.836 # total CPU system time (s): 0.373768 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.206593 second user time and 0.308116 second system time The end
Begin job on node149 at 2019-09-17 08:35:49 IDJOB=4399436 IDBENCH=121909 IDSOLVER=2854 FILE ID=node149/4399436-1568702187 RUNJOBID= node149-1568700680-21726 PBS_JOBID= 21703901 Free space on /tmp= 61420 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Random/Random-D-t020/rand-2-40-11-414-020-79.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-4399436-1568702187/watcher-4399436-1568702187 -o /tmp/evaluation-result-4399436-1568702187/solver-4399436-1568702187 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568700680-21726 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1106988457 HOME/instance-4399436-1568702187.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c0f256b6b5f799b1206df7220afe38a7 RANDOM SEED=1106988457 node149.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.81 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.81 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.81 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.81 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: 26781988 kB MemAvailable: 31841232 kB Buffers: 110104 kB Cached: 5251656 kB SwapCached: 61068 kB Active: 2424056 kB Inactive: 2999572 kB Active(anon): 4680 kB Inactive(anon): 106212 kB Active(file): 2419376 kB Inactive(file): 2893360 kB Unevictable: 111208 kB Mlocked: 111208 kB SwapTotal: 67108860 kB SwapFree: 66941532 kB Dirty: 26400 kB Writeback: 0 kB AnonPages: 117712 kB Mapped: 47704 kB Shmem: 39988 kB Slab: 153988 kB SReclaimable: 124684 kB SUnreclaim: 29304 kB KernelStack: 3568 kB PageTables: 5128 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506472 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61396 MiB End job on node149 at 2019-09-17 08:36:13