Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | UNSAT | 10.5819 | 1.92898 |
Name | Scheduling/Scheduling-xcsp2-cabinet/ Cabinet-5567_X2.xml |
MD5SUM | 8a6a7065f0b63cf63ee64db4f5edcf0c |
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 | 0.67453802 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 120 |
Number of constraints | 126 |
Number of domains | 46 |
Minimum domain size | 2 |
Maximum domain size | 84591 |
Distribution of domain sizes | [{"size":2,"count":98},{"size":7,"count":14},{"size":5567,"count":1},{"size":24829,"count":2},{"size":44731,"count":4},{"size":84591,"count":1}] |
Minimum variable degree | 1 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":2,"count":98},{"degree":3,"count":7},{"degree":7,"count":3},{"degree":8,"count":3},{"degree":9,"count":3},{"degree":10,"count":3},{"degree":11,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":1,"count":7},{"arity":2,"count":111},{"arity":8,"count":1},{"arity":15,"count":7}] |
Number of extensional constraints | 98 |
Number of intensional constraints | 20 |
Distribution of constraint types | [{"type":"extension","count":98},{"type":"intension","count":20},{"type":"sum","count":7},{"type":"maximum","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281065-1503106406.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4281065-1503106406.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.19 c 8 solvers in parallel 0.33/0.26 c parse instance... 2.48/0.89 c solve instance... 10.14/1.85 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 (13014 MiB free) memory of node 1: 16384 MiB (12588 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281065-1503106406/watcher-4281065-1503106406 -o /tmp/evaluation-result-4281065-1503106406/solver-4281065-1503106406 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503100499-29858 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 296321427 HOME/instance-4281065-1503106406.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=30366, runsolver pid=30363 Current StackSize limit: 8192 KiB [startup+0.100154 s]* /proc/loadavg: 7.68 7.21 7.35 2/199 30387 /proc/meminfo: memFree=26200816/32770624 swapFree=67108860/67108860 [pid=30366] ppid=30363 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30366/stat : 30366 (xcsp3-exec) S 30363 30366 29831 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143728285 9740288 346 33554432000 4194304 5098028 140730257647968 140730257646072 139643622396540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22867968 140730257654885 140730257655095 140730257655095 140730257657835 0 /proc/30366/statm: 2378 346 289 221 0 87 0 [pid=30368] ppid=30366 vsize=25999808 memory=26140 CPUtime=0.11 cores=0-7 /proc/30368/stat : 30368 (java) S 30366 30366 29831 0 -1 1077944320 5502 0 0 0 10 1 0 0 20 0 20 0 143728286 26623803392 6535 33554432000 4194304 4196468 140736136472304 140736136454848 140568426688247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 /proc/30368/statm: 6499952 6535 2840 1 0 6488269 0 [pid=30368/tid=30369] ppid=30366 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/30368/task/30369/stat : 30369 (java) R 30366 30366 29831 0 -1 4202560 3494 0 0 0 8 1 0 0 20 0 20 0 143728286 26623803392 6535 33554432000 4194304 4196468 140736136472304 140568430911696 140568426700182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30370] ppid=30366 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30370/stat : 30370 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728287 26623803392 6535 33554432000 4194304 4196468 140736136472304 140568379309200 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30371] ppid=30366 vsize=25999808 memory=139999941691008 CPUtime=0 cores=0-7 /proc/30368/task/30371/stat : 30371 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728287 26623803392 6535 33554432000 4194304 4196468 140736136472304 140568378256400 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30372] ppid=30366 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30372/stat : 30372 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728287 26623803392 6535 33554432000 4194304 4196468 140736136472304 140568377203600 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30373] ppid=30366 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30373/stat : 30373 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143728287 26623803392 6535 33554432000 4194304 4196468 140736136472304 140568376150800 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30374] ppid=30366 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30374/stat : 30374 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143728287 26623803392 6535 33554432000 4194304 4196468 140736136472304 140568375098000 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30375] ppid=30366 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/30368/task/30375/stat : 30375 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143728287 26623803392 6535 33554432000 4194304 4196468 140736136472304 140567980145168 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30376] ppid=30366 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30376/stat : 30376 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143728287 26623803392 6535 33554432000 4194304 4196468 140736136472304 140567979092368 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30377] ppid=30366 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30377/stat : 30377 (java) S 30366 30366 29831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143728287 26623803392 6535 33554432000 4194304 4196468 140736136472304 140567978039568 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30378] ppid=30366 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30378/stat : 30378 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143728288 26623803392 6535 33554432000 4194304 4196468 140736136472304 140567486860144 140568426699394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30379] ppid=30366 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30379/stat : 30379 (java) S 30366 30366 29831 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 143728288 26623803392 6535 33554432000 4194304 4196468 140736136472304 140567485806112 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30380] ppid=30366 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30380/stat : 30380 (java) S 30366 30366 29831 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 143728289 26623803392 6535 33554432000 4194304 4196468 140736136472304 140567484753264 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30381] ppid=30366 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30381/stat : 30381 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728291 26623803392 6535 33554432000 4194304 4196468 140736136472304 140567483701584 140568426706843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30382] ppid=30366 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30382/stat : 30382 (java) S 30366 30366 29831 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 143728291 26623803392 6535 33554432000 4194304 4196468 140736136472304 140567482648944 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30383] ppid=30366 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30383/stat : 30383 (java) S 30366 30366 29831 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 143728291 26623803392 6535 33554432000 4194304 4196468 140736136472304 140567481596144 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30384] ppid=30366 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30384/stat : 30384 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728291 26623803392 6535 33554432000 4194304 4196468 140736136472304 140567480543344 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30385] ppid=30366 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/30368/task/30385/stat : 30385 (java) R 30366 30366 29831 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 143728291 26623803392 6535 33554432000 4194304 4196468 140736136472304 140567479490544 140568410768734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30386] ppid=30366 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30386/stat : 30386 (java) S 30366 30366 29831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143728291 26623803392 6535 33554432000 4194304 4196468 140736136472304 140567478439008 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30387] ppid=30366 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/30368/task/30387/stat : 30387 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728292 26623803392 6600 33554432000 4194304 4196468 140736136472304 140567477386288 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27524 KiB [startup+0.209791 s]* /proc/loadavg: 7.68 7.21 7.35 2/199 30387 /proc/meminfo: memFree=26189264/32770624 swapFree=67108860/67108860 [pid=30366] ppid=30363 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30366/stat : 30366 (xcsp3-exec) S 30363 30366 29831 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143728285 9740288 346 33554432000 4194304 5098028 140730257647968 140730257646072 139643622396540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22867968 140730257654885 140730257655095 140730257655095 140730257657835 0 /proc/30366/statm: 2378 346 289 221 0 87 0 [pid=30368] ppid=30366 vsize=26004064 memory=39100 CPUtime=0.33 cores=0-7 /proc/30368/stat : 30368 (java) S 30366 30366 29831 0 -1 1077944320 8329 0 0 0 30 3 0 0 20 0 20 0 143728286 26628161536 9775 33554432000 4194304 4196468 140736136472304 140736136454848 140568426688247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 /proc/30368/statm: 6501016 9775 3063 1 0 6488269 0 [pid=30368/tid=30369] ppid=30366 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/30368/task/30369/stat : 30369 (java) R 30366 30366 29831 0 -1 4202560 5410 0 0 0 18 2 0 0 20 0 20 0 143728286 26628161536 9775 33554432000 4194304 4196468 140736136472304 140568430925088 140568410768734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30370] ppid=30366 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/30368/task/30370/stat : 30370 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 9775 33554432000 4194304 4196468 140736136472304 140568379309200 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30371] ppid=30366 vsize=26004064 memory=139999942356050 CPUtime=0 cores=0-7 /proc/30368/task/30371/stat : 30371 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 9775 33554432000 4194304 4196468 140736136472304 140568378256400 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30372] ppid=30366 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/30368/task/30372/stat : 30372 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 9775 33554432000 4194304 4196468 140736136472304 140568377203600 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30373] ppid=30366 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30373/stat : 30373 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 9775 33554432000 4194304 4196468 140736136472304 140568376150800 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30374] ppid=30366 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30374/stat : 30374 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 9775 33554432000 4194304 4196468 140736136472304 140568375098000 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30375] ppid=30366 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/30368/task/30375/stat : 30375 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 9775 33554432000 4194304 4196468 140736136472304 140567980145168 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30376] ppid=30366 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30376/stat : 30376 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 9775 33554432000 4194304 4196468 140736136472304 140567979092368 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30377] ppid=30366 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30377/stat : 30377 (java) S 30366 30366 29831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 9775 33554432000 4194304 4196468 140736136472304 140567978039568 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30378] ppid=30366 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30378/stat : 30378 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143728288 26628161536 9775 33554432000 4194304 4196468 140736136472304 140567486860144 140568426699394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30379] ppid=30366 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30379/stat : 30379 (java) S 30366 30366 29831 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 143728288 26628161536 9775 33554432000 4194304 4196468 140736136472304 140567485806112 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30380] ppid=30366 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30380/stat : 30380 (java) S 30366 30366 29831 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 143728289 26628161536 9775 33554432000 4194304 4196468 140736136472304 140567484753264 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30381] ppid=30366 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30381/stat : 30381 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728291 26628161536 9775 33554432000 4194304 4196468 140736136472304 140567483701584 140568426706843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30382] ppid=30366 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/30368/task/30382/stat : 30382 (java) S 30366 30366 29831 0 -1 1077944384 559 0 0 0 2 0 0 0 20 0 20 0 143728291 26628161536 9775 33554432000 4194304 4196468 140736136472304 140567482648944 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30383] ppid=30366 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/30368/task/30383/stat : 30383 (java) S 30366 30366 29831 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 143728291 26628161536 9775 33554432000 4194304 4196468 140736136472304 140567481596144 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30384] ppid=30366 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/30368/task/30384/stat : 30384 (java) S 30366 30366 29831 0 -1 1077944384 139 0 0 0 1 0 0 0 20 0 20 0 143728291 26628161536 9775 33554432000 4194304 4196468 140736136472304 140567480543344 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30385] ppid=30366 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/30368/task/30385/stat : 30385 (java) S 30366 30366 29831 0 -1 1077944384 745 0 0 0 7 0 0 0 20 0 20 0 143728291 26628161536 9775 33554432000 4194304 4196468 140736136472304 140567479490544 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30386] ppid=30366 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30386/stat : 30386 (java) S 30366 30366 29831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143728291 26628161536 9775 33554432000 4194304 4196468 140736136472304 140567478439008 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30387] ppid=30366 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/30368/task/30387/stat : 30387 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728292 26628161536 9775 33554432000 4194304 4196468 140736136472304 140567477386288 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40484 KiB [startup+0.309527 s]* /proc/loadavg: 7.68 7.21 7.35 5/199 30387 /proc/meminfo: memFree=26185264/32770624 swapFree=67108860/67108860 [pid=30366] ppid=30363 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30366/stat : 30366 (xcsp3-exec) S 30363 30366 29831 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143728285 9740288 346 33554432000 4194304 5098028 140730257647968 140730257646072 139643622396540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22867968 140730257654885 140730257655095 140730257655095 140730257657835 0 /proc/30366/statm: 2378 346 289 221 0 87 0 [pid=30368] ppid=30366 vsize=26004064 memory=46060 CPUtime=0.51 cores=0-7 /proc/30368/stat : 30368 (java) S 30366 30366 29831 0 -1 1077944320 9221 0 0 0 48 3 0 0 20 0 20 0 143728286 26628161536 11515 33554432000 4194304 4196468 140736136472304 140736136454848 140568426688247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 /proc/30368/statm: 6501016 11515 3090 1 0 6488269 0 [pid=30368/tid=30369] ppid=30366 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/30368/task/30369/stat : 30369 (java) R 30366 30366 29831 0 -1 4202560 6093 0 0 0 27 2 0 0 20 0 20 0 143728286 26628161536 11515 33554432000 4194304 4196468 140736136472304 140568430927184 140568419366261 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30370] ppid=30366 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30370/stat : 30370 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 11515 33554432000 4194304 4196468 140736136472304 140568379309200 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30371] ppid=30366 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30371/stat : 30371 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 11515 33554432000 4194304 4196468 140736136472304 140568378256400 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30372] ppid=30366 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30372/stat : 30372 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 11515 33554432000 4194304 4196468 140736136472304 140568377203600 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30373] ppid=30366 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30373/stat : 30373 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 11515 33554432000 4194304 4196468 140736136472304 140568376150800 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30374] ppid=30366 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/30368/task/30374/stat : 30374 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 11515 33554432000 4194304 4196468 140736136472304 140568375098000 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30375] ppid=30366 vsize=26004064 memory=139999827817391 CPUtime=0 cores=0-7 /proc/30368/task/30375/stat : 30375 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 11515 33554432000 4194304 4196468 140736136472304 140567980145168 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30376] ppid=30366 vsize=26004064 memory=139999827819696 CPUtime=0 cores=0-7 /proc/30368/task/30376/stat : 30376 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 11515 33554432000 4194304 4196468 140736136472304 140567979092368 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30377] ppid=30366 vsize=26004064 memory=139999827822000 CPUtime=0 cores=0-7 /proc/30368/task/30377/stat : 30377 (java) S 30366 30366 29831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143728287 26628161536 11515 33554432000 4194304 4196468 140736136472304 140567978039568 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30378] ppid=30366 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30378/stat : 30378 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143728288 26628161536 11515 33554432000 4194304 4196468 140736136472304 140567486860144 140568426699394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30379] ppid=30366 vsize=26004064 memory=279999655650960 CPUtime=0 cores=0-7 /proc/30368/task/30379/stat : 30379 (java) S 30366 30366 29831 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 143728288 26628161536 11515 33554432000 4194304 4196468 140736136472304 140567485806112 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30380] ppid=30366 vsize=26004064 memory=279999655657872 CPUtime=0 cores=0-7 /proc/30368/task/30380/stat : 30380 (java) S 30366 30366 29831 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 143728289 26628161536 11515 33554432000 4194304 4196468 140736136472304 140567484753264 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30381] ppid=30366 vsize=26004064 memory=279999655599152 CPUtime=0 cores=0-7 /proc/30368/task/30381/stat : 30381 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728291 26628161536 11515 33554432000 4194304 4196468 140736136472304 140567483701584 140568426706843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30382] ppid=30366 vsize=26004064 memory=279999655671696 CPUtime=0.02 cores=0-7 /proc/30368/task/30382/stat : 30382 (java) S 30366 30366 29831 0 -1 1077944384 571 0 0 0 2 0 0 0 20 0 20 0 143728291 26628161536 11515 33554432000 4194304 4196468 140736136472304 140567482648944 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30383] ppid=30366 vsize=26004064 memory=279999655678608 CPUtime=0.02 cores=0-7 /proc/30368/task/30383/stat : 30383 (java) S 30366 30366 29831 0 -1 1077944384 242 0 0 0 2 0 0 0 20 0 20 0 143728291 26628161536 11515 33554432000 4194304 4196468 140736136472304 140567481596144 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30384] ppid=30366 vsize=26004064 memory=279999655676304 CPUtime=0.02 cores=0-7 /proc/30368/task/30384/stat : 30384 (java) S 30366 30366 29831 0 -1 1077944384 141 0 0 0 2 0 0 0 20 0 20 0 143728291 26628161536 11515 33554432000 4194304 4196468 140736136472304 140567480543344 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30385] ppid=30366 vsize=26004064 memory=279999655692464 CPUtime=0.12 cores=0-7 /proc/30368/task/30385/stat : 30385 (java) R 30366 30366 29831 0 -1 4202560 862 0 0 0 12 0 0 0 20 0 20 0 143728291 26628161536 11515 33554432000 4194304 4196468 140736136472304 140567479486272 140568404814848 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30386] ppid=30366 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30386/stat : 30386 (java) S 30366 30366 29831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143728291 26628161536 11515 33554432000 4194304 4196468 140736136472304 140567478439008 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30387] ppid=30366 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/30368/task/30387/stat : 30387 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728292 26628161536 11515 33554432000 4194304 4196468 140736136472304 140567477386288 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47444 KiB [startup+0.700935 s] /proc/loadavg: 7.68 7.21 7.35 4/199 30387 /proc/meminfo: memFree=26153000/32770624 swapFree=67108860/67108860 [pid=30366] ppid=30363 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30366/stat : 30366 (xcsp3-exec) S 30363 30366 29831 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143728285 9740288 346 33554432000 4194304 5098028 140730257647968 140730257646072 139643622396540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22867968 140730257654885 140730257655095 140730257655095 140730257657835 0 /proc/30366/statm: 2378 346 289 221 0 87 0 [pid=30368] ppid=30366 vsize=26006188 memory=169492 CPUtime=1.77 cores=0-7 /proc/30368/stat : 30368 (java) S 30366 30366 29831 0 -1 1077944320 15057 0 0 0 170 7 0 0 20 0 20 0 143728286 26630336512 42373 33554432000 4194304 4196468 140736136472304 140736136454848 140568426688247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 /proc/30368/statm: 6501547 42373 3210 1 0 6488781 0 [pid=30368/tid=30369] ppid=30366 vsize=26006188 memory=279999656050352 CPUtime=0.67 cores=0-7 /proc/30368/task/30369/stat : 30369 (java) R 30366 30366 29831 0 -1 4202560 6753 0 0 0 63 4 0 0 20 0 20 0 143728286 26630336512 42373 33554432000 4194304 4196468 140736136472304 140568430925744 140568059305759 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30370] ppid=30366 vsize=26006188 memory=139999828026224 CPUtime=0 cores=0-7 /proc/30368/task/30370/stat : 30370 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728287 26630336512 42373 33554432000 4194304 4196468 140736136472304 140568379309200 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30371] ppid=30366 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30371/stat : 30371 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728287 26630336512 42373 33554432000 4194304 4196468 140736136472304 140568378256400 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30372] ppid=30366 vsize=26006188 memory=1004 CPUtime=0 cores=0-7 /proc/30368/task/30372/stat : 30372 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143728287 26630336512 42373 33554432000 4194304 4196468 140736136472304 140568377203600 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 ################ # More data... # ################ [pid=30368/tid=30376] ppid=30366 vsize=26538700 memory=279999655545240 CPUtime=0.1 cores=0-7 /proc/30368/task/30376/stat : 30376 (java) S 30366 30366 29831 0 -1 1077944384 56 0 0 0 8 2 0 0 20 0 28 0 143728287 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567979092368 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30377] ppid=30366 vsize=26538700 memory=279999655447312 CPUtime=0.08 cores=0-7 /proc/30368/task/30377/stat : 30377 (java) S 30366 30366 29831 0 -1 1077944384 36 0 0 0 6 2 0 0 20 0 28 0 143728287 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567978039568 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30378] ppid=30366 vsize=26538700 memory=4132 CPUtime=0 cores=0-7 /proc/30368/task/30378/stat : 30378 (java) S 30366 30366 29831 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 143728288 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567486860144 140568426699394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30379] ppid=30366 vsize=26538700 memory=40224 CPUtime=0 cores=0-7 /proc/30368/task/30379/stat : 30379 (java) S 30366 30366 29831 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 143728288 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567485806112 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30380] ppid=30366 vsize=26538700 memory=2332 CPUtime=0 cores=0-7 /proc/30368/task/30380/stat : 30380 (java) S 30366 30366 29831 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 143728289 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567484753264 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30381] ppid=30366 vsize=26538700 memory=6788 CPUtime=0 cores=0-7 /proc/30368/task/30381/stat : 30381 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 143728291 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567483701584 140568426706843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30382] ppid=30366 vsize=26538700 memory=6425271076030 CPUtime=0.71 cores=0-7 /proc/30368/task/30382/stat : 30382 (java) R 30366 30366 29831 0 -1 4202560 4234 0 0 0 71 0 0 0 20 0 28 0 143728291 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567482633272 140568411796411 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30383] ppid=30366 vsize=26538700 memory=288230596050944315 CPUtime=0.61 cores=0-7 /proc/30368/task/30383/stat : 30383 (java) R 30366 30366 29831 0 -1 4202560 3462 0 0 0 60 1 0 0 20 0 28 0 143728291 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567481577160 140568418977662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30384] ppid=30366 vsize=26538700 memory=558402 CPUtime=0.71 cores=0-7 /proc/30368/task/30384/stat : 30384 (java) R 30366 30366 29831 0 -1 4202560 4281 0 0 0 70 1 0 0 20 0 28 0 143728291 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567480529368 140568408232020 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30385] ppid=30366 vsize=26538700 memory=7524764360453481792 CPUtime=0.66 cores=0-7 /proc/30368/task/30385/stat : 30385 (java) D 30366 30366 29831 0 -1 4202560 4175 0 0 0 65 1 0 0 20 0 28 0 143728291 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567479487480 140568419405399 0 4 0 16800975 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30386] ppid=30366 vsize=26538700 memory=7235712662152701778 CPUtime=0 cores=0-7 /proc/30368/task/30386/stat : 30386 (java) S 30366 30366 29831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 143728291 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567478439008 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30387] ppid=30366 vsize=26538700 memory=20228 CPUtime=0 cores=0-7 /proc/30368/task/30387/stat : 30387 (java) S 30366 30366 29831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 143728292 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567477386288 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30388] ppid=30366 vsize=26538700 memory=0 CPUtime=0.48 cores=0-7 /proc/30368/task/30388/stat : 30388 (java) R 30366 30366 29831 0 -1 4202560 49 0 0 0 48 0 0 0 20 0 28 0 143728376 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567469371392 140568061287328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30389] ppid=30366 vsize=26538700 memory=0 CPUtime=0.59 cores=0-7 /proc/30368/task/30389/stat : 30389 (java) R 30366 30366 29831 0 -1 4202560 54 0 0 0 59 0 0 0 20 0 28 0 143728376 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567468323144 140568061251724 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30390] ppid=30366 vsize=26538700 memory=19876 CPUtime=0.47 cores=0-7 /proc/30368/task/30390/stat : 30390 (java) R 30366 30366 29831 0 -1 4202560 56 0 0 0 47 0 0 0 20 0 28 0 143728376 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567467272056 140568062041204 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30391] ppid=30366 vsize=26538700 memory=0 CPUtime=0.47 cores=0-7 /proc/30368/task/30391/stat : 30391 (java) R 30366 30366 29831 0 -1 4202560 91 0 0 0 47 0 0 0 20 0 28 0 143728376 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567466217864 140568061034028 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30392] ppid=30366 vsize=26538700 memory=7649399384331989043 CPUtime=0.57 cores=0-7 /proc/30368/task/30392/stat : 30392 (java) R 30366 30366 29831 0 -1 4202560 36 0 0 0 57 0 0 0 20 0 28 0 143728376 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567465164448 140568059395036 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30393] ppid=30366 vsize=26538700 memory=7517159033909830208 CPUtime=0.55 cores=0-7 /proc/30368/task/30393/stat : 30393 (java) R 30366 30366 29831 0 -1 4202560 48 0 0 0 55 0 0 0 20 0 28 0 143728376 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567464112136 140568061247916 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30394] ppid=30366 vsize=26538700 memory=7596560391084533056 CPUtime=0.5 cores=0-7 /proc/30368/task/30394/stat : 30394 (java) R 30366 30366 29831 0 -1 4202560 39 0 0 0 50 0 0 0 20 0 28 0 143728376 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567463060280 140568061180291 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30395] ppid=30366 vsize=26538700 memory=7588671304909280615 CPUtime=0.47 cores=0-7 /proc/30368/task/30395/stat : 30395 (java) R 30366 30366 29831 0 -1 4202560 31 0 0 0 47 0 0 0 20 0 28 0 143728376 27175628800 81541 33554432000 4194304 4196468 140736136472304 140567462006832 140568061005826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 Current children cumulated CPU time: 8.49 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 327548 KiB [startup+1.80969 s] /proc/loadavg: 7.68 7.21 7.35 10/207 30395 /proc/meminfo: memFree=25933276/32770624 swapFree=67108860/67108860 [pid=30366] ppid=30363 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30366/stat : 30366 (xcsp3-exec) S 30363 30366 29831 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143728285 9740288 346 33554432000 4194304 5098028 140730257647968 140730257646072 139643622396540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22867968 140730257654885 140730257655095 140730257655095 140730257657835 0 /proc/30366/statm: 2378 346 289 221 0 87 0 [pid=30368] ppid=30366 vsize=26538700 memory=331264 CPUtime=10.14 cores=0-7 /proc/30368/stat : 30368 (java) S 30366 30366 29831 0 -1 1077944320 26365 0 0 0 980 34 0 0 20 0 28 0 143728286 27175628800 82816 33554432000 4194304 4196468 140736136472304 140736136454848 140568426688247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 /proc/30368/statm: 6634675 82816 3230 1 0 6621909 0 [pid=30368/tid=30369] ppid=30366 vsize=26538700 memory=0 CPUtime=0.76 cores=0-7 /proc/30368/task/30369/stat : 30369 (java) S 30366 30366 29831 0 -1 1077944384 6824 0 0 0 72 4 0 0 20 0 28 0 143728286 27175628800 82816 33554432000 4194304 4196468 140736136472304 140568430929024 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30370] ppid=30366 vsize=26538700 memory=0 CPUtime=0.1 cores=0-7 /proc/30368/task/30370/stat : 30370 (java) S 30366 30366 29831 0 -1 1077944384 45 0 0 0 7 3 0 0 20 0 28 0 143728287 27175628800 82816 33554432000 4194304 4196468 140736136472304 140568379309200 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30371] ppid=30366 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7 /proc/30368/task/30371/stat : 30371 (java) S 30366 30366 29831 0 -1 1077944384 39 0 0 0 6 2 0 0 20 0 28 0 143728287 27175628800 82816 33554432000 4194304 4196468 140736136472304 140568378256400 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30372] ppid=30366 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7 /proc/30368/task/30372/stat : 30372 (java) S 30366 30366 29831 0 -1 1077944384 40 0 0 0 7 2 0 0 20 0 28 0 143728287 27175628800 82816 33554432000 4194304 4196468 140736136472304 140568377203600 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30373] ppid=30366 vsize=26538700 memory=0 CPUtime=0.1 cores=0-7 /proc/30368/task/30373/stat : 30373 (java) S 30366 30366 29831 0 -1 1077944384 56 0 0 0 7 3 0 0 20 0 28 0 143728287 27175628800 82816 33554432000 4194304 4196468 140736136472304 140568376150800 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30374] ppid=30366 vsize=26538700 memory=0 CPUtime=0.1 cores=0-7 /proc/30368/task/30374/stat : 30374 (java) S 30366 30366 29831 0 -1 1077944384 46 0 0 0 7 3 0 0 20 0 28 0 143728287 27175628800 82816 33554432000 4194304 4196468 140736136472304 140568375098000 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30375] ppid=30366 vsize=26538700 memory=0 CPUtime=0.11 cores=0-7 /proc/30368/task/30375/stat : 30375 (java) S 30366 30366 29831 0 -1 1077944384 60 0 0 0 8 3 0 0 20 0 28 0 143728287 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567980145168 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30376] ppid=30366 vsize=26538700 memory=0 CPUtime=0.1 cores=0-7 /proc/30368/task/30376/stat : 30376 (java) S 30366 30366 29831 0 -1 1077944384 56 0 0 0 8 2 0 0 20 0 28 0 143728287 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567979092368 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30377] ppid=30366 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7 /proc/30368/task/30377/stat : 30377 (java) S 30366 30366 29831 0 -1 1077944384 36 0 0 0 6 2 0 0 20 0 28 0 143728287 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567978039568 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30378] ppid=30366 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30378/stat : 30378 (java) S 30366 30366 29831 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 143728288 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567486860144 140568426699394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30379] ppid=30366 vsize=26538700 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/30368/task/30379/stat : 30379 (java) S 30366 30366 29831 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 143728288 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567485806112 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30380] ppid=30366 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30380/stat : 30380 (java) S 30366 30366 29831 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 143728289 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567484753264 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30381] ppid=30366 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/30368/task/30381/stat : 30381 (java) S 30366 30366 29831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 143728291 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567483701584 140568426706843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30382] ppid=30366 vsize=26538700 memory=0 CPUtime=0.75 cores=0-7 /proc/30368/task/30382/stat : 30382 (java) R 30366 30366 29831 0 -1 4202560 4617 0 0 0 74 1 0 0 20 0 28 0 143728291 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567482634968 140568408207932 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30383] ppid=30366 vsize=26538700 memory=0 CPUtime=0.68 cores=0-7 /proc/30368/task/30383/stat : 30383 (java) R 30366 30366 29831 0 -1 4202560 4185 0 0 0 67 1 0 0 20 0 28 0 143728291 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567481582024 140568406381347 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30384] ppid=30366 vsize=26538700 memory=1792 CPUtime=0.78 cores=0-7 /proc/30368/task/30384/stat : 30384 (java) R 30366 30366 29831 0 -1 4202560 4340 0 0 0 77 1 0 0 20 0 28 0 143728291 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567480529912 140568411368700 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30385] ppid=30366 vsize=26538700 memory=648 CPUtime=0.67 cores=0-7 /proc/30368/task/30385/stat : 30385 (java) S 30366 30366 29831 0 -1 1077944384 4231 0 0 0 66 1 0 0 20 0 28 0 143728291 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567479490544 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30386] ppid=30366 vsize=26538700 memory=1236 CPUtime=0 cores=0-7 /proc/30368/task/30386/stat : 30386 (java) S 30366 30366 29831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 143728291 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567478439008 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30387] ppid=30366 vsize=26538700 memory=960 CPUtime=0 cores=0-7 /proc/30368/task/30387/stat : 30387 (java) S 30366 30366 29831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 143728292 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567477386288 140568426699394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30388] ppid=30366 vsize=26538700 memory=2424 CPUtime=0.66 cores=0-7 /proc/30368/task/30388/stat : 30388 (java) R 30366 30366 29831 0 -1 4202560 49 0 0 0 66 0 0 0 20 0 28 0 143728376 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567469371392 140568061005867 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30389] ppid=30366 vsize=26538700 memory=2236 CPUtime=0.79 cores=0-7 /proc/30368/task/30389/stat : 30389 (java) R 30366 30366 29831 0 -1 4202560 54 0 0 0 79 0 0 0 20 0 28 0 143728376 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567468323144 140568061033912 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30390] ppid=30366 vsize=26538700 memory=4084 CPUtime=0.58 cores=0-7 /proc/30368/task/30390/stat : 30390 (java) R 30366 30366 29831 0 -1 1077944384 56 0 0 0 58 0 0 0 20 0 28 0 143728376 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567467270240 140568426698453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30391] ppid=30366 vsize=26538700 memory=932 CPUtime=0.65 cores=0-7 /proc/30368/task/30391/stat : 30391 (java) R 30366 30366 29831 0 -1 4202560 91 0 0 0 65 0 0 0 20 0 28 0 143728376 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567466217272 140568061033821 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30392] ppid=30366 vsize=26538700 memory=1572 CPUtime=0.77 cores=0-7 /proc/30368/task/30392/stat : 30392 (java) R 30366 30366 29831 0 -1 4202560 36 0 0 0 77 0 0 0 20 0 28 0 143728376 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567465161368 140568061960817 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30393] ppid=30366 vsize=26538700 memory=2200 CPUtime=0.72 cores=0-7 /proc/30368/task/30393/stat : 30393 (java) R 30366 30366 29831 0 -1 4202560 48 0 0 0 72 0 0 0 20 0 28 0 143728376 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567464112008 140568061183147 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30394] ppid=30366 vsize=26538700 memory=8048 CPUtime=0.71 cores=0-7 /proc/30368/task/30394/stat : 30394 (java) R 30366 30366 29831 0 -1 4202560 39 0 0 0 71 0 0 0 20 0 28 0 143728376 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567463060280 140568061128208 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30395] ppid=30366 vsize=26538700 memory=836 CPUtime=0.68 cores=0-7 /proc/30368/task/30395/stat : 30395 (java) R 30366 30366 29831 0 -1 4202560 31 0 0 0 68 0 0 0 20 0 28 0 143728376 27175628800 82816 33554432000 4194304 4196468 140736136472304 140567462006832 140568061067079 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 Current children cumulated CPU time: 10.14 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 332648 KiB [startup+1.90168 s] /proc/loadavg: 7.68 7.21 7.35 10/207 30395 /proc/meminfo: memFree=25933276/32770624 swapFree=67108860/67108860 [pid=30366] ppid=30363 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30366/stat : 30366 (xcsp3-exec) S 30363 30366 29831 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143728285 9740288 346 33554432000 4194304 5098028 140730257647968 140730257646072 139643622396540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22867968 140730257654885 140730257655095 140730257655095 140730257657835 0 /proc/30366/statm: 2378 346 289 221 0 87 0 [pid=30368] ppid=30366 vsize=26538700 memory=334540 CPUtime=10.55 cores=0-7 /proc/30368/stat : 30368 (java) S 30366 30366 29831 0 -1 1077944320 27058 0 0 0 1021 34 0 0 20 0 19 0 143728286 27175628800 83635 33554432000 4194304 4196468 140736136472304 140736136454848 140568426688247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 /proc/30368/statm: 6634675 83635 3232 1 0 6621909 0 [pid=30368/tid=30369] ppid=30366 vsize=26538700 memory=0 CPUtime=0.76 cores=0-7 /proc/30368/task/30369/stat : 30369 (java) S 30366 30366 29831 0 -1 1077944384 6830 0 0 0 72 4 0 0 20 0 19 0 143728286 27175628800 83635 33554432000 4194304 4196468 140736136472304 140568430931088 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30370] ppid=30366 vsize=26538700 memory=0 CPUtime=0.1 cores=0-7 /proc/30368/task/30370/stat : 30370 (java) S 30366 30366 29831 0 -1 1077944384 45 0 0 0 7 3 0 0 20 0 19 0 143728287 27175628800 83635 33554432000 4194304 4196468 140736136472304 140568379309200 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30371] ppid=30366 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7 /proc/30368/task/30371/stat : 30371 (java) S 30366 30366 29831 0 -1 1077944384 39 0 0 0 6 2 0 0 20 0 19 0 143728287 27175628800 83635 33554432000 4194304 4196468 140736136472304 140568378256400 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30372] ppid=30366 vsize=26538700 memory=1292 CPUtime=0.09 cores=0-7 /proc/30368/task/30372/stat : 30372 (java) S 30366 30366 29831 0 -1 1077944384 40 0 0 0 7 2 0 0 20 0 19 0 143728287 27175628800 83635 33554432000 4194304 4196468 140736136472304 140568377203600 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30373] ppid=30366 vsize=26538700 memory=1728 CPUtime=0.1 cores=0-7 /proc/30368/task/30373/stat : 30373 (java) S 30366 30366 29831 0 -1 1077944384 56 0 0 0 7 3 0 0 20 0 19 0 143728287 27175628800 83635 33554432000 4194304 4196468 140736136472304 140568376150800 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30374] ppid=30366 vsize=26538700 memory=5788 CPUtime=0.1 cores=0-7 /proc/30368/task/30374/stat : 30374 (java) S 30366 30366 29831 0 -1 1077944384 46 0 0 0 7 3 0 0 20 0 19 0 143728287 27175628800 83635 33554432000 4194304 4196468 140736136472304 140568375098000 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30375] ppid=30366 vsize=26538700 memory=1228 CPUtime=0.11 cores=0-7 /proc/30368/task/30375/stat : 30375 (java) S 30366 30366 29831 0 -1 1077944384 60 0 0 0 8 3 0 0 20 0 19 0 143728287 27175628800 83635 33554432000 4194304 4196468 140736136472304 140567980145168 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30376] ppid=30366 vsize=26538700 memory=796 CPUtime=0.1 cores=0-7 /proc/30368/task/30376/stat : 30376 (java) S 30366 30366 29831 0 -1 1077944384 56 0 0 0 8 2 0 0 20 0 19 0 143728287 27175628800 83635 33554432000 4194304 4196468 140736136472304 140567979092368 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30377] ppid=30366 vsize=26538700 memory=10088 CPUtime=0.08 cores=0-7 /proc/30368/task/30377/stat : 30377 (java) S 30366 30366 29831 0 -1 1077944384 36 0 0 0 6 2 0 0 20 0 19 0 143728287 27175628800 83635 33554432000 4194304 4196468 140736136472304 140567978039568 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30378] ppid=30366 vsize=26538700 memory=140004236658303 CPUtime=0 cores=0-7 /proc/30368/task/30378/stat : 30378 (java) S 30366 30366 29831 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 19 0 143728288 27175628800 83635 33554432000 4194304 4196468 140736136472304 140567486860352 140568426699394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30379] ppid=30366 vsize=26538700 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/30368/task/30379/stat : 30379 (java) S 30366 30366 29831 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 143728288 27175628800 83635 33554432000 4194304 4196468 140736136472304 140567485806112 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30380] ppid=30366 vsize=26538700 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/30368/task/30380/stat : 30380 (java) S 30366 30366 29831 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 143728289 27175628800 83635 33554432000 4194304 4196468 140736136472304 140567484753264 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30381] ppid=30366 vsize=26538700 memory=-8412654347173992307 CPUtime=0 cores=0-7 /proc/30368/task/30381/stat : 30381 (java) S 30366 30366 29831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 143728291 27175628800 83635 33554432000 4194304 4196468 140736136472304 140567483701232 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30382] ppid=30366 vsize=26538700 memory=-8253362762723128444 CPUtime=0.79 cores=0-7 /proc/30368/task/30382/stat : 30382 (java) S 30366 30366 29831 0 -1 1077944384 4741 0 0 0 78 1 0 0 20 0 19 0 143728291 27175628800 83635 33554432000 4194304 4196468 140736136472304 140567482633456 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30383] ppid=30366 vsize=26538700 memory=-8674347216157327297 CPUtime=0.77 cores=0-7 /proc/30368/task/30383/stat : 30383 (java) R 30366 30366 29831 0 -1 4202560 4701 0 0 0 76 1 0 0 20 0 19 0 143728291 27175628800 83635 33554432000 4194304 4196468 140736136472304 140567481582024 140568408211723 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30384] ppid=30366 vsize=26538700 memory=4282221247863813674 CPUtime=0.82 cores=0-7 /proc/30368/task/30384/stat : 30384 (java) S 30366 30366 29831 0 -1 1077944384 4368 0 0 0 81 1 0 0 20 0 19 0 143728291 27175628800 83635 33554432000 4194304 4196468 140736136472304 140567480527856 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30385] ppid=30366 vsize=26538700 memory=57 CPUtime=0.68 cores=0-7 /proc/30368/task/30385/stat : 30385 (java) S 30366 30366 29831 0 -1 1077944384 4241 0 0 0 67 1 0 0 20 0 19 0 143728291 27175628800 83635 33554432000 4194304 4196468 140736136472304 140567479485600 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 [pid=30368/tid=30386] ppid=30366 vsize=26538700 memory=7590648278424184168 CPUtime=0 cores=0-7 /proc/30368/task/30386/stat : 30386 (java) S 30366 30366 29831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 143728291 27175628800 83635 33554432000 4194304 4196468 140736136472304 140567478439008 140568426698453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31309824 140736136475794 140736136475971 140736136475971 140736136478671 0 Current children cumulated CPU time: 10.55 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 335924 KiB Child status: 0 Real time (s): 1.92898 CPU time (s): 10.5819 CPU user time (s): 10.2294 CPU system time (s): 0.35247 CPU usage (%): 548.574 Max. virtual memory (cumulated for all children) (KiB): 26549980 Max. memory (cumulated for all children) (KiB): 335924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.2294 system time used= 0.35247 maximum resident set size= 335320 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27588 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3724 involuntary context switches= 258 # summary of solver processes directly reported to runsolver: # pid: 30366 # total CPU time (s): 10.5819 # total CPU user time (s): 10.2294 # total CPU system time (s): 0.35247 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.03607 second user time and 0.056692 second system time The end
Begin job on node112 at 2017-08-19 03:19:06 IDJOB=4281065 IDBENCH=115704 IDSOLVER=2675 FILE ID=node112/4281065-1503106406 RUNJOBID= node112-1503100499-29858 PBS_JOBID= 20630746 Free space on /tmp= 61856 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Scheduling/Scheduling-xcsp2-cabinet/Cabinet-5567_X2.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-4281065-1503106406/watcher-4281065-1503106406 -o /tmp/evaluation-result-4281065-1503106406/solver-4281065-1503106406 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503100499-29858 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 296321427 HOME/instance-4281065-1503106406.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8a6a7065f0b63cf63ee64db4f5edcf0c RANDOM SEED=296321427 node112.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.24 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.24 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.24 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.24 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: 26217404 kB MemAvailable: 31972232 kB Buffers: 242528 kB Cached: 5802092 kB SwapCached: 0 kB Active: 1084764 kB Inactive: 5011816 kB Active(anon): 3472 kB Inactive(anon): 84428 kB Active(file): 1081292 kB Inactive(file): 4927388 kB Unevictable: 7840 kB Mlocked: 7840 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7600 kB Writeback: 0 kB AnonPages: 59760 kB Mapped: 50188 kB Shmem: 33416 kB Slab: 150576 kB SReclaimable: 123964 kB SUnreclaim: 26612 kB KernelStack: 3184 kB PageTables: 4816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332888 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61848 MiB End job on node112 at 2017-08-19 03:19:08