Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 75 | 416.086 | 52.876 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-46-08.xml |
MD5SUM | 1a36b9c979418634ede1d2fbb3d1d330 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 75 |
Best CPU time to get the best result obtained on this benchmark | 70.2833 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 135 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 347 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":347,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":7,"count":5},{"degree":8,"count":40},{"degree":9,"count":9},{"degree":10,"count":6}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 60 |
Distribution of constraint arities | [{"arity":2,"count":131},{"arity":60,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 131 |
Distribution of constraint types | [{"type":"intension","count":131},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404687-1569001895.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404687-1569001895.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.10/0.81 c solve instance... 4.30/1.14 o 90 4.30/1.18 o 89 4.95/1.24 o 85 5.63/1.32 o 84 5.63/1.39 o 82 6.15/1.47 o 81 7.65/1.65 o 80 16.34/2.74 o 79 17.16/2.83 o 78 38.62/5.50 o 77 371.00/47.27 o 76 398.89/50.78 o 75 415.58/52.86 s OPTIMUM FOUND 415.58/52.86 v <instantiation> 415.58/52.86 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list> 415.58/52.86 v <values>0 0 0 0 7 5 6 10 15 13 5 13 12 18 14 17 7 26 22 32 11 26 14 30 15 17 26 29 24 33 43 42 24 25 39 25 39 42 48 34 43 47 23 34 53 55 47 56 60 64 61 61 53 56 56 66 63 63 64 73 68 75 </values> 415.58/52.86 v </instantiation>
OK 75
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 (11606 MiB free) memory of node 1: 16384 MiB (12665 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404687-1569001895/watcher-4404687-1569001895 -o /tmp/evaluation-result-4404687-1569001895/solver-4404687-1569001895 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568994181-18427 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1863941695 HOME/instance-4404687-1569001895.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=19717, runsolver pid=19714 [startup+0.100138 s]* /proc/loadavg: 8.59 7.77 7.47 2/212 19738 /proc/meminfo: memFree=24837712/32770624 swapFree=66999228/67108860 [pid=19717] ppid=19714 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19717/stat : 19717 (xcsp3-exec) S 19714 19717 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476442522 115843072 363 33554432000 4194304 5098028 140733897782048 140733897780152 140634150711932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13381632 140733897790325 140733897790569 140733897790569 140733897793482 0 /proc/19717/statm: 28282 363 304 221 0 87 0 [pid=19719] ppid=19717 vsize=28227396 memory=29244 CPUtime=0.12 cores=0-7 /proc/19719/stat : 19719 (java) S 19717 19717 18400 0 -1 1077944320 5796 0 0 0 10 2 0 0 20 0 20 0 476442523 28904853504 7311 33554432000 4194304 4196468 140722612853728 140722612836272 140483214565111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 /proc/19719/statm: 7056849 7311 3128 1 0 7019032 0 [pid=19719/tid=19720] ppid=19717 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/19719/task/19720/stat : 19720 (java) R 19717 19717 18400 0 -1 4202560 3735 0 0 0 8 1 0 0 20 0 20 0 476442523 28904853504 7311 33554432000 4194304 4196468 140722612853728 140483218791712 140483214587037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19721] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19721/stat : 19721 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 7311 33554432000 4194304 4196468 140722612853728 140483167185168 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19722] ppid=19717 vsize=28227396 memory=139710091206903 CPUtime=0 cores=0-7 /proc/19719/task/19722/stat : 19722 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 7311 33554432000 4194304 4196468 140722612853728 140483166132624 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19723] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19723/stat : 19723 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 7311 33554432000 4194304 4196468 140722612853728 140483165080080 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19724] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19724/stat : 19724 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 7311 33554432000 4194304 4196468 140722612853728 140483164027536 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19725] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19725/stat : 19725 (java) S 19717 19717 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 7311 33554432000 4194304 4196468 140722612853728 140483162974992 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19726] ppid=19717 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19719/task/19726/stat : 19726 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 7311 33554432000 4194304 4196468 140722612853728 140483161922448 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19727] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19727/stat : 19727 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 7311 33554432000 4194304 4196468 140722612853728 140483160869904 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19728] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19728/stat : 19728 (java) S 19717 19717 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 7311 33554432000 4194304 4196468 140722612853728 140483159817360 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19729] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19729/stat : 19729 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442525 28904853504 7311 33554432000 4194304 4196468 140722612853728 140481409406960 140483214576258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19730] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19730/stat : 19730 (java) S 19717 19717 18400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476442526 28904853504 7311 33554432000 4194304 4196468 140722612853728 140481408353184 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19731] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19731/stat : 19731 (java) S 19717 19717 18400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476442526 28904853504 7311 33554432000 4194304 4196468 140722612853728 140481407300592 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19732] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19732/stat : 19732 (java) S 19717 19717 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476442528 28904853504 7311 33554432000 4194304 4196468 140722612853728 140481406249168 140483214583707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19733] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19733/stat : 19733 (java) S 19717 19717 18400 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 476442528 28904853504 7311 33554432000 4194304 4196468 140722612853728 140481405196784 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19734] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19734/stat : 19734 (java) S 19717 19717 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476442528 28904853504 7311 33554432000 4194304 4196468 140722612853728 140481404144240 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19735] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19735/stat : 19735 (java) S 19717 19717 18400 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 476442528 28904853504 7311 33554432000 4194304 4196468 140722612853728 140481403091696 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19736] ppid=19717 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/19719/task/19736/stat : 19736 (java) R 19717 19717 18400 0 -1 4202560 313 0 0 0 1 0 0 0 20 0 20 0 476442529 28904853504 7311 33554432000 4194304 4196468 140722612853728 140481402039152 140483193933153 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19737] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19737/stat : 19737 (java) S 19717 19717 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476442529 28904853504 7311 33554432000 4194304 4196468 140722612853728 140481026414816 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19738] ppid=19717 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19719/task/19738/stat : 19738 (java) S 19717 19717 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476442529 28904853504 7311 33554432000 4194304 4196468 140722612853728 140481025362352 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30696 KiB [startup+0.210847 s]* /proc/loadavg: 8.59 7.77 7.47 1/212 19738 /proc/meminfo: memFree=24825332/32770624 swapFree=66999228/67108860 [pid=19717] ppid=19714 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19717/stat : 19717 (xcsp3-exec) S 19714 19717 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476442522 115843072 363 33554432000 4194304 5098028 140733897782048 140733897780152 140634150711932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13381632 140733897790325 140733897790569 140733897790569 140733897793482 0 /proc/19717/statm: 28282 363 304 221 0 87 0 [pid=19719] ppid=19717 vsize=28227396 memory=40364 CPUtime=0.34 cores=0-7 /proc/19719/stat : 19719 (java) S 19717 19717 18400 0 -1 1077944320 9364 0 0 0 30 4 0 0 20 0 20 0 476442523 28904853504 10091 33554432000 4194304 4196468 140722612853728 140722612836272 140483214565111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 /proc/19719/statm: 7056849 10091 3281 1 0 7019032 0 [pid=19719/tid=19720] ppid=19717 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/19719/task/19720/stat : 19720 (java) R 19717 19717 18400 0 -1 4202560 6595 0 0 0 17 2 0 0 20 0 20 0 476442523 28904853504 10091 33554432000 4194304 4196468 140722612853728 140483218798576 140483214577046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19721] ppid=19717 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/19719/task/19721/stat : 19721 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 10091 33554432000 4194304 4196468 140722612853728 140483167185168 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19722] ppid=19717 vsize=28227396 memory=288370086242899584 CPUtime=0 cores=0-7 /proc/19719/task/19722/stat : 19722 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 10091 33554432000 4194304 4196468 140722612853728 140483166132624 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19723] ppid=19717 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19719/task/19723/stat : 19723 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 10091 33554432000 4194304 4196468 140722612853728 140483165080080 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19724] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19724/stat : 19724 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 10091 33554432000 4194304 4196468 140722612853728 140483164027536 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19725] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19725/stat : 19725 (java) S 19717 19717 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 10091 33554432000 4194304 4196468 140722612853728 140483162974992 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19726] ppid=19717 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19719/task/19726/stat : 19726 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 10091 33554432000 4194304 4196468 140722612853728 140483161922448 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19727] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19727/stat : 19727 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 10091 33554432000 4194304 4196468 140722612853728 140483160869904 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19728] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19728/stat : 19728 (java) S 19717 19717 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476442524 28904853504 10091 33554432000 4194304 4196468 140722612853728 140483159817360 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19729] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19729/stat : 19729 (java) S 19717 19717 18400 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 476442525 28904853504 10091 33554432000 4194304 4196468 140722612853728 140481409406960 140483214576258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19730] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19730/stat : 19730 (java) S 19717 19717 18400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476442526 28904853504 10091 33554432000 4194304 4196468 140722612853728 140481408353184 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19731] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19731/stat : 19731 (java) S 19717 19717 18400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476442526 28904853504 10091 33554432000 4194304 4196468 140722612853728 140481407300592 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19732] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19732/stat : 19732 (java) S 19717 19717 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476442528 28904853504 10091 33554432000 4194304 4196468 140722612853728 140481406249168 140483214583707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19733] ppid=19717 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/19719/task/19733/stat : 19733 (java) S 19717 19717 18400 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 20 0 476442528 28904853504 10091 33554432000 4194304 4196468 140722612853728 140481405196784 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19734] ppid=19717 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/19719/task/19734/stat : 19734 (java) S 19717 19717 18400 0 -1 1077944384 59 0 0 0 2 0 0 0 20 0 20 0 476442528 28904853504 10091 33554432000 4194304 4196468 140722612853728 140481404144240 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19735] ppid=19717 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/19719/task/19735/stat : 19735 (java) S 19717 19717 18400 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 20 0 476442528 28904853504 10091 33554432000 4194304 4196468 140722612853728 140481403091696 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19736] ppid=19717 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/19719/task/19736/stat : 19736 (java) R 19717 19717 18400 0 -1 4202560 784 0 0 0 8 0 0 0 20 0 20 0 476442529 28904853504 10091 33554432000 4194304 4196468 140722612853728 140481402039152 140483214577046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19737] ppid=19717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19737/stat : 19737 (java) S 19717 19717 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476442529 28904853504 10091 33554432000 4194304 4196468 140722612853728 140481026414816 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19738] ppid=19717 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19719/task/19738/stat : 19738 (java) S 19717 19717 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476442529 28904853504 10091 33554432000 4194304 4196468 140722612853728 140481025362352 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41816 KiB [startup+0.32114 s]* /proc/loadavg: 8.59 7.77 7.47 3/212 19738 /proc/meminfo: memFree=24816820/32770624 swapFree=66999228/67108860 [pid=19717] ppid=19714 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19717/stat : 19717 (xcsp3-exec) S 19714 19717 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476442522 115843072 363 33554432000 4194304 5098028 140733897782048 140733897780152 140634150711932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13381632 140733897790325 140733897790569 140733897790569 140733897793482 0 /proc/19717/statm: 28282 363 304 221 0 87 0 [pid=19719] ppid=19717 vsize=28231652 memory=50620 CPUtime=0.53 cores=0-7 /proc/19719/stat : 19719 (java) S 19717 19717 18400 0 -1 1077944320 10957 0 0 0 49 4 0 0 20 0 20 0 476442523 28909211648 12655 33554432000 4194304 4196468 140722612853728 140722612836272 140483214565111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 /proc/19719/statm: 7057913 12655 3361 1 0 7019032 0 [pid=19719/tid=19720] ppid=19717 vsize=28231652 memory=8317482817917895235 CPUtime=0.31 cores=0-7 /proc/19719/task/19720/stat : 19720 (java) R 19717 19717 18400 0 -1 4202560 7870 0 0 0 28 3 0 0 20 0 20 0 476442523 28909211648 12655 33554432000 4194304 4196468 140722612853728 140483218794992 140483198645598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19721] ppid=19717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19721/stat : 19721 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28909211648 12655 33554432000 4194304 4196468 140722612853728 140483167185168 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19722] ppid=19717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19722/stat : 19722 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28909211648 12655 33554432000 4194304 4196468 140722612853728 140483166132624 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19723] ppid=19717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19723/stat : 19723 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28909211648 12655 33554432000 4194304 4196468 140722612853728 140483165080080 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19724] ppid=19717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19724/stat : 19724 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28909211648 12655 33554432000 4194304 4196468 140722612853728 140483164027536 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19725] ppid=19717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19725/stat : 19725 (java) S 19717 19717 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476442524 28909211648 12655 33554432000 4194304 4196468 140722612853728 140483162974992 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19726] ppid=19717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19726/stat : 19726 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28909211648 12655 33554432000 4194304 4196468 140722612853728 140483161922448 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19727] ppid=19717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19727/stat : 19727 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28909211648 12655 33554432000 4194304 4196468 140722612853728 140483160869904 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19728] ppid=19717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19728/stat : 19728 (java) S 19717 19717 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476442524 28909211648 12655 33554432000 4194304 4196468 140722612853728 140483159817360 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19729] ppid=19717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19729/stat : 19729 (java) S 19717 19717 18400 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 476442525 28909211648 12655 33554432000 4194304 4196468 140722612853728 140481409406960 140483214576258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19730] ppid=19717 vsize=28231652 memory=279419969281408 CPUtime=0 cores=0-7 /proc/19719/task/19730/stat : 19730 (java) S 19717 19717 18400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476442526 28909211648 12655 33554432000 4194304 4196468 140722612853728 140481408353184 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19731] ppid=19717 vsize=28231652 memory=279419969286016 CPUtime=0 cores=0-7 /proc/19719/task/19731/stat : 19731 (java) S 19717 19717 18400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476442526 28909211648 12655 33554432000 4194304 4196468 140722612853728 140481407300592 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19732] ppid=19717 vsize=28231652 memory=279419969290624 CPUtime=0 cores=0-7 /proc/19719/task/19732/stat : 19732 (java) S 19717 19717 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476442528 28909211648 12655 33554432000 4194304 4196468 140722612853728 140481406249168 140483214583707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19733] ppid=19717 vsize=28231652 memory=279419969295232 CPUtime=0.03 cores=0-7 /proc/19719/task/19733/stat : 19733 (java) S 19717 19717 18400 0 -1 1077944384 530 0 0 0 3 0 0 0 20 0 20 0 476442528 28909211648 12655 33554432000 4194304 4196468 140722612853728 140481405196784 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19734] ppid=19717 vsize=28231652 memory=279419969299840 CPUtime=0.02 cores=0-7 /proc/19719/task/19734/stat : 19734 (java) S 19717 19717 18400 0 -1 1077944384 96 0 0 0 2 0 0 0 20 0 20 0 476442528 28909211648 12655 33554432000 4194304 4196468 140722612853728 140481404144240 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19735] ppid=19717 vsize=28231652 memory=279419969304448 CPUtime=0.02 cores=0-7 /proc/19719/task/19735/stat : 19735 (java) S 19717 19717 18400 0 -1 1077944384 214 0 0 0 2 0 0 0 20 0 20 0 476442528 28909211648 12655 33554432000 4194304 4196468 140722612853728 140481403091696 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19736] ppid=19717 vsize=28231652 memory=279419969309056 CPUtime=0.12 cores=0-7 /proc/19719/task/19736/stat : 19736 (java) S 19717 19717 18400 0 -1 1077944384 938 0 0 0 12 0 0 0 20 0 20 0 476442529 28909211648 12655 33554432000 4194304 4196468 140722612853728 140481402039152 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19737] ppid=19717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19737/stat : 19737 (java) S 19717 19717 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476442529 28909211648 12655 33554432000 4194304 4196468 140722612853728 140481026414816 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19738] ppid=19717 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/19719/task/19738/stat : 19738 (java) S 19717 19717 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476442529 28909211648 12655 33554432000 4194304 4196468 140722612853728 140481025362352 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 52072 KiB [startup+0.701046 s] /proc/loadavg: 8.59 7.77 7.47 4/212 19738 /proc/meminfo: memFree=24803872/32770624 swapFree=66999228/67108860 [pid=19717] ppid=19714 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19717/stat : 19717 (xcsp3-exec) S 19714 19717 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476442522 115843072 363 33554432000 4194304 5098028 140733897782048 140733897780152 140634150711932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13381632 140733897790325 140733897790569 140733897790569 140733897793482 0 /proc/19717/statm: 28282 363 304 221 0 87 0 [pid=19719] ppid=19717 vsize=28233776 memory=86004 CPUtime=1.64 cores=0-7 /proc/19719/stat : 19719 (java) S 19717 19717 18400 0 -1 1077944320 14700 0 0 0 157 7 0 0 20 0 20 0 476442523 28911386624 21501 33554432000 4194304 4196468 140722612853728 140722612836272 140483214565111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 /proc/19719/statm: 7058444 21501 3456 1 0 7019544 0 [pid=19719/tid=19720] ppid=19717 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7 /proc/19719/task/19720/stat : 19720 (java) R 19717 19717 18400 0 -1 4202560 9317 0 0 0 63 4 0 0 20 0 20 0 476442523 28911386624 21501 33554432000 4194304 4196468 140722612853728 140483218799840 140482827113319 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19721] ppid=19717 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19721/stat : 19721 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28911386624 21501 33554432000 4194304 4196468 140722612853728 140483167185168 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19722] ppid=19717 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19722/stat : 19722 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28911386624 21501 33554432000 4194304 4196468 140722612853728 140483166132624 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19723] ppid=19717 vsize=28233776 memory=2828 CPUtime=0 cores=0-7 /proc/19719/task/19723/stat : 19723 (java) S 19717 19717 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476442524 28911386624 21501 33554432000 4194304 4196468 140722612853728 140483165080080 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 ################ # More data... # ################ [pid=19719/tid=19736] ppid=19717 vsize=28769364 memory=7519165750408866155 CPUtime=0.93 cores=0-7 /proc/19719/task/19736/stat : 19736 (java) S 19717 19717 18400 0 -1 1077944384 11469 0 0 0 90 3 0 0 20 0 28 0 476442529 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481402039152 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19737] ppid=19717 vsize=28769364 memory=7450761807354554210 CPUtime=0 cores=0-7 /proc/19719/task/19737/stat : 19737 (java) S 19717 19717 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476442529 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481026414816 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19738] ppid=19717 vsize=28769364 memory=7156618275133548140 CPUtime=0 cores=0-7 /proc/19719/task/19738/stat : 19738 (java) S 19717 19717 18400 0 -1 1077944384 759 0 0 0 0 0 0 0 20 0 28 0 476442529 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481025362352 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19838] ppid=19717 vsize=28769364 memory=7450761807354554210 CPUtime=1.22 cores=0-7 /proc/19719/task/19838/stat : 19838 (java) R 19717 19717 18400 0 -1 4202560 49 0 0 0 122 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481006913976 140482834385728 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19839] ppid=19717 vsize=28769364 memory=111628 CPUtime=1.22 cores=0-7 /proc/19719/task/19839/stat : 19839 (java) R 19717 19717 18400 0 -1 4202560 19 0 0 0 122 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481009020944 140482834985121 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19840] ppid=19717 vsize=28769364 memory=796 CPUtime=1.16 cores=0-7 /proc/19719/task/19840/stat : 19840 (java) R 19717 19717 18400 0 -1 4202560 31 0 0 0 116 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481014283648 140482834984551 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19841] ppid=19717 vsize=28769364 memory=8560 CPUtime=1.21 cores=0-7 /proc/19719/task/19841/stat : 19841 (java) R 19717 19717 18400 0 -1 4202560 40 0 0 0 121 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481013231536 140482834908492 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19842] ppid=19717 vsize=28769364 memory=1712 CPUtime=1.19 cores=0-7 /proc/19719/task/19842/stat : 19842 (java) R 19717 19717 18400 0 -1 4202560 20 0 0 0 119 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481010073784 140482834980973 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19843] ppid=19717 vsize=28769364 memory=1112 CPUtime=1.19 cores=0-7 /proc/19719/task/19843/stat : 19843 (java) R 19717 19717 18400 0 -1 4202560 26 0 0 0 119 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481007968456 140482834745546 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19844] ppid=19717 vsize=28769364 memory=1004 CPUtime=1.22 cores=0-7 /proc/19719/task/19844/stat : 19844 (java) R 19717 19717 18400 0 -1 4202560 22 0 0 0 122 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481012178712 140482837839862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19845] ppid=19717 vsize=28769364 memory=5832 CPUtime=1.13 cores=0-7 /proc/19719/task/19845/stat : 19845 (java) R 19717 19717 18400 0 -1 4202560 20 0 0 0 113 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481005862112 140482835048268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 Current children cumulated CPU time: 409.28 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 247144 KiB [startup+52.4011 s] /proc/loadavg: 8.99 8.02 7.57 9/220 19845 /proc/meminfo: memFree=24622892/32770624 swapFree=66999228/67108860 [pid=19717] ppid=19714 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19717/stat : 19717 (xcsp3-exec) S 19714 19717 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476442522 115843072 363 33554432000 4194304 5098028 140733897782048 140733897780152 140634150711932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13381632 140733897790325 140733897790569 140733897790569 140733897793482 0 /proc/19717/statm: 28282 363 304 221 0 87 0 [pid=19719] ppid=19717 vsize=28769364 memory=245692 CPUtime=412.4 cores=0-7 /proc/19719/stat : 19719 (java) S 19717 19717 18400 0 -1 1077944320 81039 0 0 0 41205 35 0 0 20 0 28 0 476442523 29459828736 61423 33554432000 4194304 4196468 140722612853728 140722612836272 140483214565111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 /proc/19719/statm: 7192341 61423 3539 1 0 7153441 0 [pid=19719/tid=19720] ppid=19717 vsize=28769364 memory=0 CPUtime=0.8 cores=0-7 /proc/19719/task/19720/stat : 19720 (java) S 19717 19717 18400 0 -1 1077944384 10020 0 0 0 75 5 0 0 20 0 28 0 476442523 29459828736 61423 33554432000 4194304 4196468 140722612853728 140483218805888 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19721] ppid=19717 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/19719/task/19721/stat : 19721 (java) S 19717 19717 18400 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 28 0 476442524 29459828736 61423 33554432000 4194304 4196468 140722612853728 140483167185168 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19722] ppid=19717 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/19719/task/19722/stat : 19722 (java) S 19717 19717 18400 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 28 0 476442524 29459828736 61423 33554432000 4194304 4196468 140722612853728 140483166132624 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19723] ppid=19717 vsize=28769364 memory=6791534058613427641 CPUtime=0.02 cores=0-7 /proc/19719/task/19723/stat : 19723 (java) S 19717 19717 18400 0 -1 1077944384 1767 0 0 0 1 1 0 0 20 0 28 0 476442524 29459828736 61423 33554432000 4194304 4196468 140722612853728 140483165080080 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19724] ppid=19717 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/19719/task/19724/stat : 19724 (java) S 19717 19717 18400 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 28 0 476442524 29459828736 61423 33554432000 4194304 4196468 140722612853728 140483164027536 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19725] ppid=19717 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/19719/task/19725/stat : 19725 (java) S 19717 19717 18400 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 28 0 476442524 29459828736 61423 33554432000 4194304 4196468 140722612853728 140483162974992 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19726] ppid=19717 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/19719/task/19726/stat : 19726 (java) S 19717 19717 18400 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 28 0 476442524 29459828736 61423 33554432000 4194304 4196468 140722612853728 140483161922448 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19727] ppid=19717 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/19719/task/19727/stat : 19727 (java) S 19717 19717 18400 0 -1 1077944384 1056 0 0 0 1 0 0 0 20 0 28 0 476442524 29459828736 61423 33554432000 4194304 4196468 140722612853728 140483160869904 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19728] ppid=19717 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/19719/task/19728/stat : 19728 (java) S 19717 19717 18400 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 28 0 476442524 29459828736 61423 33554432000 4194304 4196468 140722612853728 140483159817360 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19729] ppid=19717 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/19719/task/19729/stat : 19729 (java) S 19717 19717 18400 0 -1 1077944384 1220 0 0 0 2 0 0 0 20 0 28 0 476442525 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481409406960 140483214576258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19730] ppid=19717 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19730/stat : 19730 (java) S 19717 19717 18400 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 476442526 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481408353248 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19731] ppid=19717 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19731/stat : 19731 (java) S 19717 19717 18400 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 476442526 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481407300608 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19732] ppid=19717 vsize=28769364 memory=545 CPUtime=0 cores=0-7 /proc/19719/task/19732/stat : 19732 (java) S 19717 19717 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476442528 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481406249168 140483214583707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19733] ppid=19717 vsize=28769364 memory=3504 CPUtime=3.03 cores=0-7 /proc/19719/task/19733/stat : 19733 (java) S 19717 19717 18400 0 -1 1077944384 17413 0 0 0 300 3 0 0 20 0 28 0 476442528 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481405196784 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19734] ppid=19717 vsize=28769364 memory=56092 CPUtime=2.83 cores=0-7 /proc/19719/task/19734/stat : 19734 (java) S 19717 19717 18400 0 -1 1077944384 11251 0 0 0 279 4 0 0 20 0 28 0 476442528 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481404144240 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19735] ppid=19717 vsize=28769364 memory=3028 CPUtime=2.77 cores=0-7 /proc/19719/task/19735/stat : 19735 (java) S 19717 19717 18400 0 -1 1077944384 12394 0 0 0 275 2 0 0 20 0 28 0 476442528 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481403091696 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19736] ppid=19717 vsize=28769364 memory=2012 CPUtime=0.93 cores=0-7 /proc/19719/task/19736/stat : 19736 (java) S 19717 19717 18400 0 -1 1077944384 11469 0 0 0 90 3 0 0 20 0 28 0 476442529 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481402039152 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19737] ppid=19717 vsize=28769364 memory=1436 CPUtime=0 cores=0-7 /proc/19719/task/19737/stat : 19737 (java) S 19717 19717 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476442529 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481026414816 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19738] ppid=19717 vsize=28769364 memory=776 CPUtime=0 cores=0-7 /proc/19719/task/19738/stat : 19738 (java) S 19717 19717 18400 0 -1 1077944384 761 0 0 0 0 0 0 0 20 0 28 0 476442529 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481025362352 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19838] ppid=19717 vsize=28769364 memory=3604 CPUtime=1.61 cores=0-7 /proc/19719/task/19838/stat : 19838 (java) R 19717 19717 18400 0 -1 4202560 49 0 0 0 161 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481006913976 140482834907208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19839] ppid=19717 vsize=28769364 memory=2828 CPUtime=1.61 cores=0-7 /proc/19719/task/19839/stat : 19839 (java) R 19717 19717 18400 0 -1 4202560 19 0 0 0 161 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481009020944 140482837838027 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19840] ppid=19717 vsize=28769364 memory=676 CPUtime=1.55 cores=0-7 /proc/19719/task/19840/stat : 19840 (java) R 19717 19717 18400 0 -1 4202560 36 0 0 0 155 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481014283648 140482834723648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19841] ppid=19717 vsize=28769364 memory=1060 CPUtime=1.6 cores=0-7 /proc/19719/task/19841/stat : 19841 (java) R 19717 19717 18400 0 -1 4202560 42 0 0 0 160 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481013231672 140482834984227 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19842] ppid=19717 vsize=28769364 memory=1548 CPUtime=1.57 cores=0-7 /proc/19719/task/19842/stat : 19842 (java) R 19717 19717 18400 0 -1 4202560 20 0 0 0 157 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481010073784 140482835092589 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19843] ppid=19717 vsize=28769364 memory=1452 CPUtime=1.58 cores=0-7 /proc/19719/task/19843/stat : 19843 (java) R 19717 19717 18400 0 -1 4202560 26 0 0 0 158 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481007968456 140482834305736 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19844] ppid=19717 vsize=28769364 memory=246032 CPUtime=1.61 cores=0-7 /proc/19719/task/19844/stat : 19844 (java) R 19717 19717 18400 0 -1 4202560 22 0 0 0 161 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481012178712 140482835091670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19845] ppid=19717 vsize=28769364 memory=-8412652160765825907 CPUtime=1.51 cores=0-7 /proc/19719/task/19845/stat : 19845 (java) R 19717 19717 18400 0 -1 4202560 21 0 0 0 151 0 0 0 20 0 28 0 476447601 29459828736 61423 33554432000 4194304 4196468 140722612853728 140481005862824 140482834907028 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 Current children cumulated CPU time: 412.4 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 247144 KiB [startup+52.8011 s] /proc/loadavg: 8.99 8.02 7.57 9/220 19845 /proc/meminfo: memFree=24622892/32770624 swapFree=66999228/67108860 [pid=19717] ppid=19714 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19717/stat : 19717 (xcsp3-exec) S 19714 19717 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476442522 115843072 363 33554432000 4194304 5098028 140733897782048 140733897780152 140634150711932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13381632 140733897790325 140733897790569 140733897790569 140733897793482 0 /proc/19717/statm: 28282 363 304 221 0 87 0 [pid=19719] ppid=19717 vsize=28769364 memory=245828 CPUtime=415.58 cores=0-7 /proc/19719/stat : 19719 (java) S 19717 19717 18400 0 -1 1077944320 81292 0 0 0 41523 35 0 0 20 0 28 0 476442523 29459828736 61457 33554432000 4194304 4196468 140722612853728 140722612836272 140483214565111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 /proc/19719/statm: 7192341 61457 3539 1 0 7153441 0 [pid=19719/tid=19720] ppid=19717 vsize=28769364 memory=0 CPUtime=0.8 cores=0-7 /proc/19719/task/19720/stat : 19720 (java) S 19717 19717 18400 0 -1 1077944384 10020 0 0 0 75 5 0 0 20 0 28 0 476442523 29459828736 61457 33554432000 4194304 4196468 140722612853728 140483218805888 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19721] ppid=19717 vsize=28769364 memory=-3622645143214314312 CPUtime=0.01 cores=0-7 /proc/19719/task/19721/stat : 19721 (java) S 19717 19717 18400 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 28 0 476442524 29459828736 61457 33554432000 4194304 4196468 140722612853728 140483167185168 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19722] ppid=19717 vsize=28769364 memory=56092 CPUtime=0.01 cores=0-7 /proc/19719/task/19722/stat : 19722 (java) S 19717 19717 18400 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 28 0 476442524 29459828736 61457 33554432000 4194304 4196468 140722612853728 140483166132624 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19723] ppid=19717 vsize=28769364 memory=3028 CPUtime=0.02 cores=0-7 /proc/19719/task/19723/stat : 19723 (java) S 19717 19717 18400 0 -1 1077944384 1767 0 0 0 1 1 0 0 20 0 28 0 476442524 29459828736 61457 33554432000 4194304 4196468 140722612853728 140483165080080 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19724] ppid=19717 vsize=28769364 memory=2012 CPUtime=0.01 cores=0-7 /proc/19719/task/19724/stat : 19724 (java) S 19717 19717 18400 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 28 0 476442524 29459828736 61457 33554432000 4194304 4196468 140722612853728 140483164027536 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19725] ppid=19717 vsize=28769364 memory=1452 CPUtime=0.01 cores=0-7 /proc/19719/task/19725/stat : 19725 (java) S 19717 19717 18400 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 28 0 476442524 29459828736 61457 33554432000 4194304 4196468 140722612853728 140483162974992 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19726] ppid=19717 vsize=28769364 memory=246032 CPUtime=0.01 cores=0-7 /proc/19719/task/19726/stat : 19726 (java) S 19717 19717 18400 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 28 0 476442524 29459828736 61457 33554432000 4194304 4196468 140722612853728 140483161922448 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19727] ppid=19717 vsize=28769364 memory=6791534058613427641 CPUtime=0.01 cores=0-7 /proc/19719/task/19727/stat : 19727 (java) S 19717 19717 18400 0 -1 1077944384 1056 0 0 0 1 0 0 0 20 0 28 0 476442524 29459828736 61457 33554432000 4194304 4196468 140722612853728 140483160869904 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19728] ppid=19717 vsize=28769364 memory=245672 CPUtime=0.01 cores=0-7 /proc/19719/task/19728/stat : 19728 (java) S 19717 19717 18400 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 28 0 476442524 29459828736 61457 33554432000 4194304 4196468 140722612853728 140483159817360 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19729] ppid=19717 vsize=28769364 memory=3504 CPUtime=0.02 cores=0-7 /proc/19719/task/19729/stat : 19729 (java) S 19717 19717 18400 0 -1 1077944384 1222 0 0 0 2 0 0 0 20 0 28 0 476442525 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481409406960 140483214576258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19730] ppid=19717 vsize=28769364 memory=56092 CPUtime=0 cores=0-7 /proc/19719/task/19730/stat : 19730 (java) S 19717 19717 18400 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 476442526 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481408353248 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19731] ppid=19717 vsize=28769364 memory=1452 CPUtime=0 cores=0-7 /proc/19719/task/19731/stat : 19731 (java) S 19717 19717 18400 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 476442526 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481407300608 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19732] ppid=19717 vsize=28769364 memory=246032 CPUtime=0 cores=0-7 /proc/19719/task/19732/stat : 19732 (java) S 19717 19717 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476442528 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481406249168 140483214583707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19733] ppid=19717 vsize=28769364 memory=0 CPUtime=3.03 cores=0-7 /proc/19719/task/19733/stat : 19733 (java) S 19717 19717 18400 0 -1 1077944384 17413 0 0 0 300 3 0 0 20 0 28 0 476442528 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481405196784 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19734] ppid=19717 vsize=28769364 memory=7234303152781525070 CPUtime=2.83 cores=0-7 /proc/19719/task/19734/stat : 19734 (java) S 19717 19717 18400 0 -1 1077944384 11251 0 0 0 279 4 0 0 20 0 28 0 476442528 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481404144240 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19735] ppid=19717 vsize=28769364 memory=7234303152781525070 CPUtime=2.78 cores=0-7 /proc/19719/task/19735/stat : 19735 (java) S 19717 19717 18400 0 -1 1077944384 12435 0 0 0 276 2 0 0 20 0 28 0 476442528 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481403091696 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19736] ppid=19717 vsize=28769364 memory=288289982597317731 CPUtime=0.93 cores=0-7 /proc/19719/task/19736/stat : 19736 (java) S 19717 19717 18400 0 -1 1077944384 11469 0 0 0 90 3 0 0 20 0 28 0 476442529 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481402039152 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19737] ppid=19717 vsize=28769364 memory=288370086140436886 CPUtime=0 cores=0-7 /proc/19719/task/19737/stat : 19737 (java) S 19717 19717 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476442529 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481026414816 140483214575317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19738] ppid=19717 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/19719/task/19738/stat : 19738 (java) S 19717 19717 18400 0 -1 1077944384 761 0 0 0 0 0 0 0 20 0 28 0 476442529 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481025362352 140483214576258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19838] ppid=19717 vsize=28769364 memory=1452 CPUtime=2.01 cores=0-7 /proc/19719/task/19838/stat : 19838 (java) R 19717 19717 18400 0 -1 4202560 105 0 0 0 201 0 0 0 20 0 28 0 476447601 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481006914472 140482828145784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19839] ppid=19717 vsize=28769364 memory=245692 CPUtime=2.01 cores=0-7 /proc/19719/task/19839/stat : 19839 (java) R 19717 19717 18400 0 -1 4202560 34 0 0 0 201 0 0 0 20 0 28 0 476447601 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481009020944 140482835094829 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19840] ppid=19717 vsize=28769364 memory=30616 CPUtime=1.95 cores=0-7 /proc/19719/task/19840/stat : 19840 (java) R 19717 19717 18400 0 -1 4202560 64 0 0 0 195 0 0 0 20 0 28 0 476447601 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481014284216 140482832895445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19841] ppid=19717 vsize=28769364 memory=12024 CPUtime=2 cores=0-7 /proc/19719/task/19841/stat : 19841 (java) R 19717 19717 18400 0 -1 4202560 73 0 0 0 200 0 0 0 20 0 28 0 476447601 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481013232208 140482834907086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19842] ppid=19717 vsize=28769364 memory=500 CPUtime=1.97 cores=0-7 /proc/19719/task/19842/stat : 19842 (java) R 19717 19717 18400 0 -1 4202560 38 0 0 0 197 0 0 0 20 0 28 0 476447601 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481010073992 140482834982929 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19843] ppid=19717 vsize=28769364 memory=1560 CPUtime=1.98 cores=0-7 /proc/19719/task/19843/stat : 19843 (java) R 19717 19717 18400 0 -1 4202560 50 0 0 0 198 0 0 0 20 0 28 0 476447601 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481007968160 140482837838837 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19844] ppid=19717 vsize=28769364 memory=932 CPUtime=2.01 cores=0-7 /proc/19719/task/19844/stat : 19844 (java) R 19717 19717 18400 0 -1 4202560 38 0 0 0 201 0 0 0 20 0 28 0 476447601 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481012178360 140482834734198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 [pid=19719/tid=19845] ppid=19717 vsize=28769364 memory=3768 CPUtime=1.9 cores=0-7 /proc/19719/task/19845/stat : 19845 (java) R 19717 19717 18400 0 -1 4202560 43 0 0 0 190 0 0 0 20 0 28 0 476447601 29459828736 61457 33554432000 4194304 4196468 140722612853728 140481005862040 140482834581218 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31571968 140722612859882 140722612860054 140722612860054 140722612862927 0 Current children cumulated CPU time: 415.58 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 247280 KiB Child status: 0 Real time (s): 52.876 CPU time (s): 416.086 CPU user time (s): 415.716 CPU system time (s): 0.370581 CPU usage (%): 786.91 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 247628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 415.716 system time used= 0.370581 maximum resident set size= 246236 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82690 page faults= 0 swaps= 0 block input operations= 0 block output operations= 256 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7814 involuntary context switches= 5759 # summary of solver processes directly reported to runsolver: # pid: 19717 # total CPU time (s): 416.086 # total CPU user time (s): 415.716 # total CPU system time (s): 0.370581 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.41169 second user time and 0.675917 second system time The end
Begin job on node103 at 2019-09-20 19:50:35 IDJOB=4404687 IDBENCH=128523 IDSOLVER=2865 FILE ID=node103/4404687-1569001895 RUNJOBID= node103-1568994181-18427 PBS_JOBID= 21704716 Free space on /tmp= 20860 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-46-08.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-4404687-1569001895/watcher-4404687-1569001895 -o /tmp/evaluation-result-4404687-1569001895/solver-4404687-1569001895 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568994181-18427 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1863941695 HOME/instance-4404687-1569001895.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1a36b9c979418634ede1d2fbb3d1d330 RANDOM SEED=1863941695 node103.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.74 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.74 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.74 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.74 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: 24854736 kB MemAvailable: 31874904 kB Buffers: 47120 kB Cached: 7256572 kB SwapCached: 6976 kB Active: 3594160 kB Inactive: 3724112 kB Active(anon): 3452 kB Inactive(anon): 60608 kB Active(file): 3590708 kB Inactive(file): 3663504 kB Unevictable: 107480 kB Mlocked: 107480 kB SwapTotal: 67108860 kB SwapFree: 66999228 kB Dirty: 26152 kB Writeback: 0 kB AnonPages: 130756 kB Mapped: 52160 kB Shmem: 40864 kB Slab: 191752 kB SReclaimable: 163580 kB SUnreclaim: 28172 kB KernelStack: 3728 kB PageTables: 5616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506184 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 86016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 20832 MiB End job on node103 at 2019-09-20 19:51:29