0.00/0.02 c
0.00/0.02 c This is cosoco 2.00 --
0.00/0.02 c
0.00/0.02 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408697-1569792196.xml
0.00/0.02 c intension eq(add(p[1],2),p[0]) -> extension (support ? 1) - 138tuples
0.00/0.03 c intension eq(add(p[3],3),p[2]) -> extension (support ? 1) - 137tuples
0.00/0.04 c intension eq(add(p[5],4),p[4]) -> extension (support ? 1) - 136tuples
0.00/0.05 c intension eq(add(p[7],5),p[6]) -> extension (support ? 1) - 135tuples
0.00/0.06 c intension eq(add(p[9],6),p[8]) -> extension (support ? 1) - 134tuples
0.00/0.07 c intension eq(add(p[11],7),p[10]) -> extension (support ? 1) - 133tuples
0.00/0.08 c intension eq(add(p[13],8),p[12]) -> extension (support ? 1) - 132tuples
0.00/0.09 c intension eq(add(p[15],9),p[14]) -> extension (support ? 1) - 131tuples
0.00/0.10 c intension eq(add(p[17],10),p[16]) -> extension (support ? 1) - 130tuples
0.10/0.11 c intension eq(add(p[19],11),p[18]) -> extension (support ? 1) - 129tuples
0.10/0.12 c intension eq(add(p[21],12),p[20]) -> extension (support ? 1) - 128tuples
0.10/0.13 c intension eq(add(p[23],13),p[22]) -> extension (support ? 1) - 127tuples
0.10/0.14 c intension eq(add(p[25],14),p[24]) -> extension (support ? 1) - 126tuples
0.10/0.15 c intension eq(add(p[27],15),p[26]) -> extension (support ? 1) - 125tuples
0.10/0.16 c intension eq(add(p[29],16),p[28]) -> extension (support ? 1) - 124tuples
0.10/0.17 c intension eq(add(p[31],17),p[30]) -> extension (support ? 1) - 123tuples
0.10/0.18 c intension eq(add(p[33],18),p[32]) -> extension (support ? 1) - 122tuples
0.10/0.19 c intension eq(add(p[35],19),p[34]) -> extension (support ? 1) - 121tuples
0.10/0.20 c intension eq(add(p[37],20),p[36]) -> extension (support ? 1) - 120tuples
0.10/0.21 c intension eq(add(p[39],21),p[38]) -> extension (support ? 1) - 119tuples
0.20/0.22 c intension eq(add(p[41],22),p[40]) -> extension (support ? 1) - 118tuples
0.20/0.23 c intension eq(add(p[43],23),p[42]) -> extension (support ? 1) - 117tuples
0.20/0.24 c intension eq(add(p[45],24),p[44]) -> extension (support ? 1) - 116tuples
0.20/0.25 c intension eq(add(p[47],25),p[46]) -> extension (support ? 1) - 115tuples
0.20/0.26 c intension eq(add(p[49],26),p[48]) -> extension (support ? 1) - 114tuples
0.20/0.27 c intension eq(add(p[51],27),p[50]) -> extension (support ? 1) - 113tuples
0.20/0.28 c intension eq(add(p[53],28),p[52]) -> extension (support ? 1) - 112tuples
0.20/0.29 c intension eq(add(p[55],29),p[54]) -> extension (support ? 1) - 111tuples
0.20/0.30 c intension eq(add(p[57],30),p[56]) -> extension (support ? 1) - 110tuples
0.20/0.31 c intension eq(add(p[59],31),p[58]) -> extension (support ? 1) - 109tuples
0.30/0.32 c intension eq(add(p[61],32),p[60]) -> extension (support ? 1) - 108tuples
0.30/0.33 c intension eq(add(p[63],33),p[62]) -> extension (support ? 1) - 107tuples
0.30/0.34 c intension eq(add(p[65],34),p[64]) -> extension (support ? 1) - 106tuples
0.30/0.35 c intension eq(add(p[67],35),p[66]) -> extension (support ? 1) - 105tuples
0.30/0.36 c intension eq(add(p[69],36),p[68]) -> extension (support ? 1) - 104tuples
0.30/0.37 c intension eq(add(p[71],37),p[70]) -> extension (support ? 1) - 103tuples
0.30/0.38 c intension eq(add(p[73],38),p[72]) -> extension (support ? 1) - 102tuples
0.30/0.39 c intension eq(add(p[75],39),p[74]) -> extension (support ? 1) - 101tuples
0.30/0.40 c intension eq(add(p[77],40),p[76]) -> extension (support ? 1) - 100tuples
0.30/0.41 c intension eq(add(p[79],41),p[78]) -> extension (support ? 1) - 99tuples
0.40/0.42 c intension eq(add(p[81],42),p[80]) -> extension (support ? 1) - 98tuples
0.40/0.43 c intension eq(add(p[83],43),p[82]) -> extension (support ? 1) - 97tuples
0.40/0.44 c intension eq(add(p[85],44),p[84]) -> extension (support ? 1) - 96tuples
0.40/0.45 c intension eq(add(p[87],45),p[86]) -> extension (support ? 1) - 95tuples
0.40/0.46 c intension eq(add(p[89],46),p[88]) -> extension (support ? 1) - 94tuples
0.40/0.47 c intension eq(add(p[91],47),p[90]) -> extension (support ? 1) - 93tuples
0.40/0.48 c intension eq(add(p[93],48),p[92]) -> extension (support ? 1) - 92tuples
0.40/0.49 c intension eq(add(p[95],49),p[94]) -> extension (support ? 1) - 91tuples
0.40/0.50 c intension eq(add(p[97],50),p[96]) -> extension (support ? 1) - 90tuples
0.40/0.51 c intension eq(add(p[99],51),p[98]) -> extension (support ? 1) - 89tuples
0.50/0.52 c intension eq(add(p[101],52),p[100]) -> extension (support ? 1) - 88tuples
0.50/0.53 c intension eq(add(p[103],53),p[102]) -> extension (support ? 1) - 87tuples
0.50/0.54 c intension eq(add(p[105],54),p[104]) -> extension (support ? 1) - 86tuples
0.50/0.55 c intension eq(add(p[107],55),p[106]) -> extension (support ? 1) - 85tuples
0.50/0.56 c intension eq(add(p[109],56),p[108]) -> extension (support ? 1) - 84tuples
0.50/0.57 c intension eq(add(p[111],57),p[110]) -> extension (support ? 1) - 83tuples
0.50/0.58 c intension eq(add(p[113],58),p[112]) -> extension (support ? 1) - 82tuples
0.50/0.59 c intension eq(add(p[115],59),p[114]) -> extension (support ? 1) - 81tuples
0.50/0.60 c intension eq(add(p[117],60),p[116]) -> extension (support ? 1) - 80tuples
0.60/0.61 c intension eq(add(p[119],61),p[118]) -> extension (support ? 1) - 79tuples
0.60/0.62 c intension eq(add(p[121],62),p[120]) -> extension (support ? 1) - 78tuples
0.60/0.63 c intension eq(add(p[123],63),p[122]) -> extension (support ? 1) - 77tuples
0.60/0.64 c intension eq(add(p[125],64),p[124]) -> extension (support ? 1) - 76tuples
0.60/0.65 c intension eq(add(p[127],65),p[126]) -> extension (support ? 1) - 75tuples
0.60/0.66 c intension eq(add(p[129],66),p[128]) -> extension (support ? 1) - 74tuples
0.60/0.67 c intension eq(add(p[131],67),p[130]) -> extension (support ? 1) - 73tuples
0.60/0.68 c intension eq(add(p[133],68),p[132]) -> extension (support ? 1) - 72tuples
0.60/0.69 c intension eq(add(p[135],69),p[134]) -> extension (support ? 1) - 71tuples
0.69/0.70 c intension eq(add(p[137],70),p[136]) -> extension (support ? 1) - 70tuples
0.69/0.71 c intension eq(add(p[139],71),p[138]) -> extension (support ? 1) - 69tuples
0.69/0.71 c root propagations : 5110
0.69/0.71 c restarts enabled, print stats at every restarts
0.69/0.71 c
0.69/0.71 c
0.69/0.71 c ========================================[ Problem Statistics ]===========================================
0.69/0.71 c |
0.69/0.71 c | Parse time : 0.71 s
0.69/0.71 c |
0.69/0.71 c | Variables: 280
0.69/0.71 c | Domain Sizes: 70..140
0.69/0.71 c |
0.69/0.71 c | Constraints: 210
0.69/0.71 c | Arity: 2..141 -- Binary: 70
0.69/0.71 c |
0.69/0.71 c | Types:
0.69/0.71 c | Element Constant: 140
0.69/0.71 c | Extension: 70 (nb tuples: 69..138) -- (shared: 0)
0.69/0.71 c |
0.69/0.71 c =========================================================================================================
0.69/0.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.69/0.74 c 101 635 138675 26074 140 0 232 255 239
0.69/0.77 c 211 901 278845 74664 140 0 110 122 109
0.79/0.81 c 332 1316 463042 139367 140 0 122 126 121
0.79/0.83 c 465 1671 561267 169108 140 0 160 161 158
0.79/0.86 c 611 2132 696771 213872 140 0 124 142 131
0.79/0.89 c 771 2902 898706 273016 140 0 125 143 134
0.89/0.94 c 947 3782 1182280 359094 140 0 120 142 126
0.89/0.98 c 1140 4396 1364716 422336 140 0 117 136 125
0.99/1.02 c 1352 5132 1631503 500347 140 0 124 129 126
0.99/1.08 c 1585 6632 2000436 597360 140 0 115 150 126
1.10/1.12 c 1841 7560 2241050 660466 140 0 122 141 128
1.10/1.17 c 2122 8898 2591044 751215 140 0 116 147 131
1.19/1.23 c 2431 10552 2977404 847906 140 0 119 144 129
1.19/1.27 c 2770 11458 3294157 932114 140 0 120 139 129
1.29/1.34 c 3142 12511 3777565 1073540 140 0 115 135 121
1.39/1.40 c 3551 14220 4271011 1201745 140 0 120 137 127
1.39/1.47 c 4000 15661 4778368 1334398 140 0 117 132 122
1.49/1.54 c 4493 17595 5308019 1472319 140 0 117 130 122
1.59/1.63 c 5035 19159 5979471 1669200 140 0 114 128 117
1.69/1.72 c 5631 21372 6659827 1860072 140 0 113 134 122
1.79/1.82 c 6286 23636 7453364 2056288 140 0 116 132 122
1.89/1.94 c 7006 26687 8454060 2295568 140 0 111 139 121
2.09/2.11 c 7798 31384 9913659 2671877 140 0 113 131 121
2.19/2.22 c 8669 33882 10856152 2907652 140 0 110 135 126
2.29/2.35 c 9627 36975 11867896 3172059 140 0 111 129 119
2.39/2.48 c 10680 40305 13050476 3470922 140 0 116 136 123
2.59/2.60 c 11838 42808 13995214 3754492 140 0 115 130 122
2.69/2.76 c 13111 46686 15485820 4166881 140 0 117 130 122
2.89/2.90 c 14511 49581 16754235 4495839 140 0 112 133 124
3.09/3.13 c 16051 56436 18790498 4973534 140 0 112 133 124
3.29/3.35 c 17745 62508 20876527 5476140 140 0 114 130 123
3.59/3.61 c 19608 70062 23170469 6066274 140 0 114 129 118
3.79/3.85 c 21657 76028 25342460 6599642 140 0 110 134 121
3.99/4.10 c 23910 81967 27468716 7198938 140 0 114 131 120
4.19/4.29 c 26388 86002 29091614 7670141 140 0 115 126 121
4.49/4.52 c 29113 91818 31280879 8188001 140 0 109 125 117
4.69/4.79 c 32110 96970 33671479 8947193 140 0 113 132 116
4.99/5.09 c 35406 104632 36246847 9699604 140 0 112 128 119
5.29/5.37 c 39031 112742 39001667 10285090 140 0 112 131 121
5.69/5.77 c 43018 123013 42674959 11227315 140 0 116 135 124
6.09/6.14 c 47403 132421 46030374 12132441 140 0 112 133 124
6.39/6.43 c 52226 139523 48756013 12750167 140 0 121 127 122
6.59/6.69 c 57531 148168 51220282 13343651 140 0 109 134 124
7.09/7.11 c 63366 159563 55228536 14244161 140 0 109 137 124
7.49/7.52 c 69784 176460 59555548 15068352 140 0 119 131 129
7.88/7.92 c 76843 186509 63602612 15996270 140 0 111 133 124
8.28/8.34 c 84607 197610 68029253 16900533 140 0 112 129 124
8.78/8.89 c 93147 214903 73746242 18252459 140 0 113 131 126
9.68/9.73 c 102541 239507 82198088 20279179 140 0 118 125 120
10.38/10.42 c 112874 255472 88902129 21851742 140 0 112 117 115
11.18/11.24 c 124240 268237 96167151 24223177 140 0 113 124 119
13.38/13.41 c 136742 317682 114620783 29600212 140 0 112 130 117
14.38/14.45 c 150494 338857 123950128 32499321 140 0 111 130 121
15.18/15.28 c 165621 358881 131563816 34913895 140 0 115 128 121
16.09/16.11 c 182260 395065 139179343 36928870 140 0 112 127 123
16.99/17.09 c 200562 425814 148108056 39556195 140 0 116 127 123
18.09/18.15 c 220694 462192 157522170 42430386 140 0 117 124 119
19.58/19.65 c 242839 498869 171865341 46588793 140 0 116 128 122
20.38/20.48 c 267198 529353 180181516 48397968 140 0 112 124 119
22.28/22.33 c 293992 570035 196285260 54671401 140 0 112 125 116
24.38/24.44 c 323465 616559 214184256 60419003 140 0 110 125 115
27.38/27.43 c 355885 683775 240452716 69750586 140 0 113 126 118
28.88/28.97 c 391547 728141 254952290 72897965 140 0 108 127 122
30.88/30.90 c 430775 784586 274351936 77481147 140 0 111 125 122
33.88/33.99 c 473925 882047 303698578 84800973 140 0 108 126 119
36.09/36.12 c 521390 931843 325218680 90726567 140 0 117 129 124
38.88/38.99 c 573601 1012251 353758657 98149473 140 0 113 126 120
41.58/41.69 c 631033 1086092 380676951 105174699 140 0 118 127 122
43.98/44.08 c 694208 1165482 403432176 111030367 140 0 113 126 120
46.68/46.71 c 763700 1252126 429654061 117184960 140 0 110 130 125
51.08/51.15 c 840141 1371290 470288173 128709252 140 0 111 128 118
53.67/53.74 c 924226 1478148 496115243 135338994 140 0 118 119 118
57.27/57.37 c 1016719 1578366 535408406 142911064 140 0 123 132 127
61.47/61.55 c 1118461 1698375 576818774 154052911 140 0 113 125 121
69.27/69.39 c 1230377 1930592 649697502 173493000 140 0 111 129 120
74.87/74.99 c 1353484 2069968 702940471 187109398 140 0 112 133 119
84.17/84.20 c 1488901 2293025 790608156 213293556 140 0 111 124 116
94.27/94.30 c 1637859 2529535 890823563 241414406 140 0 112 127 118
101.57/101.69 c 1801712 2717833 962782807 258205257 140 0 109 129 117
108.16/108.22 c 1981950 2920021 1032256547 274270269 140 0 114 125 119
117.86/117.97 c 2180211 3191549 1130316055 301671851 140 0 110 124 117
128.07/128.13 c 2398298 3513051 1235944407 327099274 140 0 114 126 121
138.36/138.43 c 2638193 3813954 1338051397 352535933 140 0 110 126 118
157.96/158.10 c 2902077 4292854 1515704538 412680786 140 0 112 121 114
167.36/167.46 c 3192349 4617828 1610246495 437848620 140 0 114 125 120
186.25/186.34 c 3511648 5286096 1795484759 486979544 140 0 115 125 120
199.55/199.63 c 3862876 5784460 1934017130 519343309 140 0 115 122 119
218.65/218.77 c 4249226 6431178 2129672748 573238731 140 0 116 121 118
235.15/235.28 c 4674211 7057149 2301183745 616291706 140 0 114 125 119
248.15/248.28 c 5141694 7569771 2439825400 645828801 140 0 119 127 125
273.75/273.89 c 5655925 8311379 2685713894 721138676 140 0 112 120 117
296.06/296.16 c 6221579 9055297 2911171888 777969466 140 0 109 126 119
317.55/317.60 c 6843798 9790594 3122476638 833033125 140 0 116 124 119
355.64/355.76 c 7528238 11113679 3523062466 921753271 140 0 113 124 118
389.24/389.36 c 8281122 12258628 3859698937 1004381352 140 0 110 122 117
428.64/428.74 c 9109294 13583294 4273791469 1097975089 140 0 110 123 117
465.84/465.98 c 10020283 14561431 4666979541 1175599561 140 0 110 119 116
504.84/504.95 c 11022370 16012506 5051252958 1268189020 140 0 103 130 122
560.33/560.41 c 12124665 17585430 5588993213 1424907433 140 0 114 124 121
613.23/613.34 c 13337189 19055446 6102208948 1581664818 140 0 110 128 125
694.22/694.37 c 14670965 21307249 6837369629 1867661902 140 0 113 122 119
823.22/823.36 c 16138118 23646634 7926339579 2267932933 140 0 109 123 114
908.61/908.79 c 17751986 25892620 8654088261 2546349445 140 0 113 122 117
966.11/966.22 c 19527240 27934267 9222381494 2706603220 140 0 109 132 125
1089.50/1089.68 c 21480019 31130436 10460669687 3048392107 140 0 109 128 121
1199.30/1199.45 c 23628075 34526913 11571078900 3354403089 140 0 112 122 118
1357.89/1358.10 c 25990936 38530733 13099801328 3832735374 140 0 111 127 116
1499.58/1499.78 c 28590083 42442848 14473873022 4247021699 140 0 114 119 116
1643.57/1643.78 c 31449144 46412395 15943983063 4625993422 140 0 108 128 118
1742.26/1742.47 c 34594111 49695850 16968732250 4853812343 140 0 108 122 119
1918.55/1918.79 c 38053574 55642701 18715907578 5423950483 140 0 109 122 118
2041.15/2041.34 c 41858983 60063267 19991765649 5757064016 140 0 109 125 119
2259.64/2259.82 c 46044932 67042490 22101634901 6410215690 140 0 111 122 117
2400.03/2400.20
2400.03/2400.20 c *** INTERRUPTED ***
2400.03/2400.20 c restarts : 113
2400.03/2400.20 c conflicts : 49382215 (20576 /sec)
2400.03/2400.20 c decisions : 71526369 (29802 /sec)
2400.03/2400.20 c propagations : 6754756871 (2814452 /sec)
2400.03/2400.20 c root propagations : 5110
2400.03/2400.20 c filter calls : 23598319909 (9832528 /sec)
2400.03/2400.20 c useless filter calls : 18811499294 (79 %)
2400.03/2400.20 c Memory used : 30.74 MB
2400.03/2400.20 c CPU time : 2400.03 s
2400.03/2400.20 c real time : 2400.2 s
2400.03/2400.20
2400.03/2400.20 s UNKNOWN
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 (15284 MiB free)
memory of node 1: 16384 MiB (15429 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408697-1569792196/watcher-4408697-1569792196 -o /tmp/evaluation-result-4408697-1569792196/solver-4408697-1569792196 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569787540-6946 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408697-1569792196.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7678, runsolver pid=7675
Current StackSize limit: 8192 KiB
[startup+0.100199 s]*
/proc/loadavg: 2.06 2.04 1.98 3/197 7679
/proc/meminfo: memFree=31449596/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=28912 memory=5084 CPUtime=0.1 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 3394 0 0 0 10 0 0 0 20 0 1 0 555491815 29605888 1271 33554432000 4194304 6211132 140736927543824 140736927540360 5012856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7228 1271 832 493 0 533 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28912 KiB
Current children cumulated memory: 5084 KiB
[startup+0.2095 s]*
/proc/loadavg: 2.06 2.04 1.98 3/197 7679
/proc/meminfo: memFree=31449224/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=30020 memory=6168 CPUtime=0.2 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 3889 0 0 0 20 0 0 0 20 0 1 0 555491815 30740480 1542 33554432000 4194304 6211132 140736927543824 140736927540360 5012912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7505 1542 832 493 0 810 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30020 KiB
Current children cumulated memory: 6168 KiB
[startup+0.308921 s]*
/proc/loadavg: 2.06 2.04 1.98 3/197 7679
/proc/meminfo: memFree=31449224/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=30152 memory=6432 CPUtime=0.3 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 3937 0 0 0 30 0 0 0 20 0 1 0 555491815 30875648 1608 33554432000 4194304 6211132 140736927543824 140736927540360 5440617 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7538 1608 832 493 0 843 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30152 KiB
Current children cumulated memory: 6432 KiB
[startup+0.700333 s]
/proc/loadavg: 2.06 2.04 1.98 3/197 7679
/proc/meminfo: memFree=31448852/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31340 memory=7752 CPUtime=0.69 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 4241 0 0 0 69 0 0 0 20 0 1 0 555491815 32092160 1938 33554432000 4194304 6211132 140736927543824 140736927538728 5442996 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7835 1938 832 493 0 1140 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31340 KiB
Current children cumulated memory: 7752 KiB
[startup+1.50034 s]
/proc/loadavg: 2.06 2.04 1.98 3/197 7679
/proc/meminfo: memFree=31447880/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7752 CPUtime=1.49 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 4294 0 0 0 149 0 0 0 20 0 1 0 555491815 32227328 1938 33554432000 4194304 6211132 140736927543824 140736927538728 5390120 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1938 832 493 0 1173 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7752 KiB
[startup+3.10913 s]
/proc/loadavg: 1.90 2.00 1.97 3/197 7679
/proc/meminfo: memFree=31447668/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=3.09 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 5154 0 0 0 309 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5008971 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+6.30033 s]
/proc/loadavg: 1.90 2.00 1.97 3/198 7681
/proc/meminfo: memFree=31447504/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=6.29 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 6014 0 0 0 629 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5099333 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+12.7003 s]
/proc/loadavg: 1.90 2.00 1.97 3/197 7681
/proc/meminfo: memFree=31447008/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=12.68 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 6874 0 0 0 1268 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5099111 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+25.5003 s]
/proc/loadavg: 1.93 2.00 1.97 3/197 7681
/proc/meminfo: memFree=31447356/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=25.48 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 8589 0 0 0 2548 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5009195 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+51.1092 s]
/proc/loadavg: 1.95 2.00 1.97 3/198 7684
/proc/meminfo: memFree=31447456/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=51.08 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 9454 0 0 0 5108 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5380208 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 1.97 3/197 7687
/proc/meminfo: memFree=31446780/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=102.27 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 10316 0 0 0 10227 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5099295 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.97 3/197 7692
/proc/meminfo: memFree=31447276/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=162.26 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 10764 0 0 0 16226 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5099210 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/197 7696
/proc/meminfo: memFree=31446376/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=222.25 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 11212 0 0 0 22225 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5390116 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/198 7710
/proc/meminfo: memFree=31446172/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=282.25 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 11660 0 0 0 28225 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5099256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+342.3 s]
/proc/loadavg: 2.48 2.14 2.01 3/198 7714
/proc/meminfo: memFree=31446704/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=342.24 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 12109 0 0 0 34224 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5380302 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+402.3 s]
/proc/loadavg: 2.18 2.12 2.01 3/198 7718
/proc/meminfo: memFree=31446532/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=402.24 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 12558 0 0 0 40224 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5409481 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+462.3 s]
/proc/loadavg: 2.06 2.10 2.01 3/198 7724
/proc/meminfo: memFree=31446616/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=462.24 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 13006 0 0 0 46224 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5008971 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
################
# More data... #
################
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 1602.17 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/198 7907
/proc/meminfo: memFree=31452680/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=1662.17 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 21161 0 0 0 166217 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5390520 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 1662.17 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/198 7913
/proc/meminfo: memFree=31452420/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=1722.17 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 21482 0 0 0 172217 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5099159 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 7918
/proc/meminfo: memFree=31452664/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=1782.16 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 21941 0 0 0 178216 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5397400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 7922
/proc/meminfo: memFree=31452540/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=1842.16 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 22305 0 0 0 184216 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 7928
/proc/meminfo: memFree=31452776/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=1902.15 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 22662 0 0 0 190215 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5099201 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/197 7933
/proc/meminfo: memFree=31452748/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=1962.15 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 23112 0 0 0 196215 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5099201 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+2022.3 s]
/proc/loadavg: 2.32 2.13 2.08 3/197 7937
/proc/meminfo: memFree=31453384/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=2022.15 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 23402 0 0 0 202215 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5099197 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+2082.3 s]
/proc/loadavg: 2.12 2.10 2.08 3/197 7950
/proc/meminfo: memFree=31452688/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=2082.14 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 23940 0 0 0 208214 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5099197 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/198 8041
/proc/meminfo: memFree=31454064/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=2142.14 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 24277 0 0 0 214214 0 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5099159 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 2142.14 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/198 8045
/proc/meminfo: memFree=31454136/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=2202.14 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 24637 0 0 0 220213 1 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5099256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 2202.14 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/198 8051
/proc/meminfo: memFree=31454496/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=2262.14 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 25085 0 0 0 226213 1 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5008971 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/198 8055
/proc/meminfo: memFree=31454736/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=2322.14 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 25443 0 0 0 232213 1 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5390124 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/198 8059
/proc/meminfo: memFree=31454836/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=2382.13 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 25792 0 0 0 238212 1 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5099236 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 2382.13 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.04 2.05 3/198 8062
/proc/meminfo: memFree=31454768/32770624 swapFree=66941828/67108860
[pid=7678] ppid=7675 vsize=31472 memory=7976 CPUtime=2400.03 cores=0,2,4,6
/proc/7678/stat : 7678 (cosoco) R 7675 7678 6915 0 -1 4202496 26047 0 0 0 240002 1 0 0 20 0 1 0 555491815 32227328 1994 33554432000 4194304 6211132 140736927543824 140736927541784 5009195 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16023552 140736927552523 140736927552625 140736927552625 140736927555534 0
/proc/7678/statm: 7868 1994 868 493 0 1173 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 7678 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.03 s, system=0.010999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.04
CPU user time (s): 2400.03
CPU system time (s): 0.010999
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 31472
Max. memory (cumulated for all children) (KiB): 7976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.010999
maximum resident set size= 8040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26096
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= 15
involuntary context switches= 2945
# summary of solver processes directly reported to runsolver:
# pid: 7678
# total CPU time (s): 2400.04
# total CPU user time (s): 2400.03
# total CPU system time (s): 0.010999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.73676 second user time and 15.176 second system time
The end