Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | ? (TO) | 1920.5 | 242.636 |
Name | BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml |
MD5SUM | 4fff2bf814931cbe2e98d8a10b7c6933 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 801 |
Number of constraints | 53 |
Number of domains | 2 |
Minimum domain size | 26 |
Maximum domain size | 124 |
Distribution of domain sizes | [{"size":26,"count":1},{"size":124,"count":800}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":775},{"degree":5,"count":25}] |
Minimum constraint arity | 26 |
Maximum constraint arity | 800 |
Distribution of constraint arities | [{"arity":26,"count":1},{"arity":32,"count":50},{"arity":800,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":25},{"type":"lex","count":1},{"type":"sum","count":25},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.06 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254424-1501695758.xml" -tl '1920s' -p 8 -x 0 0.00/0.24 c [HOME/instance-4254424-1501695758.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.30 c 8 solvers in parallel 0.00/0.37 c parse instance... 0.00/0.72 c solve instance... 1920.50/242.66 s UNKNOWN 1920.50/242.66 c Unexpected resolution interruption!
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254424-1501695758/watcher-4254424-1501695758 -o /tmp/evaluation-result-4254424-1501695758/solver-4254424-1501695758 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node134-1501676576-1207 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1693208394 HOME/instance-4254424-1501695758.xml pid=3352 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.08 3.18 5.34 2/176 3355 /proc/meminfo: memFree=31635148/32770624 swapFree=0/358400 [pid=3355] ppid=3352 vsize=23672 CPUtime=0 cores=0-7 /proc/3355/stat : 3355 (runsolver) D 3352 3355 1143 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 17081647 24240128 108 18446744073709551615 4194304 4338465 140729881333584 140729881331224 139681137353431 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 12279808 140729881342035 140729881342531 140729881342531 140729881345994 0 /proc/3355/statm: 5918 108 54 36 0 2156 0 [startup+0.100152 s] /proc/loadavg: 1.08 3.18 5.34 2/176 3355 /proc/meminfo: memFree=31635148/32770624 swapFree=0/358400 [pid=3355] ppid=3352 vsize=9512 CPUtime=0 cores=0-7 /proc/3355/stat : 3355 (xcsp3-exec) S 3352 3355 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17081647 9740288 345 18446744073709551615 4194304 5098028 140724019354112 140724019352216 140386055709308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 27107328 140724019360146 140724019360356 140724019360356 140724019363819 0 /proc/3355/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200332 s] /proc/loadavg: 1.08 3.18 5.34 2/176 3355 /proc/meminfo: memFree=31635148/32770624 swapFree=0/358400 [pid=3355] ppid=3352 vsize=9512 CPUtime=0 cores=0-7 /proc/3355/stat : 3355 (xcsp3-exec) S 3352 3355 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17081647 9740288 345 18446744073709551615 4194304 5098028 140724019354112 140724019352216 140386055709308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 27107328 140724019360146 140724019360356 140724019360356 140724019363819 0 /proc/3355/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.30032 s] /proc/loadavg: 1.08 3.18 5.34 2/176 3355 /proc/meminfo: memFree=31635148/32770624 swapFree=0/358400 [pid=3355] ppid=3352 vsize=9512 CPUtime=0 cores=0-7 /proc/3355/stat : 3355 (xcsp3-exec) S 3352 3355 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17081647 9740288 345 18446744073709551615 4194304 5098028 140724019354112 140724019352216 140386055709308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 27107328 140724019360146 140724019360356 140724019360356 140724019363819 0 /proc/3355/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700305 s] /proc/loadavg: 1.08 3.18 5.34 2/176 3355 /proc/meminfo: memFree=31635148/32770624 swapFree=0/358400 [pid=3355] ppid=3352 vsize=9512 CPUtime=0 cores=0-7 /proc/3355/stat : 3355 (xcsp3-exec) S 3352 3355 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17081647 9740288 345 18446744073709551615 4194304 5098028 140724019354112 140724019352216 140386055709308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 27107328 140724019360146 140724019360356 140724019360356 140724019363819 0 /proc/3355/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50667 s] /proc/loadavg: 1.08 3.18 5.34 11/205 3384 /proc/meminfo: memFree=31535104/32770624 swapFree=0/358168 [pid=3355] ppid=3352 vsize=9512 CPUtime=0 cores=0-7 /proc/3355/stat : 3355 (xcsp3-exec) S 3352 3355 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17081647 9740288 345 18446744073709551615 4194304 5098028 140724019354112 140724019352216 140386055709308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 27107328 140724019360146 140724019360356 140724019360356 140724019363819 0 /proc/3355/statm: 2378 345 289 221 0 87 0 [pid=3357] ppid=3355 vsize=26534456 CPUtime=7.66 cores=0-7 /proc/3357/stat : 3357 (java) S 3355 3355 1143 0 -1 1077944320 17810 0 0 0 758 8 0 0 20 0 28 0 17081653 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140724970434272 140034315927287 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 /proc/3357/statm: 6633614 30515 3207 1 0 6621915 0 [pid=3357/tid=3358] ppid=3355 vsize=26534456 CPUtime=0.61 cores=0-7 /proc/3357/task/3358/stat : 3358 (java) S 3355 3355 1143 0 -1 1077944384 8843 0 0 0 57 4 0 0 20 0 28 0 17081653 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140034320168064 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3359] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3359/stat : 3359 (java) S 3355 3355 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140034272893456 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3360] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3360/stat : 3360 (java) S 3355 3355 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140034271840912 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3361] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3361/stat : 3361 (java) S 3355 3355 1143 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140034270787856 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3362] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3362/stat : 3362 (java) S 3355 3355 1143 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140034269735312 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3363] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3363/stat : 3363 (java) S 3355 3355 1143 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140034268683280 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3364] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3364/stat : 3364 (java) S 3355 3355 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140034267630736 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3365] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3365/stat : 3365 (java) S 3355 3355 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140034266577680 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3366] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3366/stat : 3366 (java) S 3355 3355 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140034265525136 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3367] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3367/stat : 3367 (java) S 3355 3355 1143 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 17081655 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140032524417264 140034315938434 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3368] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3368/stat : 3368 (java) S 3355 3355 1143 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 17081656 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140032523363488 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3369] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3369/stat : 3369 (java) S 3355 3355 1143 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 17081656 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140032522310384 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3370] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3370/stat : 3370 (java) S 3355 3355 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17081659 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140032521258960 140034315945883 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3371] ppid=3355 vsize=26534456 CPUtime=0.7 cores=0-7 /proc/3357/task/3371/stat : 3371 (java) R 3355 3355 1143 0 -1 4202560 2010 0 0 0 70 0 0 0 20 0 28 0 17081659 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140032520207088 140034297471446 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3372] ppid=3355 vsize=26534456 CPUtime=0.56 cores=0-7 /proc/3357/task/3372/stat : 3372 (java) R 3355 3355 1143 0 -1 4202560 1975 0 0 0 56 0 0 0 20 0 28 0 17081659 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140032519154840 140034300319264 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3373] ppid=3355 vsize=26534456 CPUtime=0.54 cores=0-7 /proc/3357/task/3373/stat : 3373 (java) R 3355 3355 1143 0 -1 4202560 1421 0 0 0 54 0 0 0 20 0 28 0 17081659 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140032518101784 140034299887216 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3374] ppid=3355 vsize=26534456 CPUtime=0.43 cores=0-7 /proc/3357/task/3374/stat : 3374 (java) S 3355 3355 1143 0 -1 1077944384 1885 0 0 0 43 0 0 0 20 0 28 0 17081659 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140032517048944 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3375] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3375/stat : 3375 (java) S 3355 3355 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17081659 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140032515996128 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3376] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3376/stat : 3376 (java) S 3355 3355 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17081663 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140032514943664 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3377] ppid=3355 vsize=26534456 CPUtime=0.63 cores=0-7 /proc/3357/task/3377/stat : 3377 (java) R 3355 3355 1143 0 -1 4202560 53 0 0 0 63 0 0 0 20 0 28 0 17081720 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140032511717712 140033940564096 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3378] ppid=3355 vsize=26534456 CPUtime=0.59 cores=0-7 /proc/3357/task/3378/stat : 3378 (java) R 3355 3355 1143 0 -1 4202560 52 0 0 0 59 0 0 0 20 0 28 0 17081720 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140031901458168 140033940985472 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3379] ppid=3355 vsize=26534456 CPUtime=0.46 cores=0-7 /proc/3357/task/3379/stat : 3379 (java) R 3355 3355 1143 0 -1 4202560 39 0 0 0 46 0 0 0 20 0 28 0 17081720 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140031900405304 140033941005220 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3380] ppid=3355 vsize=26534456 CPUtime=0.68 cores=0-7 /proc/3357/task/3380/stat : 3380 (java) R 3355 3355 1143 0 -1 4202560 71 0 0 0 68 0 0 0 20 0 28 0 17081720 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140031899356024 140033941005232 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3381] ppid=3355 vsize=26534456 CPUtime=0.67 cores=0-7 /proc/3357/task/3381/stat : 3381 (java) R 3355 3355 1143 0 -1 4202560 36 0 0 0 67 0 0 0 20 0 28 0 17081720 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140031898302632 140033941005220 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3382] ppid=3355 vsize=26534456 CPUtime=0.63 cores=0-7 /proc/3357/task/3382/stat : 3382 (java) R 3355 3355 1143 0 -1 4202560 38 0 0 0 63 0 0 0 20 0 28 0 17081720 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140031897250264 140033940985735 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3383] ppid=3355 vsize=26534456 CPUtime=0.62 cores=0-7 /proc/3357/task/3383/stat : 3383 (java) R 3355 3355 1143 0 -1 4202560 38 0 0 0 62 0 0 0 20 0 28 0 17081720 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140031896195448 140033940985588 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3384] ppid=3355 vsize=26534456 CPUtime=0.44 cores=0-7 /proc/3357/task/3384/stat : 3384 (java) R 3355 3355 1143 0 -1 4202560 36 0 0 0 44 0 0 0 20 0 28 0 17081720 27171282944 30515 18446744073709551615 4194304 4196468 140724970451728 140031895144072 140033935937600 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 Current children cumulated CPU time (s) 7.66 Current children cumulated vsize (KiB) 26543968 [startup+3.10167 s] /proc/loadavg: 1.08 3.18 5.34 11/205 3384 /proc/meminfo: memFree=31503620/32770624 swapFree=0/358168 [pid=3355] ppid=3352 vsize=9512 CPUtime=0 cores=0-7 /proc/3355/stat : 3355 (xcsp3-exec) S 3352 3355 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17081647 9740288 345 18446744073709551615 4194304 5098028 140724019354112 140724019352216 140386055709308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 27107328 140724019360146 140724019360356 140724019360356 140724019363819 0 /proc/3355/statm: 2378 345 289 221 0 87 0 [pid=3357] ppid=3355 vsize=26534456 CPUtime=20.39 cores=0-7 /proc/3357/stat : 3357 (java) S 3355 3355 1143 0 -1 1077944320 24475 0 0 0 2027 12 0 0 20 0 28 0 17081653 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140724970434272 140034315927287 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 /proc/3357/statm: 6633614 42390 3209 1 0 6621915 0 [pid=3357/tid=3358] ppid=3355 vsize=26534456 CPUtime=0.61 cores=0-7 /proc/3357/task/3358/stat : 3358 (java) S 3355 3355 1143 0 -1 1077944384 8843 0 0 0 57 4 0 0 20 0 28 0 17081653 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140034320168064 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3359] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3359/stat : 3359 (java) S 3355 3355 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140034272893456 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3360] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3360/stat : 3360 (java) S 3355 3355 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140034271840912 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3361] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3361/stat : 3361 (java) S 3355 3355 1143 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140034270787856 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3362] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3362/stat : 3362 (java) S 3355 3355 1143 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140034269735312 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3363] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3363/stat : 3363 (java) S 3355 3355 1143 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140034268683280 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3364] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3364/stat : 3364 (java) S 3355 3355 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140034267630736 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3365] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3365/stat : 3365 (java) S 3355 3355 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140034266577680 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3366] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3366/stat : 3366 (java) S 3355 3355 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17081654 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140034265525136 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3367] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3367/stat : 3367 (java) S 3355 3355 1143 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 17081655 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140032524417264 140034315938434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3368] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3368/stat : 3368 (java) S 3355 3355 1143 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 17081656 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140032523363488 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3369] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3369/stat : 3369 (java) S 3355 3355 1143 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 17081656 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140032522310384 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3370] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3370/stat : 3370 (java) S 3355 3355 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17081659 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140032521258960 140034315945883 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3371] ppid=3355 vsize=26534456 CPUtime=0.97 cores=0-7 /proc/3357/task/3371/stat : 3371 (java) S 3355 3355 1143 0 -1 1077944384 3032 0 0 0 96 1 0 0 20 0 28 0 17081659 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140032520207088 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3372] ppid=3355 vsize=26534456 CPUtime=1 cores=0-7 /proc/3357/task/3372/stat : 3372 (java) S 3355 3355 1143 0 -1 1077944384 5040 0 0 0 99 1 0 0 20 0 28 0 17081659 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140032519154544 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3373] ppid=3355 vsize=26534456 CPUtime=0.73 cores=0-7 /proc/3357/task/3373/stat : 3373 (java) S 3355 3355 1143 0 -1 1077944384 2884 0 0 0 72 1 0 0 20 0 28 0 17081659 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140032518101488 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3374] ppid=3355 vsize=26534456 CPUtime=0.51 cores=0-7 /proc/3357/task/3374/stat : 3374 (java) S 3355 3355 1143 0 -1 1077944384 2380 0 0 0 50 1 0 0 20 0 28 0 17081659 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140032517048944 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3375] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3375/stat : 3375 (java) S 3355 3355 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17081659 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140032515996128 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3376] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3376/stat : 3376 (java) S 3355 3355 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17081663 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140032514943664 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3377] ppid=3355 vsize=26534456 CPUtime=2.03 cores=0-7 /proc/3357/task/3377/stat : 3377 (java) R 3355 3355 1143 0 -1 4202560 97 0 0 0 203 0 0 0 20 0 28 0 17081720 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140032511715744 140033941463263 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3378] ppid=3355 vsize=26534456 CPUtime=2.12 cores=0-7 /proc/3357/task/3378/stat : 3378 (java) R 3355 3355 1143 0 -1 4202560 89 0 0 0 212 0 0 0 20 0 28 0 17081720 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140031901458064 140033941005227 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3379] ppid=3355 vsize=26534456 CPUtime=1.88 cores=0-7 /proc/3357/task/3379/stat : 3379 (java) R 3355 3355 1143 0 -1 4202560 89 0 0 0 188 0 0 0 20 0 28 0 17081720 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140031900405776 140033936140352 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3380] ppid=3355 vsize=26534456 CPUtime=2.05 cores=0-7 /proc/3357/task/3380/stat : 3380 (java) R 3355 3355 1143 0 -1 4202560 172 0 0 0 205 0 0 0 20 0 28 0 17081720 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140031899355272 140033941004924 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3381] ppid=3355 vsize=26534456 CPUtime=2.22 cores=0-7 /proc/3357/task/3381/stat : 3381 (java) R 3355 3355 1143 0 -1 4202560 204 0 0 0 222 0 0 0 20 0 28 0 17081720 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140031898300568 140033941004924 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3382] ppid=3355 vsize=26534456 CPUtime=2.13 cores=0-7 /proc/3357/task/3382/stat : 3382 (java) R 3355 3355 1143 0 -1 4202560 104 0 0 0 213 0 0 0 20 0 28 0 17081720 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140031897248024 140033940564175 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3383] ppid=3355 vsize=26534456 CPUtime=2.12 cores=0-7 /proc/3357/task/3383/stat : 3383 (java) R 3355 3355 1143 0 -1 4202560 79 0 0 0 212 0 0 0 20 0 28 0 17081720 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140031896194968 140033941005220 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3384] ppid=3355 vsize=26534456 CPUtime=1.9 cores=0-7 /proc/3357/task/3384/stat : 3384 (java) R 3355 3355 1143 0 -1 4202560 118 0 0 0 190 0 0 0 20 0 28 0 17081720 27171282944 42390 18446744073709551615 4194304 4196468 140724970451728 140031895142232 140033941463654 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 Current children cumulated CPU time (s) 20.39 Current children cumulated vsize (KiB) 26543968 [startup+6.30167 s] /proc/loadavg: 1.63 3.26 5.35 9/205 3384 /proc/meminfo: memFree=31412604/32770624 swapFree=0/358180 ################ # More data... # ################ [pid=3357/tid=3383] ppid=3355 vsize=26534456 CPUtime=158.73 cores=0-7 /proc/3357/task/3383/stat : 3383 (java) R 3355 3355 1143 0 -1 4202560 1457 0 0 0 15868 5 0 0 20 0 28 0 17081720 27171282944 261777 18446744073709551615 4194304 4196468 140724970451728 140031896194984 140033941005220 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3384] ppid=3355 vsize=26534456 CPUtime=158.5 cores=0-7 /proc/3357/task/3384/stat : 3384 (java) R 3355 3355 1143 0 -1 4202560 1410 0 0 0 15849 1 0 0 20 0 28 0 17081720 27171282944 261777 18446744073709551615 4194304 4196468 140724970451728 140031895142440 140033941005444 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 Current children cumulated CPU time (s) 1279.33 Current children cumulated vsize (KiB) 26543968 [startup+222.308 s] /proc/loadavg: 8.63 6.01 6.02 9/207 3399 /proc/meminfo: memFree=30601876/32770624 swapFree=0/358240 [pid=3355] ppid=3352 vsize=9512 CPUtime=0 cores=0-7 /proc/3355/stat : 3355 (xcsp3-exec) S 3352 3355 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17081647 9740288 345 18446744073709551615 4194304 5098028 140724019354112 140724019352216 140386055709308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 27107328 140724019360146 140724019360356 140724019360356 140724019363819 0 /proc/3355/statm: 2378 345 289 221 0 87 0 [pid=3357] ppid=3355 vsize=26534456 CPUtime=1758.48 cores=0-7 /proc/3357/stat : 3357 (java) S 3355 3355 1143 0 -1 1077944320 85240 0 0 0 175764 84 0 0 20 0 28 0 17081653 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140724970434272 140034315927287 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 /proc/3357/statm: 6633614 261819 3266 1 0 6621915 0 [pid=3357/tid=3358] ppid=3355 vsize=26534456 CPUtime=0.61 cores=0-7 /proc/3357/task/3358/stat : 3358 (java) S 3355 3355 1143 0 -1 1077944384 8843 0 0 0 57 4 0 0 20 0 28 0 17081653 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140034320168064 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3359] ppid=3355 vsize=26534456 CPUtime=0.75 cores=0-7 /proc/3357/task/3359/stat : 3359 (java) S 3355 3355 1143 0 -1 1077944384 1067 0 0 0 71 4 0 0 20 0 28 0 17081654 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140034272893456 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3360] ppid=3355 vsize=26534456 CPUtime=0.75 cores=0-7 /proc/3357/task/3360/stat : 3360 (java) S 3355 3355 1143 0 -1 1077944384 1163 0 0 0 70 5 0 0 20 0 28 0 17081654 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140034271840912 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3361] ppid=3355 vsize=26534456 CPUtime=0.75 cores=0-7 /proc/3357/task/3361/stat : 3361 (java) S 3355 3355 1143 0 -1 1077944384 1025 0 0 0 70 5 0 0 20 0 28 0 17081654 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140034270787856 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3362] ppid=3355 vsize=26534456 CPUtime=0.75 cores=0-7 /proc/3357/task/3362/stat : 3362 (java) S 3355 3355 1143 0 -1 1077944384 1439 0 0 0 71 4 0 0 20 0 28 0 17081654 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140034269735312 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3363] ppid=3355 vsize=26534456 CPUtime=0.76 cores=0-7 /proc/3357/task/3363/stat : 3363 (java) S 3355 3355 1143 0 -1 1077944384 1171 0 0 0 67 9 0 0 20 0 28 0 17081654 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140034268683280 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3364] ppid=3355 vsize=26534456 CPUtime=0.74 cores=0-7 /proc/3357/task/3364/stat : 3364 (java) S 3355 3355 1143 0 -1 1077944384 1759 0 0 0 70 4 0 0 20 0 28 0 17081654 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140034267630736 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3365] ppid=3355 vsize=26534456 CPUtime=0.74 cores=0-7 /proc/3357/task/3365/stat : 3365 (java) S 3355 3355 1143 0 -1 1077944384 512 0 0 0 70 4 0 0 20 0 28 0 17081654 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140034266577680 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3366] ppid=3355 vsize=26534456 CPUtime=0.75 cores=0-7 /proc/3357/task/3366/stat : 3366 (java) S 3355 3355 1143 0 -1 1077944384 1513 0 0 0 70 5 0 0 20 0 28 0 17081654 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140034265525136 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3367] ppid=3355 vsize=26534456 CPUtime=1.69 cores=0-7 /proc/3357/task/3367/stat : 3367 (java) S 3355 3355 1143 0 -1 1077944384 9238 0 0 0 167 2 0 0 20 0 28 0 17081655 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140032524417264 140034315938434 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3368] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3368/stat : 3368 (java) S 3355 3355 1143 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 17081656 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140032523363488 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3369] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3369/stat : 3369 (java) S 3355 3355 1143 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 17081656 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140032522310384 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3370] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3370/stat : 3370 (java) S 3355 3355 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17081659 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140032521258960 140034315945883 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3371] ppid=3355 vsize=26534456 CPUtime=1.68 cores=0-7 /proc/3357/task/3371/stat : 3371 (java) S 3355 3355 1143 0 -1 1077944384 14023 0 0 0 166 2 0 0 20 0 28 0 17081659 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140032520207088 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3372] ppid=3355 vsize=26534456 CPUtime=1.59 cores=0-7 /proc/3357/task/3372/stat : 3372 (java) S 3355 3355 1143 0 -1 1077944384 10033 0 0 0 158 1 0 0 20 0 28 0 17081659 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140032519154544 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3373] ppid=3355 vsize=26534456 CPUtime=1.32 cores=0-7 /proc/3357/task/3373/stat : 3373 (java) S 3355 3355 1143 0 -1 1077944384 9886 0 0 0 130 2 0 0 20 0 28 0 17081659 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140032518101488 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3374] ppid=3355 vsize=26534456 CPUtime=0.62 cores=0-7 /proc/3357/task/3374/stat : 3374 (java) S 3355 3355 1143 0 -1 1077944384 6307 0 0 0 60 2 0 0 20 0 28 0 17081659 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140032517048944 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3375] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3375/stat : 3375 (java) S 3355 3355 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17081659 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140032515996128 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3376] ppid=3355 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/3357/task/3376/stat : 3376 (java) S 3355 3355 1143 0 -1 1077944384 1071 0 0 0 0 4 0 0 20 0 28 0 17081663 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140032514943664 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3377] ppid=3355 vsize=26534456 CPUtime=217.35 cores=0-7 /proc/3357/task/3377/stat : 3377 (java) R 3355 3355 1143 0 -1 4202560 912 0 0 0 21734 1 0 0 20 0 28 0 17081720 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140032511715896 140033941463404 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3378] ppid=3355 vsize=26534456 CPUtime=218.51 cores=0-7 /proc/3357/task/3378/stat : 3378 (java) R 3355 3355 1143 0 -1 4202560 1748 0 0 0 21848 3 0 0 20 0 28 0 17081720 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140031901457968 140033941004948 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3379] ppid=3355 vsize=26534456 CPUtime=217.11 cores=0-7 /proc/3357/task/3379/stat : 3379 (java) R 3355 3355 1143 0 -1 4202560 1830 0 0 0 21708 3 0 0 20 0 28 0 17081720 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140031900406120 140033941004669 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3380] ppid=3355 vsize=26534456 CPUtime=217.78 cores=0-7 /proc/3357/task/3380/stat : 3380 (java) R 3355 3355 1143 0 -1 4202560 3154 0 0 0 21775 3 0 0 20 0 28 0 17081720 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140031899353224 140033942229634 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3381] ppid=3355 vsize=26534456 CPUtime=218.49 cores=0-7 /proc/3357/task/3381/stat : 3381 (java) R 3355 3355 1143 0 -1 4202560 2705 0 0 0 21847 2 0 0 20 0 28 0 17081720 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140031898303312 140033941005220 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3382] ppid=3355 vsize=26534456 CPUtime=218.24 cores=0-7 /proc/3357/task/3382/stat : 3382 (java) R 3355 3355 1143 0 -1 4202560 1138 0 0 0 21824 0 0 0 20 0 28 0 17081720 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140031897247688 140033940351616 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3383] ppid=3355 vsize=26534456 CPUtime=218.72 cores=0-7 /proc/3357/task/3383/stat : 3383 (java) R 3355 3355 1143 0 -1 4202560 1616 0 0 0 21867 5 0 0 20 0 28 0 17081720 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140031896194984 140033940838131 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3384] ppid=3355 vsize=26534456 CPUtime=218.48 cores=0-7 /proc/3357/task/3384/stat : 3384 (java) R 3355 3355 1143 0 -1 4202560 1749 0 0 0 21847 1 0 0 20 0 28 0 17081720 27171282944 261819 18446744073709551615 4194304 4196468 140724970451728 140031895142328 140033941005220 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 Current children cumulated CPU time (s) 1758.48 Current children cumulated vsize (KiB) 26543968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+242.602 s] /proc/loadavg: 8.60 6.17 6.07 9/207 3400 /proc/meminfo: memFree=30601656/32770624 swapFree=0/358248 [pid=3355] ppid=3352 vsize=9512 CPUtime=0 cores=0-7 /proc/3355/stat : 3355 (xcsp3-exec) S 3352 3355 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17081647 9740288 345 18446744073709551615 4194304 5098028 140724019354112 140724019352216 140386055709308 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 27107328 140724019360146 140724019360356 140724019360356 140724019363819 0 /proc/3355/statm: 2378 345 289 221 0 87 0 [pid=3357] ppid=3355 vsize=26534456 CPUtime=1920.5 cores=0-7 /proc/3357/stat : 3357 (java) S 3355 3355 1143 0 -1 1077944320 89535 0 0 0 191965 85 0 0 20 0 28 0 17081653 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140724970434272 140034315927287 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 /proc/3357/statm: 6633614 261857 3266 1 0 6621915 0 [pid=3357/tid=3358] ppid=3355 vsize=26534456 CPUtime=0.61 cores=0-7 /proc/3357/task/3358/stat : 3358 (java) S 3355 3355 1143 0 -1 1077944384 8843 0 0 0 57 4 0 0 20 0 28 0 17081653 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140034320168064 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3359] ppid=3355 vsize=26534456 CPUtime=0.76 cores=0-7 /proc/3357/task/3359/stat : 3359 (java) S 3355 3355 1143 0 -1 1077944384 1134 0 0 0 72 4 0 0 20 0 28 0 17081654 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140034272893456 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3360] ppid=3355 vsize=26534456 CPUtime=0.76 cores=0-7 /proc/3357/task/3360/stat : 3360 (java) S 3355 3355 1143 0 -1 1077944384 1199 0 0 0 71 5 0 0 20 0 28 0 17081654 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140034271840912 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3361] ppid=3355 vsize=26534456 CPUtime=0.76 cores=0-7 /proc/3357/task/3361/stat : 3361 (java) S 3355 3355 1143 0 -1 1077944384 1100 0 0 0 71 5 0 0 20 0 28 0 17081654 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140034270787856 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3362] ppid=3355 vsize=26534456 CPUtime=0.76 cores=0-7 /proc/3357/task/3362/stat : 3362 (java) S 3355 3355 1143 0 -1 1077944384 1469 0 0 0 72 4 0 0 20 0 28 0 17081654 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140034269735312 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3363] ppid=3355 vsize=26534456 CPUtime=0.77 cores=0-7 /proc/3357/task/3363/stat : 3363 (java) S 3355 3355 1143 0 -1 1077944384 1197 0 0 0 68 9 0 0 20 0 28 0 17081654 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140034268683280 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3364] ppid=3355 vsize=26534456 CPUtime=0.75 cores=0-7 /proc/3357/task/3364/stat : 3364 (java) S 3355 3355 1143 0 -1 1077944384 2265 0 0 0 71 4 0 0 20 0 28 0 17081654 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140034267630736 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3365] ppid=3355 vsize=26534456 CPUtime=0.75 cores=0-7 /proc/3357/task/3365/stat : 3365 (java) S 3355 3355 1143 0 -1 1077944384 595 0 0 0 71 4 0 0 20 0 28 0 17081654 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140034266577680 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3366] ppid=3355 vsize=26534456 CPUtime=0.76 cores=0-7 /proc/3357/task/3366/stat : 3366 (java) S 3355 3355 1143 0 -1 1077944384 1658 0 0 0 71 5 0 0 20 0 28 0 17081654 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140034265525136 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3367] ppid=3355 vsize=26534456 CPUtime=1.69 cores=0-7 /proc/3357/task/3367/stat : 3367 (java) S 3355 3355 1143 0 -1 1077944384 9576 0 0 0 167 2 0 0 20 0 28 0 17081655 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140032524417264 140034315938434 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3368] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3368/stat : 3368 (java) S 3355 3355 1143 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 17081656 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140032523363488 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3369] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3369/stat : 3369 (java) S 3355 3355 1143 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 17081656 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140032522310384 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3370] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3370/stat : 3370 (java) S 3355 3355 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17081659 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140032521258960 140034315945883 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3371] ppid=3355 vsize=26534456 CPUtime=1.68 cores=0-7 /proc/3357/task/3371/stat : 3371 (java) S 3355 3355 1143 0 -1 1077944384 14042 0 0 0 166 2 0 0 20 0 28 0 17081659 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140032520207088 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3372] ppid=3355 vsize=26534456 CPUtime=1.59 cores=0-7 /proc/3357/task/3372/stat : 3372 (java) S 3355 3355 1143 0 -1 1077944384 10039 0 0 0 158 1 0 0 20 0 28 0 17081659 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140032519154544 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3373] ppid=3355 vsize=26534456 CPUtime=1.32 cores=0-7 /proc/3357/task/3373/stat : 3373 (java) S 3355 3355 1143 0 -1 1077944384 9892 0 0 0 130 2 0 0 20 0 28 0 17081659 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140032518101488 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3374] ppid=3355 vsize=26534456 CPUtime=0.63 cores=0-7 /proc/3357/task/3374/stat : 3374 (java) S 3355 3355 1143 0 -1 1077944384 6915 0 0 0 61 2 0 0 20 0 28 0 17081659 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140032517048944 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3375] ppid=3355 vsize=26534456 CPUtime=0 cores=0-7 /proc/3357/task/3375/stat : 3375 (java) S 3355 3355 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17081659 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140032515996128 140034315937493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3376] ppid=3355 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/3357/task/3376/stat : 3376 (java) S 3355 3355 1143 0 -1 1077944384 1144 0 0 0 0 4 0 0 20 0 28 0 17081663 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140032514943664 140034315938434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3377] ppid=3355 vsize=26534456 CPUtime=237.34 cores=0-7 /proc/3357/task/3377/stat : 3377 (java) R 3355 3355 1143 0 -1 4202560 1059 0 0 0 23733 1 0 0 20 0 28 0 17081720 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140032511715896 140033940683636 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3378] ppid=3355 vsize=26534456 CPUtime=238.79 cores=0-7 /proc/3357/task/3378/stat : 3378 (java) R 3355 3355 1143 0 -1 4202560 1946 0 0 0 23876 3 0 0 20 0 28 0 17081720 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140031901458216 140033941004779 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3379] ppid=3355 vsize=26534456 CPUtime=237.38 cores=0-7 /proc/3357/task/3379/stat : 3379 (java) R 3355 3355 1143 0 -1 4202560 2009 0 0 0 23735 3 0 0 20 0 28 0 17081720 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140031900405976 140033941005484 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3380] ppid=3355 vsize=26534456 CPUtime=238.06 cores=0-7 /proc/3357/task/3380/stat : 3380 (java) R 3355 3355 1143 0 -1 4202560 3914 0 0 0 23802 4 0 0 20 0 28 0 17081720 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140031899354776 140033941005000 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3381] ppid=3355 vsize=26534456 CPUtime=238.76 cores=0-7 /proc/3357/task/3381/stat : 3381 (java) R 3355 3355 1143 0 -1 4202560 2846 0 0 0 23874 2 0 0 20 0 28 0 17081720 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140031898300520 140033941005220 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3382] ppid=3355 vsize=26534456 CPUtime=238.52 cores=0-7 /proc/3357/task/3382/stat : 3382 (java) R 3355 3355 1143 0 -1 4202560 1291 0 0 0 23852 0 0 0 20 0 28 0 17081720 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140031897248040 140033941005336 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3383] ppid=3355 vsize=26534456 CPUtime=239 cores=0-7 /proc/3357/task/3383/stat : 3383 (java) R 3355 3355 1143 0 -1 4202560 1843 0 0 0 23895 5 0 0 20 0 28 0 17081720 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140031896194984 140033941463628 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 [pid=3357/tid=3384] ppid=3355 vsize=26534456 CPUtime=238.77 cores=0-7 /proc/3357/task/3384/stat : 3384 (java) R 3355 3355 1143 0 -1 4202560 2221 0 0 0 23875 2 0 0 20 0 28 0 17081720 27171282944 261857 18446744073709551615 4194304 4196468 140724970451728 140031895142000 140033941463520 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140724970459600 140724970459776 140724970459776 140724970463183 0 Current children cumulated CPU time (s) 1920.5 Current children cumulated vsize (KiB) 26543968 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 3357 sig 9 ??? kill 3355 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 3355 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=978 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=978 # CPU time returned by wait4() is 0.001956 # while last known CPU time is 1920.5 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 242.636 CPU time (s): 1920.5 CPU user time (s): 1919.65 CPU system time (s): 0.85 CPU usage (%): 791.516 Max. virtual memory (cumulated for all children) (KiB): 26543968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000978 system time used= 0.000978 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.61211 second user time and 1.91173 second system time The end
Begin job on node134 at 2017-08-02 19:28:38 IDJOB=4254424 IDBENCH=137500 IDSOLVER=2636 FILE ID=node134/4254424-1501695758 RUNJOBID= node134-1501676576-1207 PBS_JOBID= Free space on /tmp= 61900 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n3w4b3r3.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254424-1501695758/watcher-4254424-1501695758 -o /tmp/evaluation-result-4254424-1501695758/solver-4254424-1501695758 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node134-1501676576-1207 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1693208394 HOME/instance-4254424-1501695758.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4fff2bf814931cbe2e98d8a10b7c6933 RANDOM SEED=1693208394 node134.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.43 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.43 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.43 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.43 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: 31635708 kB MemAvailable: 32004180 kB Buffers: 142644 kB Cached: 510840 kB SwapCached: 0 kB Active: 341320 kB Inactive: 373244 kB Active(anon): 62976 kB Inactive(anon): 14844 kB Active(file): 278344 kB Inactive(file): 358400 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7804 kB Writeback: 0 kB AnonPages: 221792 kB Mapped: 30708 kB Shmem: 17084 kB Slab: 120588 kB SReclaimable: 95128 kB SUnreclaim: 25460 kB KernelStack: 3504 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 289928 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 172032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 61892 MiB End job on node134 at 2017-08-02 19:32:41