Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | SAT | 1429.33 | 208.162 |
Name | QRandom/QRandom-mdd-7-25-5/ mdd-7-25-5-56-09.xml |
MD5SUM | e7714f1bdc5f54a36db8d66dbea9ce0a |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 120.316 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 25 |
Number of constraints | 56 |
Number of domains | 1 |
Minimum domain size | 5 |
Maximum domain size | 5 |
Distribution of domain sizes | [{"size":5,"count":25}] |
Minimum variable degree | 8 |
Maximum variable degree | 25 |
Distribution of variable degrees | [{"degree":8,"count":1},{"degree":9,"count":2},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":5},{"degree":16,"count":2},{"degree":17,"count":2},{"degree":18,"count":1},{"degree":19,"count":3},{"degree":22,"count":1},{"degree":25,"count":2}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":7,"count":56}] |
Number of extensional constraints | 56 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":56}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406800-1569348037.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406800-1569348037.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 81.91/39.15 c solve instance... 1429.25/208.11 s SATISFIABLE 1429.25/208.11 v <instantiation> 1429.25/208.11 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] </list> 1429.25/208.11 v <values>4 0 0 2 0 4 0 3 0 3 3 4 0 1 1 4 0 1 0 4 1 4 4 1 3 </values> 1429.25/208.11 v </instantiation>
OK
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 (12253 MiB free) memory of node 1: 16384 MiB (12557 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406800-1569348037/watcher-4406800-1569348037 -o /tmp/evaluation-result-4406800-1569348037/solver-4406800-1569348037 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569347859-30352 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1017574808 HOME/instance-4406800-1569348037.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=30660, runsolver pid=30657 Current StackSize limit: 8192 KiB [startup+0.100134 s]* /proc/loadavg: 4.56 6.59 7.48 2/211 30681 /proc/meminfo: memFree=25389480/32770624 swapFree=66975640/67108860 [pid=30660] ppid=30657 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30660/stat : 30660 (xcsp3-exec) S 30657 30660 30325 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511070552 115843072 363 33554432000 4194304 5098028 140732231328400 140732231326504 140553851568764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15114240 140732231332725 140732231332969 140732231332969 140732231335882 0 /proc/30660/statm: 28282 363 304 221 0 87 0 [pid=30662] ppid=30660 vsize=28227396 memory=29660 CPUtime=0.12 cores=0-7 /proc/30662/stat : 30662 (java) S 30660 30660 30325 0 -1 1077944320 5897 0 0 0 11 1 0 0 20 0 20 0 511070552 28904853504 7415 33554432000 4194304 4196468 140736333300192 140736333282736 140276302421751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 /proc/30662/statm: 7056849 7415 3125 1 0 7019032 0 [pid=30662/tid=30663] ppid=30660 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/30662/task/30663/stat : 30663 (java) R 30660 30660 30325 0 -1 4202560 3842 0 0 0 8 1 0 0 20 0 20 0 511070552 28904853504 7415 33554432000 4194304 4196468 140736333300192 140276306654000 140275930507107 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30664] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30664/stat : 30664 (java) S 30660 30660 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140276255041936 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30665] ppid=30660 vsize=28227396 memory=139980023850624 CPUtime=0 cores=0-7 /proc/30662/task/30665/stat : 30665 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140276253989136 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30666] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30666/stat : 30666 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140276252936848 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30667] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30667/stat : 30667 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140276251884048 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30668] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30668/stat : 30668 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140276250831760 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30669] ppid=30660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30662/task/30669/stat : 30669 (java) S 30660 30660 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275848436496 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30670] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30670/stat : 30670 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275847384208 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30671] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30671/stat : 30671 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275846331408 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30672] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30672/stat : 30672 (java) S 30660 30660 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511070555 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275284580464 140276302432898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30673] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30673/stat : 30673 (java) S 30660 30660 30325 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511070555 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275283526432 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30674] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30674/stat : 30674 (java) S 30660 30660 30325 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511070555 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275282474096 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30675] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30675/stat : 30675 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275281422416 140276302440347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30676] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30676/stat : 30676 (java) S 30660 30660 30325 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275280370288 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30677] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30677/stat : 30677 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275279317488 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30678] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30678/stat : 30678 (java) S 30660 30660 30325 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275278265200 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30679] ppid=30660 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30662/task/30679/stat : 30679 (java) R 30660 30660 30325 0 -1 4202560 316 0 0 0 1 0 0 0 20 0 20 0 511070558 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275277212400 140276281440542 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30680] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30680/stat : 30680 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275276159328 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30681] ppid=30660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30662/task/30681/stat : 30681 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275275106608 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31112 KiB [startup+0.210599 s]* /proc/loadavg: 4.56 6.59 7.48 2/211 30681 /proc/meminfo: memFree=25376360/32770624 swapFree=66975640/67108860 [pid=30660] ppid=30657 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30660/stat : 30660 (xcsp3-exec) S 30657 30660 30325 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511070552 115843072 363 33554432000 4194304 5098028 140732231328400 140732231326504 140553851568764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15114240 140732231332725 140732231332969 140732231332969 140732231335882 0 /proc/30660/statm: 28282 363 304 221 0 87 0 [pid=30662] ppid=30660 vsize=28227396 memory=41364 CPUtime=0.34 cores=0-7 /proc/30662/stat : 30662 (java) S 30660 30660 30325 0 -1 1077944320 9519 0 0 0 30 4 0 0 20 0 20 0 511070552 28904853504 10341 33554432000 4194304 4196468 140736333300192 140736333282736 140276302421751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 /proc/30662/statm: 7056849 10341 3308 1 0 7019032 0 [pid=30662/tid=30663] ppid=30660 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/30662/task/30663/stat : 30663 (java) R 30660 30660 30325 0 -1 4202560 6673 0 0 0 17 2 0 0 20 0 20 0 511070552 28904853504 10341 33554432000 4194304 4196468 140736333300192 140276306651184 140276302433686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30664] ppid=30660 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/30662/task/30664/stat : 30664 (java) S 30660 30660 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140276255041936 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30665] ppid=30660 vsize=28227396 memory=3906786385844823712 CPUtime=0 cores=0-7 /proc/30662/task/30665/stat : 30665 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140276253989136 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30666] ppid=30660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30662/task/30666/stat : 30666 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140276252936848 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30667] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30667/stat : 30667 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140276251884048 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30668] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30668/stat : 30668 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140276250831760 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30669] ppid=30660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30662/task/30669/stat : 30669 (java) S 30660 30660 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275848436496 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30670] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30670/stat : 30670 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275847384208 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30671] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30671/stat : 30671 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275846331408 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30672] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30672/stat : 30672 (java) S 30660 30660 30325 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511070555 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275284580464 140276302432898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30673] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30673/stat : 30673 (java) S 30660 30660 30325 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511070555 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275283526432 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30674] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30674/stat : 30674 (java) S 30660 30660 30325 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511070555 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275282474096 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30675] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30675/stat : 30675 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275281422416 140276302440347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30676] ppid=30660 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30662/task/30676/stat : 30676 (java) S 30660 30660 30325 0 -1 1077944384 409 0 0 0 1 0 0 0 20 0 20 0 511070558 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275280370288 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30677] ppid=30660 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30662/task/30677/stat : 30677 (java) S 30660 30660 30325 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 20 0 511070558 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275279317488 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30678] ppid=30660 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/30662/task/30678/stat : 30678 (java) S 30660 30660 30325 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 20 0 511070558 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275278265200 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30679] ppid=30660 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/30662/task/30679/stat : 30679 (java) R 30660 30660 30325 0 -1 4202560 739 0 0 0 7 0 0 0 20 0 20 0 511070558 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275277212400 140276302443098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30680] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30680/stat : 30680 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275276159328 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30681] ppid=30660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30662/task/30681/stat : 30681 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275275106608 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42816 KiB [startup+0.31047 s]* /proc/loadavg: 4.56 6.59 7.48 6/211 30681 /proc/meminfo: memFree=25369168/32770624 swapFree=66975640/67108860 [pid=30660] ppid=30657 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30660/stat : 30660 (xcsp3-exec) S 30657 30660 30325 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511070552 115843072 363 33554432000 4194304 5098028 140732231328400 140732231326504 140553851568764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15114240 140732231332725 140732231332969 140732231332969 140732231335882 0 /proc/30660/statm: 28282 363 304 221 0 87 0 [pid=30662] ppid=30660 vsize=28231652 memory=49952 CPUtime=0.52 cores=0-7 /proc/30662/stat : 30662 (java) S 30660 30660 30325 0 -1 1077944320 10886 0 0 0 48 4 0 0 20 0 20 0 511070552 28909211648 12488 33554432000 4194304 4196468 140736333300192 140736333282736 140276302421751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 /proc/30662/statm: 7057913 12488 3343 1 0 7019032 0 [pid=30662/tid=30663] ppid=30660 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/30662/task/30663/stat : 30663 (java) R 30660 30660 30325 0 -1 4202560 7788 0 0 0 26 3 0 0 20 0 20 0 511070552 28909211648 12520 33554432000 4194304 4196468 140736333300192 140276306652864 140276302443677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30664] ppid=30660 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30664/stat : 30664 (java) S 30660 30660 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140276255041936 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30665] ppid=30660 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30665/stat : 30665 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140276253989136 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30666] ppid=30660 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30666/stat : 30666 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140276252936848 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30667] ppid=30660 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30667/stat : 30667 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140276251884048 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30668] ppid=30660 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/30662/task/30668/stat : 30668 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140276250831760 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30669] ppid=30660 vsize=28231652 memory=139979896484783 CPUtime=0 cores=0-7 /proc/30662/task/30669/stat : 30669 (java) S 30660 30660 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275848436496 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30670] ppid=30660 vsize=28231652 memory=139979896487088 CPUtime=0 cores=0-7 /proc/30662/task/30670/stat : 30670 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275847384208 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30671] ppid=30660 vsize=28231652 memory=139979896489392 CPUtime=0 cores=0-7 /proc/30662/task/30671/stat : 30671 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275846331408 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30672] ppid=30660 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30672/stat : 30672 (java) S 30660 30660 30325 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511070555 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275284580464 140276302432898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30673] ppid=30660 vsize=28231652 memory=279959792985744 CPUtime=0 cores=0-7 /proc/30662/task/30673/stat : 30673 (java) S 30660 30660 30325 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511070555 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275283526432 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30674] ppid=30660 vsize=28231652 memory=279959792992656 CPUtime=0 cores=0-7 /proc/30662/task/30674/stat : 30674 (java) S 30660 30660 30325 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511070555 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275282474096 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30675] ppid=30660 vsize=28231652 memory=279959792933936 CPUtime=0 cores=0-7 /proc/30662/task/30675/stat : 30675 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070558 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275281422416 140276302440347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30676] ppid=30660 vsize=28231652 memory=279959793006480 CPUtime=0.03 cores=0-7 /proc/30662/task/30676/stat : 30676 (java) R 30660 30660 30325 0 -1 4202560 520 0 0 0 3 0 0 0 20 0 20 0 511070558 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275280361744 140276283967265 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30677] ppid=30660 vsize=28231652 memory=279959793013392 CPUtime=0.03 cores=0-7 /proc/30662/task/30677/stat : 30677 (java) S 30660 30660 30325 0 -1 1077944384 122 0 0 0 3 0 0 0 20 0 20 0 511070558 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275279317488 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30678] ppid=30660 vsize=28231652 memory=279959793011088 CPUtime=0.02 cores=0-7 /proc/30662/task/30678/stat : 30678 (java) S 30660 30660 30325 0 -1 1077944384 306 0 0 0 2 0 0 0 20 0 20 0 511070558 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275278265200 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30679] ppid=30660 vsize=28231652 memory=279959793027248 CPUtime=0.12 cores=0-7 /proc/30662/task/30679/stat : 30679 (java) S 30660 30660 30325 0 -1 1077944384 841 0 0 0 12 0 0 0 20 0 20 0 511070558 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275277212400 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30680] ppid=30660 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30680/stat : 30680 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511070558 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275276159328 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30681] ppid=30660 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30662/task/30681/stat : 30681 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070558 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275275106608 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51404 KiB [startup+0.700992 s] /proc/loadavg: 4.56 6.59 7.48 6/211 30681 /proc/meminfo: memFree=25291100/32770624 swapFree=66975640/67108860 [pid=30660] ppid=30657 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30660/stat : 30660 (xcsp3-exec) S 30657 30660 30325 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511070552 115843072 363 33554432000 4194304 5098028 140732231328400 140732231326504 140553851568764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15114240 140732231332725 140732231332969 140732231332969 140732231335882 0 /proc/30660/statm: 28282 363 304 221 0 87 0 [pid=30662] ppid=30660 vsize=28233776 memory=255916 CPUtime=1.79 cores=0-7 /proc/30662/stat : 30662 (java) S 30660 30660 30325 0 -1 1077944320 14543 0 0 0 159 20 0 0 20 0 20 0 511070552 28911386624 63979 33554432000 4194304 4196468 140736333300192 140736333282736 140276302421751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 /proc/30662/statm: 7058444 63979 3457 1 0 7019544 0 [pid=30662/tid=30663] ppid=30660 vsize=28233776 memory=279959793385136 CPUtime=0.64 cores=0-7 /proc/30662/task/30663/stat : 30663 (java) R 30660 30660 30325 0 -1 4202560 8317 0 0 0 59 5 0 0 20 0 20 0 511070552 28911386624 63979 33554432000 4194304 4196468 140736333300192 140276306658032 140275933719294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30664] ppid=30660 vsize=28233776 memory=139979896693616 CPUtime=0.02 cores=0-7 /proc/30662/task/30664/stat : 30664 (java) S 30660 30660 30325 0 -1 1077944384 43 0 0 0 0 2 0 0 20 0 20 0 511070553 28911386624 63979 33554432000 4194304 4196468 140736333300192 140276255041936 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30665] ppid=30660 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30665/stat : 30665 (java) S 30660 30660 30325 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 511070553 28911386624 63979 33554432000 4194304 4196468 140736333300192 140276253989136 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30666] ppid=30660 vsize=28233776 memory=2832 CPUtime=0.02 cores=0-7 /proc/30662/task/30666/stat : 30666 (java) S 30660 30660 30325 0 -1 1077944384 38 0 0 0 0 2 0 0 20 0 20 0 511070553 28911386624 63979 33554432000 4194304 4196468 140736333300192 140276252936848 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 ################ # More data... # ################ [pid=30662/tid=30679] ppid=30660 vsize=28766288 memory=6791534058613427641 CPUtime=0.69 cores=0-7 /proc/30662/task/30679/stat : 30679 (java) S 30660 30660 30325 0 -1 1077944384 8888 0 0 0 67 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275277212400 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30680] ppid=30660 vsize=28766288 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/30662/task/30680/stat : 30680 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275276159328 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30681] ppid=30660 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7 /proc/30662/task/30681/stat : 30681 (java) S 30660 30660 30325 0 -1 1077944384 1693 0 0 0 3 4 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275275106608 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30692] ppid=30660 vsize=28766288 memory=0 CPUtime=167.41 cores=0-7 /proc/30662/task/30692/stat : 30692 (java) R 30660 30660 30325 0 -1 4202560 1841 0 0 0 16737 4 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275265887176 140275936688060 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30693] ppid=30660 vsize=28766288 memory=290827423556305186 CPUtime=167.76 cores=0-7 /proc/30662/task/30693/stat : 30693 (java) R 30660 30660 30325 0 -1 4202560 1643 0 0 0 16772 4 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275264835264 140275936631071 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30694] ppid=30660 vsize=28766288 memory=1452 CPUtime=166.69 cores=0-7 /proc/30662/task/30694/stat : 30694 (java) R 30660 30660 30325 0 -1 4202560 5636 0 0 0 16647 22 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275263787672 140275936686729 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30695] ppid=30660 vsize=28766288 memory=7034436 CPUtime=167.36 cores=0-7 /proc/30662/task/30695/stat : 30695 (java) R 30660 30660 30325 0 -1 4202560 2122 0 0 0 16726 10 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275262734872 140275936685766 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30696] ppid=30660 vsize=28766288 memory=6791534058613427641 CPUtime=167.62 cores=0-7 /proc/30662/task/30696/stat : 30696 (java) R 30660 30660 30325 0 -1 4202560 2458 0 0 0 16754 8 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275261682584 140275936688072 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30697] ppid=30660 vsize=28766288 memory=12040 CPUtime=166.61 cores=0-7 /proc/30662/task/30697/stat : 30697 (java) R 30660 30660 30325 0 -1 4202560 2752 0 0 0 16646 15 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275260627752 140275936686697 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30698] ppid=30660 vsize=28766288 memory=33528 CPUtime=166 cores=0-7 /proc/30662/task/30698/stat : 30698 (java) R 30660 30660 30325 0 -1 4202560 1126 0 0 0 16597 3 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275259576472 140275936685272 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30699] ppid=30660 vsize=28766288 memory=2120 CPUtime=167.71 cores=0-7 /proc/30662/task/30699/stat : 30699 (java) R 30660 30660 30325 0 -1 4202560 3261 0 0 0 16768 3 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275258519544 140275936631325 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 Current children cumulated CPU time: 1425.19 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 8092428 KiB [startup+208.002 s]* /proc/loadavg: 7.87 6.92 7.39 9/222 30734 /proc/meminfo: memFree=17313472/32770624 swapFree=66975644/67108860 [pid=30660] ppid=30657 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30660/stat : 30660 (xcsp3-exec) S 30657 30660 30325 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511070552 115843072 363 33554432000 4194304 5098028 140732231328400 140732231326504 140553851568764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15114240 140732231332725 140732231332969 140732231332969 140732231335882 0 /proc/30660/statm: 28282 363 304 221 0 87 0 [pid=30662] ppid=30660 vsize=28766288 memory=8090976 CPUtime=1428.45 cores=0-7 /proc/30662/stat : 30662 (java) S 30660 30660 30325 0 -1 1077944320 151633 0 0 0 141371 1474 0 0 20 0 28 0 511070552 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140736333282736 140276302421751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 /proc/30662/statm: 7191572 2022744 3526 1 0 7152672 0 [pid=30662/tid=30663] ppid=30660 vsize=28766288 memory=6791534058613427641 CPUtime=31.54 cores=0-7 /proc/30662/task/30663/stat : 30663 (java) S 30660 30660 30325 0 -1 1077944384 26387 0 0 0 3080 74 0 0 20 0 28 0 511070552 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276306662528 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30664] ppid=30660 vsize=28766288 memory=4126316290023845779 CPUtime=6.14 cores=0-7 /proc/30662/task/30664/stat : 30664 (java) S 30660 30660 30325 0 -1 1077944384 6823 0 0 0 448 166 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276255041936 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30665] ppid=30660 vsize=28766288 memory=2004 CPUtime=6.19 cores=0-7 /proc/30662/task/30665/stat : 30665 (java) S 30660 30660 30325 0 -1 1077944384 6876 0 0 0 464 155 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276253989136 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30666] ppid=30660 vsize=28766288 memory=1376 CPUtime=6.11 cores=0-7 /proc/30662/task/30666/stat : 30666 (java) S 30660 30660 30325 0 -1 1077944384 6095 0 0 0 442 169 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276252936848 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30667] ppid=30660 vsize=28766288 memory=1060 CPUtime=6.19 cores=0-7 /proc/30662/task/30667/stat : 30667 (java) S 30660 30660 30325 0 -1 1077944384 6784 0 0 0 460 159 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276251884048 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30668] ppid=30660 vsize=28766288 memory=1452 CPUtime=6.2 cores=0-7 /proc/30662/task/30668/stat : 30668 (java) S 30660 30660 30325 0 -1 1077944384 6047 0 0 0 458 162 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276250831760 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30669] ppid=30660 vsize=28766288 memory=8090976 CPUtime=6.22 cores=0-7 /proc/30662/task/30669/stat : 30669 (java) S 30660 30660 30325 0 -1 1077944384 6018 0 0 0 450 172 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275848436496 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30670] ppid=30660 vsize=28766288 memory=8090976 CPUtime=6.23 cores=0-7 /proc/30662/task/30670/stat : 30670 (java) S 30660 30660 30325 0 -1 1077944384 4953 0 0 0 457 166 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275847384208 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30671] ppid=30660 vsize=28766288 memory=139979896587055 CPUtime=6.24 cores=0-7 /proc/30662/task/30671/stat : 30671 (java) S 30660 30660 30325 0 -1 1077944384 10665 0 0 0 464 160 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275846331408 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30672] ppid=30660 vsize=28766288 memory=7234303152781525078 CPUtime=1.67 cores=0-7 /proc/30662/task/30672/stat : 30672 (java) S 30660 30660 30325 0 -1 1077944384 9089 0 0 0 164 3 0 0 20 0 28 0 511070555 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275284580464 140276302432898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30673] ppid=30660 vsize=28766288 memory=288293255379157923 CPUtime=0 cores=0-7 /proc/30662/task/30673/stat : 30673 (java) S 30660 30660 30325 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 511070555 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275283526496 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30674] ppid=30660 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30674/stat : 30674 (java) S 30660 30660 30325 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 28 0 511070555 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275282474112 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30675] ppid=30660 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30675/stat : 30675 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275281422416 140276302440347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30676] ppid=30660 vsize=28766288 memory=0 CPUtime=1.28 cores=0-7 /proc/30662/task/30676/stat : 30676 (java) S 30660 30660 30325 0 -1 1077944384 8691 0 0 0 126 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275280370288 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30677] ppid=30660 vsize=28766288 memory=0 CPUtime=1.66 cores=0-7 /proc/30662/task/30677/stat : 30677 (java) S 30660 30660 30325 0 -1 1077944384 12214 0 0 0 164 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275279317488 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30678] ppid=30660 vsize=28766288 memory=0 CPUtime=1.36 cores=0-7 /proc/30662/task/30678/stat : 30678 (java) S 30660 30660 30325 0 -1 1077944384 8151 0 0 0 134 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275278265200 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30679] ppid=30660 vsize=28766288 memory=6791534058613427641 CPUtime=0.69 cores=0-7 /proc/30662/task/30679/stat : 30679 (java) S 30660 30660 30325 0 -1 1077944384 8888 0 0 0 67 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275277212400 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30680] ppid=30660 vsize=28766288 memory=928 CPUtime=0 cores=0-7 /proc/30662/task/30680/stat : 30680 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275276159328 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30681] ppid=30660 vsize=28766288 memory=1640 CPUtime=0.07 cores=0-7 /proc/30662/task/30681/stat : 30681 (java) S 30660 30660 30325 0 -1 1077944384 1693 0 0 0 3 4 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275275106608 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30692] ppid=30660 vsize=28766288 memory=1980 CPUtime=167.82 cores=0-7 /proc/30662/task/30692/stat : 30692 (java) R 30660 30660 30325 0 -1 4202560 1841 0 0 0 16778 4 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275265887176 140275936686734 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30693] ppid=30660 vsize=28766288 memory=2572 CPUtime=168.17 cores=0-7 /proc/30662/task/30693/stat : 30693 (java) R 30660 30660 30325 0 -1 4202560 1643 0 0 0 16813 4 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275264835264 140275936687910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30694] ppid=30660 vsize=28766288 memory=884 CPUtime=167.1 cores=0-7 /proc/30662/task/30694/stat : 30694 (java) R 30660 30660 30325 0 -1 4202560 5636 0 0 0 16688 22 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275263787672 140275936307035 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30695] ppid=30660 vsize=28766288 memory=1432 CPUtime=167.77 cores=0-7 /proc/30662/task/30695/stat : 30695 (java) R 30660 30660 30325 0 -1 4202560 2122 0 0 0 16767 10 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275262734872 140275936528074 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30696] ppid=30660 vsize=28766288 memory=1764 CPUtime=168.03 cores=0-7 /proc/30662/task/30696/stat : 30696 (java) R 30660 30660 30325 0 -1 4202560 2458 0 0 0 16795 8 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275261682584 140275936687910 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30697] ppid=30660 vsize=28766288 memory=111632 CPUtime=167.02 cores=0-7 /proc/30662/task/30697/stat : 30697 (java) R 30660 30660 30325 0 -1 4202560 2752 0 0 0 16687 15 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275260627752 140275936686678 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30698] ppid=30660 vsize=28766288 memory=804 CPUtime=166.4 cores=0-7 /proc/30662/task/30698/stat : 30698 (java) R 30660 30660 30325 0 -1 4202560 1126 0 0 0 16637 3 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275259576472 140275936747724 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30699] ppid=30660 vsize=28766288 memory=6791534058613427641 CPUtime=168.12 cores=0-7 /proc/30662/task/30699/stat : 30699 (java) R 30660 30660 30325 0 -1 4202560 3261 0 0 0 16809 3 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275258519544 140275936333953 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 Current children cumulated CPU time: 1428.45 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 8092428 KiB [startup+208.112 s] /proc/loadavg: 7.87 6.92 7.39 9/222 30734 /proc/meminfo: memFree=17313472/32770624 swapFree=66975644/67108860 [pid=30660] ppid=30657 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30660/stat : 30660 (xcsp3-exec) S 30657 30660 30325 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511070552 115843072 363 33554432000 4194304 5098028 140732231328400 140732231326504 140553851568764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15114240 140732231332725 140732231332969 140732231332969 140732231335882 0 /proc/30660/statm: 28282 363 304 221 0 87 0 [pid=30662] ppid=30660 vsize=28766288 memory=8090976 CPUtime=1429.25 cores=0-7 /proc/30662/stat : 30662 (java) S 30660 30660 30325 0 -1 1077944320 151633 0 0 0 141451 1474 0 0 20 0 28 0 511070552 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140736333282736 140276302421751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 /proc/30662/statm: 7191572 2022744 3526 1 0 7152672 0 [pid=30662/tid=30663] ppid=30660 vsize=28766288 memory=1452 CPUtime=31.54 cores=0-7 /proc/30662/task/30663/stat : 30663 (java) S 30660 30660 30325 0 -1 1077944384 26387 0 0 0 3080 74 0 0 20 0 28 0 511070552 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276306662528 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30664] ppid=30660 vsize=28766288 memory=8090976 CPUtime=6.14 cores=0-7 /proc/30662/task/30664/stat : 30664 (java) S 30660 30660 30325 0 -1 1077944384 6823 0 0 0 448 166 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276255041936 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30665] ppid=30660 vsize=28766288 memory=8090976 CPUtime=6.19 cores=0-7 /proc/30662/task/30665/stat : 30665 (java) S 30660 30660 30325 0 -1 1077944384 6876 0 0 0 464 155 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276253989136 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30666] ppid=30660 vsize=28766288 memory=1452 CPUtime=6.11 cores=0-7 /proc/30662/task/30666/stat : 30666 (java) S 30660 30660 30325 0 -1 1077944384 6095 0 0 0 442 169 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276252936848 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30667] ppid=30660 vsize=28766288 memory=11 CPUtime=6.19 cores=0-7 /proc/30662/task/30667/stat : 30667 (java) S 30660 30660 30325 0 -1 1077944384 6784 0 0 0 460 159 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276251884048 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30668] ppid=30660 vsize=28766288 memory=5233 CPUtime=6.2 cores=0-7 /proc/30662/task/30668/stat : 30668 (java) S 30660 30660 30325 0 -1 1077944384 6047 0 0 0 458 162 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276250831760 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30669] ppid=30660 vsize=28766288 memory=8090976 CPUtime=6.22 cores=0-7 /proc/30662/task/30669/stat : 30669 (java) S 30660 30660 30325 0 -1 1077944384 6018 0 0 0 450 172 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275848436496 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30670] ppid=30660 vsize=28766288 memory=716 CPUtime=6.23 cores=0-7 /proc/30662/task/30670/stat : 30670 (java) S 30660 30660 30325 0 -1 1077944384 4953 0 0 0 457 166 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275847384208 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30671] ppid=30660 vsize=28766288 memory=0 CPUtime=6.24 cores=0-7 /proc/30662/task/30671/stat : 30671 (java) S 30660 30660 30325 0 -1 1077944384 10665 0 0 0 464 160 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275846331408 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30672] ppid=30660 vsize=28766288 memory=0 CPUtime=1.67 cores=0-7 /proc/30662/task/30672/stat : 30672 (java) S 30660 30660 30325 0 -1 1077944384 9089 0 0 0 164 3 0 0 20 0 28 0 511070555 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275284580464 140276302432898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30673] ppid=30660 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30673/stat : 30673 (java) S 30660 30660 30325 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 511070555 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275283526496 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30674] ppid=30660 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30662/task/30674/stat : 30674 (java) S 30660 30660 30325 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 28 0 511070555 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275282474112 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30675] ppid=30660 vsize=28766288 memory=620 CPUtime=0 cores=0-7 /proc/30662/task/30675/stat : 30675 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275281422416 140276302440347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30676] ppid=30660 vsize=28766288 memory=622 CPUtime=1.28 cores=0-7 /proc/30662/task/30676/stat : 30676 (java) S 30660 30660 30325 0 -1 1077944384 8691 0 0 0 126 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275280370288 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30677] ppid=30660 vsize=28766288 memory=1452 CPUtime=1.66 cores=0-7 /proc/30662/task/30677/stat : 30677 (java) S 30660 30660 30325 0 -1 1077944384 12214 0 0 0 164 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275279317488 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30678] ppid=30660 vsize=28766288 memory=3620 CPUtime=1.36 cores=0-7 /proc/30662/task/30678/stat : 30678 (java) S 30660 30660 30325 0 -1 1077944384 8151 0 0 0 134 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275278265200 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30679] ppid=30660 vsize=28766288 memory=16426 CPUtime=0.69 cores=0-7 /proc/30662/task/30679/stat : 30679 (java) S 30660 30660 30325 0 -1 1077944384 8888 0 0 0 67 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275277212400 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30680] ppid=30660 vsize=28766288 memory=16452 CPUtime=0 cores=0-7 /proc/30662/task/30680/stat : 30680 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275276159328 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30681] ppid=30660 vsize=28766288 memory=8090972 CPUtime=0.07 cores=0-7 /proc/30662/task/30681/stat : 30681 (java) S 30660 30660 30325 0 -1 1077944384 1693 0 0 0 3 4 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275275106608 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30692] ppid=30660 vsize=28766288 memory=804 CPUtime=167.92 cores=0-7 /proc/30662/task/30692/stat : 30692 (java) R 30660 30660 30325 0 -1 4202560 1841 0 0 0 16788 4 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275265887176 140275936631191 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30693] ppid=30660 vsize=28766288 memory=1724 CPUtime=168.27 cores=0-7 /proc/30662/task/30693/stat : 30693 (java) R 30660 30660 30325 0 -1 4202560 1643 0 0 0 16823 4 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275264835264 140275936687948 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30694] ppid=30660 vsize=28766288 memory=3620 CPUtime=167.2 cores=0-7 /proc/30662/task/30694/stat : 30694 (java) R 30660 30660 30325 0 -1 4202560 5636 0 0 0 16698 22 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275263787672 140275937629816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30695] ppid=30660 vsize=28766288 memory=63912 CPUtime=167.87 cores=0-7 /proc/30662/task/30695/stat : 30695 (java) R 30660 30660 30325 0 -1 4202560 2122 0 0 0 16777 10 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275262734872 140275936631271 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30696] ppid=30660 vsize=28766288 memory=984 CPUtime=168.13 cores=0-7 /proc/30662/task/30696/stat : 30696 (java) R 30660 30660 30325 0 -1 4202560 2458 0 0 0 16805 8 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275261682584 140275936686181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30697] ppid=30660 vsize=28766288 memory=4126316290023845779 CPUtime=167.12 cores=0-7 /proc/30662/task/30697/stat : 30697 (java) R 30660 30660 30325 0 -1 4202560 2752 0 0 0 16697 15 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275260627752 140275936685267 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30698] ppid=30660 vsize=28766288 memory=8090976 CPUtime=166.49 cores=0-7 /proc/30662/task/30698/stat : 30698 (java) R 30660 30660 30325 0 -1 4202560 1126 0 0 0 16646 3 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275259576472 140275936803236 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 [pid=30662/tid=30699] ppid=30660 vsize=28766288 memory=3636 CPUtime=168.22 cores=0-7 /proc/30662/task/30699/stat : 30699 (java) R 30660 30660 30325 0 -1 4202560 3261 0 0 0 16819 3 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275258519544 140275936308224 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0 Current children cumulated CPU time: 1429.25 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 8092428 KiB Child status: 0 Real time (s): 208.162 CPU time (s): 1429.33 CPU user time (s): 1414.54 CPU system time (s): 14.7895 CPU usage (%): 686.643 Max. virtual memory (cumulated for all children) (KiB): 28881244 Max. memory (cumulated for all children) (KiB): 8092428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1414.54 system time used= 14.7895 maximum resident set size= 8091112 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154105 page faults= 0 swaps= 0 block input operations= 0 block output operations= 352 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11798 involuntary context switches= 16687 # summary of solver processes directly reported to runsolver: # pid: 30660 # total CPU time (s): 1429.33 # total CPU user time (s): 1414.54 # total CPU system time (s): 14.7895 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.92504 second user time and 2.21241 second system time The end
Begin job on node125 at 2019-09-24 19:59:55 IDJOB=4406800 IDBENCH=126097 IDSOLVER=2871 FILE ID=node125/4406800-1569348037 RUNJOBID= node125-1569347859-30352 PBS_JOBID= 21705077 Free space on /tmp= 4224 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-09.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406800-1569348037/watcher-4406800-1569348037 -o /tmp/evaluation-result-4406800-1569348037/solver-4406800-1569348037 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569347859-30352 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1017574808 HOME/instance-4406800-1569348037.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e7714f1bdc5f54a36db8d66dbea9ce0a RANDOM SEED=1017574808 node125.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.29 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.29 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.29 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.29 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: 25405440 kB MemAvailable: 31814864 kB Buffers: 121628 kB Cached: 6349108 kB SwapCached: 29856 kB Active: 3237524 kB Inactive: 3267556 kB Active(anon): 4152 kB Inactive(anon): 85896 kB Active(file): 3233372 kB Inactive(file): 3181660 kB Unevictable: 107880 kB Mlocked: 107880 kB SwapTotal: 67108860 kB SwapFree: 66975640 kB Dirty: 59000 kB Writeback: 0 kB AnonPages: 114108 kB Mapped: 56368 kB Shmem: 47476 kB Slab: 452520 kB SReclaimable: 422852 kB SUnreclaim: 29668 kB KernelStack: 3440 kB PageTables: 5484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 513988 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 4196 MiB End job on node125 at 2019-09-24 20:03:23