Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco 1.1 | ? (TO) | 2400.04 | 2400.6 |
Name | MagicHexagon/MagicHexagon-m1-s1/ MagicHexagon-11-0066.xml |
MD5SUM | 0b8750a079fea2eda3490f2b84dad210 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 441 |
Number of constraints | 70 |
Number of domains | 1 |
Minimum domain size | 331 |
Maximum domain size | 331 |
Distribution of domain sizes | [{"size":331,"count":331}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":110},{"degree":4,"count":325},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 331 |
Distribution of constraint arities | [{"arity":2,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":6},{"arity":16,"count":6},{"arity":17,"count":6},{"arity":18,"count":6},{"arity":19,"count":6},{"arity":20,"count":6},{"arity":21,"count":3},{"arity":331,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 6 |
Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":63}] |
Optimization problem | NO |
Type of objective |
0.00/0.01 c intension x[0][0]<x[0][10] using generic constraint 0.00/0.01 c intension x[0][0]<x[10][20] using generic constraint 0.00/0.01 c intension x[0][0]<x[20][10] using generic constraint 0.00/0.01 c intension x[0][0]<x[20][0] using generic constraint 0.00/0.01 c intension x[0][0]<x[10][0] using generic constraint 0.00/0.02 c intension x[0][10]<x[10][0] using generic constraint 0.00/0.02 c root propagations : 9 0.00/0.02 c restarts enabled, print stats at every restarts 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c This is cosoco 1.0 -- 0.00/0.02 c 0.00/0.02 c ========================================[ Problem Statistics ]=========================================== 0.00/0.02 c | 0.00/0.02 c | Parse time : 0.01 s 0.00/0.02 c | 0.00/0.02 c | Variables: 441 0.00/0.02 c | Domain Sizes: 331..331 0.00/0.02 c | 0.00/0.02 c | Constraints: 70 0.00/0.02 c | Arity: 2..331 -- Binary: 6 0.00/0.02 c | 0.00/0.02 c | Types: 0.00/0.02 c | (X - Y < k): 6 0.00/0.02 c | All Different: 1 0.00/0.02 c | Sum: 63 0.00/0.02 c | 0.00/0.02 c ========================================================================================================= 0.00/0.02 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.02 c remove useless variable x[0][11] 0.00/0.02 c remove useless variable x[0][12] 0.00/0.02 c remove useless variable x[0][13] 0.00/0.02 c remove useless variable x[0][14] 0.00/0.02 c remove useless variable x[0][15] 0.00/0.02 c remove useless variable x[0][16] 0.00/0.02 c remove useless variable x[0][17] 0.00/0.02 c remove useless variable x[0][18] 0.00/0.02 c remove useless variable x[0][19] 0.00/0.02 c remove useless variable x[0][20] 0.00/0.02 c remove useless variable x[1][12] 0.00/0.02 c remove useless variable x[1][13] 0.00/0.02 c remove useless variable x[1][14] 0.00/0.02 c remove useless variable x[1][15] 0.00/0.02 c remove useless variable x[1][16] 0.00/0.02 c remove useless variable x[1][17] 0.00/0.02 c remove useless variable x[1][18] 0.00/0.02 c remove useless variable x[1][19] 0.00/0.02 c remove useless variable x[1][20] 0.00/0.02 c remove useless variable x[2][13] 0.00/0.02 c remove useless variable x[2][14] 0.00/0.02 c remove useless variable x[2][15] 0.00/0.02 c remove useless variable x[2][16] 0.00/0.02 c remove useless variable x[2][17] 0.00/0.02 c remove useless variable x[2][18] 0.00/0.02 c remove useless variable x[2][19] 0.00/0.02 c remove useless variable x[2][20] 0.00/0.02 c remove useless variable x[3][14] 0.00/0.02 c remove useless variable x[3][15] 0.00/0.02 c remove useless variable x[3][16] 0.00/0.02 c remove useless variable x[3][17] 0.00/0.02 c remove useless variable x[3][18] 0.00/0.02 c remove useless variable x[3][19] 0.00/0.02 c remove useless variable x[3][20] 0.00/0.02 c remove useless variable x[4][15] 0.00/0.02 c remove useless variable x[4][16] 0.00/0.02 c remove useless variable x[4][17] 0.00/0.02 c remove useless variable x[4][18] 0.00/0.02 c remove useless variable x[4][19] 0.00/0.02 c remove useless variable x[4][20] 0.00/0.02 c remove useless variable x[5][16] 0.00/0.02 c remove useless variable x[5][17] 0.00/0.02 c remove useless variable x[5][18] 0.00/0.02 c remove useless variable x[5][19] 0.00/0.02 c remove useless variable x[5][20] 0.00/0.02 c remove useless variable x[6][17] 0.00/0.02 c remove useless variable x[6][18] 0.00/0.02 c remove useless variable x[6][19] 0.00/0.02 c remove useless variable x[6][20] 0.00/0.02 c remove useless variable x[7][18] 0.00/0.02 c remove useless variable x[7][19] 0.00/0.02 c remove useless variable x[7][20] 0.00/0.02 c remove useless variable x[8][19] 0.00/0.02 c remove useless variable x[8][20] 0.00/0.02 c remove useless variable x[9][20] 0.00/0.02 c remove useless variable x[11][20] 0.00/0.02 c remove useless variable x[12][19] 0.00/0.02 c remove useless variable x[12][20] 0.00/0.02 c remove useless variable x[13][18] 0.00/0.02 c remove useless variable x[13][19] 0.00/0.02 c remove useless variable x[13][20] 0.00/0.02 c remove useless variable x[14][17] 0.00/0.02 c remove useless variable x[14][18] 0.00/0.02 c remove useless variable x[14][19] 0.00/0.02 c remove useless variable x[14][20] 0.00/0.02 c remove useless variable x[15][16] 0.00/0.02 c remove useless variable x[15][17] 0.00/0.02 c remove useless variable x[15][18] 0.00/0.02 c remove useless variable x[15][19] 0.00/0.02 c remove useless variable x[15][20] 0.00/0.02 c remove useless variable x[16][15] 0.00/0.02 c remove useless variable x[16][16] 0.00/0.02 c remove useless variable x[16][17] 0.00/0.02 c remove useless variable x[16][18] 0.00/0.02 c remove useless variable x[16][19] 0.00/0.02 c remove useless variable x[16][20] 0.00/0.02 c remove useless variable x[17][14] 0.00/0.02 c remove useless variable x[17][15] 0.00/0.02 c remove useless variable x[17][16] 0.00/0.02 c remove useless variable x[17][17] 0.00/0.02 c remove useless variable x[17][18] 0.00/0.02 c remove useless variable x[17][19] 0.00/0.02 c remove useless variable x[17][20] 0.00/0.02 c remove useless variable x[18][13] 0.00/0.02 c remove useless variable x[18][14] 0.00/0.02 c remove useless variable x[18][15] 0.00/0.02 c remove useless variable x[18][16] 0.00/0.02 c remove useless variable x[18][17] 0.00/0.02 c remove useless variable x[18][18] 0.00/0.02 c remove useless variable x[18][19] 0.00/0.02 c remove useless variable x[18][20] 0.00/0.02 c remove useless variable x[19][12] 0.00/0.02 c remove useless variable x[19][13] 0.00/0.02 c remove useless variable x[19][14] 0.00/0.02 c remove useless variable x[19][15] 0.00/0.02 c remove useless variable x[19][16] 0.00/0.02 c remove useless variable x[19][17] 0.00/0.02 c remove useless variable x[19][18] 0.00/0.02 c remove useless variable x[19][19] 0.00/0.02 c remove useless variable x[19][20] 0.00/0.02 c remove useless variable x[20][11] 0.00/0.02 c remove useless variable x[20][12] 0.00/0.02 c remove useless variable x[20][13] 0.00/0.02 c remove useless variable x[20][14] 0.00/0.02 c remove useless variable x[20][15] 0.00/0.02 c remove useless variable x[20][16] 0.00/0.02 c remove useless variable x[20][17] 0.00/0.02 c remove useless variable x[20][18] 0.00/0.02 c remove useless variable x[20][19] 0.00/0.02 c remove useless variable x[20][20] 0.09/0.10 c 101 118 2124 34575 6 0 3 6 4 0.09/0.17 c 211 252 4508 74753 6 0 3 7 5 0.19/0.23 c 332 394 6861 114921 6 0 3 6 4 0.19/0.27 c 465 528 9065 380723 6 0 2 2 1 0.29/0.35 c 611 699 11920 430123 6 0 3 6 4 0.39/0.40 c 771 863 14621 724083 6 0 2 4 2 0.39/0.46 c 947 1046 17655 1023872 6 0 2 5 2 0.49/0.52 c 1140 1248 21160 1329802 6 0 2 5 2 0.59/0.60 c 1352 1475 25263 1639473 6 0 2 6 2 0.59/0.69 c 1585 1727 29790 1958475 6 0 2 6 2 0.79/0.82 c 1841 2026 34696 2038370 6 0 3 6 5 0.89/0.93 c 2122 2333 40100 2372853 6 0 2 6 3 0.99/1.06 c 2431 2673 45970 2715718 6 0 2 6 3 1.10/1.19 c 2770 3048 52345 3066984 6 0 2 6 3 1.29/1.35 c 3142 3461 59191 3425986 6 0 2 6 3 1.49/1.52 c 3551 3917 66668 3795847 6 0 2 6 3 1.69/1.71 c 4000 4420 74756 4174720 6 0 2 6 3 1.89/1.92 c 4493 4974 83631 4568910 6 0 2 6 4 2.09/2.15 c 5035 5586 93300 4975495 6 0 2 7 4 2.39/2.42 c 5631 6262 104009 5405062 6 0 2 7 4 2.69/2.71 c 6286 7008 115971 5856628 6 0 2 7 4 2.99/3.03 c 7006 7829 128779 6323303 6 0 2 7 4 3.40/3.45 c 7798 8754 144293 6575460 6 0 3 7 5 3.79/3.84 c 8669 9758 159932 7082912 6 0 2 7 4 4.19/4.27 c 9627 10865 176940 7613197 6 0 2 7 4 4.79/4.80 c 10680 12069 191427 8035942 6 0 4 8 6 5.29/5.33 c 11838 13419 211958 8612014 6 0 2 8 5 5.89/5.97 c 13111 14876 229456 9125457 6 0 4 8 6 6.60/6.61 c 14511 16523 254386 9766635 6 0 2 8 5 7.29/7.32 c 16051 18337 281734 10449294 6 0 2 8 5 8.09/8.11 c 17745 20333 311585 11178164 6 0 2 8 5 8.90/8.98 c 19608 22538 344749 11955420 6 0 2 8 5 9.90/9.97 c 21657 24969 381666 12805097 6 0 2 8 5 11.09/11.17 c 23910 27576 413437 13742312 6 0 4 8 6 12.29/12.38 c 26388 30526 458082 14729664 6 0 2 8 6 13.69/13.73 c 29113 33784 507704 15802431 6 0 2 8 6 15.19/15.22 c 32110 37370 562224 16955045 6 0 2 8 6 16.79/16.84 c 35406 41311 621717 18181372 6 0 2 8 6 18.59/18.63 c 39031 45654 687187 19499665 6 0 2 8 6 20.59/20.61 c 43018 50439 759641 20938390 6 0 2 8 6 22.78/22.80 c 47403 55698 839076 22503525 6 0 2 8 6 25.18/25.23 c 52226 61501 927036 24215178 6 0 2 8 6 27.88/27.90 c 57531 67881 1023397 26054526 6 0 2 8 6 30.79/30.81 c 63366 74901 1128970 28042864 6 0 2 8 6 33.98/34.05 c 69784 82626 1245637 30225367 6 0 2 8 6 37.58/37.63 c 76843 91138 1374401 32614160 6 0 2 8 6 42.18/42.26 c 84607 100505 1538575 35266485 6 0 3 8 6 46.48/46.59 c 93147 110803 1693910 38092758 6 0 2 8 6 51.28/51.35 c 102541 122144 1865190 41177559 6 0 2 8 6 56.58/56.61 c 112874 134625 2053948 44556252 6 0 2 8 6 62.38/62.47 c 124240 148384 2262801 48292904 6 0 2 8 6 68.87/68.97 c 136742 163551 2493241 52414549 6 0 2 8 6 76.07/76.17 c 150494 180263 2747320 56960971 6 0 2 8 6 84.07/84.16 c 165621 198669 3027441 61976043 6 0 2 8 6 92.87/92.99 c 182260 218931 3335738 67497459 6 0 2 8 6 102.67/102.75 c 200562 241247 3675690 73562358 6 0 2 8 6 113.46/113.59 c 220694 265865 4051889 80261697 6 0 2 9 6 125.56/125.60 c 242839 293006 4467610 87648288 6 0 2 9 6 138.86/138.90 c 267198 322924 4926778 95782012 6 0 2 9 6 153.55/153.66 c 293992 355925 5435037 104781156 6 0 2 9 6 169.95/170.04 c 323465 392335 5997579 114748132 6 0 2 9 6 188.05/188.16 c 355885 432450 6617542 125732076 6 0 2 9 6 208.24/208.35 c 391547 476729 7306506 137939123 6 0 2 9 7 231.94/232.03 c 430775 523490 7894482 156557658 6 0 4 9 7 256.63/256.72 c 473925 577253 8733850 171524327 6 0 2 9 7 283.92/284.04 c 521390 636479 9660429 188030180 6 0 2 9 7 314.12/314.22 c 573601 701735 10684007 206208841 6 0 2 9 7 347.91/348.01 c 631033 773879 11825081 226662829 6 0 2 9 7 385.30/385.49 c 694208 853436 13087647 249422787 6 0 2 9 7 426.70/426.85 c 763700 941071 14482303 274448409 6 0 2 9 7 472.58/472.73 c 840141 1037748 16031097 302412708 6 0 2 9 7 523.58/523.75 c 924226 1144413 17748303 333554577 6 0 2 9 7 580.16/580.37 c 1016719 1262035 19649056 368143275 6 0 2 9 7 642.64/642.87 c 1118461 1391624 21748670 406320346 6 0 2 9 7 725.42/725.63 c 1230377 1534920 24566517 454246943 6 0 3 9 7 802.60/802.82 c 1353484 1692838 27162305 501707479 6 0 2 9 7 905.58/905.85 c 1488901 1867707 30654915 561701395 6 0 3 9 7 1001.87/1002.18 c 1637859 2060779 33908091 621602008 6 0 2 10 7 1110.84/1111.20 c 1801712 2274390 37603591 690951749 6 0 2 10 7 1236.60/1236.92 c 1981950 2496026 40532709 794075607 6 0 4 10 8 1372.97/1373.34 c 2180211 2756958 45188818 882431647 6 0 3 10 7 1524.74/1525.16 c 2398298 3044334 50376794 981767509 6 0 3 10 7 1692.60/1693.06 c 2638193 3361187 56112587 1091640918 6 0 3 10 7 1876.85/1877.35 c 2902077 3709998 62420244 1211812972 6 0 3 10 7 2092.50/2093.03 c 3192349 4071763 67320114 1391989745 6 0 4 10 8 2322.15/2322.76 c 3511648 4499245 75214496 1542457686 6 0 3 10 7
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242215-1500659018/watcher-4242215-1500659018 -o /tmp/evaluation-result-4242215-1500659018/solver-4242215-1500659018 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500648174-9891 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242215-1500659018.xml pid=11574 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.05 3/246 11577 /proc/meminfo: memFree=32036092/32770624 swapFree=5904/193528 [pid=11577] ppid=11574 vsize=28444 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 1349 0 0 0 0 0 0 0 20 0 1 0 1168704 29126656 1162 33554432000 4194304 5970956 140733661631904 140733661628552 139652762373093 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7111 1162 723 434 0 475 0 [startup+0.100146 s] /proc/loadavg: 2.00 2.02 2.05 3/246 11577 /proc/meminfo: memFree=32036092/32770624 swapFree=5904/193528 [pid=11577] ppid=11574 vsize=28568 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 1439 0 0 0 9 0 0 0 20 0 1 0 1168704 29253632 1268 33554432000 4194304 5970956 140733661631904 140733661619272 5039162 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1268 782 434 0 506 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28568 [startup+0.200279 s] /proc/loadavg: 2.00 2.02 2.05 3/246 11577 /proc/meminfo: memFree=32036092/32770624 swapFree=5904/193528 [pid=11577] ppid=11574 vsize=28568 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 1440 0 0 0 19 0 0 0 20 0 1 0 1168704 29253632 1268 33554432000 4194304 5970956 140733661631904 140733661629240 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1268 782 434 0 506 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 28568 [startup+0.300234 s] /proc/loadavg: 2.00 2.02 2.05 3/246 11577 /proc/meminfo: memFree=32036092/32770624 swapFree=5904/193528 [pid=11577] ppid=11574 vsize=28568 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 1440 0 0 0 29 0 0 0 20 0 1 0 1168704 29253632 1268 33554432000 4194304 5970956 140733661631904 140733661629240 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1268 782 434 0 506 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28568 [startup+0.700211 s] /proc/loadavg: 2.00 2.02 2.05 3/246 11577 /proc/meminfo: memFree=32036092/32770624 swapFree=5904/193528 [pid=11577] ppid=11574 vsize=28568 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 1440 0 0 0 69 0 0 0 20 0 1 0 1168704 29253632 1268 33554432000 4194304 5970956 140733661631904 140733661629240 5039186 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1268 782 434 0 506 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28568 [startup+1.50021 s] /proc/loadavg: 1.92 2.00 2.04 3/247 11578 /proc/meminfo: memFree=32033828/32770624 swapFree=5904/193528 [pid=11577] ppid=11574 vsize=28568 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 1440 0 0 0 149 0 0 0 20 0 1 0 1168704 29253632 1268 33554432000 4194304 5970956 140733661631904 140733661629240 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1268 782 434 0 506 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28568 [startup+3.1002 s] /proc/loadavg: 1.92 2.00 2.04 3/247 11578 /proc/meminfo: memFree=32033332/32770624 swapFree=5904/193528 [pid=11577] ppid=11574 vsize=28568 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 1788 0 0 0 309 0 0 0 20 0 1 0 1168704 29253632 1281 33554432000 4194304 5970956 140733661631904 140733661629240 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1281 795 434 0 506 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28568 [startup+6.30022 s] /proc/loadavg: 1.93 2.00 2.04 3/247 11578 /proc/meminfo: memFree=32033332/32770624 swapFree=5904/193540 [pid=11577] ppid=11574 vsize=28568 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 2137 0 0 0 629 0 0 0 20 0 1 0 1168704 29253632 1281 33554432000 4194304 5970956 140733661631904 140733661629240 4974237 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1281 795 434 0 506 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28568 [startup+12.7002 s] /proc/loadavg: 1.93 2.00 2.04 3/247 11578 /proc/meminfo: memFree=32033200/32770624 swapFree=5904/193544 [pid=11577] ppid=11574 vsize=28568 CPUtime=12.69 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 2491 0 0 0 1269 0 0 0 20 0 1 0 1168704 29253632 1281 33554432000 4194304 5970956 140733661631904 140733661629240 4974228 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1281 795 434 0 506 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28568 [startup+25.5003 s] /proc/loadavg: 1.95 2.00 2.04 3/247 11578 /proc/meminfo: memFree=32033200/32770624 swapFree=5904/193564 [pid=11577] ppid=11574 vsize=28568 CPUtime=25.48 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 3191 0 0 0 2548 0 0 0 20 0 1 0 1168704 29253632 1281 33554432000 4194304 5970956 140733661631904 140733661629240 5098933 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1281 795 434 0 506 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28568 [startup+51.1003 s] /proc/loadavg: 1.97 2.00 2.04 3/247 11578 /proc/meminfo: memFree=32033700/32770624 swapFree=5904/193580 [pid=11577] ppid=11574 vsize=28568 CPUtime=51.08 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 3541 0 0 0 5108 0 0 0 20 0 1 0 1168704 29253632 1281 33554432000 4194304 5970956 140733661631904 140733661629240 4974329 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1281 795 434 0 506 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28568 [startup+102.3 s] /proc/loadavg: 1.99 2.00 2.04 3/247 11579 /proc/meminfo: memFree=32033824/32770624 swapFree=5904/193668 [pid=11577] ppid=11574 vsize=28568 CPUtime=102.27 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 3897 0 0 0 10227 0 0 0 20 0 1 0 1168704 29253632 1281 33554432000 4194304 5970956 140733661631904 140733661629240 5039162 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1281 795 434 0 506 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 28568 [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.04 3/246 11580 /proc/meminfo: memFree=32033440/32770624 swapFree=5904/193728 [pid=11577] ppid=11574 vsize=28568 CPUtime=162.25 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 4248 0 0 0 16225 0 0 0 20 0 1 0 1168704 29253632 1281 33554432000 4194304 5970956 140733661631904 140733661629240 4974128 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1281 795 434 0 506 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 28568 [startup+222.308 s] /proc/loadavg: 2.00 2.00 2.04 3/246 11581 /proc/meminfo: memFree=32033376/32770624 swapFree=5904/193764 [pid=11577] ppid=11574 vsize=28568 CPUtime=222.25 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 4599 0 0 0 22225 0 0 0 20 0 1 0 1168704 29253632 1281 33554432000 4194304 5970956 140733661631904 140733661629240 5098910 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1281 795 434 0 506 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 28568 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.04 3/247 11648 /proc/meminfo: memFree=31986248/32770624 swapFree=5904/193848 [pid=11577] ppid=11574 vsize=28568 CPUtime=282.22 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 4954 0 0 0 28222 0 0 0 20 0 1 0 1168704 29253632 1281 33554432000 4194304 5970956 140733661631904 140733661629240 4977503 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1281 795 434 0 506 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 28568 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.04 3/246 11649 /proc/meminfo: memFree=31985976/32770624 swapFree=5904/193716 [pid=11577] ppid=11574 vsize=28568 CPUtime=342.21 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 5306 0 0 0 34221 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 4978376 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 28568 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.04 3/248 11659 /proc/meminfo: memFree=31983504/32770624 swapFree=5904/193772 [pid=11577] ppid=11574 vsize=28568 CPUtime=402.2 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 5658 0 0 0 40220 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 4978389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 28568 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.04 3/248 11660 /proc/meminfo: memFree=31983628/32770624 swapFree=5904/193820 [pid=11577] ppid=11574 vsize=28568 CPUtime=462.18 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 6010 0 0 0 46218 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 28568 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.04 3/248 11661 /proc/meminfo: memFree=31983656/32770624 swapFree=5904/193860 [pid=11577] ppid=11574 vsize=28568 CPUtime=522.17 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 6350 0 0 0 52217 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 28568 [startup+582.3 s] /proc/loadavg: 2.14 2.03 2.05 3/248 11663 /proc/meminfo: memFree=31983540/32770624 swapFree=5904/193900 [pid=11577] ppid=11574 vsize=28568 CPUtime=582.16 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 6714 0 0 0 58216 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 4974452 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 28568 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.05 3/247 11710 /proc/meminfo: memFree=31981944/32770624 swapFree=5904/194496 [pid=11577] ppid=11574 vsize=28568 CPUtime=1481.95 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 11909 0 0 0 148195 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 5039152 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 28568 [startup+1542.31 s] /proc/loadavg: 2.13 2.04 2.05 3/247 11711 /proc/meminfo: memFree=31982644/32770624 swapFree=5904/194540 [pid=11577] ppid=11574 vsize=28568 CPUtime=1541.94 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 12263 0 0 0 154194 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 28568 [startup+1602.3 s] /proc/loadavg: 2.05 2.04 2.05 3/248 11720 /proc/meminfo: memFree=31981432/32770624 swapFree=5904/194592 [pid=11577] ppid=11574 vsize=28568 CPUtime=1601.92 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 12602 0 0 0 160192 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 5039186 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 28568 [startup+1662.3 s] /proc/loadavg: 2.02 2.03 2.05 3/248 11721 /proc/meminfo: memFree=31981472/32770624 swapFree=5904/194628 [pid=11577] ppid=11574 vsize=28568 CPUtime=1661.9 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 12944 0 0 0 166190 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 4974425 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 28568 [startup+1722.3 s] /proc/loadavg: 2.17 2.06 2.06 3/248 11722 /proc/meminfo: memFree=31981772/32770624 swapFree=5904/194664 [pid=11577] ppid=11574 vsize=28568 CPUtime=1721.89 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 13296 0 0 0 172189 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 4971048 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 28568 [startup+1782.3 s] /proc/loadavg: 2.14 2.06 2.06 3/248 11723 /proc/meminfo: memFree=31981788/32770624 swapFree=5904/194700 [pid=11577] ppid=11574 vsize=28568 CPUtime=1781.88 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 13636 0 0 0 178188 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 28568 [startup+1842.3 s] /proc/loadavg: 2.13 2.07 2.06 3/248 11725 /proc/meminfo: memFree=31980628/32770624 swapFree=5904/194732 [pid=11577] ppid=11574 vsize=28568 CPUtime=1841.86 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 13977 0 0 0 184186 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 1841.86 Current children cumulated vsize (KiB) 28568 [startup+1902.3 s] /proc/loadavg: 2.13 2.07 2.05 3/247 11726 /proc/meminfo: memFree=31982284/32770624 swapFree=5904/194784 [pid=11577] ppid=11574 vsize=28568 CPUtime=1901.85 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 14329 0 0 0 190185 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 4974141 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 1901.85 Current children cumulated vsize (KiB) 28568 [startup+1962.3 s] /proc/loadavg: 2.05 2.06 2.05 3/247 11727 /proc/meminfo: memFree=31980884/32770624 swapFree=5904/194816 [pid=11577] ppid=11574 vsize=28568 CPUtime=1961.83 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 14668 0 0 0 196183 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 4978376 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 1961.83 Current children cumulated vsize (KiB) 28568 [startup+2022.3 s] /proc/loadavg: 2.02 2.05 2.05 3/247 11728 /proc/meminfo: memFree=31980716/32770624 swapFree=5904/194856 [pid=11577] ppid=11574 vsize=28568 CPUtime=2021.82 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 15007 0 0 0 202182 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 4978416 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 2021.82 Current children cumulated vsize (KiB) 28568 [startup+2082.3 s] /proc/loadavg: 2.08 2.06 2.05 3/247 11729 /proc/meminfo: memFree=31981256/32770624 swapFree=5904/194892 [pid=11577] ppid=11574 vsize=28568 CPUtime=2081.81 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 15346 0 0 0 208181 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 4974403 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 2081.81 Current children cumulated vsize (KiB) 28568 [startup+2142.3 s] /proc/loadavg: 2.03 2.05 2.05 3/246 11730 /proc/meminfo: memFree=31980036/32770624 swapFree=5904/194940 [pid=11577] ppid=11574 vsize=28568 CPUtime=2141.79 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 15698 0 0 0 214179 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 5039162 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 2141.79 Current children cumulated vsize (KiB) 28568 [startup+2202.31 s] /proc/loadavg: 2.01 2.04 2.05 3/248 11740 /proc/meminfo: memFree=31980504/32770624 swapFree=5904/194976 [pid=11577] ppid=11574 vsize=28568 CPUtime=2201.79 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 16039 0 0 0 220179 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 4971778 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 2201.79 Current children cumulated vsize (KiB) 28568 [startup+2262.3 s] /proc/loadavg: 2.00 2.03 2.05 3/248 11741 /proc/meminfo: memFree=31980148/32770624 swapFree=5904/195016 [pid=11577] ppid=11574 vsize=28568 CPUtime=2261.76 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 16380 0 0 0 226176 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 5098933 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 2261.76 Current children cumulated vsize (KiB) 28568 [startup+2322.3 s] /proc/loadavg: 2.00 2.03 2.05 3/248 11742 /proc/meminfo: memFree=31980132/32770624 swapFree=5904/195052 [pid=11577] ppid=11574 vsize=28568 CPUtime=2321.75 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 16721 0 0 0 232175 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 2321.75 Current children cumulated vsize (KiB) 28568 [startup+2382.3 s] /proc/loadavg: 2.00 2.02 2.05 3/248 11743 /proc/meminfo: memFree=31980776/32770624 swapFree=5904/195088 [pid=11577] ppid=11574 vsize=28568 CPUtime=2381.74 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 17072 0 0 0 238174 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 2381.74 Current children cumulated vsize (KiB) 28568 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.6 s] /proc/loadavg: 2.00 2.02 2.05 3/248 11744 /proc/meminfo: memFree=31980612/32770624 swapFree=5904/195124 [pid=11577] ppid=11574 vsize=28568 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15 /proc/11577/stat : 11577 (cosoco) R 11574 11577 9859 0 -1 4202496 17412 0 0 0 240003 0 0 0 20 0 1 0 1168704 29253632 1285 33554432000 4194304 5970956 140733661631904 140733661629240 4974468 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 29876224 140733661639873 140733661640003 140733661640003 140733661642702 0 /proc/11577/statm: 7142 1285 795 434 0 506 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 28568 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 11577 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.6 CPU time (s): 2400.04 CPU user time (s): 2400.04 CPU system time (s): 0.006998 CPU usage (%): 99.9768 Max. virtual memory (cumulated for all children) (KiB): 28568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.04 system time used= 0.006998 maximum resident set size= 5184 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17441 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 120632 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.69863 second user time and 10.4073 second system time The end
Begin job on node133 at 2017-07-21 19:43:38 IDJOB=4242215 IDBENCH=133642 IDSOLVER=2620 FILE ID=node133/4242215-1500659018 RUNJOBID= node133-1500648174-9891 PBS_JOBID= 20623287 Free space on /tmp= 62016 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-11-0066.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242215-1500659018/watcher-4242215-1500659018 -o /tmp/evaluation-result-4242215-1500659018/solver-4242215-1500659018 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500648174-9891 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242215-1500659018.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 0b8750a079fea2eda3490f2b84dad210 RANDOM SEED=1440197279 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.13 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5229.85 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.13 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5229.85 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.13 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5229.85 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.13 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 32036840 kB MemAvailable: 32029908 kB Buffers: 34652 kB Cached: 268536 kB SwapCached: 0 kB Active: 156112 kB Inactive: 202280 kB Active(anon): 57976 kB Inactive(anon): 8752 kB Active(file): 98136 kB Inactive(file): 193528 kB Unevictable: 5904 kB Mlocked: 5904 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2508 kB Writeback: 0 kB AnonPages: 68792 kB Mapped: 31752 kB Shmem: 8872 kB Slab: 66308 kB SReclaimable: 34476 kB SUnreclaim: 31832 kB KernelStack: 4592 kB PageTables: 4980 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 328368 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62012 MiB End job on node133 at 2017-07-21 20:23:38