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-4390157-1568334263.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.21/0.22 c intension eq(add(p[41],22),p[40]) -> extension (support ? 1) - 118tuples
0.21/0.23 c intension eq(add(p[43],23),p[42]) -> extension (support ? 1) - 117tuples
0.21/0.24 c intension eq(add(p[45],24),p[44]) -> extension (support ? 1) - 116tuples
0.21/0.25 c intension eq(add(p[47],25),p[46]) -> extension (support ? 1) - 115tuples
0.21/0.26 c intension eq(add(p[49],26),p[48]) -> extension (support ? 1) - 114tuples
0.21/0.27 c intension eq(add(p[51],27),p[50]) -> extension (support ? 1) - 113tuples
0.21/0.28 c intension eq(add(p[53],28),p[52]) -> extension (support ? 1) - 112tuples
0.21/0.29 c intension eq(add(p[55],29),p[54]) -> extension (support ? 1) - 111tuples
0.21/0.30 c intension eq(add(p[57],30),p[56]) -> extension (support ? 1) - 110tuples
0.21/0.31 c intension eq(add(p[59],31),p[58]) -> extension (support ? 1) - 109tuples
0.31/0.32 c intension eq(add(p[61],32),p[60]) -> extension (support ? 1) - 108tuples
0.31/0.33 c intension eq(add(p[63],33),p[62]) -> extension (support ? 1) - 107tuples
0.31/0.34 c intension eq(add(p[65],34),p[64]) -> extension (support ? 1) - 106tuples
0.31/0.35 c intension eq(add(p[67],35),p[66]) -> extension (support ? 1) - 105tuples
0.31/0.36 c intension eq(add(p[69],36),p[68]) -> extension (support ? 1) - 104tuples
0.31/0.37 c intension eq(add(p[71],37),p[70]) -> extension (support ? 1) - 103tuples
0.31/0.37 c intension eq(add(p[73],38),p[72]) -> extension (support ? 1) - 102tuples
0.31/0.38 c intension eq(add(p[75],39),p[74]) -> extension (support ? 1) - 101tuples
0.31/0.39 c intension eq(add(p[77],40),p[76]) -> extension (support ? 1) - 100tuples
0.31/0.40 c intension eq(add(p[79],41),p[78]) -> extension (support ? 1) - 99tuples
0.41/0.41 c intension eq(add(p[81],42),p[80]) -> extension (support ? 1) - 98tuples
0.41/0.42 c intension eq(add(p[83],43),p[82]) -> extension (support ? 1) - 97tuples
0.41/0.43 c intension eq(add(p[85],44),p[84]) -> extension (support ? 1) - 96tuples
0.41/0.44 c intension eq(add(p[87],45),p[86]) -> extension (support ? 1) - 95tuples
0.41/0.45 c intension eq(add(p[89],46),p[88]) -> extension (support ? 1) - 94tuples
0.41/0.46 c intension eq(add(p[91],47),p[90]) -> extension (support ? 1) - 93tuples
0.41/0.47 c intension eq(add(p[93],48),p[92]) -> extension (support ? 1) - 92tuples
0.41/0.48 c intension eq(add(p[95],49),p[94]) -> extension (support ? 1) - 91tuples
0.41/0.49 c intension eq(add(p[97],50),p[96]) -> extension (support ? 1) - 90tuples
0.41/0.50 c intension eq(add(p[99],51),p[98]) -> extension (support ? 1) - 89tuples
0.41/0.51 c intension eq(add(p[101],52),p[100]) -> extension (support ? 1) - 88tuples
0.51/0.52 c intension eq(add(p[103],53),p[102]) -> extension (support ? 1) - 87tuples
0.51/0.53 c intension eq(add(p[105],54),p[104]) -> extension (support ? 1) - 86tuples
0.51/0.54 c intension eq(add(p[107],55),p[106]) -> extension (support ? 1) - 85tuples
0.51/0.55 c intension eq(add(p[109],56),p[108]) -> extension (support ? 1) - 84tuples
0.51/0.56 c intension eq(add(p[111],57),p[110]) -> extension (support ? 1) - 83tuples
0.51/0.57 c intension eq(add(p[113],58),p[112]) -> extension (support ? 1) - 82tuples
0.51/0.58 c intension eq(add(p[115],59),p[114]) -> extension (support ? 1) - 81tuples
0.51/0.59 c intension eq(add(p[117],60),p[116]) -> extension (support ? 1) - 80tuples
0.51/0.60 c intension eq(add(p[119],61),p[118]) -> extension (support ? 1) - 79tuples
0.60/0.61 c intension eq(add(p[121],62),p[120]) -> extension (support ? 1) - 78tuples
0.60/0.62 c intension eq(add(p[123],63),p[122]) -> extension (support ? 1) - 77tuples
0.60/0.63 c intension eq(add(p[125],64),p[124]) -> extension (support ? 1) - 76tuples
0.60/0.64 c intension eq(add(p[127],65),p[126]) -> extension (support ? 1) - 75tuples
0.60/0.65 c intension eq(add(p[129],66),p[128]) -> extension (support ? 1) - 74tuples
0.60/0.66 c intension eq(add(p[131],67),p[130]) -> extension (support ? 1) - 73tuples
0.60/0.67 c intension eq(add(p[133],68),p[132]) -> extension (support ? 1) - 72tuples
0.60/0.68 c intension eq(add(p[135],69),p[134]) -> extension (support ? 1) - 71tuples
0.60/0.69 c intension eq(add(p[137],70),p[136]) -> extension (support ? 1) - 70tuples
0.69/0.70 c intension eq(add(p[139],71),p[138]) -> extension (support ? 1) - 69tuples
0.69/0.70 c root propagations : 5110
0.69/0.70 c restarts enabled, print stats at every restarts
0.69/0.70 c
0.69/0.70 c
0.69/0.70 c ========================================[ Problem Statistics ]===========================================
0.69/0.70 c |
0.69/0.70 c | Parse time : 0.70 s
0.69/0.70 c |
0.69/0.70 c | Variables: 280
0.69/0.70 c | Domain Sizes: 70..140
0.69/0.70 c |
0.69/0.70 c | Constraints: 210
0.69/0.70 c | Arity: 2..141 -- Binary: 70
0.69/0.70 c |
0.69/0.70 c | Types:
0.69/0.70 c | Element Constant: 140
0.69/0.70 c | Extension: 70 (nb tuples: 69..138) -- (shared: 0)
0.69/0.70 c |
0.69/0.70 c =========================================================================================================
0.69/0.70 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.69/0.73 c 101 635 138675 26074 140 0 232 255 239
0.69/0.76 c 211 901 278845 74664 140 0 110 122 109
0.69/0.80 c 332 1316 463042 139367 140 0 122 126 121
0.79/0.82 c 465 1671 561267 169108 140 0 160 161 158
0.79/0.85 c 611 2132 696771 213872 140 0 124 142 131
0.79/0.88 c 771 2902 898706 273016 140 0 125 143 134
0.89/0.93 c 947 3782 1182280 359094 140 0 120 142 126
0.89/0.96 c 1140 4396 1364716 422336 140 0 117 136 125
1.00/1.01 c 1352 5132 1631503 500347 140 0 124 129 126
1.00/1.06 c 1585 6632 2000436 597360 140 0 115 150 126
1.00/1.10 c 1841 7560 2241050 660466 140 0 122 141 128
1.10/1.15 c 2122 8898 2591044 751215 140 0 116 147 131
1.19/1.21 c 2431 10552 2977404 847906 140 0 119 144 129
1.19/1.26 c 2770 11458 3294157 932114 140 0 120 139 129
1.29/1.32 c 3142 12511 3777565 1073540 140 0 115 135 121
1.29/1.39 c 3551 14220 4271011 1201745 140 0 120 137 127
1.39/1.45 c 4000 15661 4778368 1334398 140 0 117 132 122
1.49/1.52 c 4493 17595 5308019 1472319 140 0 117 130 122
1.59/1.61 c 5035 19159 5979471 1669200 140 0 114 128 117
1.59/1.70 c 5631 21372 6659827 1860072 140 0 113 134 122
1.69/1.79 c 6286 23636 7453364 2056288 140 0 116 132 122
1.89/1.91 c 7006 26687 8454060 2295568 140 0 111 139 121
2.00/2.08 c 7798 31384 9913659 2671877 140 0 113 131 121
2.10/2.19 c 8669 33882 10856152 2907652 140 0 110 135 126
2.29/2.31 c 9627 36975 11867896 3172059 140 0 111 129 119
2.39/2.45 c 10680 40305 13050476 3470922 140 0 116 136 123
2.49/2.56 c 11838 42808 13995214 3754492 140 0 115 130 122
2.69/2.72 c 13111 46686 15485820 4166881 140 0 117 130 122
2.79/2.86 c 14511 49581 16754235 4495839 140 0 112 133 124
3.00/3.08 c 16051 56436 18790498 4973534 140 0 112 133 124
3.29/3.30 c 17745 62508 20876527 5476140 140 0 114 130 123
3.49/3.55 c 19608 70062 23170469 6066274 140 0 114 129 118
3.69/3.78 c 21657 76028 25342460 6599642 140 0 110 134 121
4.00/4.03 c 23910 81967 27468716 7198938 140 0 114 131 120
4.19/4.21 c 26388 86002 29091614 7670141 140 0 115 126 121
4.39/4.44 c 29113 91818 31280879 8188001 140 0 109 125 117
4.69/4.71 c 32110 96970 33671479 8947193 140 0 113 132 116
4.89/4.99 c 35406 104632 36246847 9699604 140 0 112 128 119
5.19/5.27 c 39031 112742 39001667 10285090 140 0 112 131 121
5.59/5.67 c 43018 123013 42674959 11227315 140 0 116 135 124
6.00/6.02 c 47403 132421 46030374 12132441 140 0 112 133 124
6.29/6.30 c 52226 139523 48756013 12750167 140 0 121 127 122
6.49/6.55 c 57531 148168 51220282 13343651 140 0 109 134 124
6.89/6.96 c 63366 159563 55228536 14244161 140 0 109 137 124
7.29/7.36 c 69784 176460 59555548 15068352 140 0 119 131 129
7.69/7.76 c 76843 186509 63602612 15996270 140 0 111 133 124
8.10/8.16 c 84607 197610 68029253 16900533 140 0 112 129 124
8.59/8.70 c 93147 214903 73746242 18252459 140 0 113 131 126
9.49/9.52 c 102541 239507 82198088 20279179 140 0 118 125 120
10.10/10.19 c 112874 255472 88902129 21851742 140 0 112 117 115
10.89/10.99 c 124240 268237 96167151 24223177 140 0 113 124 119
13.10/13.11 c 136742 317682 114620783 29600212 140 0 112 130 117
14.10/14.12 c 150494 338857 123950128 32499321 140 0 111 130 121
14.89/14.94 c 165621 358881 131563816 34913895 140 0 115 128 121
15.69/15.74 c 182260 395065 139179343 36928870 140 0 112 127 123
16.69/16.70 c 200562 425814 148108056 39556195 140 0 116 127 123
17.69/17.74 c 220694 462192 157522170 42430386 140 0 117 124 119
19.10/19.15 c 242839 498869 171865341 46588793 140 0 116 128 122
19.89/19.91 c 267198 529353 180181516 48397968 140 0 112 124 119
21.59/21.64 c 293992 570035 196285260 54671401 140 0 112 125 116
23.59/23.62 c 323465 616559 214184256 60419003 140 0 110 125 115
26.39/26.42 c 355885 683775 240452716 69750586 140 0 113 126 118
27.79/27.84 c 391547 728141 254952290 72897965 140 0 108 127 122
29.59/29.62 c 430775 784586 274351936 77481147 140 0 111 125 122
32.39/32.49 c 473925 882047 303698578 84800973 140 0 108 126 119
34.39/34.45 c 521390 931843 325218680 90726567 140 0 117 129 124
37.10/37.11 c 573601 1012251 353758657 98149473 140 0 113 126 120
39.59/39.62 c 631033 1086092 380676951 105174699 140 0 118 127 122
41.79/41.83 c 694208 1165482 403432176 111030367 140 0 113 126 120
44.19/44.24 c 763700 1252126 429654061 117184960 140 0 110 130 125
48.29/48.39 c 840141 1371290 470288173 128709252 140 0 111 128 118
50.69/50.79 c 924226 1478148 496115243 135338994 140 0 118 119 118
54.10/54.12 c 1016719 1578366 535408406 142911064 140 0 123 132 127
57.89/57.99 c 1118461 1698375 576818774 154052911 140 0 113 125 121
65.19/65.29 c 1230377 1930592 649697502 173493000 140 0 111 129 120
70.39/70.42 c 1353484 2069968 702940471 187109398 140 0 112 133 119
79.19/79.24 c 1488901 2293025 790608156 213293556 140 0 111 124 116
88.89/89.00 c 1637859 2529535 890823563 241414406 140 0 112 127 118
96.00/96.09 c 1801712 2717833 962782807 258205257 140 0 109 129 117
102.29/102.32 c 1981950 2920021 1032256547 274270269 140 0 114 125 119
111.59/111.69 c 2180211 3191549 1130316055 301671851 140 0 110 124 117
121.49/121.51 c 2398298 3513051 1235944407 327099274 140 0 114 126 121
131.29/131.37 c 2638193 3813954 1338051397 352535933 140 0 110 126 118
150.29/150.38 c 2902077 4292854 1515704538 412680786 140 0 112 121 114
159.19/159.29 c 3192349 4617828 1610246495 437848620 140 0 114 125 120
177.49/177.50 c 3511648 5286096 1795484759 486979544 140 0 115 125 120
190.09/190.11 c 3862876 5784460 1934017130 519343309 140 0 115 122 119
208.28/208.36 c 4249226 6431178 2129672748 573238731 140 0 116 121 118
224.28/224.33 c 4674211 7057149 2301183745 616291706 140 0 114 125 119
236.58/236.61 c 5141694 7569771 2439825400 645828801 140 0 119 127 125
261.28/261.36 c 5655925 8311379 2685713894 721138676 140 0 112 120 117
282.48/282.55 c 6221579 9055297 2911171888 777969466 140 0 109 126 119
302.88/302.97 c 6843798 9790594 3122476638 833033125 140 0 116 124 119
339.48/339.57 c 7528238 11113679 3523062466 921753271 140 0 113 124 118
371.48/371.53 c 8281122 12258628 3859698937 1004381352 140 0 110 122 117
409.28/409.33 c 9109294 13583294 4273791469 1097975089 140 0 110 123 117
445.18/445.22 c 10020283 14561431 4666979541 1175599561 140 0 110 119 116
482.38/482.43 c 11022370 16012506 5051252958 1268189020 140 0 103 130 122
535.68/535.76 c 12124665 17585430 5588993213 1424907433 140 0 114 124 121
586.78/586.81 c 13337189 19055446 6102208948 1581664818 140 0 110 128 125
665.58/665.62 c 14670965 21307249 6837369629 1867661902 140 0 113 122 119
791.08/791.19 c 16138118 23646634 7926339579 2267932933 140 0 109 123 114
874.57/874.64 c 17751986 25892620 8654088261 2546349445 140 0 113 122 117
929.47/929.50 c 19527240 27934267 9222381494 2706603220 140 0 109 132 125
1049.17/1049.25 c 21480019 31130436 10460669687 3048392107 140 0 109 128 121
1156.08/1156.17 c 23628075 34526913 11571078900 3354403089 140 0 112 122 118
1310.26/1310.32 c 25990936 38530733 13099801328 3832735374 140 0 111 127 116
1448.36/1448.47 c 28590083 42442848 14473873022 4247021699 140 0 114 119 116
1587.07/1587.18 c 31449144 46412395 15943983063 4625993422 140 0 108 128 118
1682.56/1682.63 c 34594111 49695850 16968732250 4853812343 140 0 108 122 119
1853.86/1853.99 c 38053574 55642701 18715907578 5423950483 140 0 109 122 118
1969.87/1969.94 c 41858983 60063267 19991765649 5757064016 140 0 109 125 119
2180.11/2180.12 c 46044932 67042490 22101634901 6410215690 140 0 111 122 117
2372.81/2372.84 c 50649475 73798539 24264808851 6932925103 140 0 113 122 116
2400.03/2400.00
2400.03/2400.00 c *** INTERRUPTED ***
2400.03/2400.00 c restarts : 114
2400.03/2400.00 c conflicts : 51116069 (21298 /sec)
2400.03/2400.00 c decisions : 74848545 (31187 /sec)
2400.03/2400.00 c propagations : 7019554777 (2924788 /sec)
2400.03/2400.00 c root propagations : 5110
2400.03/2400.00 c filter calls : 24524395646 (10218407 /sec)
2400.03/2400.00 c useless filter calls : 19558111282 (79 %)
2400.03/2400.00 c Memory used : 30.74 MB
2400.03/2400.00 c CPU time : 2400.02 s
2400.03/2400.00 c real time : 2400.01 s
2400.03/2400.00
2400.03/2400.00 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 (11948 MiB free)
memory of node 1: 16384 MiB (12652 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390157-1568334263/watcher-4390157-1568334263 -o /tmp/evaluation-result-4390157-1568334263/solver-4390157-1568334263 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568328795-19588 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390157-1568334263.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=20795, runsolver pid=20792
[startup+0.100154 s]*
/proc/loadavg: 2.00 2.02 1.98 3/200 20796
/proc/meminfo: memFree=25188540/32770624 swapFree=67004136/67108860
[pid=20795] ppid=20792 vsize=29336 memory=5596 CPUtime=0.1 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 3487 0 0 0 10 0 0 0 20 0 1 0 409587963 30040064 1399 33554432000 4194304 6210612 140721363809600 140721363803496 5012488 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7334 1399 829 493 0 639 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29336 KiB
Current children cumulated memory: 5596 KiB
[startup+0.209663 s]*
/proc/loadavg: 2.00 2.02 1.98 3/200 20796
/proc/meminfo: memFree=25188028/32770624 swapFree=67004136/67108860
[pid=20795] ppid=20792 vsize=30020 memory=6156 CPUtime=0.21 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 3886 0 0 0 21 0 0 0 20 0 1 0 409587963 30740480 1539 33554432000 4194304 6210612 140721363809600 140721363803496 140158425457758 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7505 1539 829 493 0 810 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30020 KiB
Current children cumulated memory: 6156 KiB
[startup+0.308948 s]*
/proc/loadavg: 2.00 2.02 1.98 3/200 20796
/proc/meminfo: memFree=25187656/32770624 swapFree=67004136/67108860
[pid=20795] ppid=20792 vsize=30152 memory=6420 CPUtime=0.31 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 3934 0 0 0 31 0 0 0 20 0 1 0 409587963 30875648 1605 33554432000 4194304 6210612 140721363809600 140721363803496 5451317 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7538 1605 829 493 0 843 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30152 KiB
Current children cumulated memory: 6420 KiB
[startup+0.700272 s]
/proc/loadavg: 2.00 2.02 1.98 3/200 20796
/proc/meminfo: memFree=25187284/32770624 swapFree=67004136/67108860
[pid=20795] ppid=20792 vsize=31340 memory=7740 CPUtime=0.69 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 4246 0 0 0 69 0 0 0 20 0 1 0 409587963 32092160 1935 33554432000 4194304 6210612 140721363809600 140721363804504 140158434478952 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7835 1935 829 493 0 1140 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31340 KiB
Current children cumulated memory: 7740 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.02 1.98 3/200 20796
/proc/meminfo: memFree=25186540/32770624 swapFree=67004136/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7740 CPUtime=1.49 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 4290 0 0 0 149 0 0 0 20 0 1 0 409587963 32227328 1935 33554432000 4194304 6210612 140721363809600 140721363807560 5397301 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1935 829 493 0 1173 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7740 KiB
[startup+3.10907 s]
/proc/loadavg: 2.00 2.02 1.98 3/200 20796
/proc/meminfo: memFree=25186652/32770624 swapFree=67004136/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=3.1 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 5151 0 0 0 310 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5397215 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.02 1.98 3/200 20796
/proc/meminfo: memFree=25186908/32770624 swapFree=67004136/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=6.29 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 6011 0 0 0 629 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5017320 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 1.98 3/200 20796
/proc/meminfo: memFree=25187092/32770624 swapFree=67004136/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=12.69 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 6872 0 0 0 1269 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5098837 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 1.98 3/200 20796
/proc/meminfo: memFree=25187220/32770624 swapFree=67004136/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=25.49 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 8126 0 0 0 2549 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5185944 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.02 1.98 3/200 20799
/proc/meminfo: memFree=25187568/32770624 swapFree=67004136/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=51.1 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 8524 0 0 0 5110 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5098837 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/200 20805
/proc/meminfo: memFree=25187256/32770624 swapFree=67004136/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=102.29 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 8921 0 0 0 10229 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5098743 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/200 20809
/proc/meminfo: memFree=25187220/32770624 swapFree=67004136/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=162.29 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 9316 0 0 0 16229 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/201 20815
/proc/meminfo: memFree=25186844/32770624 swapFree=67004136/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=222.28 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 9711 0 0 0 22228 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5192880 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/200 20820
/proc/meminfo: memFree=25186796/32770624 swapFree=67004136/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=282.28 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 10106 0 0 0 28228 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5008827 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/200 20824
/proc/meminfo: memFree=25186840/32770624 swapFree=67004136/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=342.28 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 10502 0 0 0 34228 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5098739 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/201 20838
/proc/meminfo: memFree=25186400/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=402.28 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 10900 0 0 0 40228 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5098829 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/200 20842
/proc/meminfo: memFree=25185784/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=462.28 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 11289 0 0 0 46228 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5397301 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
################
# More data... #
################
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 1602.26 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/201 21037
/proc/meminfo: memFree=24990116/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=1662.26 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 18273 0 0 0 166226 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5098837 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 1662.26 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/200 21041
/proc/meminfo: memFree=24990716/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=1722.26 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 18678 0 0 0 172226 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5098794 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/200 21045
/proc/meminfo: memFree=24990260/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=1782.25 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 18990 0 0 0 178225 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5192880 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/201 21051
/proc/meminfo: memFree=24989728/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=1842.26 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 19296 0 0 0 184226 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5192880 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/199 21056
/proc/meminfo: memFree=24989500/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=1902.26 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 19388 0 0 0 190226 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5008550 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/199 21060
/proc/meminfo: memFree=24989848/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=1962.27 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 19700 0 0 0 196227 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5098895 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/200 21066
/proc/meminfo: memFree=24988960/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=2022.27 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 19784 0 0 0 202227 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5098833 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 2022.27 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/199 21071
/proc/meminfo: memFree=24989620/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=2082.28 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 20069 0 0 0 208228 0 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5185944 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/199 21136
/proc/meminfo: memFree=25165768/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=2142.29 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 20094 0 0 0 214228 1 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5098791 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 2142.29 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/202 21151
/proc/meminfo: memFree=25164352/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=2202.3 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 20491 0 0 0 220229 1 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5008576 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/202 21177
/proc/meminfo: memFree=25163636/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=2262.31 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 20491 0 0 0 226230 1 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5008800 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/202 21181
/proc/meminfo: memFree=25163708/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=2322.31 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 20772 0 0 0 232230 1 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5192880 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/203 21187
/proc/meminfo: memFree=25164068/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=2382.32 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 20888 0 0 0 238231 1 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5192880 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 2.00 2.01 1.98 3/202 21187
/proc/meminfo: memFree=25164128/32770624 swapFree=67004140/67108860
[pid=20795] ppid=20792 vsize=31472 memory=7960 CPUtime=2400.03 cores=1,3,5,7
/proc/20795/stat : 20795 (cosoco) R 20792 20795 19556 0 -1 4202496 21119 0 0 0 240002 1 0 0 20 0 1 0 409587963 32227328 1990 33554432000 4194304 6210612 140721363809600 140721363807560 5409293 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 22536192 140721363813387 140721363813489 140721363813489 140721363816398 0
/proc/20795/statm: 7868 1990 865 493 0 1173 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.01 s]
# the end of solver process 20795 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.02 s, system=0.013 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.01
CPU time (s): 2400.03
CPU user time (s): 2400.02
CPU system time (s): 0.013
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 31472
Max. memory (cumulated for all children) (KiB): 7960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.013
maximum resident set size= 8028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21169
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= 1541
# summary of solver processes directly reported to runsolver:
# pid: 20795
# total CPU time (s): 2400.03
# total CPU user time (s): 2400.02
# total CPU system time (s): 0.013
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.18803 second user time and 15.4388 second system time
The end