| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.31 |
| Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__32.opb |
| MD5SUM | db1ffcf75e0c0509e6672a8f0ce9b1bb |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 71837 |
| Best CPU time to get the best result obtained on this benchmark | 1800 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9698 |
| Total number of constraints | 400 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 302 |
| Number of constraints which are nor clauses,nor cardinality constraints | 98 |
| Minimum length of a constraint | 32 |
| Maximum length of a constraint | 545 |
| Number of terms in the objective function | 9600 |
| Biggest coefficient in the objective function | 94834 |
| Number of bits for the biggest coefficient in the objective function | 17 |
| Sum of the numbers in the objective function | 346461024 |
| Number of bits of the sum of numbers in the objective function | 29 |
| Biggest number in a constraint | 94834 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 346461024 |
| Number of bits of the biggest sum of numbers | 29 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T22:41:55+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4107106-1466282515.opb"] 0.00/0.01 c use --random-gen="3107479889 1823064519 4072999616 3760404832 709842488 1876102965 198229132 2676616207 3400965917 2441884593 368146399 3343574525 1350275485 4286666268 3862592326 62235610 2874930551 1857974692 3013006801 1195438512 3266081264 3856836409 4015390715 2847137079 2563883398 2063503533 3712528808 1128275064 1954013531 676156629 2038625096 3280534589 480941490 2732384052 1385682927 1142547454 3182349197 3083501868 2310691395 3696470555 240899280 1322620497 2213175447 1008018390 3565460517 2489687400 545982710 1644155643 1829599111 1291242548 808906929 2288037825 83198917 3159940340 2985661625 3131046819 1673508921 149088190 3878201833 3671718044 3281886916 858822520 495297120 1995964935 2435179061 495338168 604379247 1622584151 4218820792 3451259788 3325347394 3167953254 507965994 86645955 2278601579 665335573 1586716826 685557100 1956462695 2940821678 1789657145 613859782 3639996145 1746663022 391343027 1154188225 2208494176 3678876268 4143857778 1181139786 924543424 97045888 3944854013 1166781644 1068633402 4264085050 1217873672 1526827163 3650114754 1296612160 1509590841 2585450568 1326586963 706144620 2526446419 3961248501 3602321802 4294721850 980844566 480802277 4052165486 2061311626 224779495 3095800856 4092972813 2374137546 2712787780 648458400 2273875567 4229835563 432834616 2027267328 3774135578 862226855 1685826339 2222318770 580917657 3510824954 658924708 1966937695 3082209899 2193490163 3498994223 571845826 417266615 3717523133 537414986 2856172790 560329392 1742045578 1645425342 3786198903 360715842 4264921402 1463021911 1154370600 497281966 1888578167 3233764328 1207493472 670024200 1157007266 44315334 3477963974 3636304945 3778341910 3385368772 1605256863 4071717154 1247257262 2192268325 4093346644 3457620838 3024119389 1409605685 4218990363 4049176047 796422199 2407647427 443100313 1980310405 1273888359 2716928763 2300415800 3693528193 1847297333 2112987388 1462074484 2422383729 3273013958 3484401068 1135386357 1053013555 2888264095 3687376621 127626322 1410545433 3950174143 3025159008 2311762404 1501863787 2338626664 2275063220 1256035226 2919786026 352811625 2076140280 998645611 1059270955 4265867629 2675862442 3756253350 2051229074 2482168056 2462677397 3706811671 2911842098 181107777 3499067291 63722624 3822252150 4137081207 3438247900 1368253688 2391604507 3008268274 897315552 477616796 2730320094 999574251 809565095 1310590186 398573425 3513582832 2614663672 356820039 1307747652 3581079058 3199222326 2087911877 3617571028 1128772143 997415331 1221766257 3147344291 2683170161 1794277303 1558067760 857570193 3113563761 1974670972 3019395821 2939215898 1242905565 329803701 3678135343 1883074035 315390690 2263682185 2293518724 350674858 1050054942 1774269424 145587002 3853941224 1668727163 255 362436" option to reproduce the execution 0.09/0.10 c #vars 9698 0.09/0.10 c #constraints 400 0.18/0.21 c BCD2: Hardening is enabled. 0.18/0.21 c BCD2: BiasedSearch is enabled. 0.18/0.21 c Solving starts ... 0.18/0.21 c ============================[ Search Statistics ]============================ 0.18/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.21 c | | | | Limit GC | Var | Constra 0.18/0.21 c ============================================================================= 0.18/0.21 c 0.0s | 0 | 0 | 0 | 3399 0 | 0 | 0 0.29/0.30 c 0.1s | 1 | 1271 | 100 | 3399 0 | 0 | 0 0.39/0.46 c 0.3s | 2 | 3749 | 250 | 3739 0 | 0 | 0 0.69/0.73 c 0.5s | 3 | 8568 | 475 | 4113 0 | 0 | 0 1.29/1.33 c 1.1s | 4 | 13396 | 813 | 4525 0 | 0 | 0 1.88/1.92 c 1.7s | 5 | 20712 | 1320 | 4978 0 | 0 | 0 2.68/2.72 c 2.5s | 5 | 27375 | 2005 | 5476 0 | 0 | 0 2.68/2.72 c #cpu_time = 2.496s 2.68/2.72 c #wall_clock_time = 2.505s 2.68/2.72 c #decision = 27375 2.68/2.72 c #random_decision = 83 2.68/2.72 c #conflict = 2005 2.68/2.72 c #restart = 5 2.68/2.72 o 3301574 2.68/2.73 c BCD2: updating upper bound: 346461024 -> 3301573 2.68/2.77 c BCD2: 0 <= obj <= 3301573 2.68/2.77 c BCD2: #cores=0, #unrelaxed=9600, #relaxed=0, #hardened=0 2.68/2.77 c BCD2: #sat=1 #unsat=1 bias=1/2 2.68/2.77 c Solving starts ... 2.68/2.77 c ============================[ Search Statistics ]============================ 2.68/2.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.68/2.77 c | | | | Limit GC | Var | Constra 2.68/2.77 c ============================================================================= 2.68/2.77 c 0.0s | 0 | 0 | 0 | 5476 0 | 0 | 0 2.78/2.80 c 0.0s | 0 | 1143 | 0 | 5476 0 | 0 | 0 2.78/2.80 c #cpu_time = 0.034s 2.78/2.80 c #wall_clock_time = 0.034s 2.78/2.80 c #decision = 1143 2.78/2.80 c #random_decision = 0 2.78/2.80 c #conflict = 0 2.78/2.80 c #restart = 0 2.78/2.80 c BCD2: found a new core of size 191: cost of the new core is >=9941 2.78/2.80 c lower bound updated to 9941 2.78/2.81 c BCD2: 9941 <= obj <= 3301573 2.78/2.81 c BCD2: #cores=1, #unrelaxed=9409, #relaxed=191, #hardened=0 2.78/2.81 c BCD2: #sat=1 #unsat=2 bias=2/3 16.07/16.12 c Solving starts ... 16.07/16.12 c ============================[ Search Statistics ]============================ 16.07/16.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 16.07/16.12 c | | | | Limit GC | Var | Constra 16.07/16.12 c ============================================================================= 16.07/16.12 c 0.0s | 0 | 0 | 0 | 5476 0 | 0 | 0 16.27/16.30 c 0.2s | 1 | 9663 | 100 | 6024 0 | 0 | 0 16.37/16.42 c 0.3s | 1 | 18853 | 129 | 6024 0 | 0 | 0 16.37/16.42 c #cpu_time = 0.290s 16.37/16.42 c #wall_clock_time = 0.291s 16.37/16.42 c #decision = 18853 16.37/16.42 c #random_decision = 0 16.37/16.42 c #conflict = 129 16.37/16.42 c #restart = 1 16.37/16.42 c BCD2: found a new core of size 8849: cost of the new core is >=2279 16.37/16.42 c lower bound updated to 12220 16.37/16.45 c BCD2: 12220 <= obj <= 3301573 16.37/16.45 c BCD2: #cores=2, #unrelaxed=560, #relaxed=9040, #hardened=0 16.37/16.45 c BCD2: #sat=1 #unsat=3 bias=3/4 16.77/16.81 c Solving starts ... 16.77/16.81 c ============================[ Search Statistics ]============================ 16.77/16.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 16.77/16.81 c | | | | Limit GC | Var | Constra 16.77/16.81 c ============================================================================= 16.77/16.81 c 0.0s | 0 | 0 | 0 | 6024 0 | 0 | 0 16.87/16.97 c 0.2s | 1 | 7863 | 100 | 6024 0 | 0 | 0 17.07/17.18 c 0.4s | 2 | 14555 | 250 | 6024 0 | 0 | 0 17.27/17.30 c 0.5s | 2 | 20195 | 267 | 6024 0 | 0 | 0 17.27/17.30 c #cpu_time = 0.479s 17.27/17.30 c #wall_clock_time = 0.480s 17.27/17.30 c #decision = 20195 17.27/17.30 c #random_decision = 85 17.27/17.30 c #conflict = 267 17.27/17.30 c #restart = 2 17.27/17.30 o 1295923 17.27/17.33 c BCD2: updating upper bound: 3301573 -> 1295922 17.27/17.38 c BCD2: 12220 <= obj <= 1295922 17.27/17.38 c BCD2: #cores=2, #unrelaxed=560, #relaxed=9040, #hardened=0 17.27/17.38 c BCD2: #sat=2 #unsat=3 bias=3/5 151.36/151.41 c Solving starts ... 151.36/151.41 c ============================[ Search Statistics ]============================ 151.36/151.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 151.36/151.41 c | | | | Limit GC | Var | Constra 151.36/151.41 c ============================================================================= 151.36/151.41 c 0.0s | 0 | 0 | 0 | 6024 0 | 0 | 1 155.46/155.56 c 4.1s | 0 | 4029 | 100 | 6024 0 | 0 | 1 155.46/155.57 c 4.2s | 1 | 4029 | 100 | 6024 0 | 0 | 1 158.26/158.39 c 7.0s | 1 | 5212 | 200 | 6024 0 | 0 | 1 160.25/160.30 c 8.9s | 2 | 5283 | 250 | 6024 0 | 0 | 1 169.36/169.44 c 18.0s | 2 | 9643 | 450 | 6024 0 | 0 | 1 170.65/170.73 c 19.3s | 3 | 9668 | 475 | 6024 0 | 0 | 1 177.95/178.01 c 26.6s | 3 | 11148 | 575 | 6024 0 | 0 | 1 180.95/181.09 c 29.7s | 3 | 12077 | 675 | 6024 0 | 0 | 1 188.35/188.48 c 37.1s | 3 | 12829 | 775 | 6024 0 | 0 | 1 190.65/190.75 c 39.3s | 4 | 13589 | 813 | 6024 0 | 0 | 1 197.25/197.31 c 45.9s | 4 | 15159 | 913 | 6627 0 | 0 | 1 203.15/203.23 c 51.8s | 4 | 17692 | 1013 | 6627 0 | 0 | 1 205.45/205.50 c 54.1s | 4 | 22226 | 1113 | 6627 0 | 0 | 1 210.65/210.76 c 59.3s | 4 | 28072 | 1213 | 6627 0 | 0 | 1 214.75/214.87 c 63.5s | 4 | 30547 | 1313 | 6627 0 | 0 | 1 215.05/215.14 c 63.7s | 5 | 30787 | 1320 | 6627 0 | 0 | 1 217.85/217.91 c 66.5s | 5 | 33301 | 1420 | 6627 0 | 0 | 1 221.05/221.11 c 69.7s | 5 | 34529 | 1520 | 6627 0 | 0 | 1 223.94/224.07 c 72.7s | 5 | 35084 | 1620 | 6627 0 | 0 | 1 226.04/226.16 c 74.7s | 5 | 35580 | 1720 | 6627 0 | 0 | 1 228.64/228.73 c 77.3s | 5 | 35767 | 1820 | 6627 0 | 0 | 1 231.44/231.59 c 80.2s | 5 | 37523 | 1920 | 6627 0 | 0 | 1 233.84/233.97 c 82.6s | 5 | 39870 | 2020 | 6627 0 | 0 | 1 234.84/234.95 c 83.5s | 6 | 39986 | 2081 | 6627 0 | 0 | 1 237.24/237.37 c 86.0s | 6 | 41358 | 2181 | 6627 0 | 0 | 1 241.04/241.16 c 89.8s | 6 | 42343 | 2281 | 6627 0 | 0 | 1 246.94/247.09 c 95.7s | 6 | 42906 | 2381 | 6627 0 | 0 | 1 251.24/251.32 c 99.9s | 6 | 43155 | 2481 | 6627 0 | 0 | 1 255.64/255.73 c 104s | 6 | 44091 | 2581 | 7290 0 | 0 | 1 257.74/257.80 c 106s | 6 | 45041 | 2681 | 7290 0 | 0 | 1 273.24/273.35 c 121s | 6 | 47092 | 2781 | 7290 0 | 0 | 1 284.53/284.64 c 133s | 6 | 47766 | 2881 | 7290 0 | 0 | 1 297.83/297.97 c 146s | 6 | 48941 | 2981 | 7290 0 | 0 | 1 303.13/303.23 c 151s | 6 | 50042 | 3081 | 7290 0 | 0 | 1 308.83/308.93 c 157s | 6 | 50843 | 3181 | 7290 0 | 0 | 1 309.83/309.90 c 158s | 7 | 51828 | 3223 | 7290 0 | 0 | 1 313.33/313.48 c 162s | 7 | 54515 | 3323 | 7290 0 | 0 | 1 315.93/316.07 c 164s | 7 | 56009 | 3423 | 7290 0 | 0 | 1 321.33/321.45 c 170s | 7 | 56699 | 3523 | 7290 0 | 0 | 1 327.03/327.10 c 175s | 7 | 58248 | 3623 | 7290 0 | 0 | 1 330.93/331.10 c 179s | 7 | 58496 | 3723 | 7290 0 | 0 | 1 336.73/336.86 c 185s | 7 | 59102 | 3823 | 7290 0 | 0 | 1 341.43/341.54 c 190s | 7 | 60158 | 3923 | 7290 0 | 0 | 1 346.43/346.52 c 195s | 7 | 60641 | 4023 | 7290 0 | 0 | 1 351.02/351.10 c 199s | 7 | 61088 | 4123 | 7290 0 | 0 | 1 355.42/355.53 c 204s | 7 | 61437 | 4223 | 7290 0 | 0 | 1 361.72/361.85 c 210s | 7 | 61806 | 4323 | 7290 0 | 0 | 1 367.12/367.29 c 215s | 7 | 62929 | 4423 | 7290 0 | 0 | 1 374.72/374.87 c 223s | 7 | 63164 | 4523 | 7290 0 | 0 | 1 380.52/380.62 c 229s | 7 | 63365 | 4623 | 7290 0 | 0 | 1 388.42/388.55 c 237s | 7 | 63515 | 4723 | 7290 0 | 0 | 1 394.02/394.11 c 242s | 7 | 63786 | 4823 | 7290 0 | 0 | 1 400.02/400.16 c 248s | 7 | 64168 | 4923 | 7290 0 | 0 | 1 401.22/401.32 c 249s | 8 | 64192 | 4936 | 7290 0 | 0 | 1 406.61/406.70 c 255s | 8 | 65152 | 5036 | 7290 1 | 0 | 1 410.71/410.80 c 259s | 8 | 65350 | 5136 | 8020 1 | 0 | 1 415.72/415.85 c 264s | 8 | 65558 | 5236 | 8020 1 | 0 | 1 420.41/420.50 c 269s | 8 | 65846 | 5336 | 8020 1 | 0 | 1 423.01/423.15 c 271s | 8 | 65995 | 5436 | 8020 1 | 0 | 1 429.71/429.88 c 278s | 8 | 66201 | 5536 | 8020 1 | 0 | 1 435.91/436.04 c 284s | 8 | 66902 | 5636 | 8020 1 | 0 | 1 439.71/439.80 c 288s | 8 | 67356 | 5736 | 8020 1 | 0 | 1 443.41/443.56 c 292s | 8 | 68047 | 5836 | 8020 1 | 0 | 1 450.21/450.34 c 298s | 8 | 68356 | 5936 | 8020 1 | 0 | 1 457.41/457.58 c 306s | 8 | 68867 | 6036 | 8020 1 | 0 | 1 465.10/465.25 c 313s | 8 | 69304 | 6136 | 8020 1 | 0 | 1 469.90/470.08 c 318s | 8 | 69543 | 6236 | 8020 1 | 0 | 1 476.10/476.23 c 324s | 8 | 69719 | 6336 | 8020 1 | 0 | 1 483.10/483.24 c 331s | 8 | 70040 | 6436 | 8020 1 | 0 | 1 488.60/488.73 c 337s | 8 | 70289 | 6536 | 8020 1 | 0 | 1 492.81/492.97 c 341s | 8 | 70577 | 6636 | 8020 1 | 0 | 1 497.70/497.87 c 346s | 8 | 70882 | 6736 | 8020 1 | 0 | 1 506.20/506.38 c 354s | 8 | 71114 | 6836 | 8020 1 | 0 | 1 510.30/510.44 c 359s | 8 | 71248 | 6936 | 8020 1 | 0 | 1 517.40/517.54 c 366s | 8 | 71460 | 7036 | 8020 1 | 0 | 1 524.70/524.87 c 373s | 8 | 71917 | 7136 | 8020 1 | 0 | 1 528.79/528.99 c 377s | 8 | 72291 | 7236 | 8020 1 | 0 | 1 531.30/531.46 c 380s | 8 | 73594 | 7336 | 8020 1 | 0 | 1 535.70/535.85 c 384s | 8 | 75408 | 7436 | 8020 1 | 0 | 1 538.09/538.21 c 386s | 9 | 76936 | 7506 | 8020 1 | 0 | 1 545.60/545.74 c 394s | 9 | 77765 | 7606 | 8020 1 | 0 | 1 551.49/551.68 c 400s | 9 | 78449 | 7706 | 8020 1 | 0 | 1 555.29/555.47 c 404s | 9 | 80195 | 7806 | 8020 1 | 0 | 1 560.49/560.66 c 409s | 9 | 80541 | 7906 | 8020 1 | 0 | 1 565.59/565.74 c 414s | 9 | 81386 | 8006 | 8020 1 | 0 | 1 571.59/571.78 c 420s | 9 | 82305 | 8106 | 8020 1 | 0 | 1 575.19/575.37 c 423s | 9 | 82435 | 8206 | 8020 1 | 0 | 1 581.89/582.08 c 430s | 9 | 83846 | 8306 | 8020 1 | 0 | 1 586.38/586.58 c 435s | 9 | 85808 | 8406 | 8020 1 | 0 | 1 594.58/594.76 c 443s | 9 | 90387 | 8506 | 8020 1 | 0 | 1 598.98/599.12 c 447s | 9 | 93046 | 8606 | 8020 1 | 0 | 1 604.18/604.38 c 452s | 9 | 93363 | 8706 | 8020 1 | 0 | 1 609.48/609.69 c 458s | 9 | 93620 | 8806 | 8020 1 | 0 | 1 614.08/614.24 c 462s | 9 | 94977 | 8906 | 8822 1 | 0 | 1 617.09/617.29 c 465s | 9 | 95439 | 9006 | 8822 1 | 0 | 1 623.48/623.63 c 472s | 9 | 96109 | 9106 | 8822 1 | 0 | 1 629.98/630.13 c 478s | 9 | 96345 | 9206 | 8822 1 | 0 | 1 634.98/635.18 c 483s | 9 | 96680 | 9306 | 8822 1 | 0 | 1 641.68/641.85 c 490s | 9 | 97288 | 9406 | 8822 1 | 0 | 1 647.27/647.49 c 496s | 9 | 97633 | 9506 | 8822 1 | 0 | 1 652.47/652.68 c 501s | 9 | 98100 | 9606 | 8822 1 | 0 | 1 655.17/655.38 c 503s | 9 | 98433 | 9706 | 8822 1 | 0 | 1 660.27/660.46 c 509s | 9 | 98783 | 9806 | 8822 1 | 0 | 1 666.07/666.20 c 514s | 9 | 98973 | 9906 | 8822 1 | 0 | 1 671.17/671.38 c 519s | 9 | 100239 | 10006 | 8822 1 | 0 | 1 673.87/674.05 c 522s | 9 | 102313 | 10106 | 8822 1 | 0 | 1 677.48/677.66 c 526s | 9 | 102884 | 10206 | 8822 1 | 0 | 1 683.17/683.39 c 531s | 9 | 103305 | 10306 | 8822 1 | 0 | 1 687.17/687.37 c 535s | 9 | 103487 | 10406 | 8822 1 | 0 | 1 690.47/690.69 c 539s | 9 | 104023 | 10506 | 8822 1 | 0 | 1 694.17/694.35 c 542s | 9 | 104568 | 10606 | 8822 1 | 0 | 1 698.37/698.53 c 547s | 9 | 105019 | 10706 | 8822 1 | 0 | 1 701.77/701.98 c 550s | 9 | 105442 | 10806 | 8822 1 | 0 | 1 704.97/705.13 c 553s | 9 | 105765 | 10906 | 8822 1 | 0 | 1 708.66/708.84 c 557s | 9 | 105962 | 11006 | 8822 1 | 0 | 1 712.36/712.53 c 561s | 9 | 106163 | 11106 | 8822 1 | 0 | 1 716.86/717.06 c 565s | 9 | 106492 | 11206 | 8822 1 | 0 | 1 723.36/723.56 c 572s | 9 | 107273 | 11306 | 8822 1 | 0 | 1 726.16/726.36 c 574s | 10 | 108364 | 11361 | 8822 1 | 0 | 1 735.06/735.23 c 583s | 10 | 110385 | 11461 | 8822 2 | 0 | 1 741.46/741.62 c 590s | 10 | 110943 | 11561 | 8822 2 | 0 | 1 744.36/744.55 c 593s | 10 | 114045 | 11661 | 8822 2 | 0 | 1 747.76/747.94 c 596s | 10 | 115962 | 11761 | 8822 2 | 0 | 1 753.96/754.15 c 602s | 10 | 120741 | 11861 | 8822 2 | 0 | 1 759.26/759.41 c 607s | 10 | 129407 | 11961 | 8822 2 | 0 | 1 762.86/763.07 c 611s | 10 | 133756 | 12061 | 8822 2 | 0 | 1 765.15/765.30 c 613s | 10 | 135117 | 12161 | 8822 2 | 0 | 1 769.96/770.14 c 618s | 10 | 137711 | 12361 | 8822 2 | 0 | 1 777.05/777.29 c 625s | 10 | 138617 | 12461 | 8822 2 | 0 | 1 779.25/779.48 c 628s | 10 | 139617 | 12561 | 8822 2 | 0 | 1 782.45/782.60 c 631s | 10 | 139917 | 12661 | 8822 2 | 0 | 1 784.65/784.82 c 633s | 10 | 140171 | 12761 | 8822 2 | 0 | 1 788.25/788.46 c 637s | 10 | 141292 | 12861 | 8822 2 | 0 | 1 790.85/791.01 c 639s | 10 | 141573 | 12961 | 8822 2 | 0 | 1 792.95/793.19 c 641s | 10 | 141822 | 13061 | 8822 2 | 0 | 1 795.25/795.48 c 644s | 10 | 142189 | 13161 | 8822 2 | 0 | 1 798.35/798.56 c 647s | 10 | 142596 | 13261 | 8822 2 | 0 | 1 801.15/801.31 c 649s | 10 | 143409 | 13361 | 8822 2 | 0 | 1 805.65/805.89 c 654s | 10 | 143782 | 13561 | 8822 2 | 0 | 1 808.15/808.36 c 656s | 10 | 144084 | 13661 | 8822 2 | 0 | 1 810.25/810.45 c 659s | 10 | 144470 | 13761 | 8822 2 | 0 | 1 812.65/812.85 c 661s | 10 | 145251 | 13861 | 8822 2 | 0 | 1 815.35/815.53 c 664s | 10 | 145408 | 13961 | 8822 2 | 0 | 1 817.95/818.11 c 666s | 10 | 145578 | 14061 | 8822 2 | 0 | 1 820.56/820.72 c 669s | 10 | 145832 | 14161 | 8822 2 | 0 | 1 823.76/823.94 c 672s | 10 | 146009 | 14261 | 8822 2 | 0 | 1 825.85/826.09 c 674s | 10 | 146661 | 14361 | 8822 2 | 0 | 1 827.95/828.10 c 676s | 10 | 146906 | 14461 | 8822 2 | 0 | 1 831.95/832.14 c 680s | 10 | 147904 | 14661 | 9705 2 | 0 | 1 835.55/835.71 c 684s | 10 | 148521 | 14761 | 9705 2 | 0 | 1 837.54/837.77 c 686s | 10 | 148706 | 14861 | 9705 2 | 0 | 1 841.04/841.26 c 689s | 10 | 150881 | 14961 | 9705 2 | 0 | 1 843.44/843.62 c 692s | 10 | 151284 | 15061 | 9705 2 | 0 | 1 847.54/847.76 c 696s | 10 | 151475 | 15161 | 9705 2 | 0 | 1 854.74/854.96 c 703s | 10 | 151637 | 15261 | 9705 2 | 0 | 1 865.55/865.80 c 714s | 10 | 151828 | 15361 | 9705 2 | 0 | 1 880.64/880.83 c 729s | 10 | 151975 | 15461 | 9705 2 | 0 | 1 883.54/883.75 c 732s | 10 | 152159 | 15561 | 9705 2 | 0 | 1 886.64/886.89 c 735s | 10 | 152298 | 15661 | 9705 2 | 0 | 1 892.34/892.54 c 741s | 10 | 153306 | 15761 | 9705 2 | 0 | 1 896.74/896.98 c 745s | 10 | 153754 | 15861 | 9705 2 | 0 | 1 902.03/902.20 c 750s | 10 | 154385 | 15961 | 9705 2 | 0 | 1 910.43/910.66 c 759s | 10 | 156092 | 16061 | 9705 2 | 0 | 1 915.04/915.22 c 763s | 10 | 156913 | 16161 | 9705 2 | 0 | 1 918.53/918.79 c 767s | 10 | 157529 | 16261 | 9705 2 | 0 | 1 924.63/924.87 c 773s | 10 | 157969 | 16361 | 9705 2 | 0 | 1 930.03/930.24 c 778s | 10 | 158665 | 16461 | 9705 2 | 0 | 1 936.13/936.39 c 784s | 10 | 159681 | 16561 | 9705 2 | 0 | 1 939.73/939.92 c 788s | 10 | 160194 | 16661 | 9705 2 | 0 | 1 945.03/945.26 c 793s | 10 | 160621 | 16761 | 9705 2 | 0 | 1 949.73/949.92 c 798s | 10 | 160903 | 16861 | 9705 2 | 0 | 1 954.43/954.68 c 803s | 10 | 161286 | 16961 | 9705 2 | 0 | 1 959.13/959.38 c 807s | 10 | 162762 | 17061 | 9705 2 | 0 | 1 961.23/961.48 c 810s | 11 | 163510 | 17144 | 9705 2 | 0 | 1 964.43/964.60 c 813s | 11 | 164804 | 17244 | 9705 3 | 0 | 1 967.03/967.23 c 815s | 11 | 165244 | 17344 | 9705 3 | 0 | 1 969.33/969.57 c 818s | 11 | 165540 | 17444 | 9705 3 | 0 | 1 973.53/973.70 c 822s | 11 | 165990 | 17644 | 9705 3 | 0 | 1 977.42/977.65 c 826s | 11 | 166375 | 17744 | 9705 3 | 0 | 1 981.03/981.25 c 829s | 11 | 166536 | 17844 | 9705 3 | 0 | 1 985.42/985.69 c 834s | 11 | 166787 | 17944 | 9705 3 | 0 | 1 989.72/990.00 c 838s | 11 | 167159 | 18044 | 9705 3 | 0 | 1 993.82/994.07 c 842s | 11 | 167575 | 18144 | 9705 3 | 0 | 1 996.92/997.11 c 845s | 11 | 167927 | 18244 | 9705 3 | 0 | 1 1001.02/1001.22 c 849s | 11 | 168166 | 18344 | 9705 3 | 0 | 1 1004.62/1004.88 c 853s | 11 | 168344 | 18444 | 9705 3 | 0 | 1 1007.82/1008.04 c 856s | 11 | 168559 | 18544 | 9705 3 | 0 | 1 1010.32/1010.58 c 859s | 11 | 169000 | 18644 | 9705 3 | 0 | 1 1013.62/1013.82 c 862s | 11 | 169126 | 18744 | 9705 3 | 0 | 1 1017.92/1018.11 c 866s | 11 | 169387 | 18844 | 9705 3 | 0 | 1 1021.92/1022.16 c 870s | 11 | 169583 | 18944 | 9705 3 | 0 | 1 1025.82/1026.02 c 874s | 11 | 169786 | 19044 | 9705 3 | 0 | 1 1028.91/1029.13 c 877s | 11 | 171801 | 19144 | 9705 3 | 0 | 1 1031.31/1031.54 c 880s | 11 | 172370 | 19244 | 9705 3 | 0 | 1 1034.01/1034.21 c 882s | 11 | 173009 | 19444 | 9705 3 | 0 | 1 1036.82/1037.07 c 885s | 11 | 173440 | 19644 | 9705 3 | 0 | 1 1040.02/1040.27 c 888s | 11 | 175177 | 19744 | 9705 3 | 0 | 1 1042.91/1043.18 c 891s | 11 | 177891 | 19844 | 9705 3 | 0 | 1 1047.71/1047.96 c 896s | 11 | 178992 | 19944 | 9705 3 | 0 | 1 1050.51/1050.71 c 899s | 11 | 180793 | 20144 | 9705 3 | 0 | 1 1055.31/1055.53 c 904s | 11 | 182121 | 20244 | 9705 3 | 0 | 1 1059.22/1059.47 c 908s | 11 | 185025 | 20344 | 9705 3 | 0 | 1 1062.91/1063.10 c 911s | 11 | 187206 | 20444 | 9705 3 | 0 | 1 1065.41/1065.65 c 914s | 11 | 189510 | 20544 | 9705 3 | 0 | 1 1068.11/1068.39 c 916s | 11 | 190338 | 20644 | 9705 3 | 0 | 1 1070.71/1070.98 c 919s | 11 | 191447 | 20844 | 9705 3 | 0 | 1 1080.20/1080.43 c 929s | 11 | 193224 | 21044 | 9705 3 | 0 | 1 1089.60/1089.83 c 938s | 11 | 194566 | 21144 | 9705 3 | 0 | 1 1092.40/1092.61 c 941s | 11 | 196236 | 21244 | 9705 3 | 0 | 1 1096.90/1097.13 c 945s | 11 | 197277 | 21344 | 9705 3 | 0 | 1 1101.90/1102.14 c 950s | 11 | 198650 | 21544 | 9705 3 | 0 | 1 1106.51/1106.78 c 955s | 11 | 200151 | 21744 | 9705 3 | 0 | 1 1109.20/1109.49 c 958s | 11 | 201162 | 21944 | 9705 3 | 0 | 1 1113.01/1113.25 c 961s | 11 | 202153 | 22044 | 9705 3 | 0 | 1 1115.90/1116.10 c 964s | 11 | 203699 | 22244 | 9705 3 | 0 | 1 1119.71/1119.94 c 968s | 11 | 205003 | 22444 | 9705 3 | 0 | 1 1122.91/1123.14 c 971s | 11 | 206856 | 22544 | 9705 3 | 0 | 1 1126.90/1127.15 c 975s | 11 | 207564 | 22644 | 9705 3 | 0 | 1 1132.30/1132.57 c 981s | 11 | 208435 | 22844 | 9705 3 | 0 | 1 1136.30/1136.53 c 985s | 11 | 209333 | 23044 | 9705 3 | 0 | 1 1140.90/1141.12 c 989s | 11 | 210393 | 23244 | 9705 3 | 0 | 1 1144.80/1145.06 c 993s | 11 | 211500 | 23444 | 10676 3 | 0 | 1 1146.99/1147.26 c 995s | 11 | 211736 | 23544 | 10676 3 | 0 | 1 1150.50/1150.78 c 999s | 11 | 213032 | 23744 | 10676 3 | 0 | 1 1153.80/1154.00 c 1002s | 11 | 214183 | 23944 | 10676 3 | 0 | 1 1156.89/1157.13 c 1005s | 11 | 214461 | 24044 | 10676 3 | 0 | 1 1159.30/1159.54 c 1008s | 11 | 216033 | 24144 | 10676 3 | 0 | 1 1162.60/1162.84 c 1011s | 11 | 216338 | 24244 | 10676 3 | 0 | 1 1164.99/1165.20 c 1013s | 11 | 216785 | 24344 | 10676 3 | 0 | 1 1169.59/1169.80 c 1018s | 11 | 217507 | 24544 | 10676 3 | 0 | 1 1173.39/1173.69 c 1022s | 11 | 218310 | 24744 | 10676 3 | 0 | 1 1177.79/1178.06 c 1026s | 11 | 220515 | 24944 | 10676 3 | 0 | 1 1184.69/1184.99 c 1033s | 11 | 222836 | 25044 | 10676 3 | 0 | 1 1188.29/1188.54 c 1037s | 11 | 223316 | 25144 | 10676 3 | 0 | 1 1193.39/1193.61 c 1042s | 11 | 225416 | 25344 | 10676 3 | 0 | 1 1196.79/1197.06 c 1045s | 11 | 225949 | 25444 | 10676 3 | 0 | 1 1201.09/1201.38 c 1049s | 11 | 226338 | 25644 | 10676 3 | 0 | 1 1203.99/1204.22 c 1052s | 11 | 226534 | 25744 | 10676 3 | 0 | 1 1207.19/1207.43 c 1056s | 12 | 226905 | 25819 | 10676 3 | 0 | 1 1212.09/1212.39 c 1060s | 12 | 227976 | 25919 | 10676 4 | 0 | 1 1216.08/1216.32 c 1064s | 12 | 228343 | 26019 | 10676 4 | 0 | 1 1221.99/1222.22 c 1070s | 12 | 228810 | 26119 | 10676 4 | 0 | 1 1226.98/1227.22 c 1075s | 12 | 229351 | 26219 | 10676 4 | 0 | 1 1230.79/1231.02 c 1079s | 12 | 230530 | 26319 | 10676 4 | 0 | 1 1244.48/1244.79 c 1093s | 12 | 231144 | 26419 | 10676 4 | 0 | 1 1261.68/1261.94 c 1110s | 12 | 231299 | 26519 | 10676 4 | 0 | 1 1265.48/1265.78 c 1114s | 12 | 231621 | 26619 | 10676 4 | 0 | 1 1271.67/1271.97 c 1120s | 12 | 232486 | 26719 | 10676 4 | 0 | 1 1275.47/1275.75 c 1124s | 12 | 233049 | 26819 | 10676 4 | 0 | 1 1281.47/1281.79 c 1130s | 12 | 233212 | 26919 | 10676 4 | 0 | 1 1293.57/1293.82 c 1142s | 12 | 234401 | 27019 | 10676 4 | 0 | 1 1298.07/1298.35 c 1146s | 12 | 234865 | 27119 | 10676 4 | 0 | 1 1315.17/1315.40 c 1163s | 12 | 235937 | 27219 | 10676 4 | 0 | 1 1322.57/1322.89 c 1171s | 12 | 236291 | 27319 | 10676 4 | 0 | 1 1327.67/1327.99 c 1176s | 12 | 236637 | 27419 | 10676 4 | 0 | 1 1340.16/1340.47 c 1189s | 12 | 237271 | 27519 | 10676 4 | 0 | 1 1352.36/1352.65 c 1201s | 12 | 237505 | 27619 | 10676 4 | 0 | 1 1370.06/1370.31 c 1218s | 12 | 238255 | 27719 | 10676 4 | 0 | 1 1380.66/1380.96 c 1229s | 12 | 238472 | 27819 | 10676 4 | 0 | 1 1395.86/1396.13 c 1244s | 12 | 248082 | 27919 | 10676 4 | 0 | 1 1408.25/1408.51 c 1257s | 12 | 257831 | 28019 | 10676 4 | 0 | 1 1412.26/1412.55 c 1261s | 12 | 263205 | 28119 | 10676 4 | 0 | 1 1419.25/1419.51 c 1268s | 12 | 265393 | 28219 | 10676 4 | 0 | 1 1430.15/1430.46 c 1279s | 12 | 266569 | 28319 | 10676 4 | 0 | 1 1450.75/1451.01 c 1299s | 12 | 266923 | 28419 | 10676 4 | 0 | 1 1455.35/1455.66 c 1304s | 12 | 267711 | 28519 | 10676 4 | 0 | 1 1459.45/1459.72 c 1308s | 12 | 268804 | 28619 | 10676 4 | 0 | 1 1473.24/1473.52 c 1322s | 12 | 269775 | 28719 | 10676 4 | 0 | 1 1477.84/1478.17 c 1326s | 12 | 270302 | 28819 | 10676 4 | 0 | 1 1483.24/1483.52 c 1332s | 12 | 270762 | 28919 | 10676 4 | 0 | 1 1490.04/1490.32 c 1338s | 12 | 271080 | 29019 | 10676 4 | 0 | 1 1495.24/1495.52 c 1344s | 12 | 271480 | 29119 | 10676 4 | 0 | 1 1500.64/1500.95 c 1349s | 12 | 271852 | 29219 | 10676 4 | 0 | 1 1506.74/1507.04 c 1355s | 12 | 272340 | 29319 | 10676 4 | 0 | 1 1510.04/1510.35 c 1358s | 12 | 273020 | 29419 | 10676 4 | 0 | 1 1522.83/1523.12 c 1371s | 12 | 273299 | 29519 | 10676 4 | 0 | 1 1528.23/1528.50 c 1377s | 12 | 273645 | 29619 | 10676 4 | 0 | 1 1532.73/1533.07 c 1381s | 12 | 274096 | 29719 | 10676 4 | 0 | 1 1538.53/1538.85 c 1387s | 12 | 274283 | 29819 | 10676 4 | 0 | 1 1542.33/1542.64 c 1391s | 12 | 274699 | 29919 | 10676 4 | 0 | 1 1550.53/1550.81 c 1399s | 12 | 274993 | 30019 | 10676 4 | 0 | 1 1554.43/1554.74 c 1403s | 12 | 275486 | 30119 | 10676 4 | 0 | 1 1562.53/1562.83 c 1411s | 12 | 275776 | 30219 | 10676 4 | 0 | 1 1573.63/1573.98 c 1422s | 12 | 276262 | 30319 | 10676 4 | 0 | 1 1585.13/1585.48 c 1434s | 12 | 276708 | 30419 | 10676 4 | 0 | 1 1596.42/1596.75 c 1445s | 12 | 277024 | 30519 | 10676 4 | 0 | 1 1604.12/1604.46 c 1453s | 12 | 277397 | 30619 | 10676 4 | 0 | 1 1613.62/1613.99 c 1462s | 12 | 277710 | 30719 | 10676 4 | 0 | 1 1618.82/1619.20 c 1467s | 12 | 278050 | 30819 | 10676 4 | 0 | 1 1624.72/1625.01 c 1473s | 12 | 278723 | 30919 | 10676 4 | 0 | 1 1633.32/1633.63 c 1482s | 12 | 279218 | 31019 | 10676 4 | 0 | 1 1641.92/1642.27 c 1490s | 12 | 279390 | 31119 | 10676 4 | 0 | 1 1648.02/1648.32 c 1496s | 12 | 280029 | 31219 | 10676 4 | 0 | 1 1659.01/1659.36 c 1507s | 12 | 280362 | 31319 | 10676 4 | 0 | 1 1672.21/1672.57 c 1521s | 12 | 280797 | 31419 | 10676 4 | 0 | 1 1679.91/1680.21 c 1528s | 12 | 281245 | 31519 | 10676 4 | 0 | 1 1689.72/1690.02 c 1538s | 12 | 281412 | 31619 | 10676 4 | 0 | 1 1698.22/1698.59 c 1547s | 12 | 281570 | 31719 | 10676 4 | 0 | 1 1703.92/1704.20 c 1552s | 12 | 282244 | 31819 | 10676 4 | 0 | 1 1710.02/1710.30 c 1558s | 12 | 283305 | 31919 | 10676 4 | 0 | 1 1715.11/1715.43 c 1564s | 12 | 283501 | 32019 | 10676 4 | 0 | 1 1723.71/1724.06 c 1572s | 12 | 283687 | 32119 | 10676 4 | 0 | 1 1727.92/1728.23 c 1576s | 12 | 284046 | 32219 | 10676 4 | 0 | 1 1732.41/1732.75 c 1581s | 12 | 284969 | 32319 | 10676 4 | 0 | 1 1740.02/1740.35 c 1588s | 12 | 285380 | 32419 | 10676 4 | 0 | 1 1755.71/1756.00 c 1604s | 12 | 286048 | 32519 | 10676 4 | 0 | 1 1762.31/1762.61 c 1611s | 12 | 286249 | 32619 | 10676 4 | 0 | 1 1766.81/1767.10 c 1615s | 12 | 286460 | 32719 | 10676 4 | 0 | 1 1775.00/1775.35 c 1623s | 12 | 286700 | 32819 | 10676 4 | 0 | 1 1780.00/1780.36 c 1628s | 12 | 287255 | 32919 | 10676 4 | 0 | 1 1792.40/1792.76 c 1641s | 12 | 287776 | 33019 | 10676 4 | 0 | 1
ERROR: no interpretation found !
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-4107106-1466282515/watcher-4107106-1466282515 -o /tmp/evaluation-result-4107106-1466282515/solver-4107106-1466282515 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10296 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107106-1466282515.opb pid=10811 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.12 2.10 3/172 10814 /proc/meminfo: memFree=31243784/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=535996 CPUtime=0 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 1967 0 0 0 0 0 0 0 20 0 4 0 30301615 548859904 2329 33554432000 4194304 16246674 140737396745408 140737396744832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 134511 2338 441 2943 0 131405 0 [pid=10814/tid=10815] ppid=10811 vsize=553404 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 566685696 2395 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=557500 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 570880000 2413 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=561596 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 575074304 2429 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10022 s] /proc/loadavg: 2.10 2.12 2.10 3/172 10814 /proc/meminfo: memFree=31243784/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 30112 0 0 0 5 4 0 0 20 0 4 0 30301615 1333334016 30411 33554432000 4194304 16246674 140737396745408 140737396744584 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 325521 30426 801 2943 0 322415 0 [pid=10814/tid=10815] ppid=10811 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 1333334016 30438 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 1333334016 30450 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 1333334016 30461 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200515 s] /proc/loadavg: 2.10 2.12 2.10 3/172 10814 /proc/meminfo: memFree=31243784/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=1313348 CPUtime=0.18 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 48066 0 0 0 12 6 0 0 20 0 4 0 30301615 1344868352 48365 33554432000 4194304 16246674 140737396745408 140737396727296 5894612 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 328337 48365 838 2943 0 325231 0 [pid=10814/tid=10815] ppid=10811 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 1344868352 48365 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 1344868352 48365 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 1344868352 48365 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1313348 [startup+0.300486 s] /proc/loadavg: 2.10 2.12 2.10 3/172 10814 /proc/meminfo: memFree=31243784/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 49677 0 0 0 22 7 0 0 20 0 4 0 30301615 1344868352 49976 33554432000 4194304 16246674 140737396745408 140737396727296 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 328337 49983 884 2943 0 325231 0 [pid=10814/tid=10815] ppid=10811 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 1344868352 49987 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 1344868352 49992 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 1344868352 49996 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700399 s] /proc/loadavg: 2.10 2.12 2.10 3/172 10814 /proc/meminfo: memFree=31243784/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 111374 0 0 0 55 14 0 0 20 0 4 0 30301615 1344868352 111673 33554432000 4194304 16246674 140737396745408 140737396727296 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 328337 111689 884 2943 0 325231 0 [pid=10814/tid=10815] ppid=10811 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 1344868352 111696 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 1344868352 111707 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 1344868352 111718 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.5004 s] /proc/loadavg: 2.10 2.12 2.10 3/176 10818 /proc/meminfo: memFree=30542444/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=1317444 CPUtime=1.48 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 163580 0 0 0 126 22 0 0 20 0 4 0 30301615 1349062656 163879 33554432000 4194304 16246674 140737396745408 140737396727296 5724015 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 329361 163879 891 2943 0 326255 0 [pid=10814/tid=10815] ppid=10811 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 1349062656 163879 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 1349062656 163879 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 1349062656 163879 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1317444 [startup+3.10041 s] /proc/loadavg: 2.10 2.12 2.10 3/176 10818 /proc/meminfo: memFree=30492704/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=1317444 CPUtime=3.08 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 163604 0 0 0 286 22 0 0 20 0 4 0 30301615 1349062656 163903 33554432000 4194304 16246674 140737396745408 140737396727296 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 329361 163903 915 2943 0 326255 0 [pid=10814/tid=10815] ppid=10811 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 1349062656 163903 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 1349062656 163903 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 1349062656 163903 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1317444 [startup+6.30037 s] /proc/loadavg: 2.17 2.13 2.10 3/183 10832 /proc/meminfo: memFree=29549532/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=1337924 CPUtime=6.28 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 275695 0 0 0 593 35 0 0 20 0 4 0 30301615 1370034176 275994 33554432000 4194304 16246674 140737396745408 140737396727296 12371454 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 334481 275994 915 2943 0 331375 0 [pid=10814/tid=10815] ppid=10811 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 1370034176 275994 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 1370034176 275994 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 1370034176 275994 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1337924 [startup+12.7004 s] /proc/loadavg: 2.16 2.13 2.10 3/183 10832 /proc/meminfo: memFree=28875236/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=1337924 CPUtime=12.68 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 275695 0 0 0 1233 35 0 0 20 0 4 0 30301615 1370034176 275994 33554432000 4194304 16246674 140737396745408 140737396744720 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 334481 275994 915 2943 0 331375 0 [pid=10814/tid=10815] ppid=10811 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 1370034176 275994 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 1370034176 275994 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 1370034176 275994 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1337924 [startup+25.5005 s] /proc/loadavg: 2.12 2.12 2.10 3/183 10832 /proc/meminfo: memFree=26715204/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=1344068 CPUtime=25.47 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 370418 0 0 0 2497 50 0 0 20 0 4 0 30301615 1376325632 277533 33554432000 4194304 16246674 140737396745408 140737396744720 4225320 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 336017 277533 918 2943 0 332911 0 [pid=10814/tid=10815] ppid=10811 vsize=1344068 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 1376325632 277533 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=1344068 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 1376325632 277533 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=1344068 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 1376325632 277533 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 1344068 [startup+51.1005 s] /proc/loadavg: 2.15 2.13 2.10 3/183 10832 /proc/meminfo: memFree=21213620/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=1927748 CPUtime=51.07 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 557554 0 0 0 5030 77 0 0 20 0 4 0 30301615 1974013952 423453 33554432000 4194304 16246674 140737396745408 140737396743232 4206886 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 481937 423453 918 2943 0 478831 0 [pid=10814/tid=10815] ppid=10811 vsize=1927748 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 1974013952 423453 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=1927748 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 1974013952 423453 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=1927748 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 1974013952 423453 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1927748 [startup+102.3 s] /proc/loadavg: 2.11 2.12 2.09 3/183 10833 /proc/meminfo: memFree=16712504/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=2614852 CPUtime=102.27 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 729332 0 0 0 10123 104 0 0 20 0 4 0 30301615 2677608448 595231 33554432000 4194304 16246674 140737396745408 140737396727296 4225343 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 653713 595231 919 2943 0 650607 0 [pid=10814/tid=10815] ppid=10811 vsize=2614852 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 2677608448 595231 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=2614852 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 2677608448 595231 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=2614852 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 2677608448 595231 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 2614852 ################ # More data... # ################ /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 2705988 [startup+1362.3 s] /proc/loadavg: 2.04 2.10 2.09 3/183 10887 /proc/meminfo: memFree=16272944/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=2705988 CPUtime=1362.06 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 752124 0 0 0 136089 117 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140737396727296 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 676497 618275 923 2943 0 673391 0 [pid=10814/tid=10815] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 2705988 [startup+1422.3 s] /proc/loadavg: 2.01 2.08 2.08 3/183 10888 /proc/meminfo: memFree=16273220/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=2705988 CPUtime=1422.06 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 752124 0 0 0 142089 117 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140737396727296 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 676497 618275 923 2943 0 673391 0 [pid=10814/tid=10815] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 2705988 [startup+1482.3 s] /proc/loadavg: 2.04 2.08 2.08 3/183 10889 /proc/meminfo: memFree=16273240/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=2705988 CPUtime=1482.04 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 752124 0 0 0 148087 117 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140737396727296 5712004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 676497 618275 923 2943 0 673391 0 [pid=10814/tid=10815] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 2705988 [startup+1542.31 s] /proc/loadavg: 2.11 2.09 2.08 3/183 10891 /proc/meminfo: memFree=16265540/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=2705988 CPUtime=1542.04 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 752124 0 0 0 154087 117 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140737396727296 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 676497 618275 923 2943 0 673391 0 [pid=10814/tid=10815] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 2705988 [startup+1602.3 s] /proc/loadavg: 2.07 2.08 2.08 3/183 10892 /proc/meminfo: memFree=16265092/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=2705988 CPUtime=1602.02 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 752125 0 0 0 160085 117 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140737396727296 5711496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 676497 618275 923 2943 0 673391 0 [pid=10814/tid=10815] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 2705988 [startup+1662.3 s] /proc/loadavg: 2.11 2.10 2.09 3/183 10893 /proc/meminfo: memFree=16265244/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=2705988 CPUtime=1662.01 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 752125 0 0 0 166084 117 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140737396727296 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 676497 618275 923 2943 0 673391 0 [pid=10814/tid=10815] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 2705988 [startup+1722.3 s] /proc/loadavg: 2.07 2.09 2.09 3/184 10897 /proc/meminfo: memFree=16265272/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=2705988 CPUtime=1722.01 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 752125 0 0 0 172083 118 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140737396727296 13780588 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 676497 618275 923 2943 0 673391 0 [pid=10814/tid=10815] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 2705988 [startup+1782.3 s] /proc/loadavg: 2.02 2.07 2.08 3/183 10898 /proc/meminfo: memFree=16264188/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=2705988 CPUtime=1782 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 752125 0 0 0 178082 118 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140737396727296 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 676497 618275 923 2943 0 673391 0 [pid=10814/tid=10815] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 2705988 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.02 2.07 2.08 3/183 10898 /proc/meminfo: memFree=16264184/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=2705988 CPUtime=1800 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 752125 0 0 0 179882 118 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140737396727296 5711496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 676497 618275 923 2943 0 673391 0 [pid=10814/tid=10815] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 2705988 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 10814 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.02 2.07 2.08 3/183 10898 /proc/meminfo: memFree=16264184/32872528 swapFree=526336/559040 [pid=10814] ppid=10811 vsize=2705988 CPUtime=1800 cores=0,2,4,6 /proc/10814/stat : 10814 (toysat) R 10811 10814 10280 0 -1 4202496 752125 0 0 0 179882 118 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140737396727296 5711496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10814/statm: 676497 618275 923 2943 0 673391 0 [pid=10814/tid=10815] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10815/stat : 10815 (toysat) S 10811 10814 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064578317552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10814/tid=10816] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10816/stat : 10816 (toysat) S 10811 10814 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064567827696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10814/tid=10817] ppid=10811 vsize=2705988 CPUtime=0 cores=0,2,4,6 /proc/10814/task/10817/stat : 10817 (toysat) S 10811 10814 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30301615 2770931712 618275 33554432000 4194304 16246674 140737396745408 140064453553328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 2705988 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.31 CPU time (s): 1800.03 CPU user time (s): 1798.84 CPU system time (s): 1.19182 CPU usage (%): 99.9843 Max. virtual memory (cumulated for all children) (KiB): 2705988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.84 system time used= 1.19182 maximum resident set size= 2473100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 752125 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= 242 involuntary context switches= 2235 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.73928 second user time and 6.80896 second system time The end
Begin job on node106 at 2016-06-18 22:41:55 IDJOB=4107106 IDBENCH=71879 IDSOLVER=2542 FILE ID=node106/4107106-1466282515 RUNJOBID= node106-1466277111-10296 PBS_JOBID= 19918270 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__32.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107106-1466282515/watcher-4107106-1466282515 -o /tmp/evaluation-result-4107106-1466282515/solver-4107106-1466282515 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10296 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107106-1466282515.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= db1ffcf75e0c0509e6672a8f0ce9b1bb RANDOM SEED=803859807 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.14 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 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.38 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 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31244900 kB Buffers: 107100 kB Cached: 210080 kB SwapCached: 1736 kB Active: 93308 kB Inactive: 230660 kB Active(anon): 6132 kB Inactive(anon): 3048 kB Active(file): 87176 kB Inactive(file): 227612 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 37932 kB Writeback: 0 kB AnonPages: 565824 kB Mapped: 7124 kB Shmem: 0 kB Slab: 614040 kB SReclaimable: 57376 kB SUnreclaim: 556664 kB KernelStack: 1416 kB PageTables: 5272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 659612 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 32768 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71544 MiB End job on node106 at 2016-06-18 23:11:55