Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | UNSAT | 507.761 | 91.7541 |
Name | QRandom/QRandom-mdd-7-25-5-p7/ mdd-7-25-5-ps05-psh07-9.xml |
MD5SUM | 2d7f03e466d78847960dc3f747db29ef |
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 | 42.4013 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 25 |
Number of constraints | 58 |
Number of domains | 1 |
Minimum domain size | 5 |
Maximum domain size | 5 |
Distribution of domain sizes | [{"size":5,"count":25}] |
Minimum variable degree | 12 |
Maximum variable degree | 25 |
Distribution of variable degrees | [{"degree":12,"count":1},{"degree":13,"count":3},{"degree":14,"count":6},{"degree":15,"count":2},{"degree":16,"count":3},{"degree":17,"count":4},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":23,"count":1},{"degree":25,"count":1}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":7,"count":58}] |
Number of extensional constraints | 58 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":58}] |
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-4404282-1568997287.xml" -tl '20160s' -p 8 0.12/0.19 c Choco 3fb4b153 0.12/0.19 c [HOME/instance-4404282-1568997287.xml, -tl, 20160s, -p, 8] 0.33/0.23 c 8 solvers in parallel 0.33/0.29 c parse instance... 80.62/38.12 c solve instance... 507.64/91.71 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 (7040 MiB free) memory of node 1: 16384 MiB (8348 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404282-1568997287/watcher-4404282-1568997287 -o /var/tmp/evaluation-result-4404282-1568997287/solver-4404282-1568997287 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1568994707-9278 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1076504494 HOME/instance-4404282-1568997287.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=9812, runsolver pid=9809 Current StackSize limit: 8192 KiB [startup+0.102735 s]* /proc/loadavg: 7.90 8.19 8.15 2/212 9833 /proc/meminfo: memFree=15741604/32770624 swapFree=66976740/67108860 [pid=9812] ppid=9809 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9812/stat : 9812 (xcsp3-exec) S 9809 9812 9251 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475668844 115843072 362 33554432000 4194304 5098028 140728648958336 140728648956440 140047455392380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27635712 140728648962897 140728648963157 140728648963157 140728648966086 0 /proc/9812/statm: 28282 362 304 221 0 87 0 [pid=9814] ppid=9812 vsize=28227396 memory=28952 CPUtime=0.12 cores=0-7 /proc/9814/stat : 9814 (java) S 9812 9812 9251 0 -1 1077944320 5715 0 0 0 11 1 0 0 20 0 20 0 475668844 28904853504 7238 33554432000 4194304 4196468 140725860458240 140725860440784 140630669086455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 /proc/9814/statm: 7056849 7238 3091 1 0 7019032 0 [pid=9814/tid=9815] ppid=9812 vsize=28227396 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/9814/task/9815/stat : 9815 (java) R 9812 9812 9251 0 -1 4202560 3619 0 0 0 8 0 0 0 20 0 20 0 475668845 28904853504 7238 33554432000 4194304 4196468 140725860458240 140630673319728 140630265244804 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9816] ppid=9812 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/9814/task/9816/stat : 9816 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 7238 33554432000 4194304 4196468 140725860458240 140630588938640 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9817] ppid=9812 vsize=28227396 memory=140559093081728 CPUtime=0 cores=0-7 /proc/9814/task/9817/stat : 9817 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 7238 33554432000 4194304 4196468 140725860458240 140630587885840 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9818] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9818/stat : 9818 (java) S 9812 9812 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 7238 33554432000 4194304 4196468 140725860458240 140630586833552 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9819] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9819/stat : 9819 (java) S 9812 9812 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 7238 33554432000 4194304 4196468 140725860458240 140630585780752 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9820] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9820/stat : 9820 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 7238 33554432000 4194304 4196468 140725860458240 140630216006544 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9821] ppid=9812 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9814/task/9821/stat : 9821 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 7238 33554432000 4194304 4196468 140725860458240 140630214953744 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9822] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9822/stat : 9822 (java) S 9812 9812 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 7238 33554432000 4194304 4196468 140725860458240 140630213901456 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9823] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9823/stat : 9823 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 7238 33554432000 4194304 4196468 140725860458240 140630212848656 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9824] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9824/stat : 9824 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668847 28904853504 7238 33554432000 4194304 4196468 140725860458240 140629385668720 140630669097602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9825] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9825/stat : 9825 (java) S 9812 9812 9251 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475668848 28904853504 7238 33554432000 4194304 4196468 140725860458240 140629384614688 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9826] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9826/stat : 9826 (java) S 9812 9812 9251 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475668848 28904853504 7238 33554432000 4194304 4196468 140725860458240 140629383562352 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9827] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9827/stat : 9827 (java) S 9812 9812 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475668850 28904853504 7238 33554432000 4194304 4196468 140725860458240 140629382510672 140630669105051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9828] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9828/stat : 9828 (java) S 9812 9812 9251 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 475668850 28904853504 7238 33554432000 4194304 4196468 140725860458240 140629381458544 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9829] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9829/stat : 9829 (java) S 9812 9812 9251 0 -1 1077944384 391 0 0 0 0 0 0 0 20 0 20 0 475668850 28904853504 7238 33554432000 4194304 4196468 140725860458240 140629380405744 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9830] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9830/stat : 9830 (java) S 9812 9812 9251 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 475668850 28904853504 7238 33554432000 4194304 4196468 140725860458240 140629379353456 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9831] ppid=9812 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/9814/task/9831/stat : 9831 (java) R 9812 9812 9251 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 20 0 475668850 28904853504 7238 33554432000 4194304 4196468 140725860458240 140629378300656 140630648032108 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9832] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9832/stat : 9832 (java) S 9812 9812 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475668851 28904853504 7238 33554432000 4194304 4196468 140725860458240 140629377247584 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9833] ppid=9812 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9814/task/9833/stat : 9833 (java) S 9812 9812 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475668851 28904853504 7238 33554432000 4194304 4196468 140725860458240 140629308860720 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30400 KiB [startup+0.210652 s]* /proc/loadavg: 7.90 8.19 8.15 4/212 9833 /proc/meminfo: memFree=15729636/32770624 swapFree=66976740/67108860 [pid=9812] ppid=9809 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9812/stat : 9812 (xcsp3-exec) S 9809 9812 9251 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475668844 115843072 362 33554432000 4194304 5098028 140728648958336 140728648956440 140047455392380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27635712 140728648962897 140728648963157 140728648963157 140728648966086 0 /proc/9812/statm: 28282 362 304 221 0 87 0 [pid=9814] ppid=9812 vsize=28227396 memory=40332 CPUtime=0.33 cores=0-7 /proc/9814/stat : 9814 (java) S 9812 9812 9251 0 -1 1077944320 9323 0 0 0 30 3 0 0 20 0 20 0 475668844 28904853504 10083 33554432000 4194304 4196468 140725860458240 140725860440784 140630669086455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 /proc/9814/statm: 7056849 10083 3264 1 0 7019032 0 [pid=9814/tid=9815] ppid=9812 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/9814/task/9815/stat : 9815 (java) R 9812 9812 9251 0 -1 4202560 6570 0 0 0 17 2 0 0 20 0 20 0 475668845 28904853504 10083 33554432000 4194304 4196468 140725860458240 140630673318368 140630653166942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9816] ppid=9812 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/9814/task/9816/stat : 9816 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 10083 33554432000 4194304 4196468 140725860458240 140630588938640 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9817] ppid=9812 vsize=28227396 memory=3474449097251104416 CPUtime=0 cores=0-7 /proc/9814/task/9817/stat : 9817 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 10083 33554432000 4194304 4196468 140725860458240 140630587885840 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9818] ppid=9812 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9814/task/9818/stat : 9818 (java) S 9812 9812 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 10083 33554432000 4194304 4196468 140725860458240 140630586833552 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9819] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9819/stat : 9819 (java) S 9812 9812 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 10083 33554432000 4194304 4196468 140725860458240 140630585780752 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9820] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9820/stat : 9820 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 10083 33554432000 4194304 4196468 140725860458240 140630216006544 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9821] ppid=9812 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9814/task/9821/stat : 9821 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 10083 33554432000 4194304 4196468 140725860458240 140630214953744 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9822] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9822/stat : 9822 (java) S 9812 9812 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 10083 33554432000 4194304 4196468 140725860458240 140630213901456 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9823] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9823/stat : 9823 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668846 28904853504 10083 33554432000 4194304 4196468 140725860458240 140630212848656 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9824] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9824/stat : 9824 (java) S 9812 9812 9251 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475668847 28904853504 10083 33554432000 4194304 4196468 140725860458240 140629385668720 140630669097602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9825] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9825/stat : 9825 (java) S 9812 9812 9251 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475668848 28904853504 10083 33554432000 4194304 4196468 140725860458240 140629384614688 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9826] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9826/stat : 9826 (java) S 9812 9812 9251 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475668848 28904853504 10083 33554432000 4194304 4196468 140725860458240 140629383562352 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9827] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9827/stat : 9827 (java) S 9812 9812 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475668850 28904853504 10083 33554432000 4194304 4196468 140725860458240 140629382510672 140630669105051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9828] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9828/stat : 9828 (java) S 9812 9812 9251 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 475668850 28904853504 10083 33554432000 4194304 4196468 140725860458240 140629381458544 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9829] ppid=9812 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/9814/task/9829/stat : 9829 (java) S 9812 9812 9251 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 20 0 475668850 28904853504 10083 33554432000 4194304 4196468 140725860458240 140629380405744 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9830] ppid=9812 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/9814/task/9830/stat : 9830 (java) S 9812 9812 9251 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 475668850 28904853504 10083 33554432000 4194304 4196468 140725860458240 140629379353456 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9831] ppid=9812 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/9814/task/9831/stat : 9831 (java) R 9812 9812 9251 0 -1 4202560 795 0 0 0 7 0 0 0 20 0 20 0 475668850 28904853504 10083 33554432000 4194304 4196468 140725860458240 140629378300464 140630669107802 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9832] ppid=9812 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9832/stat : 9832 (java) S 9812 9812 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475668851 28904853504 10083 33554432000 4194304 4196468 140725860458240 140629377247584 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9833] ppid=9812 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9814/task/9833/stat : 9833 (java) S 9812 9812 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475668851 28904853504 10083 33554432000 4194304 4196468 140725860458240 140629308860720 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41780 KiB [startup+0.313426 s]* /proc/loadavg: 7.90 8.19 8.15 3/212 9833 /proc/meminfo: memFree=15725148/32770624 swapFree=66976740/67108860 [pid=9812] ppid=9809 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9812/stat : 9812 (xcsp3-exec) S 9809 9812 9251 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475668844 115843072 362 33554432000 4194304 5098028 140728648958336 140728648956440 140047455392380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27635712 140728648962897 140728648963157 140728648963157 140728648966086 0 /proc/9812/statm: 28282 362 304 221 0 87 0 [pid=9814] ppid=9812 vsize=28231652 memory=48840 CPUtime=0.52 cores=0-7 /proc/9814/stat : 9814 (java) S 9812 9812 9251 0 -1 1077944320 10614 0 0 0 48 4 0 0 20 0 20 0 475668844 28909211648 12210 33554432000 4194304 4196468 140725860458240 140725860440784 140630669086455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 /proc/9814/statm: 7057913 12210 3293 1 0 7019032 0 [pid=9814/tid=9815] ppid=9812 vsize=28231652 memory=8112282956445269571 CPUtime=0.3 cores=0-7 /proc/9814/task/9815/stat : 9815 (java) R 9812 9812 9251 0 -1 4202560 7644 0 0 0 27 3 0 0 20 0 20 0 475668845 28909211648 12276 33554432000 4194304 4196468 140725860458240 140630673317568 140630648156624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9816] ppid=9812 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9816/stat : 9816 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668846 28909211648 12276 33554432000 4194304 4196468 140725860458240 140630588938640 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9817] ppid=9812 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9817/stat : 9817 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668846 28909211648 12276 33554432000 4194304 4196468 140725860458240 140630587885840 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9818] ppid=9812 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9818/stat : 9818 (java) S 9812 9812 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475668846 28909211648 12276 33554432000 4194304 4196468 140725860458240 140630586833552 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9819] ppid=9812 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9819/stat : 9819 (java) S 9812 9812 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475668846 28909211648 12276 33554432000 4194304 4196468 140725860458240 140630585780752 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9820] ppid=9812 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/9814/task/9820/stat : 9820 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668846 28909211648 12276 33554432000 4194304 4196468 140725860458240 140630216006544 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9821] ppid=9812 vsize=28231652 memory=140558978872239 CPUtime=0 cores=0-7 /proc/9814/task/9821/stat : 9821 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668846 28909211648 12276 33554432000 4194304 4196468 140725860458240 140630214953744 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9822] ppid=9812 vsize=28231652 memory=140558978874544 CPUtime=0 cores=0-7 /proc/9814/task/9822/stat : 9822 (java) S 9812 9812 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475668846 28909211648 12276 33554432000 4194304 4196468 140725860458240 140630213901456 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9823] ppid=9812 vsize=28231652 memory=140558978876848 CPUtime=0 cores=0-7 /proc/9814/task/9823/stat : 9823 (java) S 9812 9812 9251 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475668846 28909211648 12276 33554432000 4194304 4196468 140725860458240 140630212848656 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9824] ppid=9812 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9824/stat : 9824 (java) S 9812 9812 9251 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475668847 28909211648 12276 33554432000 4194304 4196468 140725860458240 140629385668720 140630669097602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9825] ppid=9812 vsize=28231652 memory=281117957760656 CPUtime=0 cores=0-7 /proc/9814/task/9825/stat : 9825 (java) S 9812 9812 9251 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475668848 28909211648 12276 33554432000 4194304 4196468 140725860458240 140629384614688 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9826] ppid=9812 vsize=28231652 memory=281117957767568 CPUtime=0 cores=0-7 /proc/9814/task/9826/stat : 9826 (java) S 9812 9812 9251 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475668848 28909211648 12276 33554432000 4194304 4196468 140725860458240 140629383562352 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9827] ppid=9812 vsize=28231652 memory=281117957708848 CPUtime=0 cores=0-7 /proc/9814/task/9827/stat : 9827 (java) S 9812 9812 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475668850 28909211648 12276 33554432000 4194304 4196468 140725860458240 140629382510672 140630669105051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9828] ppid=9812 vsize=28231652 memory=281117957781392 CPUtime=0.02 cores=0-7 /proc/9814/task/9828/stat : 9828 (java) R 9812 9812 9251 0 -1 4202560 169 0 0 0 2 0 0 0 20 0 20 0 475668850 28909211648 12276 33554432000 4194304 4196468 140725860458240 140629381439560 140630652572573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9829] ppid=9812 vsize=28231652 memory=281117957788304 CPUtime=0.02 cores=0-7 /proc/9814/task/9829/stat : 9829 (java) S 9812 9812 9251 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 20 0 475668850 28909211648 12276 33554432000 4194304 4196468 140725860458240 140629380405744 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9830] ppid=9812 vsize=28231652 memory=281117957786000 CPUtime=0.02 cores=0-7 /proc/9814/task/9830/stat : 9830 (java) S 9812 9812 9251 0 -1 1077944384 59 0 0 0 2 0 0 0 20 0 20 0 475668850 28909211648 12276 33554432000 4194304 4196468 140725860458240 140629379353456 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9831] ppid=9812 vsize=28231652 memory=281117957802160 CPUtime=0.13 cores=0-7 /proc/9814/task/9831/stat : 9831 (java) S 9812 9812 9251 0 -1 1077944384 967 0 0 0 13 0 0 0 20 0 20 0 475668850 28909211648 12276 33554432000 4194304 4196468 140725860458240 140629378300656 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9832] ppid=9812 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9832/stat : 9832 (java) S 9812 9812 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475668851 28909211648 12276 33554432000 4194304 4196468 140725860458240 140629377247584 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9833] ppid=9812 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/9814/task/9833/stat : 9833 (java) S 9812 9812 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475668851 28909211648 12276 33554432000 4194304 4196468 140725860458240 140629308860720 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50288 KiB [startup+0.700983 s] /proc/loadavg: 7.90 8.19 8.15 3/212 9833 /proc/meminfo: memFree=15645528/32770624 swapFree=66976740/67108860 [pid=9812] ppid=9809 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9812/stat : 9812 (xcsp3-exec) S 9809 9812 9251 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475668844 115843072 362 33554432000 4194304 5098028 140728648958336 140728648956440 140047455392380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27635712 140728648962897 140728648963157 140728648963157 140728648966086 0 /proc/9812/statm: 28282 362 304 221 0 87 0 [pid=9814] ppid=9812 vsize=28233776 memory=255868 CPUtime=1.71 cores=0-7 /proc/9814/stat : 9814 (java) S 9812 9812 9251 0 -1 1077944320 14548 0 0 0 147 24 0 0 20 0 20 0 475668844 28911386624 63967 33554432000 4194304 4196468 140725860458240 140725860440784 140630669086455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 /proc/9814/statm: 7058444 63967 3457 1 0 7019544 0 [pid=9814/tid=9815] ppid=9812 vsize=28233776 memory=281117958160048 CPUtime=0.63 cores=0-7 /proc/9814/task/9815/stat : 9815 (java) R 9812 9812 9251 0 -1 4202560 8321 0 0 0 57 6 0 0 20 0 20 0 475668845 28911386624 63967 33554432000 4194304 4196468 140725860458240 140630673320528 140630669098390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9816] ppid=9812 vsize=28233776 memory=140558979081072 CPUtime=0.02 cores=0-7 /proc/9814/task/9816/stat : 9816 (java) S 9812 9812 9251 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 20 0 475668846 28911386624 63967 33554432000 4194304 4196468 140725860458240 140630588938640 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9817] ppid=9812 vsize=28233776 memory=0 CPUtime=0.02 cores=0-7 /proc/9814/task/9817/stat : 9817 (java) S 9812 9812 9251 0 -1 1077944384 36 0 0 0 0 2 0 0 20 0 20 0 475668846 28911386624 63967 33554432000 4194304 4196468 140725860458240 140630587885840 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9818] ppid=9812 vsize=28233776 memory=1060 CPUtime=0.01 cores=0-7 /proc/9814/task/9818/stat : 9818 (java) S 9812 9812 9251 0 -1 1077944384 33 0 0 0 0 1 0 0 20 0 20 0 475668846 28911386624 63967 33554432000 4194304 4196468 140725860458240 140630586833552 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 ################ # More data... # ################ [pid=9814/tid=9831] ppid=9812 vsize=28766288 memory=1772 CPUtime=0.7 cores=0-7 /proc/9814/task/9831/stat : 9831 (java) S 9812 9812 9251 0 -1 1077944384 7953 0 0 0 69 1 0 0 20 0 28 0 475668850 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629378300656 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9832] ppid=9812 vsize=28766288 memory=1716 CPUtime=0 cores=0-7 /proc/9814/task/9832/stat : 9832 (java) S 9812 9812 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475668851 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629377247584 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9833] ppid=9812 vsize=28766288 memory=10604 CPUtime=0.03 cores=0-7 /proc/9814/task/9833/stat : 9833 (java) S 9812 9812 9251 0 -1 1077944384 685 0 0 0 0 3 0 0 20 0 28 0 475668851 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629308860720 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9837] ppid=9812 vsize=28766288 memory=3636 CPUtime=52.48 cores=0-7 /proc/9814/task/9837/stat : 9837 (java) R 9812 9812 9251 0 -1 4202560 1413 0 0 0 5246 2 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629299641320 140630271641716 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9838] ppid=9812 vsize=28766288 memory=776 CPUtime=52.47 cores=0-7 /proc/9814/task/9838/stat : 9838 (java) R 9812 9812 9251 0 -1 4202560 1249 0 0 0 5245 2 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629298589672 140630271618165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9839] ppid=9812 vsize=28766288 memory=1564 CPUtime=52.7 cores=0-7 /proc/9814/task/9839/stat : 9839 (java) R 9812 9812 9251 0 -1 4202560 1622 0 0 0 5263 7 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629297537432 140630271640100 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9840] ppid=9812 vsize=28766288 memory=6088 CPUtime=52.73 cores=0-7 /proc/9814/task/9840/stat : 9840 (java) R 9812 9812 9251 0 -1 4202560 5314 0 0 0 5268 5 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629296484440 140630271641441 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9841] ppid=9812 vsize=28766288 memory=1060 CPUtime=52.62 cores=0-7 /proc/9814/task/9841/stat : 9841 (java) R 9812 9812 9251 0 -1 4202560 1054 0 0 0 5259 3 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629295433768 140630271641721 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9842] ppid=9812 vsize=28766288 memory=2828 CPUtime=51.64 cores=0-7 /proc/9814/task/9842/stat : 9842 (java) R 9812 9812 9251 0 -1 4202560 1428 0 0 0 5161 3 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629294379248 140630271640117 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9843] ppid=9812 vsize=28766288 memory=1216 CPUtime=52.77 cores=0-7 /proc/9814/task/9843/stat : 9843 (java) R 9812 9812 9251 0 -1 4202560 824 0 0 0 5275 2 0 0 20 0 28 0 475672659 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629293326168 140630271599060 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9844] ppid=9812 vsize=28766288 memory=8112282956445269571 CPUtime=52.74 cores=0-7 /proc/9814/task/9844/stat : 9844 (java) R 9812 9812 9251 0 -1 4202560 1527 0 0 0 5272 2 0 0 20 0 28 0 475672659 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629292273768 140630271641924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 Current children cumulated CPU time: 503.65 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 7458736 KiB [startup+91.6017 s] /proc/loadavg: 7.06 7.62 7.93 9/219 9847 /proc/meminfo: memFree=8302208/32770624 swapFree=66976740/67108860 [pid=9812] ppid=9809 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9812/stat : 9812 (xcsp3-exec) S 9809 9812 9251 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475668844 115843072 362 33554432000 4194304 5098028 140728648958336 140728648956440 140047455392380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27635712 140728648962897 140728648963157 140728648963157 140728648966086 0 /proc/9812/statm: 28282 362 304 221 0 87 0 [pid=9814] ppid=9812 vsize=28766288 memory=7457288 CPUtime=506.84 cores=0-7 /proc/9814/stat : 9814 (java) S 9812 9812 9251 0 -1 1077944320 115058 0 0 0 49464 1220 0 0 20 0 28 0 475668844 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140725860440784 140630669086455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 /proc/9814/statm: 7191572 1864322 3523 1 0 7152672 0 [pid=9814/tid=9815] ppid=9812 vsize=28766288 memory=3424 CPUtime=30.54 cores=0-7 /proc/9814/task/9815/stat : 9815 (java) S 9812 9812 9251 0 -1 1077944384 26547 0 0 0 2980 74 0 0 20 0 28 0 475668845 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630673327232 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9816] ppid=9812 vsize=28766288 memory=1448 CPUtime=5.77 cores=0-7 /proc/9814/task/9816/stat : 9816 (java) S 9812 9812 9251 0 -1 1077944384 4117 0 0 0 438 139 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630588938640 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9817] ppid=9812 vsize=28766288 memory=7457288 CPUtime=5.78 cores=0-7 /proc/9814/task/9817/stat : 9817 (java) S 9812 9812 9251 0 -1 1077944384 3378 0 0 0 441 137 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630587885840 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9818] ppid=9812 vsize=28766288 memory=8112282956445269571 CPUtime=5.79 cores=0-7 /proc/9814/task/9818/stat : 9818 (java) S 9812 9812 9251 0 -1 1077944384 4029 0 0 0 439 140 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630586833552 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9819] ppid=9812 vsize=28766288 memory=4126316290023845779 CPUtime=5.75 cores=0-7 /proc/9814/task/9819/stat : 9819 (java) S 9812 9812 9251 0 -1 1077944384 4688 0 0 0 436 139 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630585780752 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9820] ppid=9812 vsize=28766288 memory=1412 CPUtime=5.79 cores=0-7 /proc/9814/task/9820/stat : 9820 (java) S 9812 9812 9251 0 -1 1077944384 3851 0 0 0 438 141 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630216006544 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9821] ppid=9812 vsize=28766288 memory=3256 CPUtime=5.76 cores=0-7 /proc/9814/task/9821/stat : 9821 (java) S 9812 9812 9251 0 -1 1077944384 4087 0 0 0 438 138 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630214953744 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9822] ppid=9812 vsize=28766288 memory=1448 CPUtime=5.8 cores=0-7 /proc/9814/task/9822/stat : 9822 (java) S 9812 9812 9251 0 -1 1077944384 3691 0 0 0 451 129 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630213901456 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9823] ppid=9812 vsize=28766288 memory=7457284 CPUtime=5.72 cores=0-7 /proc/9814/task/9823/stat : 9823 (java) S 9812 9812 9251 0 -1 1077944384 3493 0 0 0 441 131 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630212848656 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9824] ppid=9812 vsize=28766288 memory=2580 CPUtime=1.69 cores=0-7 /proc/9814/task/9824/stat : 9824 (java) S 9812 9812 9251 0 -1 1077944384 10410 0 0 0 163 6 0 0 20 0 28 0 475668847 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629385668720 140630669097602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9825] ppid=9812 vsize=28766288 memory=1448 CPUtime=0 cores=0-7 /proc/9814/task/9825/stat : 9825 (java) S 9812 9812 9251 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 475668848 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629384614752 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9826] ppid=9812 vsize=28766288 memory=928 CPUtime=0 cores=0-7 /proc/9814/task/9826/stat : 9826 (java) S 9812 9812 9251 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 475668848 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629383562368 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9827] ppid=9812 vsize=28766288 memory=1772 CPUtime=0 cores=0-7 /proc/9814/task/9827/stat : 9827 (java) S 9812 9812 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475668850 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629382510672 140630669105051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9828] ppid=9812 vsize=28766288 memory=816 CPUtime=1.46 cores=0-7 /proc/9814/task/9828/stat : 9828 (java) S 9812 9812 9251 0 -1 1077944384 8011 0 0 0 144 2 0 0 20 0 28 0 475668850 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629381458544 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9829] ppid=9812 vsize=28766288 memory=1436 CPUtime=1.35 cores=0-7 /proc/9814/task/9829/stat : 9829 (java) S 9812 9812 9251 0 -1 1077944384 6091 0 0 0 133 2 0 0 20 0 28 0 475668850 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629380405744 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9830] ppid=9812 vsize=28766288 memory=1984 CPUtime=1.31 cores=0-7 /proc/9814/task/9830/stat : 9830 (java) S 9812 9812 9251 0 -1 1077944384 8123 0 0 0 130 1 0 0 20 0 28 0 475668850 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629379353456 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9831] ppid=9812 vsize=28766288 memory=2580 CPUtime=0.7 cores=0-7 /proc/9814/task/9831/stat : 9831 (java) S 9812 9812 9251 0 -1 1077944384 7953 0 0 0 69 1 0 0 20 0 28 0 475668850 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629378300656 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9832] ppid=9812 vsize=28766288 memory=1760 CPUtime=0 cores=0-7 /proc/9814/task/9832/stat : 9832 (java) S 9812 9812 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475668851 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629377247584 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9833] ppid=9812 vsize=28766288 memory=111636 CPUtime=0.03 cores=0-7 /proc/9814/task/9833/stat : 9833 (java) S 9812 9812 9251 0 -1 1077944384 685 0 0 0 0 3 0 0 20 0 28 0 475668851 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629308860720 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9837] ppid=9812 vsize=28766288 memory=800 CPUtime=52.88 cores=0-7 /proc/9814/task/9837/stat : 9837 (java) R 9812 9812 9251 0 -1 4202560 1414 0 0 0 5286 2 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629299641320 140630271641897 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9838] ppid=9812 vsize=28766288 memory=1804 CPUtime=52.87 cores=0-7 /proc/9814/task/9838/stat : 9838 (java) R 9812 9812 9251 0 -1 4202560 1251 0 0 0 5285 2 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629298589672 140630271599389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9839] ppid=9812 vsize=28766288 memory=920 CPUtime=53.1 cores=0-7 /proc/9814/task/9839/stat : 9839 (java) R 9812 9812 9251 0 -1 4202560 1646 0 0 0 5302 8 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629297537432 140630271641721 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9840] ppid=9812 vsize=28766288 memory=580 CPUtime=53.13 cores=0-7 /proc/9814/task/9840/stat : 9840 (java) R 9812 9812 9251 0 -1 4202560 5334 0 0 0 5308 5 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629296484440 140630271642043 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9841] ppid=9812 vsize=28766288 memory=1716 CPUtime=53.02 cores=0-7 /proc/9814/task/9841/stat : 9841 (java) R 9812 9812 9251 0 -1 4202560 1063 0 0 0 5299 3 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629295433768 140630271641441 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9842] ppid=9812 vsize=28766288 memory=10604 CPUtime=52.03 cores=0-7 /proc/9814/task/9842/stat : 9842 (java) R 9812 9812 9251 0 -1 4202560 1437 0 0 0 5200 3 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629294379248 140630271642136 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9843] ppid=9812 vsize=28766288 memory=3636 CPUtime=53.17 cores=0-7 /proc/9814/task/9843/stat : 9843 (java) R 9812 9812 9251 0 -1 4202560 830 0 0 0 5315 2 0 0 20 0 28 0 475672659 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629293326168 140630271642043 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9844] ppid=9812 vsize=28766288 memory=776 CPUtime=53.14 cores=0-7 /proc/9814/task/9844/stat : 9844 (java) R 9812 9812 9251 0 -1 4202560 1541 0 0 0 5312 2 0 0 20 0 28 0 475672659 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629292273768 140630271642136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 Current children cumulated CPU time: 506.84 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 7458736 KiB [startup+91.7017 s] /proc/loadavg: 7.06 7.62 7.93 9/219 9847 /proc/meminfo: memFree=8302208/32770624 swapFree=66976740/67108860 [pid=9812] ppid=9809 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9812/stat : 9812 (xcsp3-exec) S 9809 9812 9251 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475668844 115843072 362 33554432000 4194304 5098028 140728648958336 140728648956440 140047455392380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27635712 140728648962897 140728648963157 140728648963157 140728648966086 0 /proc/9812/statm: 28282 362 304 221 0 87 0 [pid=9814] ppid=9812 vsize=28766288 memory=7457288 CPUtime=507.64 cores=0-7 /proc/9814/stat : 9814 (java) S 9812 9812 9251 0 -1 1077944320 115058 0 0 0 49544 1220 0 0 20 0 28 0 475668844 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140725860440784 140630669086455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 /proc/9814/statm: 7191572 1864322 3523 1 0 7152672 0 [pid=9814/tid=9815] ppid=9812 vsize=28766288 memory=7457288 CPUtime=30.54 cores=0-7 /proc/9814/task/9815/stat : 9815 (java) S 9812 9812 9251 0 -1 1077944384 26547 0 0 0 2980 74 0 0 20 0 28 0 475668845 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630673327232 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9816] ppid=9812 vsize=28766288 memory=7457288 CPUtime=5.77 cores=0-7 /proc/9814/task/9816/stat : 9816 (java) S 9812 9812 9251 0 -1 1077944384 4117 0 0 0 438 139 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630588938640 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9817] ppid=9812 vsize=28766288 memory=1448 CPUtime=5.78 cores=0-7 /proc/9814/task/9817/stat : 9817 (java) S 9812 9812 9251 0 -1 1077944384 3378 0 0 0 441 137 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630587885840 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9818] ppid=9812 vsize=28766288 memory=1448 CPUtime=5.79 cores=0-7 /proc/9814/task/9818/stat : 9818 (java) S 9812 9812 9251 0 -1 1077944384 4029 0 0 0 439 140 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630586833552 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9819] ppid=9812 vsize=28766288 memory=4108 CPUtime=5.75 cores=0-7 /proc/9814/task/9819/stat : 9819 (java) S 9812 9812 9251 0 -1 1077944384 4688 0 0 0 436 139 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630585780752 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9820] ppid=9812 vsize=28766288 memory=84524956404958 CPUtime=5.79 cores=0-7 /proc/9814/task/9820/stat : 9820 (java) S 9812 9812 9251 0 -1 1077944384 3851 0 0 0 438 141 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630216006544 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9821] ppid=9812 vsize=28766288 memory=7523652887376389714 CPUtime=5.76 cores=0-7 /proc/9814/task/9821/stat : 9821 (java) S 9812 9812 9251 0 -1 1077944384 4087 0 0 0 438 138 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630214953744 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9822] ppid=9812 vsize=28766288 memory=1216 CPUtime=5.8 cores=0-7 /proc/9814/task/9822/stat : 9822 (java) S 9812 9812 9251 0 -1 1077944384 3691 0 0 0 451 129 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630213901456 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9823] ppid=9812 vsize=28766288 memory=7059860 CPUtime=5.72 cores=0-7 /proc/9814/task/9823/stat : 9823 (java) S 9812 9812 9251 0 -1 1077944384 3493 0 0 0 441 131 0 0 20 0 28 0 475668846 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140630212848656 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9824] ppid=9812 vsize=28766288 memory=1448 CPUtime=1.69 cores=0-7 /proc/9814/task/9824/stat : 9824 (java) S 9812 9812 9251 0 -1 1077944384 10410 0 0 0 163 6 0 0 20 0 28 0 475668847 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629385668720 140630669097602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9825] ppid=9812 vsize=28766288 memory=7457288 CPUtime=0 cores=0-7 /proc/9814/task/9825/stat : 9825 (java) S 9812 9812 9251 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 475668848 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629384614752 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9826] ppid=9812 vsize=28766288 memory=281117959135456 CPUtime=0 cores=0-7 /proc/9814/task/9826/stat : 9826 (java) S 9812 9812 9251 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 475668848 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629383562368 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9827] ppid=9812 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/9814/task/9827/stat : 9827 (java) S 9812 9812 9251 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475668850 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629382510672 140630669105051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9828] ppid=9812 vsize=28766288 memory=1448 CPUtime=1.46 cores=0-7 /proc/9814/task/9828/stat : 9828 (java) S 9812 9812 9251 0 -1 1077944384 8011 0 0 0 144 2 0 0 20 0 28 0 475668850 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629381458544 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9829] ppid=9812 vsize=28766288 memory=1448 CPUtime=1.35 cores=0-7 /proc/9814/task/9829/stat : 9829 (java) S 9812 9812 9251 0 -1 1077944384 6091 0 0 0 133 2 0 0 20 0 28 0 475668850 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629380405744 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9830] ppid=9812 vsize=28766288 memory=1448 CPUtime=1.31 cores=0-7 /proc/9814/task/9830/stat : 9830 (java) S 9812 9812 9251 0 -1 1077944384 8123 0 0 0 130 1 0 0 20 0 28 0 475668850 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629379353456 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9831] ppid=9812 vsize=28766288 memory=7457288 CPUtime=0.7 cores=0-7 /proc/9814/task/9831/stat : 9831 (java) S 9812 9812 9251 0 -1 1077944384 7953 0 0 0 69 1 0 0 20 0 28 0 475668850 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629378300656 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9832] ppid=9812 vsize=28766288 memory=7457284 CPUtime=0 cores=0-7 /proc/9814/task/9832/stat : 9832 (java) S 9812 9812 9251 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475668851 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629377247584 140630669096661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9833] ppid=9812 vsize=28766288 memory=7457280 CPUtime=0.03 cores=0-7 /proc/9814/task/9833/stat : 9833 (java) S 9812 9812 9251 0 -1 1077944384 685 0 0 0 0 3 0 0 20 0 28 0 475668851 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629308860720 140630669097602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9837] ppid=9812 vsize=28766288 memory=182699318856903 CPUtime=52.98 cores=0-7 /proc/9814/task/9837/stat : 9837 (java) R 9812 9812 9251 0 -1 4202560 1414 0 0 0 5296 2 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629299641320 140630271641897 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9838] ppid=9812 vsize=28766288 memory=182699318856904 CPUtime=52.97 cores=0-7 /proc/9814/task/9838/stat : 9838 (java) R 9812 9812 9251 0 -1 4202560 1251 0 0 0 5295 2 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629298589672 140630271599260 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9839] ppid=9812 vsize=28766288 memory=7457284 CPUtime=53.2 cores=0-7 /proc/9814/task/9839/stat : 9839 (java) R 9812 9812 9251 0 -1 4202560 1646 0 0 0 5312 8 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629297537432 140630271642859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9840] ppid=9812 vsize=28766288 memory=1448 CPUtime=53.23 cores=0-7 /proc/9814/task/9840/stat : 9840 (java) R 9812 9812 9251 0 -1 4202560 5334 0 0 0 5318 5 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629296484440 140630271641672 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9841] ppid=9812 vsize=28766288 memory=3620 CPUtime=53.12 cores=0-7 /proc/9814/task/9841/stat : 9841 (java) R 9812 9812 9251 0 -1 4202560 1063 0 0 0 5309 3 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629295433768 140630271641721 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9842] ppid=9812 vsize=28766288 memory=7457284 CPUtime=52.13 cores=0-7 /proc/9814/task/9842/stat : 9842 (java) R 9812 9812 9251 0 -1 4202560 1437 0 0 0 5210 3 0 0 20 0 28 0 475672658 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629294379248 140630271641721 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9843] ppid=9812 vsize=28766288 memory=1448 CPUtime=53.27 cores=0-7 /proc/9814/task/9843/stat : 9843 (java) R 9812 9812 9251 0 -1 4202560 830 0 0 0 5325 2 0 0 20 0 28 0 475672659 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629293326168 140630271599572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 [pid=9814/tid=9844] ppid=9812 vsize=28766288 memory=3620 CPUtime=53.24 cores=0-7 /proc/9814/task/9844/stat : 9844 (java) R 9812 9812 9251 0 -1 4202560 1541 0 0 0 5322 2 0 0 20 0 28 0 475672659 29456678912 1864322 33554432000 4194304 4196468 140725860458240 140629292273768 140630271416586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140725860463574 140725860463750 140725860463750 140725860466639 0 Current children cumulated CPU time: 507.64 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 7458736 KiB Child status: 0 Real time (s): 91.7541 CPU time (s): 507.761 CPU user time (s): 495.513 CPU system time (s): 12.2479 CPU usage (%): 553.393 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 7463656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 495.513 system time used= 12.2479 maximum resident set size= 7462208 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116663 page faults= 0 swaps= 0 block input operations= 0 block output operations= 208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8615 involuntary context switches= 6291 # summary of solver processes directly reported to runsolver: # pid: 9812 # total CPU time (s): 507.761 # total CPU user time (s): 495.513 # total CPU system time (s): 12.2479 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.74524 second user time and 1.1216 second system time The end
Begin job on node124 at 2019-09-20 18:34:07 IDJOB=4404282 IDBENCH=125590 IDSOLVER=2865 FILE ID=node124/4404282-1568997287 RUNJOBID= node124-1568994707-9278 PBS_JOBID= 21704729 Free space on /var/tmp= 13480 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-9.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 /var/tmp/evaluation-result-4404282-1568997287/watcher-4404282-1568997287 -o /var/tmp/evaluation-result-4404282-1568997287/solver-4404282-1568997287 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1568994707-9278 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1076504494 HOME/instance-4404282-1568997287.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2d7f03e466d78847960dc3f747db29ef RANDOM SEED=1076504494 node124.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.47 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.47 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.47 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.47 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: 15757416 kB MemAvailable: 31819196 kB Buffers: 134148 kB Cached: 15873592 kB SwapCached: 28940 kB Active: 7989468 kB Inactive: 8054028 kB Active(anon): 4916 kB Inactive(anon): 80488 kB Active(file): 7984552 kB Inactive(file): 7973540 kB Unevictable: 108092 kB Mlocked: 108092 kB SwapTotal: 67108860 kB SwapFree: 66976740 kB Dirty: 59272 kB Writeback: 0 kB AnonPages: 165128 kB Mapped: 52892 kB Shmem: 40884 kB Slab: 560988 kB SReclaimable: 532148 kB SUnreclaim: 28840 kB KernelStack: 3728 kB PageTables: 5828 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506804 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 118784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /var/tmp at the end= 13452 MiB End job on node124 at 2019-09-20 18:35:39